| Given: | * K either Q, or a finite field Fp, or an algebraic extension thereof. |
| * A bivariate polynomial f in K[x,y] such that char(K) does not divide the order of any branch of f.
|
|
* A deformation of f over
A=K[t1,...,tr]/J , that is, a polynomial 
|
- Compute the equisingularity ideal (in the sense of Wahl) of f,
respectively the ideal
- Determine if F defines an equisingular deformation (mod (mA)N).
- Compute the equisingular stratum of F in A (mod (mA)N).