Modules

Here is a list of all modules:

[detail level 123]

▼Polynomials
Multivariate Represented Polynomials
Univariate Represented Polynomials
Constraints
▼Algorithms
Greatest Common Divisor
Groebner Bases
Cylindrical Algebraic Decomposition
▼Number Types
GMPxx Usage
CLN Usage
▼Type Traits	We define custom type traits for number types we use
is_field_type	All types that represent a field are marked with is_field_type
is_finite_type	All types that can represent only numbers from a finite domain are marked with is_finite_type
is_float_type	All types that represent floating point numbers are marked with is_float_type
▼is_integer_type	All integral types that can (in theory) represent all integers are marked with is_integer_type
is_subset_of_integers_type	All integral types are marked with is_subset_of_integers_type
is_number_type	All types that represent any kind of number are marked with is_number_type
▼is_rational_type	All integral types that can (in theory) represent all rationals are marked with is_rational_type
is_subset_of_rationals_type	All rational types that can represent a subset of all rationals are marked with is_subset_of_rationals_type
IntegralType	The associated integral type of any type can be defined with IntegralType
UnderlyingNumberType	The number type that some type is built upon can be defined with UnderlyingNumberType