multi_polynomial_examples.cc File Reference

Practical examples demonstrating multivariate polynomial usage. More...

#include <iostream>
#include <iomanip>
#include "tpl_array.H"
#include "tpl_multi_polynomial.H"

Include dependency graph for multi_polynomial_examples.cc:

Go to the source code of this file.

Typedefs
using	Multipoly = Gen_MultiPolynomial< double >
using	Multipoly_Lex = Gen_MultiPolynomial< double, Lex_Order >
using	Multipoly_Grlex = Gen_MultiPolynomial< double, Grlex_Order >
using	Multipoly_Grevlex = Gen_MultiPolynomial< double, Grevlex_Order >
using	IntMultipoly = Gen_MultiPolynomial< long long >

Functions
void	print_section (const string &title)
void	print_result (const string &label, const Multipoly &poly)
int	main ()

Detailed Description

Practical examples demonstrating multivariate polynomial usage.

This file showcases key features of Gen_MultiPolynomial from tpl_multi_polynomial.H:

• Constructing polynomials with variables and monomials
• Polynomial arithmetic (addition, multiplication, powers)
• Evaluation and substitution
• Algebraic identities and expansions
• Monomial ordering effects
• Integration with univariate polynomials

Definition in file multi_polynomial_examples.cc.

Typedef Documentation

IntMultipoly

using IntMultipoly = Gen_MultiPolynomial<long long>

Definition at line 51 of file multi_polynomial_examples.cc.

Multipoly

using Multipoly = Gen_MultiPolynomial<double>

Definition at line 47 of file multi_polynomial_examples.cc.

Multipoly_Grevlex

using Multipoly_Grevlex = Gen_MultiPolynomial<double, Grevlex_Order>

Definition at line 50 of file multi_polynomial_examples.cc.

Multipoly_Grlex

using Multipoly_Grlex = Gen_MultiPolynomial<double, Grlex_Order>

Definition at line 49 of file multi_polynomial_examples.cc.

Multipoly_Lex

using Multipoly_Lex = Gen_MultiPolynomial<double, Lex_Order>

Definition at line 48 of file multi_polynomial_examples.cc.

Function Documentation

main()

int main

(

)

Definition at line 65 of file multi_polynomial_examples.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::degree(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::degree_in(), Aleph::diff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_constant(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::monomial(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::pow(), Aleph::pow2(), Aleph::pow3(), print_result(), print_section(), Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduce_modulo(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduced_groebner_basis(), Aleph::repeated(), Aleph::split(), Aleph::sum(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_str(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

print_result()

void print_result	(	const string &	label,
		const Multipoly &	poly
	)

Definition at line 61 of file multi_polynomial_examples.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_str().

Referenced by main(), and main().

print_section()

void print_section

(

const string &

title

)

Definition at line 54 of file multi_polynomial_examples.cc.

Referenced by main().