Definition at line 58 of file f4-m2-interface.cpp.
62{
63 const FreeModule *F = m->
rows();
64 for (
int i = 0; i < m->
n_cols(); i++)
65 {
66 gbelem *g = new gbelem;
68 result_polys.push_back(g);
69 }
70}
static void from_M2_vec(const VectorArithmetic *VA, const MonomialInfo *MI, const FreeModule *F, vec v, GBF4Polynomial &result)
ring_elem elem(int i, int j) const
const FreeModule * rows() const
References Matrix::elem(), gbelem::f, from_M2_vec(), Matrix, Matrix::n_cols(), and Matrix::rows().
Referenced by F4Computation::F4Computation().