Opened 4 years ago

Last modified 4 years ago

#25013 new enhancement

Implement coercions between classical Lie algebras

Reported by: tscrim Owned by:
Priority: major Milestone: sage-8.2
Component: algebra Keywords: lie algebras
Cc: soehms Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Since they are isomorphic, we should be able to go between the two different representations:

sage: L = lie_algebras.sp(QQ, 4, representation='matrix')
sage: Lp = lie_algebras.sp(QQ, 4, representation='bracket')
sage: L.coerce_map_from(Lp)
sage: Lp.coerce_map_from(L)
sage: L(Lp.an_element())   # Boom
sage: Lp(L.an_element())   # Boom

Change History (1)

comment:1 Changed 4 years ago by tscrim

  • Cc soehms added
Note: See TracTickets for help on using tickets.