D.8.1.1 ffsolve | | finite field solving using heuristically chosen method |
D.8.1.2 PEsolve | | solve system of multivariate equations over finite field |
D.8.1.3 simplesolver | | solver using modified exhausting search |
D.8.1.4 GBsolve | | multivariate solver using Groebner-basis |
D.8.1.5 XLsolve | | multivariate polynomial solver using linearization |
D.8.1.6 ZZsolve | | solve system of multivariate equations over finite field |