Packages

object MitM

Source
Names.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MitM
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class MultiMonomialStructure(coefficient: BigInt, exponents: List[BigInt]) extends Product with Serializable

    convenience class for representing monomials

  2. abstract class MultiPolynomialMatcher extends AnyRef

    aligns a specific system's polynomials with MitM polynomials via MultiPolynomialStructure

  3. case class MultiPolynomialStructure(baseRing: Term, varnames: List[String], monomials: List[MultiMonomialStructure]) extends Product with Serializable

    convenience class for representing polynomials

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. val BoolLit: RepresentedRealizedType[Boolean]
  5. val N: StandardNat.type
  6. val P: StandardPositive.type
  7. val Z: StandardInt.type
  8. val and: GlobalName
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. val basepath: DPath
  11. val bool: GlobalName
  12. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  13. val ded: GlobalName
  14. val dihedralGroup: GlobalName
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. val eq: GlobalName
  17. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  18. val equiv: GlobalName
  19. val exists: GlobalName
  20. val ff: OMLIT
  21. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. val forall: GlobalName
  23. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. val groebner: GlobalName
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. val implicitProof: GlobalName
  27. val implies: GlobalName
  28. val int: GlobalName
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. val lists: MPath
  31. val logic: MPath
  32. val mathpath: MPath
  33. val matrices: MPath
  34. val matrix: GlobalName
  35. val matrixconst: GlobalName
  36. val monomial_con: GlobalName
  37. val monomials: GlobalName
  38. val multi_polycon: GlobalName
  39. val multipoly: GlobalName
  40. val n: OMID
  41. val nat: GlobalName
  42. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  43. val not: GlobalName
  44. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  45. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  46. val numberfield: GlobalName
  47. val or: GlobalName
  48. val p: OMID
  49. val polyOrbit: GlobalName
  50. val polycons: GlobalName
  51. val polynomials: GlobalName
  52. val polypath: MPath
  53. val pos: GlobalName
  54. val preproc: Preprocessor
  55. def present(tm: Term, pres: (Term) ⇒ String): String
  56. val rationalRing: GlobalName
  57. val string: GlobalName
  58. val strings: MPath
  59. val succ: GlobalName
  60. def synType(t: Term): SynOpType
  61. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  62. def toString(): String
    Definition Classes
    AnyRef → Any
  63. val tt: OMLIT
  64. val vector: GlobalName
  65. val vectorprepend: GlobalName
  66. val vectors: MPath
  67. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  68. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  69. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  70. val z: OMID
  71. val zerovec: GlobalName
  72. object Monomial
  73. object MultiPolynomial
  74. object MultiPolynomialStructure extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped