Packages

case class Polynomial(terms: CoeffMonomialList)(implicit ordering: MonomialOrdering = new DegenOrdering) extends Product with Serializable

INVARIANT: If t1 is before t2 in list, then t1 > t2

TODO: Fix zero-polynomial representation

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Polynomial
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Polynomial(terms: CoeffMonomialList)(implicit ordering: MonomialOrdering = new DegenOrdering)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def *(that: Polynomial): Polynomial
  4. def +(that: Polynomial): Polynomial
  5. def +(that: CoeffMonomial): Polynomial
  6. def -(that: Polynomial): Polynomial
  7. def -(that: CoeffMonomial): Polynomial
  8. def /(that: CoeffMonomial): Polynomial
  9. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  12. def commonFactor: Monomial
  13. def containsTerm(term: CoeffMonomial): Boolean
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  16. lazy val isConstant: Boolean
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. lazy val isLinear: Boolean
  19. def isZero: Boolean
  20. def lcm(that: Polynomial): CoeffMonomial
  21. def lm: Monomial
  22. def lt: CoeffMonomial
  23. def mul(that: IdealInt): Polynomial
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def neg: Polynomial
  26. def normalized: Polynomial
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  29. lazy val order: Int
  30. implicit val ordering: MonomialOrdering
  31. def productElementNames: Iterator[String]
    Definition Classes
    Product
  32. def reduceBy(that: Polynomial): Polynomial
  33. def simplifyBy(that: Polynomial): Polynomial
  34. def simplifyBy(reducers: (Monomial) => Option[Polynomial]): Polynomial
  35. def size: Int
  36. def spol(that: Polynomial): Polynomial
  37. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  38. val terms: CoeffMonomialList
  39. def toString(): String
    Definition Classes
    Polynomial → AnyRef → Any
  40. lazy val variables: Set[ConstantTerm]
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped