Top
Back: ffsolve
Forward: simplesolver
FastBack: divisors_lib
FastForward: findifs_lib
Up: ffsolve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 


Top Back: ffsolve Forward: simplesolver FastBack: divisors_lib FastForward: findifs_lib Up: ffsolve_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.