Definition at line 617 of file groebner.cpp.
References Computation::cast_to_ResolutionComputation(), ERROR, and G.