static <MOD extends GcdRingElem<MOD> & Modular> boolean |
HenselUtil.isDiophantLift(GenPolynomial<MOD> A,
GenPolynomial<MOD> B,
GenPolynomial<MOD> S1,
GenPolynomial<MOD> S2,
GenPolynomial<MOD> C) |
Modular Diophant relation lifting test.
|
static <MOD extends GcdRingElem<MOD> & Modular> boolean |
HenselUtil.isDiophantLift(java.util.List<GenPolynomial<MOD>> A,
java.util.List<GenPolynomial<MOD>> S,
GenPolynomial<MOD> C) |
Modular Diophant relation lifting test.
|
static <MOD extends GcdRingElem<MOD> & Modular> boolean |
HenselUtil.isExtendedEuclideanLift(java.util.List<GenPolynomial<MOD>> A,
java.util.List<GenPolynomial<MOD>> S) |
Modular extended Euclidean relation lifting test.
|
static <MOD extends GcdRingElem<MOD> & Modular> boolean |
HenselMultUtil.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 <MOD extends GcdRingElem<MOD> & Modular> boolean |
HenselUtil.isHenselLift(GenPolynomial<BigInteger> C,
BigInteger M,
BigInteger p,
HenselApprox<MOD> Ha) |
Modular Hensel lifting test.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselMultUtil.liftDiophant(GenPolynomial<MOD> A,
GenPolynomial<MOD> B,
GenPolynomial<MOD> C,
java.util.List<MOD> V,
long d,
long k) |
Modular diophantine equation solution and lifting algorithm.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselMultUtil.liftDiophant(java.util.List<GenPolynomial<MOD>> A,
GenPolynomial<MOD> C,
java.util.List<MOD> V,
long d,
long k) |
Modular diophantine equation solution and lifting algorithm.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselUtil.liftDiophant(GenPolynomial<MOD> A,
GenPolynomial<MOD> B,
long e,
long k) |
Modular diophantine equation solution and lifting algorithm.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselUtil.liftDiophant(GenPolynomial<MOD> A,
GenPolynomial<MOD> B,
GenPolynomial<MOD> C,
long k) |
Modular diophantine equation solution and lifting algorithm.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselUtil.liftDiophant(java.util.List<GenPolynomial<MOD>> A,
long e,
long k) |
Modular diophantine equation solution and lifting algorithm.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselUtil.liftDiophant(java.util.List<GenPolynomial<MOD>> A,
GenPolynomial<MOD> C,
long k) |
Modular diophantine equation solution and lifting algorithm.
|
static <MOD extends GcdRingElem<MOD> & Modular> GenPolynomial<MOD>[] |
HenselUtil.liftExtendedEuclidean(GenPolynomial<MOD> A,
GenPolynomial<MOD> B,
long k) |
Constructing and lifting algorithm for extended Euclidean relation.
|
static <MOD extends GcdRingElem<MOD> & Modular> java.util.List<GenPolynomial<MOD>> |
HenselUtil.liftExtendedEuclidean(java.util.List<GenPolynomial<MOD>> A,
long k) |
Constructing and lifting algorithm for extended Euclidean relation.
|
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.
|