monomial-ideal.cpp File Reference

#include "interface/monomial-ideal.h"
#include <frobby.h>
#include "ExponentList.hpp"
#include "assprime.hpp"
#include "buffer.hpp"
#include "error.h"
#include "exceptions.hpp"
#include "finalize.hpp"
#include "hilb.hpp"
#include "int-bag.hpp"
#include "matrix.hpp"
#include "monideal-minprimes.hpp"
#include "monideal.hpp"
#include "monomial.hpp"
#include "newdelete.hpp"
#include "text-io.hpp"
#include "debug.hpp"

Go to the source code of this file.

Classes
class	MyIdealConsumer
	Frobby::IdealConsumer adapter that collects Frobby's output monomials into an engine MonomialIdeal. More...

Functions
const MonomialIdeal *	IM2_MonomialIdeal_make (const Matrix *m, int n)
unsigned int	rawMonomialIdealHash (const MonomialIdeal *F)
const Matrix *	IM2_MonomialIdeal_to_matrix (const MonomialIdeal *I)
M2_string	IM2_MonomialIdeal_to_string (const MonomialIdeal *I)
int	IM2_MonomialIdeal_n_gens (const MonomialIdeal *I)
int	IM2_MonomialIdeal_is_equal (const MonomialIdeal *I, const MonomialIdeal *J)
const MonomialIdeal *	rawRadicalMonomialIdeal (const MonomialIdeal *I)
const MonomialIdeal *	IM2_MonomialIdeal_intersect (const MonomialIdeal *I, const MonomialIdeal *J)
const MonomialIdeal *	rawColonMonomialIdeal1 (const MonomialIdeal *I, const EngineMonomial *a)
const MonomialIdeal *	rawColonMonomialIdeal2 (const MonomialIdeal *I, const MonomialIdeal *J)
const MonomialIdeal *	rawSaturateMonomialIdeal1 (const MonomialIdeal *I, const EngineMonomial *a)
const MonomialIdeal *	rawSaturateMonomialIdeal2 (const MonomialIdeal *I, const MonomialIdeal *J)
const MonomialIdeal *	IM2_MonomialIdeal_borel (const MonomialIdeal *I)
M2_bool	IM2_MonomialIdeal_is_borel (const MonomialIdeal *I)
int	IM2_MonomialIdeal_codim (const MonomialIdeal *I)
const MonomialIdeal *	rawMonomialMinimalPrimes (const MonomialIdeal *I, int codim_limit, int count)
const MonomialIdeal *	rawMaximalIndependentSets (const MonomialIdeal *I, int count)
const RingElement *	IM2_MonomialIdeal_Hilbert (const MonomialIdeal *I)
M2_arrayint	rawMonomialIdealLCM (const MonomialIdeal *I)
static MonomialIdeal *	FrobbyAlexanderDual (const MonomialIdeal *I, const mpz_t *topvec)
static MonomialIdeal *	wrapperFrobbyAlexanderDual (const MonomialIdeal *I, const M2_arrayint top)
static MonomialIdeal *	alexDual (const MonomialIdeal *I, const M2_arrayint top, int strategy)
const MonomialIdeal *	rawAlexanderDual (const MonomialIdeal *I, const M2_arrayint top, int strategy)