32 grading[3] =
"1000000000000000000000000000000000000";
49 grading[3] =
"1000000000000000000000000000000000000";
const mpz_t * castLibArray(const vector< mpz_class > &vect)
Returns a pointer to an array of mpt_t that represents the entries in the mpz_class.
Frobby::Ideal toLibIdeal(const BigIdeal &ideal)
Returns a library interface ideal that corresponds to the parameter ideal.
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
#define ASSERT_TRUE(VALUE)
#define ASSERT_FALSE(VALUE)
static BigIdeal z()
Returns .
static VarNames ring_xyzt()
Returns the ring in the four variables , , and .
static BigIdeal xy()
Returns .
static BigIdeal xx_yy_zz_t_xz_yz()
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).
Records library interface output into a BigIdeal.
Defines the variables of a polynomial ring and facilities IO involving them.
#define TEST_SUITE2(PARENT, SUITE)
#define TEST(SUITE, TEST_NAME)
bool solveStandardMonomialProgram(const Ideal &ideal, const mpz_t *l, IdealConsumer &consumer)
Solve the optimization program.