final case class Ideal[Term <: AMonomial[Term], Poly <: AMultivariatePolynomial[Term, Poly], E](ring: IMultivariateRing[Term, Poly, E], theIdeal: poly.multivar.Ideal[Term, Poly]) extends Product with Serializable
Ideal in multivariate polynomial ring
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Ideal
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Ideal(ring: IMultivariateRing[Term, Poly, E], theIdeal: poly.multivar.Ideal[Term, Poly])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def *(oth: Poly): Ideal[Term, Poly, E]
- def *(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
- def +(oth: Poly): Ideal[Term, Poly, E]
- def +(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
- def :/(oth: Poly): Ideal[Term, Poly, E]
- def :/(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
changeOrder(newOrder: Ordering): Ideal[Term, Poly, E]
Set the monomial order used for Groebner basis of this ideal
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate()
- lazy val groebnerBasis: Seq[Poly]
-
def
intersection(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
Returns the intersection of this and oth
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
lazy val
ltIdeal: Ideal[Term, Poly, E]
Ideal of leading terms
-
def
multiply(oth: Poly): Ideal[Term, Poly, E]
Returns the product of this and oth
-
def
multiply(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
Returns the product of this and oth
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate()
-
def
pow(exponent: Integer): Ideal[Term, Poly, E]
Returns this in a power of exponent
-
def
quotient(oth: Poly): Ideal[Term, Poly, E]
Returns the quotient this : oth
-
def
quotient(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
Returns the quotient this : oth
- val ring: IMultivariateRing[Term, Poly, E]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val theIdeal: poly.multivar.Ideal[Term, Poly]
-
def
toString(): String
- Definition Classes
- Ideal → AnyRef → Any
-
def
union(oth: Poly): Ideal[Term, Poly, E]
Returns the union of this and oth
-
def
union(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
Returns the union of this and oth
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def ∩(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]
- def ∪(oth: Poly): Ideal[Term, Poly, E]
- def ∪(oth: Ideal[Term, Poly, E]): Ideal[Term, Poly, E]