Reimplemented from GBComputation.
Reimplemented in MarkedGB.
Definition at line 103 of file reducedgb.cpp.
104{
105 MatrixConstructor mat(
F, 0);
106 for (int i = 0; i < polys.size(); i++)
107 {
108 gbvector *f =
109 R->gbvector_parallel_lead_terms(w,
F, polys[i].f, polys[i].f);
110 mat.append(
originalR->translate_gbvector_to_vec(
F, f));
111 R->gbvector_remove(f);
112 }
113 return mat.to_matrix();
114}
const PolynomialRing * originalR
References MatrixConstructor::append(), F, Matrix, originalR, R, and MatrixConstructor::to_matrix().