|
D.15.3.4 GBsolve
Procedure from library ffsolve.lib (see ffsolve_lib).
- Usage:
- GBsolve(I); I ideal
solve I (system of multivariate equations) over an
extension of Z/p by Groebner basis methods
- Return:
- list L, the common roots of I as ideal
- Assume:
- basering is a finite field of type (p^n,a)
Example:
|