
Computing Equisingular Strata of Plane Curve Singularities
Given: 
* K either Q, or a
finite field F_{p}, 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[t_{1},...,t_{r}]/J , that is, a polynomial

Tasks:
 Compute the equisingularity ideal (in the sense of Wahl) of f,
respectively the ideal
 Determine if F defines an equisingular deformation (mod
(m_{A})^{N}).
 Compute the equisingular stratum of F in A (mod
(m_{A})^{N}).
