Changes between Initial Version and Version 1 of Ticket #16820, comment 34


Ignore:
Timestamp:
04/16/15 22:32:04 (7 years ago)
Author:
darij
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16820, comment 34

    initial v1  
    1717}}}
    1818But E * H should not be -E if it's really to mean the element E * H of the universal envelope.
     19
     20Also, it's black on white (green on black?) here:
     21{{{
     22        def universal_enveloping_algebra(self):
     23            """
     24            Return the universal enveloping algebra of ``self``.
     25
     26            EXAMPLES::
     27
     28                sage: L = LieAlgebras(QQ).FiniteDimensional().WithBasis().example()
     29                sage: L.universal_enveloping_algebra()
     30                Noncommutative Multivariate Polynomial Ring in b0, b1, b2
     31                 over Rational Field, nc-relations: {}
     32
     33            ::
     34
     35                sage: L = LieAlgebra(QQ, 3, 'x', abelian=True)
     36                sage: L.universal_enveloping_algebra()
     37                Multivariate Polynomial Ring in x0, x1, x2 over Rational Field
     38
     39            .. SEEALSO::
     40
     41                :meth:`lift`
     42            """
     43            return self.lift.codomain()
     44}}}
     45The codomain of the lift has to be the UEA.