Package cc.redberry.rings.poly.multivar

Class HenselLifting

java.lang.Object

cc.redberry.rings.poly.multivar.HenselLifting

public final class HenselLifting
extends Object

Hensel lifting.

Since:

1.0

Method Summary

Modifier and Type	Method	Description
static <Term extends AMonomial<Term>, Poly extends AMultivariatePolynomial<Term, Poly>, uPoly extends IUnivariatePolynomial<uPoly>> void	bivariateLiftNoLCCorrection0(Poly base, Poly[] factors, cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation, int degreeBound)	Fast bivariate Hensel lifting which uses dense representation for bivariate polynomials
static <Term extends AMonomial<Term>, Poly extends AMultivariatePolynomial<Term, Poly>> void	multivariateLiftAutomaticLC(Poly base, Poly[] factors, cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation)	Multivariate lift with automatic leading coefficient correction
static <Term extends AMonomial<Term>, Poly extends AMultivariatePolynomial<Term, Poly>> void	multivariateLiftAutomaticLC(Poly base, Poly[] factors, cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation, int from)	Multivariate lift with automatic leading coefficient correction
static <Term extends AMonomial<Term>, Poly extends AMultivariatePolynomial<Term, Poly>, uPoly extends IUnivariatePolynomial<uPoly>> UnivariatePolynomial<uPoly>	seriesExpansionDense(Ring<uPoly> ring, Poly poly, int variable, cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluate)	Generates a power series expansion for poly about the point specified by variable and evaluation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

bivariateLiftNoLCCorrection0

public static <Term extends AMonomial<Term>,
Poly extends AMultivariatePolynomial<Term,
Poly>,
uPoly extends IUnivariatePolynomial<uPoly>>
void bivariateLiftNoLCCorrection0(Poly base,
Poly[] factors,
cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation,
int degreeBound)

Fast bivariate Hensel lifting which uses dense representation for bivariate polynomials

Parameters:

base - the product

factors - univariate factors which will be lifted to true bivariate factors

evaluation - evaluation point

degreeBound - bound on lifting degree

seriesExpansionDense

public static <Term extends AMonomial<Term>,
Poly extends AMultivariatePolynomial<Term,
Poly>,
uPoly extends IUnivariatePolynomial<uPoly>>
UnivariatePolynomial<uPoly> seriesExpansionDense(Ring<uPoly> ring,
Poly poly,
int variable,
cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluate)

Generates a power series expansion for poly about the point specified by variable and evaluation

multivariateLiftAutomaticLC

public static <Term extends AMonomial<Term>,
Poly extends AMultivariatePolynomial<Term,
Poly>>
void multivariateLiftAutomaticLC(Poly base,
Poly[] factors,
cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation)

Multivariate lift with automatic leading coefficient correction

Parameters:

base - the product

factors - univariate factors which will be lifted to true bivariate factors

evaluation - evaluation point

multivariateLiftAutomaticLC

public static <Term extends AMonomial<Term>,
Poly extends AMultivariatePolynomial<Term,
Poly>>
void multivariateLiftAutomaticLC(Poly base,
Poly[] factors,
cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation,
int from)

Multivariate lift with automatic leading coefficient correction

Parameters:

base - the product

factors - univariate factors which will be lifted to true bivariate factors

evaluation - evaluation point