Home Online Manual
Top
Back: NumIrrDecom
Forward: NumPrimDecom
FastBack:
FastForward:
Up: numerDecom_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.9.11 defl

Procedure from library numerDecom.lib (see numerDecom_lib).

Usage:
defl(ideal I, int d); I ideal, int d order of the deflation

Return:
deflation ideal DI of I

Example:
 
LIB "numerDecom.lib";
ring r=0,(x,y,z),dp;
poly f1=z^2;
poly f2=z*(x^2+y);
ideal I=f1,f2;
def D=defl(I,1);
setring D;
DI;