Algebra.Algorithms.ZeroDim

Root finding for zero-dimensional ideal

solveM

solve'

solveViaCompanion

solveLinear

Radical computation

radical

isRadical

Converting monomial ordering to Lex using FGLM algorithm

fglm

fglmMap

Internal helper function

solveWith

univPoly

reduction

matrixRep

subspMatrix

vectorRep