-
std::vector<RingElem> interreduced(std::vector<RingElem> v); --
Groebner-interreduce v
std::vector<RingElem> TmpDivAlg(f, const std::vector<RingElem>& v); --
Groebner-division: quotients and remainder, the remainder is in result[len(v)] (this interface might change)
.. more functions to come ..
SparsePolyOps-vector should collect all functions operating on a
vector of RingElem.
Requires a bit more thinking/designing.
2023