carl
24.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 > |