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 each lift() operation modulus is raised as modulus = modulus * initialModulus.

Field Summary

Fields

Modifier and Type	Field	Description
long	initialModulus	The initial modulus
long	modulus	The modulus

Method Summary

Modifier and Type	Method	Description
UnivariatePolynomialZp64	aCoFactorMod()	Returns first co-factor lifted
UnivariatePolynomialZp64	aFactorMod()	Returns first factor lifted
UnivariatePolynomialZp64	bCoFactorMod()	Returns second co-factor lifted
UnivariatePolynomialZp64	bFactorMod()	Returns second factor lifted
void	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

Field Detail

initialModulus

public final long initialModulus

The initial modulus

modulus

public long modulus

The modulus

Method Detail

polyMod

public UnivariatePolynomialZp64 polyMod()

Description copied from interface: HenselLifting.LiftableQuintet

Returns initial Z[x] polynomial modulo lifted modulus

Specified by:

polyMod in interface HenselLifting.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 interface HenselLifting.LiftableQuintet<UnivariatePolynomialZp64>

Returns:

first factor lifted

bFactorMod

public UnivariatePolynomialZp64 bFactorMod()

Description copied from interface: HenselLifting.LiftableQuintet

Returns second factor lifted

Specified by:

bFactorMod in interface HenselLifting.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 interface HenselLifting.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 interface HenselLifting.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 interface HenselLifting.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 interface HenselLifting.LiftableQuintet<UnivariatePolynomialZp64>