Top
Back: realzero
Forward: reesclos_lib
FastBack: primitiv_lib
FastForward: reesclos_lib
Up: realrad_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.19.3 realrad

Procedure from library realrad.lib (see realrad_lib).

Usage:
realrad(id), id an ideal of arbitary dimension

Return:
the real radical of id

Exampe:
example realrad; shows an example

Example:
 
LIB "realrad.lib";
ring r1=0,(x,y,z),lp;
//dimension 0
ideal i0=(x2+1)*(x3-2),(y3-2)*(y2+y+1),z3+2;
//dimension 1
ideal i1=(y3+3y2+y+1)*(y2+4y+4)*(x2+1),(x2+y)*(x2-y2)*(x2+2xy+y2)*(y2+y+1);
ideal i=intersect(i0,i1);
realrad(i);
==> _[1]=x4-x2y2+x2y-y3
==> _[2]=y5+y4z+5y4+5y3z+7y3+7y2z+3y2+3yz+2y+2z
==> _[3]=xy4+5xy3+7xy2+3xy+2x+y4z+5y3z+7y2z+3yz+2z
==> _[4]=y4z3+2y4+5y3z3+10y3+7y2z3+14y2+3yz3+6y+2z3+4

Top Back: realzero Forward: reesclos_lib FastBack: primitiv_lib FastForward: reesclos_lib Up: realrad_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.