#include <carl-arith/poly/umvpoly/functions/horner/MultivariateHorner.h>#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>#include <carl-arith/core/VariablePool.h>#include <carl-io/StringParser.h>#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>#include <gmpxx.h>
Include dependency graph for HornerTest.cpp:
Go to the source code of this file.
Typedefs | |
| typedef mpq_class | Rational |
| typedef MultivariatePolynomial< Rational > | Pol |
Functions | |
| int | main (int argc, char **argv) |
Typedef Documentation
◆ Pol
| typedef MultivariatePolynomial<Rational> Pol |
Definition at line 17 of file HornerTest.cpp.
◆ Rational
| typedef mpq_class Rational |
Definition at line 12 of file HornerTest.cpp.
Function Documentation
◆ main()
| int main | ( | int | argc, |
| char ** | argv | ||
| ) |
