Home Online Manual
Top
Back: makeQPoly
Forward: sPiece
FastBack:
FastForward:
Up: stanleyreisner_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.15.4 fPiece

Procedure from library stanleyreisner.lib (see stanleyreisner_lib).

Usage:
fPiece(I,a,b); I = ideal, a = poly, b = poly.

Assume:
I is the ideal generated by the monomials w.r.t. faces, a-b is the degree of the graded piece.

Return:
graded piece (of degree a-b) of first order deformation on ideal I.

Theory:
The procedure will compute the graded pieces of the first order deformaiton which has degree a-b.

Example:
 
LIB "stanleyreisner.lib";
ring R=0,(x(1..4)),lp;
ideal i=x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3);
FirstOrderDeformation phi=fPiece(i,x(4)^2,x(1)*x(2));
phi;
==> x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  1
==> phi.source  ->  phi.over / phi.source
==>