|
D.4.21.2 realzero
Procedure from library realrad.lib (see realrad_lib).
- Usage:
- realzero(j); a zero-dimensional ideal j
- Return:
- j: a zero dimensional ideal, which is the real radical
of i, if dim(i)=0
0: otherwise
this acts via
primary decomposition (i=1)
listdecomp (i=2) or facstd (i=3)
Example:
|