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

D.15.15.1 T1

Procedure from library stanleyreisner.lib (see stanleyreisner_lib).

Usage:
T1(h); h = ideal.

Assume:
I is the ideal generated by the monomials w.r.t. faces.

Return:
first order deformation on ideal I.

Theory:
The procedure will compute the first order deformaiton.

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);
list L=T1(i);
L;
==> [1]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [2]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [3]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [4]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [5]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [6]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [7]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [8]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [9]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [10]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [11]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [12]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0
==> phi.source  ->  phi.over / phi.source
==> 
==> [13]:
==>    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
==> 
==> [14]:
==>    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
==> 
==> [15]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [16]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [17]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [18]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [19]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [20]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [21]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [22]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [23]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [24]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [25]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [26]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [27]:
==>    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
==> 
==> [28]:
==>    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
==> 
==> [29]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [30]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [31]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==> 
==> [32]:
==>    x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3)  ->  0,0
==> phi.source  ->  phi.over / phi.source
==>