Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Added simple, injective, and projective for S, I, P resp.
Browse files Browse the repository at this point in the history
  • Loading branch information
Travis Scrimshaw committed May 4, 2014
1 parent 2b26654 commit b628ce3
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions src/sage/quivers/path_semigroup.py
Original file line number Diff line number Diff line change
Expand Up @@ -645,6 +645,8 @@ def S(self, k, vertex):
# dimension 1 and the constructor will zero out everything else.
return QuiverRep(k, self, {vertex: 1})

simple = S

def P(self, k, vertex):
"""
Return the indecomposable projective module over `k` at the given
Expand Down Expand Up @@ -683,6 +685,8 @@ def P(self, k, vertex):
raise ValueError("must specify a valid vertex of the quiver")
return QuiverRep(k, self, [[(vertex, vertex)]], option='paths')

projective = P

def I(self, k, vertex):
"""
Return the indecomposable injective module over `k` at the
Expand Down Expand Up @@ -721,6 +725,8 @@ def I(self, k, vertex):
raise ValueError("must specify a valid vertex of the quiver")
return QuiverRep(k, self, [[(vertex, vertex)]], option='dual paths')

injective = I

def free_module(self, k):
"""
Return a free module of rank `1` over ``kP``, where `P` is
Expand Down

0 comments on commit b628ce3

Please sign in to comment.