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

Commit

Permalink
11111: revert subobjects of algebras
Browse files Browse the repository at this point in the history
  • Loading branch information
avirmaux committed Sep 1, 2014
1 parent 195d14e commit 9c4d13d
Showing 1 changed file with 0 additions and 23 deletions.
23 changes: 0 additions & 23 deletions src/sage/categories/algebras.py
Original file line number Diff line number Diff line change
Expand Up @@ -217,26 +217,3 @@ def extra_super_categories(self):
"""
from sage.categories.coalgebras import Coalgebras
return [Coalgebras(self.base_category().base_ring())]
class Subobjects(SubobjectsCategory):

class ElementMethods:

def _mul_(self, right):
r"""
Product of two elements.
INPUT::
- ``self``, ``right`` -- two elements
If B is a SubModuleWithBasis of A, then the multiplication law of B is
inherited from the multiplication of A.
EXAMPLES::
sage: Z = SymmetricGroup(5).algebra(QQ).center()
sage: B = Z.basis()
sage: B[3] * B[2]
4*B[2] + 6*B[3] + 5*B[6]
"""
p = self.parent()
return p.retract( self.lift() * right.lift())

0 comments on commit 9c4d13d

Please sign in to comment.