Home Online Manual
Top
Back: singularity
Forward: normalform
FastBack:
FastForward:
Up: classify_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.4.11 A_L

Procedure from library classify.lib (see classify_lib).

Usage:
A_L(f); f poly
A_L(s); s string, the name of the singularity

Compute:
the normal form of f in Arnold's list of singularities in case 1, in case 2 nothing has to be computed.

Return:
A_L(f): compute via 'milnorcode' the class of f and return the normal form of f found in the database.
A_L("name"): get the normal form from the database for the singularity given by its name.

Example:
 
LIB "classify.lib";
ring r=0,(a,b,c),ds;
poly f=A_L("E[13]");
f;
==> c2+a3+ab5+b8
A_L(f);
==> Singularity R-equivalent to :  E[6k+1]=E[13]
==> normal form : c2+a3+ab5+b8
==> c2+a3+ab5+b8