Implements gb_node.
Definition at line 883 of file res-a2-gb.cpp.
884{
885 MatrixConstructor mat(
F, 0);
886 for (
int i = 0; i <
gb.size(); i++)
887 {
888 gbvector *tmp =
GR->gbvector_lead_term(n,
F,
gb[i]->f);
889 mat.append(
originalR->translate_gbvector_to_vec(
F, tmp));
890 GR->gbvector_remove(tmp);
891 }
892 return mat.to_matrix();
893}
const PolynomialRing * originalR
void gb(IntermediateBasis &F, int n)
References MatrixConstructor::append(), F, gb(), GR, Matrix, originalR, and MatrixConstructor::to_matrix().