public static final class GroebnerBases.HilbertSeries extends Object
Modifier and Type | Field and Description |
---|---|
int |
denominatorExponent
Denominator exponent of reduced HPS(t) (that is ideal Krull dimension)
|
int |
initialDenominatorExponent
Initial denominator exponent (numerator and denominator may have nontrivial GCD)
|
UnivariatePolynomial<Rational<BigInteger>> |
initialNumerator
Initial numerator (numerator and denominator may have nontrivial GCD)
|
UnivariatePolynomial<Rational<BigInteger>> |
numerator
Reduced numerator (GCD is cancelled)
|
Modifier and Type | Method and Description |
---|---|
int |
degree()
The degree of ideal
|
int |
dimension()
The dimension of ideal
|
boolean |
equals(Object o) |
int |
hashCode() |
UnivariatePolynomial<Rational<BigInteger>> |
hilbertPolynomial()
Hilbert polynomial
|
UnivariatePolynomial<Rational<BigInteger>> |
hilbertPolynomialZ()
Integral Hilbert polynomial (i.e.
|
UnivariatePolynomial<Rational<BigInteger>> |
integralPart()
Integral part I(t) of HPS(t): HPS(t) = I(t) + Q(t)/(1-t)^m
|
UnivariatePolynomial<Rational<BigInteger>> |
remainderNumerator()
Remainder part R(t) of HPS(t): HPS(t) = I(t) + R(t)/(1-t)^m
|
String |
toString() |
public final UnivariatePolynomial<Rational<BigInteger>> initialNumerator
public final int initialDenominatorExponent
public final UnivariatePolynomial<Rational<BigInteger>> numerator
public final int denominatorExponent
public int dimension()
public int degree()
public UnivariatePolynomial<Rational<BigInteger>> integralPart()
public UnivariatePolynomial<Rational<BigInteger>> remainderNumerator()
public UnivariatePolynomial<Rational<BigInteger>> hilbertPolynomialZ()
public UnivariatePolynomial<Rational<BigInteger>> hilbertPolynomial()
Copyright © 2018. All rights reserved.