|
D.15.3.2 PEsolve
Procedure from library ffsolve.lib (see ffsolve_lib).
- Usage:
- PEsolve(I[, i]); I ideal, i optional integer
solve I (system of multivariate equations) over a
finite field using an equvalence property when i is
not given or set to 2, otherwise if i is set to 0
then check whether common roots exists
- Return:
- list if optional parameter is not given or set to 2,
integer if optional is set to 0
- Assume:
- basering is a finite field of type (p^n,a)
- Note:
- When the optional parameter is set to 0, speoff only
checks if I has common roots, then return 1, otherwise
return 0.
Example:
|