|
D.6.6.4 isEquising
Procedure from library equising.lib (see equising_lib).
- Usage:
- isEquising(F[,m,L]); F poly, m int, L list
- Assume:
- F defines a deformation of a reduced bivariate polynomial f
and the characteristic of the basering does not divide mult(f).
If nv is the number of variables of the basering, then the first
nv-2 variables are the deformation parameters.
If the basering is a qring, ideal(basering) must only depend
on the deformation parameters.
- Compute:
- tests if the given family is equisingular along the trivial
section.
- Return:
- int: 1 if the family is equisingular, 0 otherwise.
- Note:
- L is supposed to be the output of hnexpansion (with the given ordering
of the variables appearing in f).
If m is given, the family is considered over A/maxideal(m).
This procedure uses execute or calls a procedure using
execute .
printlevel>=2 displays additional information.
Example:
|