Uses of Interface
edu.jas.arith.Modular

Packages that use Modular

Package	Description
edu.jas.arith	Basic arithmetic package.
edu.jas.poly	Generic coefficients polynomial package.
edu.jas.ufd	Unique factorization domain package.

Uses of Modular in edu.jas.arith

Classes in edu.jas.arith with type parameters of type Modular

Modifier and Type	Interface	Description
interface	ModularRingFactory<C extends RingElem<C> & Modular>	Modular ring factory interface.

Classes in edu.jas.arith that implement Modular

Modifier and Type	Class	Description
final class	ModInt	ModInt class with RingElem interface.
final class	ModInteger	ModInteger class with GcdRingElem interface.
final class	ModLong	ModLong class with RingElem interface.

Uses of Modular in edu.jas.poly

Classes in edu.jas.poly with type parameters of type Modular

Modifier and Type	Class	Description
(package private) class	ModSymToInt<C extends RingElem<C> & Modular>	Conversion of symmetric ModInteger to BigInteger functor.
(package private) class	ModToInt<C extends RingElem<C> & Modular>	Conversion of ModInteger to BigInteger functor.

Methods in edu.jas.poly with type parameters of type Modular

Modifier and Type	Method	Description
static <C extends RingElem<C> & Modular> GenPolynomial<C>	PolyUtil.chineseRemainder(GenPolynomialRing<C> fac, GenPolynomial<C> A, C mi, GenPolynomial<C> B)	ModInteger chinese remainder algorithm on 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> List<GenPolynomial<BigInteger>>	PolyUtil.integerFromModularCoefficients(GenPolynomialRing<BigInteger> fac, 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.

Uses of Modular in edu.jas.ufd

Classes in edu.jas.ufd with type parameters of type Modular

Modifier and Type	Class	Description
class	FactorInteger<MOD extends GcdRingElem<MOD> & Modular>	Integer coefficients factorization algorithms.
class	FactorModular<MOD extends GcdRingElem<MOD> & Modular>	Modular coefficients factorization algorithms.
class	GreatestCommonDivisorHensel<MOD extends GcdRingElem<MOD> & Modular>	Greatest common divisor algorithms with subresultant polynomial remainder sequence and univariate Hensel lifting.
class	GreatestCommonDivisorModEval<MOD extends GcdRingElem<MOD> & Modular>	Greatest common divisor algorithms with modular evaluation algorithm for recursion.
class	GreatestCommonDivisorModular<MOD extends GcdRingElem<MOD> & Modular>	Greatest common divisor algorithms with modular computation and Chinese remainder algorithm.
class	HenselApprox<MOD extends GcdRingElem<MOD> & Modular>	Container for the approximation result from a Hensel algorithm.

Methods in edu.jas.ufd with type parameters of type Modular

Modifier and Type	Method	Description
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(List<GenPolynomial<MOD>> A, List<GenPolynomial<MOD>> S, GenPolynomial<MOD> C)	Modular Diophant relation lifting test.
static <MOD extends GcdRingElem<MOD> & Modular> boolean	HenselUtil.isExtendedEuclideanLift(List<GenPolynomial<MOD>> A, 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, List<GenPolynomial<MOD>> F, 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> List<GenPolynomial<MOD>>	HenselMultUtil.liftDiophant(GenPolynomial<MOD> A, GenPolynomial<MOD> B, GenPolynomial<MOD> C, List<MOD> V, long d, long k)	Modular diophantine equation solution and lifting algorithm.
static <MOD extends GcdRingElem<MOD> & Modular> List<GenPolynomial<MOD>>	HenselMultUtil.liftDiophant(List<GenPolynomial<MOD>> A, GenPolynomial<MOD> C, List<MOD> V, long d, long k)	Modular diophantine equation solution and lifting algorithm.
static <MOD extends GcdRingElem<MOD> & Modular> 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> 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> List<GenPolynomial<MOD>>	HenselUtil.liftDiophant(List<GenPolynomial<MOD>> A, long e, long k)	Modular diophantine equation solution and lifting algorithm.
static <MOD extends GcdRingElem<MOD> & Modular> List<GenPolynomial<MOD>>	HenselUtil.liftDiophant(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> List<GenPolynomial<MOD>>	HenselUtil.liftExtendedEuclidean(List<GenPolynomial<MOD>> A, long k)	Constructing and lifting algorithm for extended Euclidean relation.
static <MOD extends GcdRingElem<MOD> & Modular> List<GenPolynomial<MOD>>	HenselMultUtil.liftHensel(GenPolynomial<BigInteger> C, GenPolynomial<MOD> Cp, List<GenPolynomial<MOD>> F, List<BigInteger> V, long k, 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> List<GenPolynomial<MOD>>	HenselUtil.liftHensel(GenPolynomial<BigInteger> C, List<GenPolynomial<MOD>> F, long k, BigInteger g)	Modular Hensel lifting algorithm on coefficients.
static <MOD extends GcdRingElem<MOD> & Modular> List<GenPolynomial<MOD>>	HenselMultUtil.liftHenselFull(GenPolynomial<BigInteger> C, List<GenPolynomial<MOD>> F, List<BigInteger> V, long k, List<GenPolynomial<BigInteger>> G)	Modular Hensel full lifting algorithm.
static <MOD extends GcdRingElem<MOD> & Modular> List<GenPolynomial<MOD>>	HenselMultUtil.liftHenselMonic(GenPolynomial<BigInteger> C, GenPolynomial<MOD> Cp, List<GenPolynomial<MOD>> F, List<BigInteger> V, long k)	Modular Hensel lifting algorithm, monic case.
static <MOD extends GcdRingElem<MOD> & Modular> List<GenPolynomial<MOD>>	HenselUtil.liftHenselMonic(GenPolynomial<BigInteger> C, 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.