Reimplemented from ReducedGB.
Definition at line 260 of file reducedgb-marked.cpp.
261{
262 if (nparts > 0)
263 {
264 ERROR(
"Cannot determine given initial monomials");
265 return nullptr;
266 }
267 MatrixConstructor mat(
F, 0);
268 for (int i = 0; i < polys.size(); i++)
269 {
270 gbvector *f =
R->gbvector_lead_term(-1,
F,
leadterms[i]);
271 mat.append(
originalR->translate_gbvector_to_vec(
F, f));
272 }
273 return mat.to_matrix();
274}
const PolynomialRing * originalR
References MatrixConstructor::append(), ERROR, ReducedGB::F, leadterms, Matrix, ReducedGB::originalR, ReducedGB::R, and MatrixConstructor::to_matrix().