|
D.15.3.6 ZZsolve
Procedure from library ffsolve.lib (see ffsolve_lib).
- Usage:
- ZZsolve(I); I ideal
solve I (system of multivariate equations) over a
finite field by mapping the polynomials to a single
univariate polynomial over extension of the basering
- Return:
- list, the common roots of I as ideal
- Assume:
- basering is a finite field of type (p^n,a)
Example:
|