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 and Description
long	initialModulus The initial modulus
long	modulus The modulus

Method Summary

Modifier and Type	Method and 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>