41 ideal
witness(
const ideal inI,
const ideal J,
const ring
r);
Class used for (list of) interpreter objects.
matrix divisionDiscardingRemainder(const poly f, const ideal G, const ring r)
Computes a division discarding remainder of f with respect to G.
BOOLEAN witnessDebug(leftv res, leftv args)
poly witness(const poly m, const ideal I, const ideal inI, const ring r)
Let w be the uppermost weight vector in the matrix defining the ordering on r.
BOOLEAN dwrDebug(leftv res, leftv args)