object MitM
- Source
- Names.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- MitM
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
case class
MultiMonomialStructure(coefficient: BigInt, exponents: List[BigInt]) extends Product with Serializable
convenience class for representing monomials
-
abstract
class
MultiPolynomialMatcher extends AnyRef
aligns a specific system's polynomials with MitM polynomials via MultiPolynomialStructure
-
case class
MultiPolynomialStructure(baseRing: Term, varnames: List[String], monomials: List[MultiMonomialStructure]) extends Product with Serializable
convenience class for representing polynomials
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val BoolLit: RepresentedRealizedType[Boolean]
- val N: StandardNat.type
- val P: StandardPositive.type
- val Z: StandardInt.type
- val and: GlobalName
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val basepath: DPath
- val bool: GlobalName
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val ded: GlobalName
- val dihedralGroup: GlobalName
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val eq: GlobalName
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val equiv: GlobalName
- val exists: GlobalName
- val ff: OMLIT
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- val forall: GlobalName
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- val groebner: GlobalName
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- val implicitProof: GlobalName
- val implies: GlobalName
- val int: GlobalName
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val lists: MPath
- val logic: MPath
- val mathpath: MPath
- val matrices: MPath
- val matrix: GlobalName
- val matrixconst: GlobalName
- val monomial_con: GlobalName
- val monomials: GlobalName
- val multi_polycon: GlobalName
- val multipoly: GlobalName
- val n: OMID
- val nat: GlobalName
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val not: GlobalName
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val numberfield: GlobalName
- val or: GlobalName
- val p: OMID
- val polyOrbit: GlobalName
- val polycons: GlobalName
- val polynomials: GlobalName
- val polypath: MPath
- val pos: GlobalName
- val preproc: Preprocessor
- def present(tm: Term, pres: (Term) ⇒ String): String
- val rationalRing: GlobalName
- val string: GlobalName
- val strings: MPath
- val succ: GlobalName
- def synType(t: Term): SynOpType
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- val tt: OMLIT
- val vector: GlobalName
- val vectorprepend: GlobalName
- val vectors: MPath
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val z: OMID
- val zerovec: GlobalName
- object Monomial
- object MultiPolynomial
- object MultiPolynomialStructure extends Serializable