HenselLifting.LiftableQuintet (rings 2.5.7 API)

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