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