id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
9290,Implement Coxeter groups in their geometric representation,nthiery,sage-combinat,"The root system / coxeter group code is designed from the ground up to allow for this extension.
Steps:
- Double check {{{CartanType([""H"",3]).coxeter_diagram()}}} and friends
- Given a coxeter diagram, construct the dynkin diagram {{{g}}}
corresponding to the geometric representation; most of the time,
this will involve roots of unity, and require e.g. a cyclotomic
field (see also #8327)
- Make sure that {{{L = RootSystem(g).root_space()}}} accepts such a diagram
- Make sure that {{{WeylGroup(L)}}} accepts such a root space
- Fix all the interfaces to properly reflect the generalization
(e.g. WeylGroup above should really be CoxeterGroup).
Apply:
* [attachment:trac_9290-geometric_coxeter_groups-ts.patch]
* [attachment:trac-9290-review.patch]",enhancement,closed,major,sage-5.13,combinatorics,fixed,coxeter,sage-combinat,sage-5.13.beta2,Travis Scrimshaw,Frédéric Chapoton,N/A,,,,#15204,