matrix-ncbasis.cpp File Reference

#include "matrix-ncbasis.hpp"
#include <memory>
#include "NCAlgebras/FreeAlgebra.hpp"
#include "NCAlgebras/FreeMonoid.hpp"
#include "NCAlgebras/Word.hpp"
#include "NCAlgebras/WordTable.hpp"
#include "interrupted.hpp"
#include "monoid.hpp"

Go to the source code of this file.

Classes
class	NCBasis
	Non-commutative analogue of KBasis: enumerates basis monomials of a FreeAlgebra quotient up to a degree / length bound. More...

Functions
std::unique_ptr< WordTable >	constructWordTable (const FreeAlgebra &A, const ConstPolyList &gb)
bool	ncBasis (const FreeAlgebra &A, const ConstPolyList &gb, const std::vector< int > &lo_degree, const std::vector< int > &hi_degree, int limit, PolyList &result)