i5 : Sigma
o5 = | p_(1,1)
| l_(1,2)p_(1,1)
| l_(1,2)l_(2,3)p_(1,1)+l_(1,3)p_(1,1)
| l_(1,2)l_(2,3)l_(3,4)p_(1,1)+l_(1,3)l_(3,4)p_(1,1)
------------------------------------------------------------------------
l_(1,2)p_(1,1)
l_(1,2)^2p_(1,1)+p_(2,2)
l_(1,2)^2l_(2,3)p_(1,1)+l_(1,2)l_(1,3)p_(1,1)+l_(2,3)p_(2,2)
l_(1,2)^2l_(2,3)l_(3,4)p_(1,1)+l_(1,2)l_(1,3)l_(3,4)p_(1,1)+l_(2,3)l_(3,
------------------------------------------------------------------------
l_(1,2)l_(2,3)p_(1,1)+l_(1,3)p_(1,1)
l_(1,2)^2l_(2,3)p_(1,1)+l_(1,2)l_(1,3)p_(1,1)+l_(2,3)p_(2,2)
l_(1,2)^2l_(2,3)^2p_(1,1)+2l_(1,2)l_(1,3)l_(2,3)p_(1,1)+l_(1,3
4)p_(2,2) l_(1,2)^2l_(2,3)^2l_(3,4)p_(1,1)+2l_(1,2)l_(1,3)l_(2,3)l_(3,4)
------------------------------------------------------------------------
)^2p_(1,1)+l_(2,3)^2p_(2,2)+p_(3,3)
p_(1,1)+l_(1,3)^2l_(3,4)p_(1,1)+l_(2,3)^2l_(3,4)p_(2,2)+l_(3,4)p_(3,3)+p
------------------------------------------------------------------------
l_(1,2)l_(2,3)l_(3,4)p_(1,1)+l_(1,3)l_(3,4)p_(1,1)
l_(1,2)^2l_(2,3)l_(3,4)p_(1,1)+l_(1,2)l_(1,3)l_(3,4)p_(1,1)+l_(2,
l_(1,2)^2l_(2,3)^2l_(3,4)p_(1,1)+2l_(1,2)l_(1,3)l_(2,3)l_(3,4)p_(
_(3,4) l_(1,2)^2l_(2,3)^2l_(3,4)^2p_(1,1)+2l_(1,2)l_(1,3)l_(2,3)l_(3,4)^
------------------------------------------------------------------------
3)l_(3,4)p_(2,2)
1,1)+l_(1,3)^2l_(3,4)p_(1,1)+l_(2,3)^2l_(3,4)p_(2,2)+l_(3,4)p_(3,3)+p_(
2p_(1,1)+l_(1,3)^2l_(3,4)^2p_(1,1)+l_(2,3)^2l_(3,4)^2p_(2,2)+l_(3,4)^2p
------------------------------------------------------------------------
|
|
3,4) |
_(3,3)+2l_(3,4)p_(3,4)+p_(4,4) |
4 4
o5 : Matrix (frac(QQ[l ..l , l , l , p , p , p , p , p ])) <-- (frac(QQ[l ..l , l , l , p , p , p , p , p ]))
1,2 1,3 2,3 3,4 1,1 2,2 3,3 4,4 3,4 1,2 1,3 2,3 3,4 1,1 2,2 3,3 4,4 3,4
|