Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- gap> A:=NakayamaAlgebra([4,4,3,2,2,1],GF(3));
- <GF(3)[<quiver with 6 vertices and 5 arrows>]/
- <two-sided ideal in <GF(3)[<quiver with 6 vertices and 5 arrows>]>, (2 generators)>>
- gap> rels := RelationsOfAlgebra(A);
- [ (Z(3)^0)*a1*a2*a3*a4, (Z(3)^0)*a4*a5 ]
- gap> newrels := Filtered( rels, r -> LengthOfPath(TipMonomial(r)) < 3 );
- [ (Z(3)^0)*a4*a5 ]
- gap> kQ := OriginalPathAlgebra(A);
- <GF(3)[<quiver with 6 vertices and 5 arrows>]>
- gap> B := kQ/newrels;
- <GF(3)[<quiver with 6 vertices and 5 arrows>]/
- <two-sided ideal in <GF(3)[<quiver with 6 vertices and 5 arrows>]>, (1 generators)>>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement