Definition at line 320 of file groebner.cpp.
References Computation::cast_to_GBComputation(), clear_emit_size(), ERROR, G, and Matrix.