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