core

Type Members

1. case class EBLS[S, T](generator: T) extends ELS[S, T] with IsMonomial with Product with Serializable

2. trait ELS[S, T] extends AnyRef

3. trait ER[S] extends AnyRef

4. case class ESCA[S, T, U](vec: ELS[S, (Set[T], Map[U, Int])])(implicit evidence$2: (T) ⇒ Ordered[T]) extends ER[ESCA[S, T, U]] with Product with Serializable

   Element of FREE Super Commutative Algebra (I should have called it EFSCA?)

5. case class EmbedQ[S](r: Rational) extends ER[S] with IsMonomial with Product with Serializable

6. case class Equation[S, T](shouldBeZero: ELS[S, T], variables: List[EBLS[S, T]]) extends Product with Serializable

   This solves a single linear equation A linear equation is a sum of monomials, some of which do not depend on x (constant terms) and others are proportional to x.

7. case class Equations[S, T](eqs: List[ELS[S, T]], variables: List[EBLS[S, T]]) extends Product with Serializable

8. trait IsMonomial extends AnyRef

9. case class Mat[S](elemss: List[List[ER[S]]]) extends Product with Serializable

10. class Rational extends AnyRef

11. case class STimesV[S, T](x: ER[S], v: EBLS[S, T]) extends ELS[S, T] with IsMonomial with Product with Serializable

12. case class UnitOfRing[S](n: BigInt) extends ER[S] with IsMonomial with Product with Serializable

13. case class VSum[S, T](vs: ELS[S, T]*) extends ELS[S, T] with Product with Serializable

14. case class ZeroOfRing[S]() extends ER[S] with IsMonomial with Product with Serializable

15. case class ZeroV[S, T]() extends ELS[S, T] with IsMonomial with Product with Serializable