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