Uses of Class
cc.redberry.rings.poly.multivar.Ideal

Packages that use Ideal

Package	Description
cc.redberry.rings
cc.redberry.rings.poly
cc.redberry.rings.poly.multivar

Uses of Ideal in cc.redberry.rings

Methods in cc.redberry.rings with parameters of type Ideal

Modifier and Type	Method and Description
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> QuotientRing<Term,Poly>	Rings.QuotientRing(MultivariateRing<Poly> baseRing, Ideal<Term,Poly> ideal) Quotient ring baseRing/<ideal>

Uses of Ideal in cc.redberry.rings.poly

Fields in cc.redberry.rings.poly declared as Ideal

Modifier and Type	Field and Description
Ideal<Term,Poly>	QuotientRing.ideal the ideal

Constructors in cc.redberry.rings.poly with parameters of type Ideal

Constructor and Description
QuotientRing(MultivariateRing<Poly> baseRing, Ideal<Term,Poly> ideal)

Uses of Ideal in cc.redberry.rings.poly.multivar

Methods in cc.redberry.rings.poly.multivar that return Ideal

Modifier and Type	Method and Description
Ideal<Term,Poly>	Ideal.changeOrder(Comparator<DegreeVector> newMonomialOrder) Set the monomial order used for Groebner basis of this ideal
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.create(List<Poly> generators) Creates ideal given by a list of generators.
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.create(List<Poly> generators, Comparator<DegreeVector> monomialOrder) Creates ideal given by a list of generators.
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.create(Poly... generators) Creates ideal given by a list of generators.
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.empty(Poly factory) Creates empty ideal
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.empty(Poly factory, Comparator<DegreeVector> monomialOrder) Creates empty ideal
Ideal<Term,Poly>	Ideal.intersection(Ideal<Term,Poly> oth) Returns the intersection of this and oth
Ideal<Term,Poly>	Ideal.ltIdeal() Ideal of leading terms
Ideal<Term,Poly>	Ideal.multiply(Ideal<Term,Poly> oth) Returns the product of this and oth
Ideal<Term,Poly>	Ideal.multiply(Poly oth) Returns the product of this and oth
static <E> Ideal<Monomial<E>,MultivariatePolynomial<E>>	Ideal.parse(String[] generators, Ring<E> field, Comparator<DegreeVector> monomialOrder, String[] variables) Shortcut for parse
static <E> Ideal<Monomial<E>,MultivariatePolynomial<E>>	Ideal.parse(String[] generators, Ring<E> field, String[] variables) Shortcut for parse
Ideal<Term,Poly>	Ideal.pow(int exponent) Returns this in a power of exponent
Ideal<Term,Poly>	Ideal.quotient(Ideal<Term,Poly> oth) Returns the quotient this : oth
Ideal<Term,Poly>	Ideal.quotient(Poly oth) Returns the quotient this : oth
Ideal<Term,Poly>	Ideal.square() Returns squared ideal
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.trivial(Poly factory) Creates trivial ideal (ideal = ring)
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> Ideal<Term,Poly>	Ideal.trivial(Poly factory, Comparator<DegreeVector> monomialOrder) Creates trivial ideal (ideal = ring)
Ideal<Term,Poly>	Ideal.union(Ideal<Term,Poly> oth) Returns the union of this and oth
Ideal<Term,Poly>	Ideal.union(Poly oth) Returns the union of this and oth

Methods in cc.redberry.rings.poly.multivar with parameters of type Ideal

Modifier and Type	Method and Description
boolean	Ideal.contains(Ideal<Term,Poly> oth) Whether this ideal contains the specified one
boolean	Ideal.containsProduct(Ideal<Term,Poly> a, Ideal<Term,Poly> b) Whether this ideal contains the product of two specified ideals
boolean	Ideal.containsProduct(Ideal<Term,Poly> a, Ideal<Term,Poly> b) Whether this ideal contains the product of two specified ideals
Ideal<Term,Poly>	Ideal.intersection(Ideal<Term,Poly> oth) Returns the intersection of this and oth
Ideal<Term,Poly>	Ideal.multiply(Ideal<Term,Poly> oth) Returns the product of this and oth
Ideal<Term,Poly>	Ideal.quotient(Ideal<Term,Poly> oth) Returns the quotient this : oth
Ideal<Term,Poly>	Ideal.union(Ideal<Term,Poly> oth) Returns the union of this and oth