Packages

class Basis extends AnyRef

Represents a collection of polynomials

By keeping a map and a priorityqueue in parallel, the data structure supports: -- Finding the smallest element (keeping it ordered) -- Finding all polynomials with a LT containing some variables

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Basis
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Basis()(implicit ordering: MonomialOrdering)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def add(polys: Iterable[(Polynomial, BitSet)]): Unit
  5. def add(poly: Polynomial, label: BitSet): Unit
  6. def addBasis(b: Basis): Unit
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  9. def containsUnit: Option[Polynomial]
  10. def copy: Basis
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def get: (Polynomial, BitSet)
  14. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  16. def isEmpty: Boolean
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def labelFor(p: Polynomial): BitSet
  19. val labels: HashMap[Polynomial, BitSet]
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  23. implicit val o: Ordering[Polynomial]
  24. implicit val ordering: MonomialOrdering
  25. def polyIterator: Iterator[Polynomial]
  26. val polyMap: LinkedHashMap[Monomial, List[Polynomial]]
  27. val polyQueue: PriorityQueue[Polynomial]
  28. def reduceBy(poly: Polynomial, label: BitSet): Seq[(Polynomial, BitSet)]

    Reduce each polynomial in this basis using poly, give back all modified polynomials.

  29. def reducePolynomial(andAlso: Basis, poly: Polynomial, label: BitSet): (Polynomial, BitSet)
  30. def reducePolynomial(poly: Polynomial, label: BitSet): (Polynomial, BitSet)
  31. def remove(i: Int): Unit
  32. def simplify: Basis
  33. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  34. def toArray: Array[Polynomial]
  35. def toList: List[Polynomial]
  36. def toSet: Set[Polynomial]
  37. def toString(): String
    Definition Classes
    Basis → AnyRef → Any
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  40. 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 AnyRef

Inherited from Any

Ungrouped