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