Alternative solver
An algorithm to compare with the syntactic solver.
Currently Web-SynDic supports the following alternative solvers:
-
the slopes algorithm
(M.Filgueiras and A.-P.Tomas). It is used to compute a whole
Hilbert basis.
-
lp_solve (M.Berkelaar).
It is used to compute only one basis solution.