|
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
|
|