eja: define subalgebra_generated_by() to contain the identity.

[sage.d.git] / mjo / eja / eja_subalgebra.py

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index 2c877f34b03268f59b0b73501c62d6cd419a8253..0f641416366ef7ee72d4703e070c69e2d60e30a9 100644 (file)
--- a/mjo/eja/eja_subalgebra.py
+++ b/mjo/eja/eja_subalgebra.py
@@ -128,24 +128,6 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide
         except ValueError:
             prefix = prefixen[0]
 
-        if elt.is_zero():
-            # Short circuit because 0^0 == 1 is going to make us
-            # think we have a one-dimensional algebra otherwise.
-            natural_basis = tuple()
-            mult_table = tuple()
-            rank = 0
-            self._vector_space = V.zero_subspace()
-            self._superalgebra_basis = []
-            fdeja = super(FiniteDimensionalEuclideanJordanElementSubalgebra,
-                          self)
-            return fdeja.__init__(field,
-                                  mult_table,
-                                  rank,
-                                  prefix=prefix,
-                                  category=category,
-                                  natural_basis=natural_basis)
-
-
         # This list is guaranteed to contain all independent powers,
         # because it's the maximal set of powers that could possibly
         # be independent (by a dimension argument).