Macaulay2 Engine
Loading...
Searching...
No Matches
matrix-ncbasis.hpp
Go to the documentation of this file.
1// TODO: should this be in the interface?
2
3#ifndef matrix_ncbasis_hpp_
4#define matrix_ncbasis_hpp_
5
33
34#include <vector>
35
36#include "Polynomial.hpp"
37
38class FreeAlgebra;
39
43
44bool ncBasis(
45 const FreeAlgebra& A,
46 const ConstPolyList& gb, // actually, only the lead terms are ever considered
47 const std::vector<int>& lo_degree, // length 0: means -infinity, i.e. 0.
48 const std::vector<int>& hi_degree, // length 0: +infinity
49 int limit, // <0 means no limit
51 );
52
53#endif
54
55// Local Variables:
56// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
57// indent-tabs-mode: nil
58// End:
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)