Implements GBComputation.
Reimplemented in MarkedGB.
Definition at line 91 of file reducedgb.cpp.
92{
93 MatrixConstructor mat(
F, 0);
94 for (
VECTOR(
POLY)::const_iterator i = polys.begin(); i != polys.end(); i++)
95 {
96 gbvector *f =
R->gbvector_lead_term(nparts,
F, (*i).f);
97 mat.append(
originalR->translate_gbvector_to_vec(
F, f));
98 R->gbvector_remove(f);
99 }
100 return mat.to_matrix();
101}
const PolynomialRing * originalR
References MatrixConstructor::append(), F, Matrix, originalR, POLY, R, MatrixConstructor::to_matrix(), and VECTOR.