object Expr
- Companion:
- class
Type members
Classlikes
Binary expressions contain 2 child expression.
Binary expressions contain 2 child expression.
Constant expressions are leaf nodes, contains literal numbers.
Constant expressions are leaf nodes, contains literal numbers.
case class ConstantRoot(poly: Polynomial[BigInt], i: Int, lb: Rational, ub: Rational) extends Constant[Polynomial[BigInt]]
A set of flags for algebraic expressions, so we can quickly determine some properties, like whether the expression is rational, radical, what types of leaf nodes it has, etc. This is used to help guide algorithmic choices, such as what separation bound to use.
A set of flags for algebraic expressions, so we can quickly determine some properties, like whether the expression is rational, radical, what types of leaf nodes it has, etc. This is used to help guide algorithmic choices, such as what separation bound to use.
- Companion:
- object