Procedure from library classify.lib (see classify_lib).
classify.lib
normalform(s); s=string
Arnold’s normal form of singularity with name s
Example:
LIB "classify.lib"; ring r=0,(a,b,c),ds; normalform("E[13]"); → c2+a3+ab5+b8