Home Online Manual
Top
Back: removepower
Forward: equalJinI
FastBack:
FastForward:
Up: arcpoint_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.2.3 idealsimplify

Procedure from library arcpoint.lib (see arcpoint_lib).

Usage:
idealsimplify(I,m); I ideal, m int

Assume:
procedure is stable for sufficiently large m

Return:
ideal defining the same zeroset as I: replace generators of I by the generator modulo other generating elements

Example:
 
LIB "arcpoint.lib";
ring r=0,(x,y,z),dp;
ideal I = x3,y+z2-x2;
I;
==> I[1]=x3
==> I[2]=-x2+z2+y
idealsimplify(I,10);
==> _[1]=x
==> _[2]=z2+y