Some last little cleanup.

sagemath · Aug 21, 2018 · 726639f · 726639f
1 parent 8658e9d
commit 726639f
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/src/sage/categories/finite_dimensional_graded_lie_algebras_with_basis.py b/src/sage/categories/finite_dimensional_graded_lie_algebras_with_basis.py
@@ -18,7 +18,6 @@
 
 from sage.misc.cachefunc import cached_method
 from sage.categories.category_with_axiom import CategoryWithAxiom_over_base_ring
-from sage.categories.graded_modules import GradedModulesCategory
 
 class FiniteDimensionalGradedLieAlgebrasWithBasis(CategoryWithAxiom_over_base_ring):
     r"""
@@ -191,6 +190,8 @@ def degree_on_basis(self, m):
                     sage: C = C.FiniteDimensional().Stratified().Nilpotent()
                     sage: sc = {('X','Y'): {'Z': 1}}
                     sage: L.<X,Y,Z> = NilpotentLieAlgebra(QQ, sc, category=C)
+                    sage: L.degree_on_basis(X.leading_support())
+                    1
                     sage: X.degree()
                     1
                     sage: Y.degree()

diff --git a/src/sage/categories/graded_lie_algebras.py b/src/sage/categories/graded_lie_algebras.py
@@ -16,9 +16,7 @@
 #                  https://www.gnu.org/licenses/
 # ****************************************************************************
 
-from sage.categories.category import Category
 from sage.categories.category_with_axiom import CategoryWithAxiom_over_base_ring
-from sage.categories.covariant_functorial_construction import RegressiveCovariantConstructionCategory
 from sage.categories.graded_modules import GradedModulesCategory
 
 class GradedLieAlgebras(GradedModulesCategory):

diff --git a/src/sage/categories/lie_algebras_with_basis.py b/src/sage/categories/lie_algebras_with_basis.py
@@ -17,7 +17,6 @@
 #*****************************************************************************
 
 from sage.misc.abstract_method import abstract_method
-from sage.misc.cachefunc import cached_method
 from sage.misc.lazy_import import LazyImport
 from sage.categories.category_with_axiom import CategoryWithAxiom_over_base_ring
 from sage.categories.lie_algebras import LieAlgebras