3#ifndef matrix_ncbasis_hpp_
4#define matrix_ncbasis_hpp_
47 const std::vector<int>& lo_degree,
48 const std::vector<int>& hi_degree,
gc_vector< const Poly * > ConstPolyList
gc_vector< Poly * > PolyList
Modern Monom / Polynomial value types shared by NC algebras and the refactored F4.
Free associative algebra over a coefficient ring: the non-commutative analogue of PolynomialRing.
void gb(IntermediateBasis &F, int n)
bool ncBasis(const FreeAlgebra &A, const ConstPolyList &gb, const std::vector< int > &lo_degree, const std::vector< int > &hi_degree, int limit, PolyList &result)
VALGRIND_MAKE_MEM_DEFINED & result(result)