Opened 11 years ago

Last modified 9 years ago

#9291 new enhancement

Constructing a root system / coxeter group from a pair of matrices

Reported by: nthiery Owned by: sage-combinat
Priority: major Milestone: sage-wishlist
Component: combinatorics Keywords: coxeter
Cc: sage-combinat Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Constructing root systems / coxeter groups / ... from a pair of matrices describing the coordinates of the roots and coroots in their respective basis. Interface:

    sage: T = CartanType(roots_as_matrix, coroots_as_matrix)
    sage: T.root_space()
    sage: T.root_space().simple_roots()
    sage: T.coroot_space()
    sage: WeylGroup(T.root_space())
    sage: WeylGroup(T)
    sage: ReflectionGroup(T)

The root system code is designed to support such features. Attached: a one page proof of feasibility (not following the above interface).

Attachments (1)

cartan_type_from_matrices.py (3.0 KB) - added by nthiery 11 years ago.

Download all attachments as: .zip

Change History (2)

Changed 11 years ago by nthiery

comment:1 Changed 9 years ago by chapoton

  • Keywords coxeter added
Note: See TracTickets for help on using tickets.