25TEST_SUITE2(LibraryInterface, DimensionAndCodimension)
43TEST(DimensionAndCodimension, WholeRing) {
51TEST(DimensionAndCodimension, ZeroIdeal) {
59TEST(DimensionAndCodimension, Typical) {
Frobby::Ideal toLibIdeal(const BigIdeal &ideal)
Returns a library interface ideal that corresponds to the parameter ideal.
static BigIdeal xy_xz()
Returns .
static BigIdeal xx_yy_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).
#define TEST_SUITE2(PARENT, SUITE)
#define TEST(SUITE, TEST_NAME)
void dimension(const Ideal &ideal, mpz_t dim)
Compute the Krull dimension of a monomial ideal.
void codimension(const Ideal &ideal, mpz_t codim)
Compute the codimension of a monomial ideal.
This header file includes common definitions and is included as the first line of code in every imple...