## 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 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