Uses of Class
edu.jas.arith.BigInteger
-
Packages that use BigInteger Package Description edu.jas.application Groebner base application package.edu.jas.arith Basic arithmetic 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.edu.jas.ps Generic coefficients power series package.edu.jas.root Real and Complex Root Computation package.edu.jas.ufd Unique factorization domain package. -
-
Uses of BigInteger in edu.jas.application
Fields in edu.jas.application with type parameters of type BigInteger Modifier and Type Field Description (package private) PolynomialList<BigInteger>IntegerProgram. F(package private) Ideal<BigInteger>IntegerProgram. GB(package private) Ideal<BigInteger>IntegerProgram. I(package private) GenPolynomial<BigInteger>IntegerProgram. S -
Uses of BigInteger in edu.jas.arith
Fields in edu.jas.arith declared as BigInteger Modifier and Type Field Description (package private) BigIntegerBigRationalIterator. den(package private) BigIntegerBigRationalIterator. numstatic BigIntegerBigInteger. ONEThe constant 1.static BigIntegerBigInteger. TWOThe constant 2.static BigIntegerBigInteger. ZEROThe constant 0.Fields in edu.jas.arith with type parameters of type BigInteger Modifier and Type Field Description (package private) java.util.Iterator<BigInteger>BigRationalIterator. denit(package private) java.util.List<BigInteger>BigRationalIterator. denlist(package private) java.util.Iterator<BigInteger>BigRationalIterator. denlistit(package private) java.util.Iterator<BigInteger>BigRationalIterator. numit(package private) java.util.List<BigInteger>BigRationalIterator. numlist(package private) java.util.Iterator<BigInteger>BigRationalIterator. numlistitMethods in edu.jas.arith that return BigInteger Modifier and Type Method Description BigIntegerBigInteger. abs()Absolute value of this.static BigIntegerCombinatoric. binCoeff(int n, int k)Integer binomial coefficient.static BigIntegerCombinatoric. binCoeffInduction(BigInteger A, long n, long k)Integer binomial coefficient induction.static BigIntegerCombinatoric. binCoeffSum(int n, int k)Integer binomial coefficient partial sum.BigIntegerBigInteger. copy()Clone this.BigIntegerBigInteger. copy(BigInteger c)Copy BigInteger element c.BigIntegerBigInteger. divide(BigInteger S)BigInteger divide.BigInteger[]BigInteger. egcd(BigInteger S)BigInteger extended greatest common divisor.static BigIntegerCombinatoric. factorial(long n)Factorial.BigIntegerBigInteger. factory()Get the corresponding element factory.BigIntegerBigInteger. fromInteger(long a)Get a BigInteger element from long.BigIntegerBigInteger. fromInteger(java.math.BigInteger a)Get a BigInteger element from a math.BigInteger.BigIntegerBigInteger. gcd(BigInteger S)BigInteger greatest common divisor.BigIntegerModInt. getInteger()Return a BigInteger from this Element.BigIntegerModInteger. getInteger()Return a BigInteger from this Element.BigIntegerModLong. getInteger()Return a BigInteger from this Element.BigIntegerModular. getInteger()Return a BigInteger from this Element.BigIntegerModIntegerRing. getIntegerModul()Get the module part as BigInteger.BigIntegerModIntRing. getIntegerModul()Get the module part as BigInteger.BigIntegerModLongRing. getIntegerModul()Get the module part as BigInteger.BigIntegerModularRingFactory. getIntegerModul()Return the BigInteger modul for the factory.BigIntegerBigInteger. getONE()Get the one element.BigIntegerModInt. getSymmetricInteger()Return a symmetric BigInteger from this Element.BigIntegerModInteger. getSymmetricInteger()Return a symmetric BigInteger from this Element.BigIntegerModLong. getSymmetricInteger()Return a symmetric BigInteger from this Element.BigIntegerModular. getSymmetricInteger()Return a symmetric BigInteger from this Element.BigIntegerBigInteger. getZERO()Get the zero element.static BigIntegerBigInteger. IABS(BigInteger A)Absolute value.static BigIntegerBigInteger. IDIF(BigInteger A, BigInteger B)BigInteger subtract.static BigIntegerBigInteger. IGCD(BigInteger A, BigInteger B)BigInteger greatest common divisor.static BigIntegerBigInteger. INEG(BigInteger A)Negative value.BigIntegerBigInteger. inverse()Integer inverse.static BigIntegerBigInteger. IPROD(BigInteger A, BigInteger B)BigInteger multiply.static BigIntegerBigInteger. IQ(BigInteger A, BigInteger B)BigInteger divide.static BigInteger[]BigInteger. IQR(BigInteger A, BigInteger B)Integer quotient and remainder.static BigIntegerBigInteger. IRAND(int NL)BigInteger random.static BigIntegerBigInteger. IREM(BigInteger A, BigInteger B)BigInteger remainder.static BigIntegerBigInteger. ISUM(BigInteger A, BigInteger B)BigInteger addition.BigIntegerBigInteger. multiply(BigInteger S)BigInteger multiply.BigIntegerBigInteger. negate()BigIntegerBigIntegerIterator. next()Get next integer.BigIntegerBigInteger. parse(java.io.Reader r)BigInteger parse from Reader.BigIntegerBigInteger. parse(java.lang.String s)BigInteger parse from String.BigInteger[]BigInteger. quotientRemainder(BigInteger S)BigInteger compute quotient and remainder.BigIntegerBigInteger. random(int n)BigInteger random.BigIntegerBigInteger. random(int n, java.util.Random rnd)BigInteger random.BigIntegerBigInteger. remainder(BigInteger S)BigInteger remainder.static BigIntegerRoots. root(BigInteger A, int n)Integer n-th root.BigIntegerBigInteger. shiftLeft(int n)BigInteger shift left.static BigIntegerRoots. sqrt(BigInteger A)Integer square root.static BigIntegerRoots. sqrtInt(BigInteger A)Integer square root.BigIntegerBigInteger. subtract(BigInteger S)BigInteger subtract.BigIntegerBigInteger. sum(BigInteger S)BigInteger summation.static BigIntegerBigInteger. valueOf(long a)Get a BigInteger element from long.static BigIntegerBigInteger. valueOf(java.math.BigInteger a)Get a BigInteger element from a math.BigInteger.Methods in edu.jas.arith that return types with arguments of type BigInteger Modifier and Type Method Description static java.util.List<BigInteger>ArithUtil. continuedFraction(BigRational A)Continued fraction.java.util.List<BigInteger>BigInteger. generators()Get a list of the generating elements.java.util.Iterator<BigInteger>BigInteger. iterator()Get a BigInteger iterator.Methods in edu.jas.arith with parameters of type BigInteger Modifier and Type Method Description static BigIntegerCombinatoric. binCoeffInduction(BigInteger A, long n, long k)Integer binomial coefficient induction.intBigInteger. compareTo(BigInteger b)Compare to BigInteger b.BigIntegerBigInteger. copy(BigInteger c)Copy BigInteger element c.BigIntegerBigInteger. divide(BigInteger S)BigInteger divide.BigInteger[]BigInteger. egcd(BigInteger S)BigInteger extended greatest common divisor.BigRationalBigRational. fromInteger(BigInteger a)Get a BigRational element from a arith.BigInteger.BigIntegerBigInteger. gcd(BigInteger S)BigInteger greatest common divisor.static BigIntegerBigInteger. IABS(BigInteger A)Absolute value.static intBigInteger. ICOMP(BigInteger A, BigInteger B)Integer comparison.static BigIntegerBigInteger. IDIF(BigInteger A, BigInteger B)BigInteger subtract.static BigIntegerBigInteger. IGCD(BigInteger A, BigInteger B)BigInteger greatest common divisor.static BigIntegerBigInteger. INEG(BigInteger A)Negative value.static BigIntegerBigInteger. IPROD(BigInteger A, BigInteger B)BigInteger multiply.static BigIntegerBigInteger. IQ(BigInteger A, BigInteger B)BigInteger divide.static BigInteger[]BigInteger. IQR(BigInteger A, BigInteger B)Integer quotient and remainder.static BigIntegerBigInteger. IREM(BigInteger A, BigInteger B)BigInteger remainder.static intBigInteger. ISIGN(BigInteger A)Integer signum.static BigIntegerBigInteger. ISUM(BigInteger A, BigInteger B)BigInteger addition.BigIntegerBigInteger. multiply(BigInteger S)BigInteger multiply.BigInteger[]BigInteger. quotientRemainder(BigInteger S)BigInteger compute quotient and remainder.BigIntegerBigInteger. remainder(BigInteger S)BigInteger remainder.static BigIntegerRoots. root(BigInteger A, int n)Integer n-th root.static BigIntegerRoots. sqrt(BigInteger A)Integer square root.static BigIntegerRoots. sqrtInt(BigInteger A)Integer square root.BigIntegerBigInteger. subtract(BigInteger S)BigInteger subtract.BigIntegerBigInteger. sum(BigInteger S)BigInteger summation.Method parameters in edu.jas.arith with type arguments of type BigInteger Modifier and Type Method Description static BigRationalArithUtil. continuedFractionApprox(java.util.List<BigInteger> A)Continued fraction approximation.Constructors in edu.jas.arith with parameters of type BigInteger Constructor Description BigRational(BigInteger n)Constructor for a BigRational from jas.arith.BigIntegers.BigRational(BigInteger n, BigInteger d)Constructor for a BigRational from jas.arith.BigIntegers. -
Uses of BigInteger in edu.jas.fd
Methods in edu.jas.fd that return types with arguments of type BigInteger Modifier and Type Method Description static GreatestCommonDivisorAbstract<BigInteger>SGCDFactory. getImplementation(BigInteger fac)Determine suitable implementation of gcd algorithms, case BigInteger.static GreatestCommonDivisorAbstract<BigInteger>SGCDFactory. getProxy(BigInteger fac)Determine suitable proxy for gcd algorithms, case BigInteger.Methods in edu.jas.fd with parameters of type BigInteger Modifier and Type Method Description static GreatestCommonDivisorAbstract<BigInteger>SGCDFactory. getImplementation(BigInteger fac)Determine suitable implementation of gcd algorithms, case BigInteger.static GreatestCommonDivisorAbstract<BigInteger>SGCDFactory. getProxy(BigInteger fac)Determine suitable proxy for gcd algorithms, case BigInteger. -
Uses of BigInteger in edu.jas.gb
Fields in edu.jas.gb with type parameters of type BigInteger Modifier and Type Field Description GenPolynomialRing<BigInteger>Cyclic. ringMethods in edu.jas.gb that return types with arguments of type BigInteger Modifier and Type Method Description (package private) GenPolynomial<BigInteger>Cyclic. cyclicPoly(GenPolynomialRing<BigInteger> ring, int n, int i)java.util.List<GenPolynomial<BigInteger>>Cyclic. cyclicPolys()Compute list of polynomials.(package private) java.util.List<GenPolynomial<BigInteger>>Cyclic. cyclicPolys(GenPolynomialRing<BigInteger> ring)Compute list of polynomials.Method parameters in edu.jas.gb with type arguments of type BigInteger Modifier and Type Method Description (package private) GenPolynomial<BigInteger>Cyclic. cyclicPoly(GenPolynomialRing<BigInteger> ring, int n, int i)(package private) java.util.List<GenPolynomial<BigInteger>>Cyclic. cyclicPolys(GenPolynomialRing<BigInteger> ring)Compute list of polynomials. -
Uses of BigInteger in edu.jas.gbufd
Fields in edu.jas.gbufd with type parameters of type BigInteger Modifier and Type Field Description GroebnerBaseAbstract<BigInteger>GroebnerBaseRational. bbaMethods in edu.jas.gbufd that return types with arguments of type BigInteger Modifier and Type Method Description static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, GBFactory.Algo a)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, GBFactory.Algo a, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, GBFactory.Algo a)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, GBFactory.Algo a, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.Methods in edu.jas.gbufd with parameters of type BigInteger Modifier and Type Method Description static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, GBFactory.Algo a)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, GBFactory.Algo a, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, GBFactory.Algo a)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, GBFactory.Algo a, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.Method parameters in edu.jas.gbufd with type arguments of type BigInteger Modifier and Type Method Description static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static GroebnerBaseAbstract<BigInteger>GBFactory. getImplementation(BigInteger fac, GBFactory.Algo a, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.static SolvableGroebnerBaseAbstract<BigInteger>SGBFactory. getImplementation(BigInteger fac, GBFactory.Algo a, PairList<BigInteger> pl)Determine suitable implementation of GB algorithms, case BigInteger.Constructor parameters in edu.jas.gbufd with type arguments of type BigInteger Constructor Description GroebnerBaseRational(int threads, PairList<BigInteger> pl)Constructor.GroebnerBaseRational(GroebnerBaseAbstract<BigInteger> bba)Constructor.GroebnerBaseRational(PairList<BigInteger> pl)Constructor. -
Uses of BigInteger in edu.jas.poly
Fields in edu.jas.poly with type parameters of type BigInteger Modifier and Type Field Description (package private) GenPolynomialRing<BigInteger>RatToIntPoly. ringMethods in edu.jas.poly that return BigInteger Modifier and Type Method Description BigIntegerModSymToInt. eval(C c)BigIntegerModToInt. eval(C c)BigIntegerRatNumer. eval(BigRational c)BigIntegerRatToInt. eval(BigRational c)BigIntegerRatToIntFactor. eval(BigRational c)static BigIntegerPolyUtil. factorBound(ExpVector e)Factor coefficient bound.Methods in edu.jas.poly that return types with arguments of type BigInteger Modifier and Type Method Description static <C extends RingElem<C>>
java.util.List<GenPolynomial<BigInteger>>TermOrderOptimization. degreeMatrix(GenPolynomial<C> A)Degree matrix.static <C extends RingElem<C>>
java.util.List<GenPolynomial<BigInteger>>TermOrderOptimization. degreeMatrix(java.util.Collection<GenPolynomial<C>> L)Degree matrix.static <C extends RingElem<C>>
java.util.List<GenPolynomial<BigInteger>>TermOrderOptimization. degreeMatrixOfCoefficients(GenPolynomial<GenPolynomial<C>> A)Degree matrix of coefficient polynomials.static <C extends RingElem<C>>
java.util.List<GenPolynomial<BigInteger>>TermOrderOptimization. degreeMatrixOfCoefficients(java.util.Collection<GenPolynomial<GenPolynomial<C>>> L)Degree matrix of coefficient polynomials.GenPolynomial<BigInteger>RatToIntPoly. eval(GenPolynomial<BigRational> c)static java.util.List<GenPolynomial<BigInteger>>TermOrderOptimization. expVectorAdd(java.util.List<GenPolynomial<BigInteger>> dm, ExpVector e)Degree matrix exponent vector add.static <C extends RingElem<C> & Modular>
GenPolynomial<BigInteger>PolyUtil. integerFromModularCoefficients(GenPolynomialRing<BigInteger> fac, GenPolynomial<C> A)BigInteger from ModInteger coefficients, symmetric.static <C extends RingElem<C> & Modular>
java.util.List<GenPolynomial<BigInteger>>PolyUtil. integerFromModularCoefficients(GenPolynomialRing<BigInteger> fac, java.util.List<GenPolynomial<C>> L)BigInteger from ModInteger coefficients, symmetric.static <C extends RingElem<C> & Modular>
GenPolynomial<BigInteger>PolyUtil. integerFromModularCoefficientsPositive(GenPolynomialRing<BigInteger> fac, GenPolynomial<C> A)BigInteger from ModInteger coefficients, positive.static GenPolynomial<BigInteger>PolyUtil. integerFromRationalCoefficients(GenPolynomialRing<BigInteger> fac, GenPolynomial<BigRational> A)BigInteger from BigRational coefficients.static GenPolynomial<BigInteger>PolyUtil. integerFromRationalCoefficients(GenPolynomialRing<BigInteger> fac, java.math.BigInteger gcd, java.math.BigInteger lcm, GenPolynomial<BigRational> A)BigInteger from BigRational coefficients.static java.util.List<GenPolynomial<BigInteger>>PolyUtil. integerFromRationalCoefficients(GenPolynomialRing<BigInteger> fac, java.util.List<GenPolynomial<BigRational>> L)BigInteger from BigRational coefficients.Methods in edu.jas.poly with parameters of type BigInteger Modifier and Type Method Description DFromInteger. eval(BigInteger c)static Product<ModInteger>PolyUtil. toProduct(ProductRing<ModInteger> pfac, BigInteger c)Product representation.Method parameters in edu.jas.poly with type arguments of type BigInteger Modifier and Type Method Description GenPolynomial<D>FromIntegerPoly. eval(GenPolynomial<BigInteger> c)static java.util.List<GenPolynomial<BigInteger>>TermOrderOptimization. expVectorAdd(java.util.List<GenPolynomial<BigInteger>> dm, ExpVector e)Degree matrix exponent vector add.static <C extends RingElem<C>>
GenPolynomial<C>PolyUtil. fromIntegerCoefficients(GenPolynomialRing<C> fac, GenPolynomial<BigInteger> A)From BigInteger coefficients.static <C extends RingElem<C>>
java.util.List<GenPolynomial<C>>PolyUtil. fromIntegerCoefficients(GenPolynomialRing<C> fac, java.util.List<GenPolynomial<BigInteger>> L)From BigInteger coefficients.static <C extends RingElem<C> & Modular>
GenPolynomial<BigInteger>PolyUtil. integerFromModularCoefficients(GenPolynomialRing<BigInteger> fac, GenPolynomial<C> A)BigInteger from ModInteger coefficients, symmetric.static <C extends RingElem<C> & Modular>
java.util.List<GenPolynomial<BigInteger>>PolyUtil. integerFromModularCoefficients(GenPolynomialRing<BigInteger> fac, java.util.List<GenPolynomial<C>> L)BigInteger from ModInteger coefficients, symmetric.static <C extends RingElem<C> & Modular>
GenPolynomial<BigInteger>PolyUtil. integerFromModularCoefficientsPositive(GenPolynomialRing<BigInteger> fac, GenPolynomial<C> A)BigInteger from ModInteger coefficients, positive.static GenPolynomial<BigInteger>PolyUtil. integerFromRationalCoefficients(GenPolynomialRing<BigInteger> fac, GenPolynomial<BigRational> A)BigInteger from BigRational coefficients.static GenPolynomial<BigInteger>PolyUtil. integerFromRationalCoefficients(GenPolynomialRing<BigInteger> fac, java.math.BigInteger gcd, java.math.BigInteger lcm, GenPolynomial<BigRational> A)BigInteger from BigRational coefficients.static java.util.List<GenPolynomial<BigInteger>>PolyUtil. integerFromRationalCoefficients(GenPolynomialRing<BigInteger> fac, java.util.List<GenPolynomial<BigRational>> L)BigInteger from BigRational coefficients.static java.lang.Object[]PolyUtil. integerFromRationalCoefficientsFactor(GenPolynomialRing<BigInteger> fac, GenPolynomial<BigRational> A)BigInteger from BigRational coefficients.static java.util.List<java.lang.Integer>TermOrderOptimization. optimalPermutation(java.util.List<GenPolynomial<BigInteger>> D)Optimal permutation for the Degree matrix.static GenPolynomial<Product<ModInteger>>PolyUtil. toProduct(GenPolynomialRing<Product<ModInteger>> pfac, GenPolynomial<BigInteger> A)Product representation.static java.util.List<GenPolynomial<Product<ModInteger>>>PolyUtil. toProduct(GenPolynomialRing<Product<ModInteger>> pfac, java.util.List<GenPolynomial<BigInteger>> L)Product representation.Constructor parameters in edu.jas.poly with type arguments of type BigInteger Constructor Description RatToIntPoly(GenPolynomialRing<BigInteger> ring) -
Uses of BigInteger in edu.jas.ps
Methods in edu.jas.ps that return types with arguments of type BigInteger Modifier and Type Method Description (package private) static UnivPowerSeries<BigInteger>Examples. integersFrom(int start) -
Uses of BigInteger in edu.jas.root
Methods in edu.jas.root that return types with arguments of type BigInteger Modifier and Type Method Description static java.util.List<BigInteger>RealArithUtil. continuedFraction(RealAlgebraicNumber<BigRational> A, int M)Continued fraction.Method parameters in edu.jas.root with type arguments of type BigInteger Modifier and Type Method Description static BigRationalRealArithUtil. continuedFractionApprox(java.util.List<BigInteger> A)Continued fraction approximation. -
Uses of BigInteger in edu.jas.ufd
Fields in edu.jas.ufd with type parameters of type BigInteger Modifier and Type Field Description GenPolynomial<BigInteger>HenselApprox. AApproximated polynomial with integer coefficients.GenPolynomial<BigInteger>HenselApprox. BApproximated polynomial with integer coefficients.java.util.List<BigInteger>TrialParts. evalPointsevaluation pointsprotected FactorAbstract<BigInteger>FactorRational. iengineFactorization engine for integer base coefficients.GreatestCommonDivisorAbstract<BigInteger>GreatestCommonDivisorHensel. iufdFall back gcd algorithm.protected GreatestCommonDivisorAbstract<BigInteger>GreatestCommonDivisorModular. iufdjava.util.List<BigInteger>TrialParts. ldcfEvalevaluated factors of leading coefficient factors by evaluation pointsjava.util.List<GenPolynomial<BigInteger>>TrialParts. ldcfFactorsirreducible factors of leading coefficientprivate GreatestCommonDivisorAbstract<BigInteger>GreatestCommonDivisorHensel. ufdjava.util.List<GenPolynomial<BigInteger>>TrialParts. univFactorsirreducible factors of univariate polynomialGenPolynomial<BigInteger>TrialParts. univPolyunivariate polynomialMethods in edu.jas.ufd that return BigInteger Modifier and Type Method Description BigIntegerHenselApprox. approximationSize()Get modul of modular polynomial.Methods in edu.jas.ufd that return types with arguments of type BigInteger Modifier and Type Method Description java.util.List<GenPolynomial<BigInteger>>FactorInteger. baseFactorsSquarefree(GenPolynomial<BigInteger> P)GenPolynomial base factorization of a squarefree polynomial.GenPolynomial<BigInteger>GreatestCommonDivisorHensel. baseGcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)Univariate GenPolynomial greatest common divisor.GenPolynomial<BigInteger>GreatestCommonDivisorModular. baseGcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)Univariate GenPolynomial greatest common divisor.GenPolynomial<BigInteger>GreatestCommonDivisorModular. baseResultant(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)Univariate GenPolynomial resultant.static java.util.List<GenPolynomial<BigInteger>>CycloUtil. cyclotomicDecompose(GenPolynomialRing<BigInteger> ring, long n)Compute the factors of the n-th cyclotomic polynomial.static java.util.List<GenPolynomial<BigInteger>>CycloUtil. cyclotomicFactors(GenPolynomial<BigInteger> p)Compute the factors of the cyclotomic polynomial.static GenPolynomial<BigInteger>CycloUtil. cyclotomicPolynomial(GenPolynomialRing<BigInteger> ring, long n)Compute n-th cyclotomic polynomial.java.util.List<GenPolynomial<BigInteger>>FactorInteger. factorsSquarefree(GenPolynomial<BigInteger> P)GenPolynomial factorization of a multivariate squarefree polynomial, using Hensel lifting if possible.java.util.List<GenPolynomial<BigInteger>>FactorInteger. factorsSquarefreeHensel(GenPolynomial<BigInteger> P)GenPolynomial factorization of a multivariate squarefree polynomial, using Hensel lifting.java.util.List<GenPolynomial<BigInteger>>FactorInteger. factorsSquarefreeOptions(GenPolynomial<BigInteger> P, boolean opti, boolean tlex)GenPolynomial factorization of a multivariate squarefree polynomial, using Hensel lifting if possible.GenPolynomial<BigInteger>GreatestCommonDivisorModular. gcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)GenPolynomial greatest common divisor, modular algorithm.static FactorAbstract<BigInteger>FactorFactory. getImplementation(BigInteger fac)Determine suitable implementation of factorization algorithm, case BigInteger.static GreatestCommonDivisorAbstract<BigInteger>GCDFactory. getImplementation(BigInteger fac)Determine suitable implementation of gcd algorithms, case BigInteger.static SquarefreeAbstract<BigInteger>SquarefreeFactory. getImplementation(BigInteger fac)Determine suitable implementation of squarefree factorization algorithm, case BigInteger.static GreatestCommonDivisorAbstract<BigInteger>GCDFactory. getProxy(BigInteger fac)Determine suitable procy for gcd algorithms, case BigInteger.static GenPolynomial<GenPolynomial<BigInteger>>PolyUfdUtil. integerFromRationalCoefficients(GenPolynomialRing<GenPolynomial<BigInteger>> fac, GenPolynomial<GenPolynomial<BigRational>> A)BigInteger from BigRational coefficients.static java.util.List<GenPolynomial<GenPolynomial<BigInteger>>>PolyUfdUtil. integerFromRationalCoefficients(GenPolynomialRing<GenPolynomial<BigInteger>> fac, java.util.List<GenPolynomial<GenPolynomial<BigRational>>> L)BigInteger from BigRational coefficients.GenPolynomial<GenPolynomial<BigInteger>>GreatestCommonDivisorHensel. recursiveUnivariateGcd(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S)Univariate GenPolynomial recursive greatest common divisor.GenPolynomial<GenPolynomial<BigInteger>>GreatestCommonDivisorModular. recursiveUnivariateGcd(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S)Univariate GenPolynomial recursive greatest common divisor.GenPolynomial<GenPolynomial<BigInteger>>GreatestCommonDivisorModular. recursiveUnivariateResultant(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S)Univariate GenPolynomial recursive resultant.GenPolynomial<BigInteger>GreatestCommonDivisorModular. resultant(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)GenPolynomial resultant, modular algorithm.(package private) java.util.List<GenPolynomial<BigInteger>>FactorInteger. searchFactorsMonic(GenPolynomial<BigInteger> C, BigInteger M, java.util.List<GenPolynomial<MOD>> F, java.util.BitSet D)Factor search with modular Hensel lifting algorithm.(package private) java.util.List<GenPolynomial<BigInteger>>FactorInteger. searchFactorsNonMonic(GenPolynomial<BigInteger> C, BigInteger M, java.util.List<GenPolynomial<MOD>> F, java.util.BitSet D)Factor search with modular Hensel lifting algorithm.Methods in edu.jas.ufd with parameters of type BigInteger Modifier and Type Method Description static FactorAbstract<BigInteger>FactorFactory. getImplementation(BigInteger fac)Determine suitable implementation of factorization algorithm, case BigInteger.static GreatestCommonDivisorAbstract<BigInteger>GCDFactory. getImplementation(BigInteger fac)Determine suitable implementation of gcd algorithms, case BigInteger.static SquarefreeAbstract<BigInteger>SquarefreeFactory. getImplementation(BigInteger fac)Determine suitable implementation of squarefree factorization algorithm, case BigInteger.static GreatestCommonDivisorAbstract<BigInteger>GCDFactory. getProxy(BigInteger fac)Determine suitable procy for gcd algorithms, case BigInteger.static booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, GenPolynomial<BigInteger> A, GenPolynomial<BigInteger> B)Modular Hensel lifting test.static <MOD extends GcdRingElem<MOD> & Modular>
booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, HenselApprox<MOD> Ha)Modular Hensel lifting test.static booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, java.util.List<GenPolynomial<BigInteger>> G)Modular Hensel lifting test.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHensel(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHensel(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> S, GenPolynomial<MOD> T)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
java.util.List<GenPolynomial<MOD>>HenselUtil. liftHensel(GenPolynomial<BigInteger> C, java.util.List<GenPolynomial<MOD>> F, long k, BigInteger g)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadratic(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B)Modular quadratic Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadratic(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> S, GenPolynomial<MOD> T)Modular quadratic Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadraticFac(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadraticFac(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> S, GenPolynomial<MOD> T)Modular Hensel lifting algorithm on coefficients.(package private) java.util.List<GenPolynomial<BigInteger>>FactorInteger. searchFactorsMonic(GenPolynomial<BigInteger> C, BigInteger M, java.util.List<GenPolynomial<MOD>> F, java.util.BitSet D)Factor search with modular Hensel lifting algorithm.(package private) java.util.List<GenPolynomial<BigInteger>>FactorInteger. searchFactorsNonMonic(GenPolynomial<BigInteger> C, BigInteger M, java.util.List<GenPolynomial<MOD>> F, java.util.BitSet D)Factor search with modular Hensel lifting algorithm.(package private) booleanFactorInteger. testSeparate(java.util.List<BigInteger> A, BigInteger b)Test if b has a prime factor different to the elements of A.Method parameters in edu.jas.ufd with type arguments of type BigInteger Modifier and Type Method Description java.util.List<GenPolynomial<BigInteger>>FactorInteger. baseFactorsSquarefree(GenPolynomial<BigInteger> P)GenPolynomial base factorization of a squarefree polynomial.GenPolynomial<BigInteger>GreatestCommonDivisorHensel. baseGcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)Univariate GenPolynomial greatest common divisor.GenPolynomial<BigInteger>GreatestCommonDivisorModular. baseGcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)Univariate GenPolynomial greatest common divisor.GenPolynomial<BigInteger>GreatestCommonDivisorModular. baseResultant(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)Univariate GenPolynomial resultant.static java.util.List<GenPolynomial<BigInteger>>CycloUtil. cyclotomicDecompose(GenPolynomialRing<BigInteger> ring, long n)Compute the factors of the n-th cyclotomic polynomial.static java.util.List<GenPolynomial<BigInteger>>CycloUtil. cyclotomicFactors(GenPolynomial<BigInteger> p)Compute the factors of the cyclotomic polynomial.static GenPolynomial<BigInteger>CycloUtil. cyclotomicPolynomial(GenPolynomialRing<BigInteger> ring, long n)Compute n-th cyclotomic polynomial.java.util.List<GenPolynomial<BigInteger>>FactorInteger. factorsSquarefree(GenPolynomial<BigInteger> P)GenPolynomial factorization of a multivariate squarefree polynomial, using Hensel lifting if possible.java.util.List<GenPolynomial<BigInteger>>FactorInteger. factorsSquarefreeHensel(GenPolynomial<BigInteger> P)GenPolynomial factorization of a multivariate squarefree polynomial, using Hensel lifting.java.util.List<GenPolynomial<BigInteger>>FactorInteger. factorsSquarefreeOptions(GenPolynomial<BigInteger> P, boolean opti, boolean tlex)GenPolynomial factorization of a multivariate squarefree polynomial, using Hensel lifting if possible.static <C extends RingElem<C>>
GenPolynomial<GenPolynomial<C>>PolyUfdUtil. fromIntegerCoefficients(GenPolynomialRing<GenPolynomial<C>> fac, GenPolynomial<GenPolynomial<BigInteger>> A)From BigInteger coefficients.static <C extends RingElem<C>>
java.util.List<GenPolynomial<GenPolynomial<C>>>PolyUfdUtil. fromIntegerCoefficients(GenPolynomialRing<GenPolynomial<C>> fac, java.util.List<GenPolynomial<GenPolynomial<BigInteger>>> L)From BigInteger coefficients.GenPolynomial<BigInteger>GreatestCommonDivisorModular. gcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)GenPolynomial greatest common divisor, modular algorithm.static GenPolynomial<GenPolynomial<BigInteger>>PolyUfdUtil. integerFromRationalCoefficients(GenPolynomialRing<GenPolynomial<BigInteger>> fac, GenPolynomial<GenPolynomial<BigRational>> A)BigInteger from BigRational coefficients.static java.util.List<GenPolynomial<GenPolynomial<BigInteger>>>PolyUfdUtil. integerFromRationalCoefficients(GenPolynomialRing<GenPolynomial<BigInteger>> fac, java.util.List<GenPolynomial<GenPolynomial<BigRational>>> L)BigInteger from BigRational coefficients.static booleanCycloUtil. isCyclotomicPolynomial(GenPolynomial<BigInteger> p)Test for cyclotomic polynomial.static <MOD extends GcdRingElem<MOD> & Modular>
booleanHenselMultUtil. isHenselLift(GenPolynomial<BigInteger> C, GenPolynomial<MOD> Cp, java.util.List<GenPolynomial<MOD>> F, java.util.List<GenPolynomial<MOD>> L)Modular Hensel lifting algorithm on coefficients test.static booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, GenPolynomial<BigInteger> A, GenPolynomial<BigInteger> B)Modular Hensel lifting test.static <MOD extends GcdRingElem<MOD> & Modular>
booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, HenselApprox<MOD> Ha)Modular Hensel lifting test.static booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, java.util.List<GenPolynomial<BigInteger>> G)Modular Hensel lifting test.static booleanHenselUtil. isHenselLift(GenPolynomial<BigInteger> C, BigInteger M, BigInteger p, java.util.List<GenPolynomial<BigInteger>> G)Modular Hensel lifting test.booleanFactorInteger. isIrreducible(GenPolynomial<BigInteger> P)GenPolynomial test if is irreducible.booleanFactorInteger. isIrreducibleEisenstein(GenPolynomial<BigInteger> P)GenPolynomial test if is irreducible with Eisenstein criterion.(package private) booleanFactorInteger. isNearlySquarefree(GenPolynomial<BigInteger> P)static <MOD extends GcdRingElem<MOD> & Modular>
java.util.List<GenPolynomial<MOD>>HenselMultUtil. liftHensel(GenPolynomial<BigInteger> C, GenPolynomial<MOD> Cp, java.util.List<GenPolynomial<MOD>> F, java.util.List<BigInteger> V, long k, java.util.List<GenPolynomial<BigInteger>> G)Modular Hensel lifting algorithm.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHensel(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHensel(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> S, GenPolynomial<MOD> T)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
java.util.List<GenPolynomial<MOD>>HenselUtil. liftHensel(GenPolynomial<BigInteger> C, java.util.List<GenPolynomial<MOD>> F, long k, BigInteger g)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
java.util.List<GenPolynomial<MOD>>HenselMultUtil. liftHenselFull(GenPolynomial<BigInteger> C, java.util.List<GenPolynomial<MOD>> F, java.util.List<BigInteger> V, long k, java.util.List<GenPolynomial<BigInteger>> G)Modular Hensel full lifting algorithm.static <MOD extends GcdRingElem<MOD> & Modular>
java.util.List<GenPolynomial<MOD>>HenselMultUtil. liftHenselMonic(GenPolynomial<BigInteger> C, GenPolynomial<MOD> Cp, java.util.List<GenPolynomial<MOD>> F, java.util.List<BigInteger> V, long k)Modular Hensel lifting algorithm, monic case.static <MOD extends GcdRingElem<MOD> & Modular>
java.util.List<GenPolynomial<MOD>>HenselUtil. liftHenselMonic(GenPolynomial<BigInteger> C, java.util.List<GenPolynomial<MOD>> F, long k)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadratic(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B)Modular quadratic Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadratic(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> S, GenPolynomial<MOD> T)Modular quadratic Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadraticFac(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B)Modular Hensel lifting algorithm on coefficients.static <MOD extends GcdRingElem<MOD> & Modular>
HenselApprox<MOD>HenselUtil. liftHenselQuadraticFac(GenPolynomial<BigInteger> C, BigInteger M, GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> S, GenPolynomial<MOD> T)Modular Hensel lifting algorithm on coefficients.GenPolynomial<GenPolynomial<BigInteger>>GreatestCommonDivisorHensel. recursiveUnivariateGcd(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S)Univariate GenPolynomial recursive greatest common divisor.GenPolynomial<GenPolynomial<BigInteger>>GreatestCommonDivisorModular. recursiveUnivariateGcd(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S)Univariate GenPolynomial recursive greatest common divisor.GenPolynomial<GenPolynomial<BigInteger>>GreatestCommonDivisorModular. recursiveUnivariateResultant(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S)Univariate GenPolynomial recursive resultant.GenPolynomial<BigInteger>GreatestCommonDivisorModular. resultant(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S)GenPolynomial resultant, modular algorithm.(package private) java.util.List<GenPolynomial<BigInteger>>FactorInteger. searchFactorsMonic(GenPolynomial<BigInteger> C, BigInteger M, java.util.List<GenPolynomial<MOD>> F, java.util.BitSet D)Factor search with modular Hensel lifting algorithm.(package private) java.util.List<GenPolynomial<BigInteger>>FactorInteger. searchFactorsNonMonic(GenPolynomial<BigInteger> C, BigInteger M, java.util.List<GenPolynomial<MOD>> F, java.util.BitSet D)Factor search with modular Hensel lifting algorithm.(package private) booleanFactorInteger. testSeparate(java.util.List<BigInteger> A, BigInteger b)Test if b has a prime factor different to the elements of A.Constructor parameters in edu.jas.ufd with type arguments of type BigInteger Constructor Description FactorInteger(RingFactory<BigInteger> cfac)Constructor.HenselApprox(GenPolynomial<BigInteger> A, GenPolynomial<BigInteger> B, GenPolynomial<MOD> Am, GenPolynomial<MOD> Bm)Constructor.TrialParts(java.util.List<BigInteger> ev, GenPolynomial<BigInteger> up, java.util.List<GenPolynomial<BigInteger>> uf, java.util.List<BigInteger> le, java.util.List<GenPolynomial<BigInteger>> lf)Constructor.TrialParts(java.util.List<BigInteger> ev, GenPolynomial<BigInteger> up, java.util.List<GenPolynomial<BigInteger>> uf, java.util.List<BigInteger> le, java.util.List<GenPolynomial<BigInteger>> lf)Constructor.
-