Definition at line 227 of file freemod.cpp.
228{
229 auto D =
R->degree_monoid();
232
233 for (
int i = 0; i <
rank(); i++)
234 {
235 D->power(
degree(i), -1, deg);
237 }
238
239
240 D->remove(deg);
242}
virtual FreeModule * new_free() const
const_monomial degree(int i) const
FreeModule(const Ring *R, int n, bool has_schreyer_order)
VALGRIND_MAKE_MEM_DEFINED & result(result)
References degree(), FreeModule(), monomial, new_free(), R, rank(), and result().
Referenced by IM2_FreeModule_dual().