D.5.3.1 tau_es
..............
Procedure from library equising.lib (see equising_lib).

Usage:
tau_es(f); f poly

Assume:
f is a reduced bivariate polynomial, the basering has precisely
two variables, is local and no qring.

Return:
int, the codimension of the mu-const stratum in the semi-universal
deformation base.

Note:
printlevel>=1 displays additional information.

When called with any additional parameter, the computation of the
Milnor number is avoided (no check for NND).

Example:
LIB "equising.lib";
ring r=32003,(x,y),ds;
poly f=(x4-y4)^2-x10;
tau_es(f);
==> 42
See also:
esIdeal;
invariants;
tjurina.


<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
