Macaulay2 Engine
Loading...
Searching...
No Matches

◆ rawColonMonomialIdeal2()

const MonomialIdeal * rawColonMonomialIdeal2 ( const MonomialIdeal * I,
const MonomialIdeal * J )

Definition at line 136 of file monomial-ideal.cpp.

139{
140 try
141 {
142 if (I->get_ring() != J->get_ring())
143 {
144 ERROR("expected ideals in the same ring");
145 return nullptr;
146 }
147 MonomialIdeal *result = I->quotient(*J);
149 if (M2_gbTrace >= 1) dstash();
150 return result;
151
152 } catch (const exc::engine_error& e)
153 {
154 ERROR(e.what());
155 return nullptr;
156 }
157}
MonomialIdeal * quotient(const_varpower m) const
Definition monideal.cpp:759
const PolynomialRing * get_ring() const
Definition monideal.hpp:190
Engine-side monomial ideal: a decision tree of Nmi_nodes storing the (typically minimal) generators b...
Definition monideal.hpp:136
void dstash()
Definition debug.cpp:138
void intern_monideal(MonomialIdeal *G)
Definition finalize.cpp:55
const int ERROR
Definition m2-mem.cpp:55
VALGRIND_MAKE_MEM_DEFINED & result(result)
int M2_gbTrace
Definition m2-types.cpp:52

References dstash(), ERROR, MonomialIdeal::get_ring(), intern_monideal(), M2_gbTrace, MonomialIdeal::quotient(), and result().