1674{
1676 if (Q == nullptr)
1677 {
1678 ERROR(
"expected NC polynomial algebra");
1679 return {nullptr, nullptr};
1680 }
1681
1684
1685
1686
1687
1688
1689 return {nullptr, nullptr};
1690}
virtual int n_vars() const =0
Abstract Ring subclass that lifts either a FreeAlgebra or a FreeAlgebraQuotient into the engine's Rin...
const Ring * get_ring() const
Current IntsSet configuration: exposes Hash and Eq as discrete member functors so the unordered_set c...
void NCMonomials(ModuleMonomialSet &H, const Matrix *M)
IntsSet< ModuleMonomDefaultConfig > ModuleMonomialSet