Changes between Version 24 and Version 25 of Ticket #15703
- Timestamp:
- 03/21/15 08:23:00 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #15703 – Description
v24 v25 3 3 * Experiment with the infrastructure scales and benchmark 4 4 5 * CoxegerGraph, see #161266 - Create a class similar to DynkinDiagram5 * !CoxeterGraph, see #16126 6 - Create a class similar to !DynkinDiagram 7 7 Starter: an edge-labeled graph. 8 8 - Edge labels: m_{i,j}, possibly with number <-1 for oo … … 10 10 Starter: just make this a function 11 11 12 * Update DynkinDiagram to support non crystallographic case:12 * Update !DynkinDiagram to support non crystallographic case: 13 13 - Add an argument base_ring to the constructor 14 14 - Add a method base_ring … … 25 25 - adapt column() and row() method to give the labels in the base ring 26 26 27 * Update CartanMatrix27 * Update !CartanMatrix 28 28 - Add a base ring argument to the constructor 29 29 - Update is_crystallographic … … 32 32 - Update is_generalized_cartan_matrix 33 33 34 * CartanType35 - Possibly update to accept appropriate data to build a CoxeterDiagram(e.g. a matrix)34 * !CartanType 35 - Possibly update to accept appropriate data to build a !CoxeterGraph (e.g. a matrix) 36 36 - Add a base_ring method? 37 37 - Decide on the semantic of is_crystallographic (symmetrizable or … … 42 42 - Test: H_3 and friends should have a working dynkin_diagram method 43 43 44 * RootSystem44 * !RootSystem 45 45 - Decide on the meaning of root_lattice: either disable it in the 46 46 non integral case, or have it be the span of the roots over the 47 47 smallest available ring. 48 48 49 * RootLatticeRealizations:50 - Feed this to RootSystem, and check that the root space and weight49 * !RootLatticeRealizations: 50 - Feed this to !RootSystem, and check that the root space and weight 51 51 space are built properly. 52 52 - Rename the weyl_group method to reflection_group, with an alias … … 55 55 - Long run: stuff specific to the crystallographic case, starting 56 56 with this weyl_group method, should go in 57 RootLatticeRealizations.Crystallographic. That's for a follow up57 !RootLatticeRealizations.Crystallographic. That's for a follow up 58 58 ticket on using axioms for root systems; but let's not depend on 59 59 #10963 right now. 60 60 61 * RootSpace (for this ticket or some follow up):61 * !RootSpace (for this ticket or some follow up): 62 62 - Define the inner product 63 63 - adapt the is_positive_root to make it work for any base ring 64 64 - Signature of the bilinear form 65 65 66 * CoxeterMatrixGroup andWeylGroup:67 - Refactor WeylGroup to make it a subclass ofCoxeterMatrixGroup,68 and lift as many features as possible from WeylGroup to69 CoxeterMatrixGroup.66 * !CoxeterMatrixGroup and !WeylGroup: 67 - Refactor !WeylGroup to make it a subclass of !CoxeterMatrixGroup, 68 and lift as many features as possible from !WeylGroup to 69 !CoxeterMatrixGroup. 70 70 - Check that, with a proper Dynkin diagram, the conversion to GAP 71 71 issue does not appear … … 73 73 represented by Sage matrices, but keep a handle to the 74 74 corresponding Gap group. Currently one has to make a choice 75 between MatrixGroup_generic andMatrixGroup_gap.75 between !MatrixGroup_generic and !MatrixGroup_gap. 76 76 77 77 * Plotting: 78 78 - add a family_of_points method in the projections to be used by the "transversal projection" 79 79 80 * Update WeylGroups:80 * Update !WeylGroups: 81 81 - inversions: use the "root_lattice" by default? 82 82 83 * Prerequisites:84 - Add a __float__ method to UCF, see #1612085 83 86 84 Tests: … … 97 95 Follow ups: #16087 98 96 99 [1]: Generally speaking, it's planned to rename CartanType toCartanDatum.97 [1]: Generally speaking, it's planned to rename !CartanType to !CartanDatum.
