Uses of Class edu.jas.poly.GenSolvablePolynomialRing

Packages that use GenSolvablePolynomialRing
Package	Description
edu.jas.application	Groebner base application package.
edu.jas.fd	Factorization domain package for solvable polynomial rings.
edu.jas.gb	Groebner bases package.
edu.jas.gbufd	Groebner bases using unique factorization package.
edu.jas.poly	Generic coefficients polynomial package.

Uses of GenSolvablePolynomialRing in edu.jas.application

Subclasses of GenSolvablePolynomialRing in edu.jas.application
Modifier and Type	Class	Description
`class`	`LocalSolvablePolynomialRing<C extends GcdRingElem<C>>`	LocalSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
`class`	`ResidueSolvablePolynomialRing<C extends GcdRingElem<C>>`	ResidueSolvablePolynomialRing generic solvable polynomial with residue coefficients factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
`class`	`ResidueSolvableWordPolynomialRing<C extends GcdRingElem<C>>`	ResidueSolvableWordPolynomialRing solvable polynomial with word residue coefficients factory.

Fields in edu.jas.application declared as GenSolvablePolynomialRing
Modifier and Type	Field	Description
`GenSolvablePolynomialRing<C>`	SolvableLocalResidueRing.`ring`	Solvable polynomial ring of the factory.
`GenSolvablePolynomialRing<C>`	SolvableLocalRing.`ring`	Solvable polynomial ring of the factory.
`GenSolvablePolynomialRing<C>`	SolvableResidueRing.`ring`	Polynomial ring of the factory.
`private GenSolvablePolynomialRing`	RingFactoryTokenizer.`spfac`

Methods in edu.jas.application that return GenSolvablePolynomialRing
Modifier and Type	Method	Description
`GenSolvablePolynomialRing<C>`	SolvableIdeal.`getRing()`	Get the GenSolvablePolynomialRing.
`GenSolvablePolynomialRing`	RingFactoryTokenizer.`nextSolvablePolynomialRing()`	Parsing method for solvable polynomial ring.
`GenSolvablePolynomialRing`	RingFactoryTokenizer.`nextSolvableSubModuleRing()`	Parsing method for solvable module ring.
`GenSolvablePolynomialRing<C>`	SolvableLocalResidueRing.`pairFactory()`	Factory for base elements.
`GenSolvablePolynomialRing<C>`	SolvableLocalRing.`pairFactory()`	Factory for base elements.
`GenSolvablePolynomialRing<C>`	SolvableResidueRing.`pairFactory()`	Factory for base elements.
`GenSolvablePolynomialRing<WordResidue<C>>`	ResidueSolvableWordPolynomialRing.`permutation(java.util.List<java.lang.Integer> P)`	Permutation of polynomial ring variables.
`GenSolvablePolynomialRing<C>`	SolvableResidueRing.`valueFactory()`	Factory for base elements.

Methods in edu.jas.application with parameters of type GenSolvablePolynomialRing
Modifier and Type	Method	Description
`SolvableIdeal<C>`	SolvableIdeal.`eliminate(GenSolvablePolynomialRing<C> R)`	Eliminate.
`SolvableIdeal<C>`	SolvableIdeal.`intersect(GenSolvablePolynomialRing<C> R)`	Intersection.

Constructors in edu.jas.application with parameters of type GenSolvablePolynomialRing
Constructor	Description
`LocalSolvablePolynomialRing(RingFactory<SolvableLocal<C>> cf, GenSolvablePolynomialRing o)`	The constructor creates a solvable polynomial factory object with the the same term order, number of variables and variable names as the given polynomial factory, only the coefficient factories differ and the solvable multiplication relations are empty.
`SolvableIdeal(GenSolvablePolynomialRing<C> ring)`	Constructor.
`SolvableIdeal(GenSolvablePolynomialRing<C> ring, java.util.List<GenSolvablePolynomial<C>> F)`	Constructor.
`SolvableIdeal(GenSolvablePolynomialRing<C> ring, java.util.List<GenSolvablePolynomial<C>> F, boolean gb)`	Constructor.
`SolvableIdeal(GenSolvablePolynomialRing<C> ring, java.util.List<GenSolvablePolynomial<C>> F, boolean gb, boolean topt)`	Constructor.
`SolvableIdeal(GenSolvablePolynomialRing<C> ring, java.util.List<GenSolvablePolynomial<C>> F, boolean gb, SolvableIdeal.Side s)`	Constructor.
`SolvableIdeal(GenSolvablePolynomialRing<C> ring, java.util.List<GenSolvablePolynomial<C>> F, SolvableIdeal.Side s)`	Constructor.

Uses of GenSolvablePolynomialRing in edu.jas.fd

Subclasses of GenSolvablePolynomialRing in edu.jas.fd
Modifier and Type	Class	Description
`class`	`QuotSolvablePolynomialRing<C extends GcdRingElem<C>>`	QuotSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.

Fields in edu.jas.fd declared as GenSolvablePolynomialRing
Modifier and Type	Field	Description
`GenSolvablePolynomialRing<C>`	SolvableQuotientRing.`ring`	Solvable polynomial ring of the factory.

Methods in edu.jas.fd that return GenSolvablePolynomialRing
Modifier and Type	Method	Description
`GenSolvablePolynomialRing<C>`	SolvableQuotientRing.`pairFactory()`	Factory for base elements.

Methods in edu.jas.fd with parameters of type GenSolvablePolynomialRing
Modifier and Type	Method	Description
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<GenPolynomial<C>>`	FDUtil.`integralFromQuotientCoefficients(GenSolvablePolynomialRing<GenPolynomial<C>> fac, GenSolvablePolynomial<SolvableQuotient<C>> A)`	Integral solvable polynomial from solvable rational function coefficients.
`static <C extends GcdRingElem<C>> java.util.List<GenSolvablePolynomial<GenPolynomial<C>>>`	FDUtil.`integralFromQuotientCoefficients(GenSolvablePolynomialRing<GenPolynomial<C>> fac, java.util.Collection<GenSolvablePolynomial<SolvableQuotient<C>>> L)`	Integral solvable polynomial from solvable rational function coefficients.
`GenSolvablePolynomial<C>[]`	GreatestCommonDivisorAbstract.`leftGcdCofactors(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Left greatest common divisor and cofactors.
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<SolvableQuotient<C>>`	FDUtil.`quotientFromIntegralCoefficients(GenSolvablePolynomialRing<SolvableQuotient<C>> fac, GenSolvablePolynomial<GenPolynomial<C>> A)`	Solvable rational function from integral solvable polynomial coefficients.
`static <C extends GcdRingElem<C>> java.util.List<GenSolvablePolynomial<SolvableQuotient<C>>>`	FDUtil.`quotientFromIntegralCoefficients(GenSolvablePolynomialRing<SolvableQuotient<C>> fac, java.util.Collection<GenSolvablePolynomial<GenPolynomial<C>>> L)`	Solvable rational function from integral solvable polynomial coefficients.
`GenSolvablePolynomial<C>[]`	GreatestCommonDivisorAbstract.`rightGcdCofactors(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Right greatest common divisor and cofactors.

Constructors in edu.jas.fd with parameters of type GenSolvablePolynomialRing
Constructor	Description
`QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, GenSolvablePolynomialRing o)`	The constructor creates a solvable polynomial factory object with the the same term order, number of variables and variable names as the given polynomial factory, only the coefficient factories differ and the solvable multiplication relations are empty.
`SolvableQuotientRing(GenSolvablePolynomialRing<C> r)`	The constructor creates a SolvableQuotientRing object from a GenSolvablePolynomialRing.

Uses of GenSolvablePolynomialRing in edu.jas.gb

Fields in edu.jas.gb declared as GenSolvablePolynomialRing
Modifier and Type Field Description

GenSolvablePolynomialRing<C> SolvableExtendedGB.ring

Uses of GenSolvablePolynomialRing in edu.jas.gbufd

Methods in edu.jas.gbufd with parameters of type GenSolvablePolynomialRing
Modifier and Type	Method	Description
`static <C extends GcdRingElem<C>> java.util.List<GenSolvablePolynomial<C>>`	PolyGBUtil.`intersect(GenSolvablePolynomialRing<C> pfac, java.util.List<GenSolvablePolynomial<C>> A, java.util.List<GenSolvablePolynomial<C>> B)`	Intersection.
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<C>`	PolyModUtil.`syzGcd(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Greatest common divisor via least common multiple.
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<C>[]`	PolyModUtil.`syzGcdCofactors(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Greatest common divisor and cofactors via least common multiple and reduction.
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<C>`	PolyModUtil.`syzLcm(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Least common multiple via ideal intersection.
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<C>`	PolyModUtil.`syzLeftGcd(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Left greatest common divisor via least common multiple.
`static <C extends GcdRingElem<C>> GenSolvablePolynomial<C>`	PolyModUtil.`syzRightGcd(GenSolvablePolynomialRing<C> r, GenSolvablePolynomial<C> n, GenSolvablePolynomial<C> d)`	Right greatest common divisor via least common multiple.

Uses of GenSolvablePolynomialRing in edu.jas.poly

Subclasses of GenSolvablePolynomialRing in edu.jas.poly
Modifier and Type	Class	Description
`class`	`QLRSolvablePolynomialRing<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>,D extends GcdRingElem<D>>`	QLRSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
`class`	`RecSolvablePolynomialRing<C extends RingElem<C>>`	RecSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
`class`	`RecSolvableWordPolynomialRing<C extends RingElem<C>>`	RecSolvableWordPolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.

Fields in edu.jas.poly declared as GenSolvablePolynomialRing
Modifier and Type	Field	Description
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomial.`ring`	The factory for the solvable polynomial ring.
`GenSolvablePolynomialRing<C>`	RelationTable.`ring`	The factory for the solvable polynomial ring.
`private GenSolvablePolynomialRing<C>`	WeylRelations.`ring`	The factory for the solvable polynomial ring.
`private GenSolvablePolynomialRing<C>`	WeylRelationsIterated.`ring`	The factory for the solvable polynomial ring.
`private GenSolvablePolynomialRing`	GenPolynomialTokenizer.`spfac`

Methods in edu.jas.poly that return GenSolvablePolynomialRing
Modifier and Type	Method	Description
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`contract(int i)`	Contract variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`distribute()`	Distributive representation as polynomial with all main variables.
`static <C extends RingElem<C>> GenSolvablePolynomialRing<C>`	RecSolvablePolynomialRing.`distribute(RecSolvablePolynomialRing<C> rf)`	Distributive representation as polynomial with all main variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`extend(int i)`	Extend variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`extend(int i, boolean top)`	Extend variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`extend(java.lang.String[] vn)`	Extend variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`extend(java.lang.String[] vn, boolean top)`	Extend variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomial.`factory()`	Get the corresponding element factory.
`GenSolvablePolynomialRing<C>`	PolynomialList.`getSolvableRing()`	Get ring as GenSolvablePolynomialRing.
`GenSolvablePolynomialRing<GenPolynomial<C>>`	RecSolvablePolynomialRing.`permutation(java.util.List<java.lang.Integer> P)`	Permutation of polynomial ring variables.
`GenSolvablePolynomialRing<GenWordPolynomial<C>>`	RecSolvableWordPolynomialRing.`permutation(java.util.List<java.lang.Integer> P)`	Permutation of polynomial ring variables.
`GenSolvablePolynomialRing<GenPolynomial<C>>`	GenSolvablePolynomialRing.`recursive(int i)`	Recursive representation as polynomial ring with i main variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`reverse()`	Reverse variables.
`GenSolvablePolynomialRing<C>`	GenSolvablePolynomialRing.`reverse(boolean partial)`	Reverse variables.

Methods in edu.jas.poly with parameters of type GenSolvablePolynomialRing
Modifier and Type	Method	Description
`static <C extends RingElem<C>> GenSolvablePolynomial<GenPolynomial<C>>`	PolyUtil.`extendCoefficients(GenSolvablePolynomialRing<GenPolynomial<C>> pfac, GenSolvablePolynomial<GenPolynomial<C>> A, int j, long k)`	Extend coefficient variables.
`void`	RelationGenerator.`generate(GenSolvablePolynomialRing<C> ring)`	Generates the relation table of a solvable polynomial ring.
`void`	WeylRelations.`generate(GenSolvablePolynomialRing<C> ring)`	Generates the relation table of this ring.
`void`	WeylRelationsIterated.`generate(GenSolvablePolynomialRing<C> ring)`	Generates the relation table of this ring.
`static <C extends RingElem<C>> java.util.List<GenSolvablePolynomial<C>>`	PolyUtil.`intersect(GenSolvablePolynomialRing<C> R, java.util.List<GenSolvablePolynomial<C>> F)`	Intersection.
`static <C extends RingElem<C>> java.util.List<GenSolvablePolynomial<C>>`	TermOrderOptimization.`permutation(java.util.List<java.lang.Integer> P, GenSolvablePolynomialRing<C> R, java.util.List<GenSolvablePolynomial<C>> L)`	Permutation of solvable polynomial exponent vectors.
`static <C extends RingElem<C>> GenSolvablePolynomial<GenPolynomial<C>>`	PolyUtil.`toRecursive(GenSolvablePolynomialRing<GenPolynomial<C>> rfac, GenSolvablePolynomial<C> A)`	To recursive representation.

Constructors in edu.jas.poly with parameters of type GenSolvablePolynomialRing
Constructor	Description
`GenSolvablePolynomial(GenSolvablePolynomialRing<C> r)`	Constructor for zero GenSolvablePolynomial.
`GenSolvablePolynomial(GenSolvablePolynomialRing<C> r, C c)`	Constructor for GenSolvablePolynomial.
`GenSolvablePolynomial(GenSolvablePolynomialRing<C> r, C c, ExpVector e)`	Constructor for GenSolvablePolynomial.
`GenSolvablePolynomial(GenSolvablePolynomialRing<C> r, java.util.SortedMap<ExpVector,C> v)`	Constructor for GenSolvablePolynomial.
`ModuleList(GenSolvablePolynomialRing<C> r, java.util.List<java.util.List<GenSolvablePolynomial<C>>> l)`	Constructor.
`PolynomialList(GenSolvablePolynomialRing<C> r, java.util.List<GenSolvablePolynomial<C>> l)`	Constructor.
`QLRSolvablePolynomialRing(RingFactory<C> cf, GenSolvablePolynomialRing o)`	The constructor creates a solvable polynomial factory object with the the same term order, number of variables and variable names as the given polynomial factory, only the coefficient factories differ and the solvable multiplication relations are empty.
`RelationTable(GenSolvablePolynomialRing<C> r)`	Constructor for RelationTable requires ring factory.
`RelationTable(GenSolvablePolynomialRing<C> r, boolean coeffTable)`	Constructor for RelationTable requires ring factory.
`WeylRelations(GenSolvablePolynomialRing<C> r)`	The constructor requires a ring factory.
`WeylRelationsIterated(GenSolvablePolynomialRing<C> r)`	The constructor requires a ring factory.