160 vector<mpz_class>
t(4);
169 vector<mpz_class>
t(1);
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
void insert(const Ideal &ideal)
static BigIdeal xy_xxyyz()
Returns .
static BigIdeal xyz_xxyy()
Returns .
static BigIdeal xyzzz_xxyy()
Returns .
static BigIdeal xy_xz()
Returns .
static BigIdeal z()
Returns .
static BigIdeal xx_yy_xz_yz()
Returns .
static VarNames ring_xyzt()
Returns the ring in the four variables , , and .
static vector< BigIdeal > assoprimes_xx_yy_xz_yz()
Returns the associated primes of .
static vector< BigIdeal > irrdecom_xx_yy_xz_yz()
Returns the irreducible decomposition of .
static BigIdeal xy()
Returns .
static BigIdeal xy_z()
Returns .
static BigIdeal xx_yy_z()
Returns .
static BigIdeal xx_yy_zz_t_xz_yz()
Returns .
static BigIdeal x_y_z()
Returns .
static BigIdeal x_y()
Returns .
static BigIdeal zeroIdeal(size_t varCount)
Returns the ideal in the ring VarNames(varCount).
static BigIdeal wholeRing(size_t varCount)
Returns in the ring VarNames(varCount).
static vector< mpz_class > makeTerm(int a, int b, int c, int d)
Returns a vector representing .
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.