Definition at line 28 of file solvable.cpp.
References create(), PolynomialRing::getCoefficients(), PolynomialRing::getMonoid(), Matrix, PolynomialRing::PolynomialRing(), and SolvableAlgebra().