Changes between Version 24 and Version 25 of Ticket #15703


Ignore:
Timestamp:
03/21/15 08:23:00 (6 years ago)
Author:
vripoll
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15703 – Description

    v24 v25  
    33 * Experiment with the infrastructure scales and benchmark
    44
    5  * CoxegerGraph, see #16126
    6    - Create a class similar to DynkinDiagram
     5 * !CoxeterGraph, see #16126
     6   - Create a class similar to !DynkinDiagram
    77     Starter: an edge-labeled graph.
    88   - Edge labels: m_{i,j}, possibly with number <-1 for oo
     
    1010     Starter: just make this a function
    1111
    12  * Update DynkinDiagram to support non crystallographic case:
     12 * Update !DynkinDiagram to support non crystallographic case:
    1313   - Add an argument base_ring to the constructor
    1414   - Add a method base_ring
     
    2525   - adapt column() and row() method to give the labels in the base ring
    2626
    27   * Update CartanMatrix
     27  * Update !CartanMatrix
    2828   - Add a base ring argument to the constructor
    2929   - Update is_crystallographic
     
    3232   - Update is_generalized_cartan_matrix
    3333
    34  * CartanType
    35    - 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)
    3636   - Add a base_ring method?
    3737   - Decide on the semantic of is_crystallographic (symmetrizable or
     
    4242   - Test: H_3 and friends should have a working dynkin_diagram method
    4343
    44  * RootSystem
     44 * !RootSystem
    4545   - Decide on the meaning of root_lattice: either disable it in the
    4646     non integral case, or have it be the span of the roots over the
    4747     smallest available ring.
    4848
    49  * RootLatticeRealizations:
    50    - Feed this to RootSystem, and check that the root space and weight
     49 * !RootLatticeRealizations:
     50   - Feed this to !RootSystem, and check that the root space and weight
    5151     space are built properly.
    5252   - Rename the weyl_group method to reflection_group, with an alias
     
    5555   - Long run: stuff specific to the crystallographic case, starting
    5656     with this weyl_group method, should go in
    57      RootLatticeRealizations.Crystallographic. That's for a follow up
     57     !RootLatticeRealizations.Crystallographic. That's for a follow up
    5858     ticket on using axioms for root systems; but let's not depend on
    5959     #10963 right now.
    6060
    61  * RootSpace (for this ticket or some follow up):
     61 * !RootSpace (for this ticket or some follow up):
    6262   - Define the inner product
    6363   - adapt the is_positive_root to make it work for any base ring
    6464   - Signature of the bilinear form
    6565
    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.
     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.
    7070   - Check that, with a proper Dynkin diagram, the conversion to GAP
    7171     issue does not appear
     
    7373     represented by Sage matrices, but keep a handle to the
    7474     corresponding Gap group. Currently one has to make a choice
    75      between MatrixGroup_generic and MatrixGroup_gap.
     75     between !MatrixGroup_generic and !MatrixGroup_gap.
    7676
    7777 * Plotting:
    7878   - add a family_of_points method in the projections to be used by the "transversal projection"
    7979
    80  * Update WeylGroups:
     80 * Update !WeylGroups:
    8181   - inversions: use the "root_lattice" by default?
    8282
    83  * Prerequisites:
    84    - Add a __float__ method to UCF, see #16120
    8583
    8684Tests:
     
    9795Follow ups: #16087
    9896
    99 [1]: Generally speaking, it's planned to rename CartanType to CartanDatum.
     97[1]: Generally speaking, it's planned to rename !CartanType to !CartanDatum.