Home Online Manual
Top
Back: planeCur
Forward: HHnormalForm
FastBack:
FastForward:
Up: classify_aeq_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.6.6 spaceCur

Procedure from library classify_aeq.lib (see classify_aeq_lib).

Return:
an ideal. Ideal is one of the singularity in the list of C.G.Gibson and C.A.Hobbs.

Example:
 
LIB "classify_aeq.lib";
ring R=0,t,Ds;
ideal I=t3+3t4+3t5+t6,t13+14t14+92t15+377t16+1079t17+2288t18+3718t19+4719t20+4719t21+3718t22+2288t23+1079t24+377t25+92t26+14t27+t28,t17+17t18+136t19+680t20+2380t21+6188t22+12376t23+19448t24+24310t25+24310t26+19448t27+12376t28+6188t29+2380t30+680t31+136t32+17t33+t34;
spaceCur(I);
==> _[1]=t3
==> _[2]=t13+t14
==> _[3]=t17