Definition at line 20 of file gauss.cpp.
References gens, n_comps_per_syz, R, and result().
Referenced by GaussElimComputation().