Packages

class SymbolicCRing[A] extends AnyRef

Self Type
SymbolicCRing[A]
Linear Supertypes
AnyRef, Any
Known Subclasses
IntRing, NatRing, QField, SymbolicField
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SymbolicCRing
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new SymbolicCRing()(implicit arg0: Ring[A])

Type Members

  1. case class AddLiteral(a: A) extends Func[LocalTerm, LocalTerm] with MiscAppln with Product with Serializable
  2. case class AddTerm(x: LocalTerm) extends Func[LocalTerm, LocalTerm] with MiscAppln with Product with Serializable

    returns function x + _ where x is not a literal and is indecomposable under sum

  3. case class AdditiveMorphism[U <: LocalTerm with Subs[U]](base: Func[LocalTerm, U], op: (U, U) => U) extends Func[LocalTerm, LocalTerm] with Product with Serializable
  4. type LocalTerm = RepTerm[A]
  5. type Op = Func[LocalTerm, Func[LocalTerm, LocalTerm]]
  6. case class PiTerm(multElems: Map[LocalTerm, Int]) extends LocalTerm with FoldedTerm[LocalTerm] with Product with Serializable

    A product of terms in normal form, i.e., * none of the terms is a sum * we have either at least two terms or a single term with exponent not 1, * no exponent is 0.

  7. case class SigmaTerm(elems: Set[LocalTerm]) extends LocalTerm with FoldedTerm[LocalTerm] with Product with Serializable
  8. case class multLiteral(b: A) extends Func[LocalTerm, LocalTerm] with MiscAppln with Product with Serializable
  9. case class multTerm(x: LocalTerm) extends Func[LocalTerm, LocalTerm] with MiscAppln with Product with Serializable

Value Members

  1. implicit val cringStructure: CRing[LocalTerm]
  2. val divides: FuncLike[LocalTerm, FuncLike[LocalTerm, SigmaTyp[LocalTerm, Equality[LocalTerm]]]]
  3. def funcSum(f: (LocalTerm) => LocalTerm, g: (LocalTerm) => LocalTerm): Func[LocalTerm, LocalTerm]
  4. lazy val minusone: LocalTerm
  5. def negate(x: LocalTerm): LocalTerm
  6. final def posPower(x: LocalTerm, n: Int, accum: LocalTerm = Literal(one)): LocalTerm
    Annotations
    @tailrec()
  7. def power(x: LocalTerm, n: Int): LocalTerm

    returns power of x by n, in generality an error for negative n; should be overridden in fields, where negative powers are meaningful

  8. lazy val predicate: (A) => Boolean
  9. lazy val reciprocal: Func[LocalTerm, LocalTerm]
  10. val reciprocalOpt: Option[Func[LocalTerm, LocalTerm]]

    override this in fields

  11. val ring: Ring[A]
  12. val two: A
  13. object Comb
  14. object LitProd

    matching, building for formal product with a literal

  15. object Literal extends ScalaSym[LocalTerm, A]
  16. object LiteralSum
  17. object LocalTyp extends ScalaTyp[A]
  18. object PiTerm extends Serializable
  19. object Reciprocal
  20. object SigmaTerm extends Serializable
  21. case object prod extends Func[LocalTerm, Func[LocalTerm, LocalTerm]] with Product with Serializable
  22. case object sum extends Func[LocalTerm, Func[LocalTerm, LocalTerm]] with Product with Serializable