Advertisement
Guest User

Untitled

a guest
Jul 21st, 2019
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.67 KB | None | 0 0
  1. gap> A:=NakayamaAlgebra([4,4,3,2,2,1],GF(3));
  2. <GF(3)[<quiver with 6 vertices and 5 arrows>]/
  3. <two-sided ideal in <GF(3)[<quiver with 6 vertices and 5 arrows>]>, (2 generators)>>
  4. gap> rels := RelationsOfAlgebra(A);
  5. [ (Z(3)^0)*a1*a2*a3*a4, (Z(3)^0)*a4*a5 ]
  6. gap> newrels := Filtered( rels, r -> LengthOfPath(TipMonomial(r)) < 3 );
  7. [ (Z(3)^0)*a4*a5 ]
  8. gap> kQ := OriginalPathAlgebra(A);
  9. <GF(3)[<quiver with 6 vertices and 5 arrows>]>
  10. gap> B := kQ/newrels;
  11. <GF(3)[<quiver with 6 vertices and 5 arrows>]/
  12. <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