Skip to content

Commit

Permalink
Fixing a few details.
Browse files Browse the repository at this point in the history
  • Loading branch information
tscrim committed Sep 5, 2023
1 parent 3a83905 commit 0b6e2d9
Showing 1 changed file with 17 additions and 17 deletions.
34 changes: 17 additions & 17 deletions src/sage/algebras/lie_algebras/representation.py
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
r"""
Representations of a Lie algebra
Representations of Lie algebras
AUTHORS:
Expand All @@ -23,15 +23,15 @@


class Representation_abstract:
"""
r"""
Mixin class for (left) representations of Lie algebras.
INPUT:
- ``lie_algebra`` -- a Lie algebra
"""
def __init__(self, lie_algebra):
"""
r"""
Initialize ``self``.
EXAMPLES::
Expand All @@ -43,7 +43,7 @@ def __init__(self, lie_algebra):
self._lie_algebra = lie_algebra

def lie_algebra(self):
"""
r"""
Return the Lie algebra whose representation ``self`` is.
EXAMPLES::
Expand All @@ -56,12 +56,12 @@ def lie_algebra(self):
return self._lie_algebra

def side(self):
"""
Return whether ``self`` is a left or right.
r"""
Return that ``self`` is a left representation.
OUTPUT:
- the string ``"left"``, ``"right"``, or ``"twosided"``
- the string ``"left"``
EXAMPLES::
Expand All @@ -73,9 +73,9 @@ def side(self):
return 'left'

def _test_representation(self, **options):
"""
r"""
Check (on some elements) that ``self`` is a representation of the
given Lie algebra.
given Lie algebra using the basis of the Lie algebra.
EXAMPLES::
Expand All @@ -94,7 +94,7 @@ def _test_representation(self, **options):


class RepresentationByMorphism(CombinatorialFreeModule, Representation_abstract):
"""
r"""
Representation of a Lie algebra defined by a Lie algebra morphism.
INPUT:
Expand All @@ -118,7 +118,7 @@ class RepresentationByMorphism(CombinatorialFreeModule, Representation_abstract)
"""
@staticmethod
def __classcall_private__(cls, lie_algebra, f, **kwargs):
"""
r"""
Normalize inpute to ensure a unique representation.
EXAMPLES::
Expand Down Expand Up @@ -170,7 +170,7 @@ def __init__(self, lie_algebra, f, category, **kwargs):
CombinatorialFreeModule.__init__(self, lie_algebra.base_ring(), I, prefix='R', category=category)

def _repr_(self):
"""
r"""
Return a string representation of ``self``.
EXAMPLES::
Expand All @@ -193,7 +193,7 @@ def _repr_(self):

class Element(CombinatorialFreeModule.Element):
def _acted_upon_(self, scalar, self_on_left=False):
"""
r"""
Return the action of ``scalar`` on ``self``.
EXAMPLES::
Expand Down Expand Up @@ -232,7 +232,7 @@ def _acted_upon_(self, scalar, self_on_left=False):


class TrivialRepresentation(CombinatorialFreeModule, Representation_abstract):
"""
r"""
The trivial representation of a Lie algebra.
The trivial representation of a Lie algebra `L` over a commutative ring
Expand All @@ -248,7 +248,7 @@ class TrivialRepresentation(CombinatorialFreeModule, Representation_abstract):
- :wikipedia:`Trivial_representation`
"""
def __init__(self, lie_algebra):
"""
r"""
Initialize ``self``.
EXAMPLES::
Expand All @@ -263,7 +263,7 @@ def __init__(self, lie_algebra):
CombinatorialFreeModule.__init__(self, R, ['v'], prefix='T', category=cat)

def _repr_(self):
"""
r"""
Return a string representation of ``self``.
EXAMPLES::
Expand All @@ -276,7 +276,7 @@ def _repr_(self):

class Element(CombinatorialFreeModule.Element):
def _acted_upon_(self, scalar, self_on_left=False):
"""
r"""
Return the action of ``scalar`` on ``self``.
EXAMPLES::
Expand Down

0 comments on commit 0b6e2d9

Please sign in to comment.