public final class HenselLifting extends Object
Modifier and Type | Method and Description |
---|---|
static <Term extends DegreeVector<Term>,Poly extends AMultivariatePolynomial<Term,Poly>,uPoly extends IUnivariatePolynomial<uPoly>> |
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 DegreeVector<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
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 DegreeVector<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
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 DegreeVector<Term>,Poly extends AMultivariatePolynomial<Term,Poly>,uPoly extends IUnivariatePolynomial<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
|
public static <Term extends DegreeVector<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)
base
- the productfactors
- univariate factors which will be lifted to true bivariate factorsevaluation
- evaluation pointdegreeBound
- bound on lifting degreepublic static <Term extends DegreeVector<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)
public static <Term extends DegreeVector<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> void multivariateLiftAutomaticLC(Poly base, Poly[] factors, cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation)
base
- the productfactors
- univariate factors which will be lifted to true bivariate factorsevaluation
- evaluation pointpublic static <Term extends DegreeVector<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> void multivariateLiftAutomaticLC(Poly base, Poly[] factors, cc.redberry.rings.poly.multivar.HenselLifting.IEvaluation<Term,Poly> evaluation, int from)
base
- the productfactors
- univariate factors which will be lifted to true bivariate factorsevaluation
- evaluation pointCopyright © 2017. All rights reserved.