Type Members

1.  case class Add (lhs: Expr, rhs: Expr) extends AddOrSubExpr with Product with Serializable

   Annotations

   @SerialVersionUID()

2.  sealed abstract class AddOrSubExpr extends BinaryExpr

   Annotations

   @SerialVersionUID()

3.  sealed abstract class BinaryExpr extends Expr

   Binary expressions contain 2 child expression.

4.  sealed abstract class Constant [A] extends Expr

   Constant expressions are leaf nodes, contains literal numbers.

5.  case class ConstantBigDecimal (value: BigDecimal) extends Constant[BigDecimal] with Product with Serializable

   Annotations

   @SerialVersionUID()

6.  case class ConstantDouble (value: Double) extends Constant[Double] with Product with Serializable

   Annotations

   @SerialVersionUID()

7.  case class ConstantLong (value: Long) extends Constant[Long] with Product with Serializable

   Annotations

   @SerialVersionUID()

8.  case class ConstantRational (value: Rational) extends Constant[Rational] with Product with Serializable

   Annotations

   @SerialVersionUID()

9.  case class ConstantRoot (poly: Polynomial[BigInt], i: Int, lb: Rational, ub: Rational) extends Constant[Polynomial[BigInt]] with Product with Serializable

   Annotations

   @SerialVersionUID()

10.  case class Div (lhs: Expr, rhs: Expr) extends BinaryExpr with Product with Serializable

    Annotations

    @SerialVersionUID()

11.  final class Flags extends AnyVal

    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.

    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.

12.  case class KRoot (sub: Expr, k: Int) extends UnaryExpr with Product with Serializable

    Annotations

    @SerialVersionUID()

13.  case class Mul (lhs: Expr, rhs: Expr) extends BinaryExpr with Product with Serializable

    Annotations

    @SerialVersionUID()

14.  case class Neg (sub: Expr) extends UnaryExpr with Product with Serializable

    Annotations

    @SerialVersionUID()

15.  case class Pow (sub: Expr, k: Int) extends UnaryExpr with Product with Serializable

    Annotations

    @SerialVersionUID()

16.  case class Sub (lhs: Expr, rhs: Expr) extends AddOrSubExpr with Product with Serializable

    Annotations

    @SerialVersionUID()

17.  sealed abstract class UnaryExpr extends Expr

    Unary expressions contain only a single child expression.