Package cc.redberry.rings.poly.univar
Class HenselLifting.lLinearLift
- java.lang.Object
-
- cc.redberry.rings.poly.univar.HenselLifting.lLinearLift
-
- All Implemented Interfaces:
HenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
- Enclosing class:
- HenselLifting
public static final class HenselLifting.lLinearLift extends Object implements HenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
Linear Hensel lift for machine word arithmetics. Linear Hensel lift always starts from the machine-sized modulus; on eachlift()
operation modulus is raised asmodulus = modulus * initialModulus
.
-
-
Field Summary
Fields Modifier and Type Field Description long
initialModulus
The initial moduluslong
modulus
The modulus
-
Method Summary
Modifier and Type Method Description UnivariatePolynomialZp64
aCoFactorMod()
Returns first co-factor liftedUnivariatePolynomialZp64
aFactorMod()
Returns first factor liftedUnivariatePolynomialZp64
bCoFactorMod()
Returns second co-factor liftedUnivariatePolynomialZp64
bFactorMod()
Returns second factor liftedvoid
lift()
Performs single lift step.void
liftLast()
Performs single lift step but don't lift co-factors (xgcd coefficients).UnivariatePolynomialZp64
polyMod()
Returns initial Z[x] polynomial modulo lifted modulus-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface cc.redberry.rings.poly.univar.HenselLifting.LiftableQuintet
lift, liftWithCoFactors
-
-
-
-
Method Detail
-
polyMod
public UnivariatePolynomialZp64 polyMod()
Description copied from interface:HenselLifting.LiftableQuintet
Returns initial Z[x] polynomial modulo lifted modulus- Specified by:
polyMod
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
- Returns:
- initial Z[x] polynomial modulo lifted modulus
-
aFactorMod
public UnivariatePolynomialZp64 aFactorMod()
Description copied from interface:HenselLifting.LiftableQuintet
Returns first factor lifted- Specified by:
aFactorMod
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
- Returns:
- first factor lifted
-
bFactorMod
public UnivariatePolynomialZp64 bFactorMod()
Description copied from interface:HenselLifting.LiftableQuintet
Returns second factor lifted- Specified by:
bFactorMod
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
- Returns:
- second factor lifted
-
aCoFactorMod
public UnivariatePolynomialZp64 aCoFactorMod()
Description copied from interface:HenselLifting.LiftableQuintet
Returns first co-factor lifted- Specified by:
aCoFactorMod
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
- Returns:
- first co-factor lifted
-
bCoFactorMod
public UnivariatePolynomialZp64 bCoFactorMod()
Description copied from interface:HenselLifting.LiftableQuintet
Returns second co-factor lifted- Specified by:
bCoFactorMod
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
- Returns:
- second co-factor lifted
-
lift
public void lift()
Description copied from interface:HenselLifting.LiftableQuintet
Performs single lift step.- Specified by:
lift
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
-
liftLast
public void liftLast()
Description copied from interface:HenselLifting.LiftableQuintet
Performs single lift step but don't lift co-factors (xgcd coefficients).- Specified by:
liftLast
in interfaceHenselLifting.LiftableQuintet<UnivariatePolynomialZp64>
-
-