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

D.6.6.9 classSpaceCurve

Procedure from library classify_aeq.lib (see classify_aeq_lib).

Return:
the normal form of I if I is simple, -1 if I is not simple

Example:
 
LIB "classify_aeq.lib";
ring R=31,t,ds;
ideal I=t3+6t4+13t5-13t6+10t7+2t8-6t9-10t10-15t11-6t12+8t13-2t14+t15+8t16,
t7+15t8+7t9-11t10-15t11-6t12+8t13-2t14+t15+8t16,
t10-11t11-6t12-t13+12t14+4t15-14t16+15t17-12t18+5t19+t20;
ideal J=classSpaceCurve(I);
J;
==> J[1]=t3
==> J[2]=t7+t8
==> J[3]=t11