34 poly.sortTermsReverseLex();
47 poly.sortTermsReverseLex();
59 poly.add(1, vector<mpz_class>(
names.getVarCount()));
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
static VarNames ring_xyzt()
Returns the ring in the four variables , , and .
static vector< mpz_class > makeTerm(int a, int b, int c, int d)
Returns a vector representing .
static BigPolynomial one(size_t varCount)
Returns the polynomial 1 in the ring VarNames(varCount).
static BigPolynomial one_minus4tt_3ttt_tttt_minusttttt()
Returns the polynomial 1 - 4t^2 + 3t^3 + t^4 - t^5.
static BigPolynomial zero(size_t varCount)
Return the zero polynomial in the ring VarNames(varCount).
static BigPolynomial hilbert_xx_yy_xz_yz()
Returns the multigraded Hilbert-Poincare series numerator of the ideal <x^2, y^2, xz,...
Defines the variables of a polynomial ring and facilities IO involving them.
bool addVar(const string &name)
Adds the variable and returns true if name is not already a variable.