Home Online Manual
Top
Back: Symbolic-numerical solving
Forward: ffsolve
FastBack: Invariant theory
FastForward: presolve_lib
Up: Symbolic-numerical solving
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.1 ffsolve_lib

Library:
ffsolve.lib
Purpose:
multivariate equation solving over finite fields
Author:
Gergo Gyula Borus, borisz@borisz.net

Procedures:

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