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.
-