Uses of Class
edu.jas.application.SolvableIdeal

Packages that use SolvableIdeal

Package	Description
edu.jas.application	Groebner base application package.

Uses of SolvableIdeal in edu.jas.application

Classes in edu.jas.application that implement interfaces with type arguments of type SolvableIdeal

Modifier and Type	Class	Description
class	SolvableIdeal<C extends GcdRingElem<C>>	Solvable Ideal implements some methods for ideal arithmetic, for example sum, intersection, quotient.

Fields in edu.jas.application declared as SolvableIdeal

Modifier and Type	Field	Description
final SolvableIdeal<C>	SolvableLocalResidueRing.ideal	Solvable polynomial ideal for the reduction.
final SolvableIdeal<C>	SolvableLocalRing.ideal	Solvable polynomial ideal for localization.
final SolvableIdeal<C>	SolvableResidueRing.ideal	Solvable polynomial ideal for the reduction.

Methods in edu.jas.application that return SolvableIdeal

Modifier and Type	Method	Description
SolvableIdeal<C>	SolvableIdeal.annihilator(SolvableIdeal<C> H)	Annihilator for ideal modulo this ideal.
SolvableIdeal<C>	SolvableIdeal.annihilator(GenSolvablePolynomial<C> h)	Annihilator for element modulo this ideal.
SolvableIdeal<C>	SolvableIdeal.copy()	Clone this.
SolvableIdeal<C>	SolvableIdeal.eliminate(GenSolvablePolynomialRing<C> R)	Eliminate.
SolvableIdeal<C>	SolvableIdeal.GB()	Groebner Base.
SolvableIdeal<C>	SolvableIdeal.getONE()	Get the one ideal.
SolvableIdeal<C>	SolvableIdeal.getZERO()	Get the zero ideal.
SolvableIdeal<C>	SolvableIdeal.infiniteQuotient(SolvableIdeal<C> H)	Infinite Quotient.
SolvableIdeal<C>	SolvableIdeal.infiniteQuotient(GenSolvablePolynomial<C> h)	Infinite quotient.
SolvableIdeal<C>	SolvableIdeal.infiniteQuotientRab(SolvableIdeal<C> H)	Infinite Quotient.
SolvableIdeal<C>	SolvableIdeal.infiniteQuotientRab(GenSolvablePolynomial<C> h)	Infinite quotient.
SolvableIdeal<C>	SolvableIdeal.intersect(SolvableIdeal<C> B)	Intersection.
SolvableIdeal<C>	SolvableIdeal.intersect(GenSolvablePolynomialRing<C> R)	Intersection.
SolvableIdeal<C>	SolvableIdeal.intersect(List<SolvableIdeal<C>> Bl)	Intersection.
SolvableIdeal<C>	SolvableIdeal.leftProduct(GenSolvablePolynomial<C> b)	Left product.
SolvableIdeal<C>	SolvableIdeal.power(int d)	Power.
SolvableIdeal<C>	SolvableIdeal.product(SolvableIdeal<C> B)	Product.
SolvableIdeal<C>	SolvableIdeal.product(GenSolvablePolynomial<C> b)	Product.
SolvableIdeal<C>	SolvableIdeal.quotient(SolvableIdeal<C> H)	Quotient.
SolvableIdeal<C>	SolvableIdeal.quotient(GenSolvablePolynomial<C> h)	Quotient.
SolvableIdeal<C>	SolvableIdeal.rightGB()	Groebner Base.
SolvableIdeal<C>	SolvableIdeal.sum(SolvableIdeal<C> B)	Solvable ideal summation.
SolvableIdeal<C>	SolvableIdeal.sum(GenSolvablePolynomial<C> b)	Solvable summation.
SolvableIdeal<C>	SolvableIdeal.sum(List<GenSolvablePolynomial<C>> L)	Solvable summation.
SolvableIdeal<C>	SolvableIdeal.twosidedGB()	Groebner Base.

Methods in edu.jas.application with parameters of type SolvableIdeal

Modifier and Type	Method	Description
SolvableIdeal<C>	SolvableIdeal.annihilator(SolvableIdeal<C> H)	Annihilator for ideal modulo this ideal.
int	SolvableIdeal.compareTo(SolvableIdeal<C> L)	SolvableIdeal comparison.
boolean	SolvableIdeal.contains(SolvableIdeal<C> B)	Solvable ideal containment.
SolvableIdeal<C>	SolvableIdeal.infiniteQuotient(SolvableIdeal<C> H)	Infinite Quotient.
int	SolvableIdeal.infiniteQuotientExponent(GenSolvablePolynomial<C> h, SolvableIdeal<C> Q)	Infinite quotient exponent.
SolvableIdeal<C>	SolvableIdeal.infiniteQuotientRab(SolvableIdeal<C> H)	Infinite Quotient.
SolvableIdeal<C>	SolvableIdeal.intersect(SolvableIdeal<C> B)	Intersection.
boolean	SolvableIdeal.isAnnihilator(SolvableIdeal<C> H, SolvableIdeal<C> A)	Test for annihilator of ideal modulo this ideal.
boolean	SolvableIdeal.isAnnihilator(GenSolvablePolynomial<C> h, SolvableIdeal<C> A)	Test for annihilator of element modulo this ideal.
SolvableIdeal<C>	SolvableIdeal.product(SolvableIdeal<C> B)	Product.
SolvableIdeal<C>	SolvableIdeal.quotient(SolvableIdeal<C> H)	Quotient.
SolvableIdeal<C>	SolvableIdeal.sum(SolvableIdeal<C> B)	Solvable ideal summation.

Method parameters in edu.jas.application with type arguments of type SolvableIdeal

Modifier and Type	Method	Description
SolvableIdeal<C>	SolvableIdeal.intersect(List<SolvableIdeal<C>> Bl)	Intersection.

Constructors in edu.jas.application with parameters of type SolvableIdeal

Modifier	Constructor	Description
	SolvableLocalResidueRing(SolvableIdeal<C> i)	The constructor creates a SolvableLocalResidueRing object from a SolvableIdeal.
	SolvableLocalRing(SolvableIdeal<C> i)	The constructor creates a SolvableLocalRing object from a SolvableIdeal.
	SolvableResidueRing(SolvableIdeal<C> i)	The constructor creates a SolvableResidueRing object from an Ideal.
	SolvableResidueRing(SolvableIdeal<C> i, boolean isMaximal)	The constructor creates a SolvableResidueRing object from an SolvableIdeal.