cc.redberry.rings.poly.univar

Interface HenselLifting.LiftableQuintet<PolyZp extends IUnivariatePolynomial<PolyZp>>

Type Parameters:

PolyZp - Zp[x] polynomial type

All Known Implementing Classes:

HenselLifting.bLinearLift, HenselLifting.bQuadraticLift, HenselLifting.lLinearLift, HenselLifting.lQuadraticLift

Enclosing class:

HenselLifting

public static interface HenselLifting.LiftableQuintet<PolyZp extends IUnivariatePolynomial<PolyZp>>

Liftable quintet. Output specifications is as follows:

 polyMod = aFactor * bFactor mod modulus
 1 = aFactor * aCoFactor + bFactor * bCoFactor mod modulus
 

where is the modulus obtained by lifting

Method Summary

Modifier and Type	Method and Description
PolyZp	aCoFactorMod() Returns first co-factor lifted
PolyZp	aFactorMod() Returns first factor lifted
PolyZp	bCoFactorMod() Returns second co-factor lifted
PolyZp	bFactorMod() Returns second factor lifted
void	lift() Performs single lift step.
default void	lift(int nIterations) Lifts nIterations times.
void	liftLast() Performs single lift step but don't lift co-factors (xgcd coefficients).
default void	liftWithCoFactors(int nIterations) Lifts nIterations times.
PolyZp	polyMod() Returns initial Z[x] polynomial modulo lifted modulus

Method Detail

polyMod

PolyZp polyMod()

Returns initial Z[x] polynomial modulo lifted modulus

Returns:

initial Z[x] polynomial modulo lifted modulus

aFactorMod

PolyZp aFactorMod()

Returns first factor lifted

Returns:

first factor lifted

bFactorMod

PolyZp bFactorMod()

Returns second factor lifted

Returns:

second factor lifted

aCoFactorMod

PolyZp aCoFactorMod()

Returns first co-factor lifted

Returns:

first co-factor lifted

bCoFactorMod

PolyZp bCoFactorMod()

Returns second co-factor lifted

Returns:

second co-factor lifted

lift

void lift()

Performs single lift step.

liftLast

void liftLast()

Performs single lift step but don't lift co-factors (xgcd coefficients).

lift

default void lift(int nIterations)

Lifts nIterations times. Co-factor will be lost on the last step.

Parameters:

nIterations - number of lift iterations

liftWithCoFactors

default void liftWithCoFactors(int nIterations)

Lifts nIterations times.

Parameters:

nIterations - number of lift iterations