#include <iostream>#include <carl-arith/core/Variable.h>#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>#include <carl-arith/numbers/numbers.h>#include <gmpxx.h>
Include dependency graph for MultivariatePolynomial_Create.cpp:
Go to the source code of this file.
Typedefs | |
| typedef mpq_class | Rational |
| typedef mpz_class | Integer |
Functions | |
| int | main () |
Typedef Documentation
◆ Integer
| typedef mpz_class Integer |
Definition at line 14 of file MultivariatePolynomial_Create.cpp.
◆ Rational
| typedef mpq_class Rational |
Definition at line 13 of file MultivariatePolynomial_Create.cpp.
Function Documentation
◆ main()
| int main | ( | ) |
Definition at line 17 of file MultivariatePolynomial_Create.cpp.
Here is the call graph for this function:
