Uses of Class
edu.jas.ufd.Quotient
Packages that use Quotient
Package
Description
Groebner base application package.
Groebner bases using unique factorization package.
Elementary Integration package.
Unique factorization domain package.
-
Uses of Quotient in edu.jas.application
Methods in edu.jas.application that return types with arguments of type QuotientModifier and TypeMethodDescriptionIdeal.extension
(GenPolynomialRing<C> efac) Ideal extension.Ideal.extension
(QuotientRing<C> qfac) Ideal extension.Ideal extension.static <C extends GcdRingElem<C>>
FactorAbstract<Quotient<C>> FactorFactory.getImplementation
(QuotientRing<C> fac) Determine suitable implementation of factorization algorithms, case Quotient<C>.Method parameters in edu.jas.application with type arguments of type QuotientModifier and TypeMethodDescriptionstatic <C extends GcdRingElem<C>>
IdealWithUniv<C> Ideal.contraction
(IdealWithUniv<Quotient<C>> eid) Ideal contraction.Ideal.permContraction
(IdealWithUniv<Quotient<C>> eideal) Ideal contraction and permutation. -
Uses of Quotient in edu.jas.gbufd
Methods in edu.jas.gbufd that return types with arguments of type QuotientModifier and TypeMethodDescriptionGroebnerBaseQuotient.GB
(int modv, List<GenPolynomial<Quotient<C>>> F) Groebner base using fraction free computation.static <C extends GcdRingElem<C>>
GroebnerBaseAbstract<Quotient<C>> GBFactory.getImplementation
(QuotientRing<C> fac) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
GroebnerBaseAbstract<Quotient<C>> GBFactory.getImplementation
(QuotientRing<C> fac, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
GroebnerBaseAbstract<Quotient<C>> GBFactory.getImplementation
(QuotientRing<C> fac, GBFactory.Algo a) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
GroebnerBaseAbstract<Quotient<C>> GBFactory.getImplementation
(QuotientRing<C> fac, GBFactory.Algo a, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
SolvableGroebnerBaseAbstract<Quotient<C>> SGBFactory.getImplementation
(QuotientRing<C> fac) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
SolvableGroebnerBaseAbstract<Quotient<C>> SGBFactory.getImplementation
(QuotientRing<C> fac, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
SolvableGroebnerBaseAbstract<Quotient<C>> SGBFactory.getImplementation
(QuotientRing<C> fac, GBFactory.Algo a) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
SolvableGroebnerBaseAbstract<Quotient<C>> SGBFactory.getImplementation
(QuotientRing<C> fac, GBFactory.Algo a, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.GroebnerBaseQuotient.minimalGB
(List<GenPolynomial<Quotient<C>>> Gp) Minimal ordered Groebner basis.Method parameters in edu.jas.gbufd with type arguments of type QuotientModifier and TypeMethodDescriptionGroebnerBaseQuotient.GB
(int modv, List<GenPolynomial<Quotient<C>>> F) Groebner base using fraction free computation.static <C extends GcdRingElem<C>>
GroebnerBaseAbstract<Quotient<C>> GBFactory.getImplementation
(QuotientRing<C> fac, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
GroebnerBaseAbstract<Quotient<C>> GBFactory.getImplementation
(QuotientRing<C> fac, GBFactory.Algo a, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
SolvableGroebnerBaseAbstract<Quotient<C>> SGBFactory.getImplementation
(QuotientRing<C> fac, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.static <C extends GcdRingElem<C>>
SolvableGroebnerBaseAbstract<Quotient<C>> SGBFactory.getImplementation
(QuotientRing<C> fac, GBFactory.Algo a, PairList<Quotient<C>> pl) Determine suitable implementation of GB algorithms, case Quotient coefficients.GroebnerBaseQuotient.minimalGB
(List<GenPolynomial<Quotient<C>>> Gp) Minimal ordered Groebner basis. -
Uses of Quotient in edu.jas.integrate
Fields in edu.jas.integrate declared as QuotientModifier and TypeFieldDescriptionQuotIntegral.quot
Original rational function with coefficients from C.Fields in edu.jas.integrate with type parameters of type QuotientModifier and TypeFieldDescriptionQuotIntegral.rational
Integral of the polynomial and rational part.Methods in edu.jas.integrate that return QuotientModifier and TypeMethodDescriptionElementaryIntegration.derivative
(Quotient<C> r) Deprecated.(forRemoval=true) use PolyUfdUtil.derivative()Methods in edu.jas.integrate with parameters of type QuotientModifier and TypeMethodDescriptionElementaryIntegration.derivative
(Quotient<C> r) Deprecated.(forRemoval=true) use PolyUfdUtil.derivative()Integration of a rational function.Constructors in edu.jas.integrate with parameters of type QuotientModifierConstructorDescriptionQuotIntegral
(Quotient<C> r, GenPolynomial<C> p, List<GenPolynomial<C>> rat) Constructor.QuotIntegral
(Quotient<C> r, GenPolynomial<C> p, List<GenPolynomial<C>> rat, List<LogIntegral<C>> log) Constructor. -
Uses of Quotient in edu.jas.ufd
Fields in edu.jas.ufd declared as QuotientMethods in edu.jas.ufd that return QuotientModifier and TypeMethodDescriptionQuotient.abs()
Quotient absolute value.static <C extends GcdRingElem<C>>
Quotient<C> PolyUfdUtil.approximantOfPade
(UnivPowerSeriesRing<C> upr, TaylorFunction<C> f, C a, int m, int n) Pade approximant [m/n] of function f.Quotient.copy()
Clone this.Copy Quotient element c.QuotientRing.create
(GenPolynomial<C> n) Create from numerator.QuotientRing.create
(GenPolynomial<C> n, GenPolynomial<C> d) Create from numerator, denominator pair.static <C extends GcdRingElem<C>>
Quotient<C> PolyUfdUtil.derivative
(Quotient<C> r) Derivation of a univariate rational function.static <C extends GcdRingElem<C>>
Quotient<C> PolyUfdUtil.derivative
(Quotient<C> Q, int r) Polynomial quotient partial derivative variable r.Quotient division.Extended greatest common divisor.QuotientRing.fromInteger
(long a) Get a Quotient element from a long value.QuotientRing.fromInteger
(BigInteger a) Get a Quotient element from a BigInteger value.Greatest common divisor.QuotientRing.getONE()
Get the one element.QuotientRing.getZERO()
Get the zero element.Quotient.inverse()
Quotient inverse.Quotient.monic()
Quotient monic.Quotient multiplication by coefficient.Quotient.multiply
(GenPolynomial<C> b) Quotient multiplication by GenPolynomial.Quotient multiplication.Quotient.negate()
Quotient negate.Parse Quotient from Reader.Parse Quotient from String.Quotient.quotientRemainder
(Quotient<C> S) Quotient and remainder by division of this by S.QuotientRing.random
(int n) Quotient random.QuotientRing.random
(int k, int l, int d, float q) Generate a random quotient polynomial.Quotient random.Quotient remainder.Quotient subtraction.Quotient summation.Methods in edu.jas.ufd that return types with arguments of type QuotientModifier and TypeMethodDescriptionFactorQuotient.baseFactorsSquarefree
(GenPolynomial<Quotient<C>> P) GenPolynomial base factorization of a squarefree polynomial.SquarefreeInfiniteFieldCharP.baseRootCharacteristic
(GenPolynomial<Quotient<C>> P) GenPolynomial char-th root univariate polynomial.static <C extends GcdRingElem<C>>
GenExteriorPolynomial<Quotient<C>> PolyUfdUtil.exteriorDerivativeQuot
(GenExteriorPolynomial<Quotient<C>> P) GenExteriorPolynomial over polynomial quotient exterior derivative.static <C extends GcdRingElem<C>>
SortedMap<Quotient<C>, Long> Factors of Quotient rational function.FactorQuotient.factorsSquarefree
(GenPolynomial<Quotient<C>> P) GenPolynomial factorization of a squarefree polynomial.QuotientRing.generators()
Get a list of the generating elements.static <C extends GcdRingElem<C>>
FactorAbstract<Quotient<C>> FactorFactory.getImplementation
(QuotientRing<C> fac) Determine suitable implementation of factorization algorithms, case Quotient<C>.static <C extends GcdRingElem<C>>
SquarefreeAbstract<Quotient<C>> SquarefreeFactory.getImplementation
(QuotientRing<C> fac) Determine suitable implementation of squarefree factorization algorithms, case Quotient<C>.static <C extends GcdRingElem<C>>
GenPolynomial<Quotient<C>> PolyUfdUtil.quotientFromIntegralCoefficients
(GenPolynomialRing<Quotient<C>> fac, GenPolynomial<GenPolynomial<C>> A) Rational function from integral polynomial coefficients.static <C extends GcdRingElem<C>>
List<GenPolynomial<Quotient<C>>> PolyUfdUtil.quotientFromIntegralCoefficients
(GenPolynomialRing<Quotient<C>> fac, Collection<GenPolynomial<GenPolynomial<C>>> L) Rational function from integral polynomial coefficients.SquarefreeInfiniteFieldCharP.recursiveUnivariateRootCharacteristic
(GenPolynomial<GenPolynomial<Quotient<C>>> P) GenPolynomial char-th root univariate polynomial with polynomial coefficients.SquarefreeInfiniteFieldCharP.rootCharacteristic
(GenPolynomial<Quotient<C>> P) GenPolynomial char-th root main variable.SquarefreeInfiniteFieldCharP.rootCharacteristic
(Quotient<C> P) Characteristics root of a Quotient.SquarefreeInfiniteFieldCharP.squarefreeFactors
(Quotient<C> P) Squarefree factors of a Quotient.Methods in edu.jas.ufd with parameters of type QuotientModifier and TypeMethodDescriptionint
Quotient comparison.Copy Quotient element c.static <C extends GcdRingElem<C>>
Quotient<C> PolyUfdUtil.derivative
(Quotient<C> r) Derivation of a univariate rational function.static <C extends GcdRingElem<C>>
Quotient<C> PolyUfdUtil.derivative
(Quotient<C> Q, int r) Polynomial quotient partial derivative variable r.Quotient division.Extended greatest common divisor.static <C extends GcdRingElem<C>>
CPolyUfdUtil.evaluateAll
(RingFactory<C> cfac, Quotient<C> A, List<C> a) Evaluate all variables.static <C extends GcdRingElem<C>>
CPolyUfdUtil.evaluateMain
(RingFactory<C> cfac, Quotient<C> A, C a) Evaluate at main variable.static <C extends GcdRingElem<C>>
SortedMap<Quotient<C>, Long> Factors of Quotient rational function.Greatest common divisor.static <C extends GcdRingElem<C>>
booleanPolyUfdUtil.isFactorization
(Quotient<C> P, SortedMap<Quotient<C>, Long> F) Quotient is (squarefree) factorization.Quotient multiplication.Quotient.quotientRemainder
(Quotient<C> S) Quotient and remainder by division of this by S.Quotient remainder.SquarefreeInfiniteFieldCharP.rootCharacteristic
(Quotient<C> P) Characteristics root of a Quotient.SquarefreeInfiniteFieldCharP.squarefreeFactors
(Quotient<C> P) Squarefree factors of a Quotient.Quotient subtraction.Quotient summation.Method parameters in edu.jas.ufd with type arguments of type QuotientModifier and TypeMethodDescriptionFactorQuotient.baseFactorsSquarefree
(GenPolynomial<Quotient<C>> P) GenPolynomial base factorization of a squarefree polynomial.SquarefreeInfiniteFieldCharP.baseRootCharacteristic
(GenPolynomial<Quotient<C>> P) GenPolynomial char-th root univariate polynomial.static <C extends GcdRingElem<C>>
GenExteriorPolynomial<Quotient<C>> PolyUfdUtil.exteriorDerivativeQuot
(GenExteriorPolynomial<Quotient<C>> P) GenExteriorPolynomial over polynomial quotient exterior derivative.FactorQuotient.factorsSquarefree
(GenPolynomial<Quotient<C>> P) GenPolynomial factorization of a squarefree polynomial.static <C extends GcdRingElem<C>>
GenPolynomial<GenPolynomial<C>> PolyUfdUtil.integralFromQuotientCoefficients
(GenPolynomialRing<GenPolynomial<C>> fac, GenPolynomial<Quotient<C>> A) Integral polynomial from rational function coefficients.static <C extends GcdRingElem<C>>
List<GenPolynomial<GenPolynomial<C>>> PolyUfdUtil.integralFromQuotientCoefficients
(GenPolynomialRing<GenPolynomial<C>> fac, Collection<GenPolynomial<Quotient<C>>> L) Integral polynomial from rational function coefficients.static <C extends GcdRingElem<C>>
booleanPolyUfdUtil.isFactorization
(Quotient<C> P, SortedMap<Quotient<C>, Long> F) Quotient is (squarefree) factorization.static <C extends GcdRingElem<C>>
GenPolynomial<Quotient<C>> PolyUfdUtil.quotientFromIntegralCoefficients
(GenPolynomialRing<Quotient<C>> fac, GenPolynomial<GenPolynomial<C>> A) Rational function from integral polynomial coefficients.static <C extends GcdRingElem<C>>
List<GenPolynomial<Quotient<C>>> PolyUfdUtil.quotientFromIntegralCoefficients
(GenPolynomialRing<Quotient<C>> fac, Collection<GenPolynomial<GenPolynomial<C>>> L) Rational function from integral polynomial coefficients.SquarefreeInfiniteFieldCharP.recursiveUnivariateRootCharacteristic
(GenPolynomial<GenPolynomial<Quotient<C>>> P) GenPolynomial char-th root univariate polynomial with polynomial coefficients.SquarefreeInfiniteFieldCharP.rootCharacteristic
(GenPolynomial<Quotient<C>> P) GenPolynomial char-th root main variable.Constructors in edu.jas.ufd with parameters of type QuotientConstructor parameters in edu.jas.ufd with type arguments of type QuotientModifierConstructorDescriptionConstructor.