|
carl
25.04
Computer ARithmetic Library
|


Go to the source code of this file.
Data Structures | |
| struct | carl::MonomialComparator< f, degreeOrdered > |
| A class for term orderings. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Typedefs | |
| using | carl::MonomialOrderingFunction = CompareResult(*)(const Monomial::Arg &, const Monomial::Arg &) |
| using | carl::LexOrdering = MonomialComparator< Monomial::compareLexical, false > |
| using | carl::GrLexOrdering = MonomialComparator< Monomial::compareGradedLexical, true > |