get_free()

const FreeModule * F4ResComputation::get_free ( int level )

protectedvirtual

Implements ResolutionComputation.

Definition at line 262 of file res-f4-computation.cpp.

References mComp, mInputGroebnerBasis, mOriginalRing, and ResF4toM2Interface::to_M2_freemodule().

Referenced by get_matrix().