example lift_idempotent

sagemath · Aug 29, 2014 · aa1a19c · aa1a19c
1 parent 57fbdc0
commit aa1a19c
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/src/sage/categories/algebras.py b/src/sage/categories/algebras.py
@@ -128,13 +128,10 @@ def _lift_idempotent(self):
 
                 EXAMPLES::
 
-                    sage: A3 = SymmetricGroup(3).algebra(QQ)
-                    sage: Z3 = A3.center()
-                    sage: Z3._refine_category_(SemisimpleAlgebras(QQ))
-                    sage: orth = Z3.orthogonal_idempotents()
-                    sage: x = orth[2]._lift_idempotent()
-                    sage: x not in Z3 and x in A3
-                    True
+                    sage: A = FiniteDimensionalAlgebrasWithBasis(QQ).example().semisimple_quotient()
+                    sage: orth = A.orthogonal_idempotents()
+                    sage: orth[1]._lift_idempotent()
+                    x
 
                 TODO: better documentation.
                 """