#18645: Add some methods to CartanMatrix
-------------------------------------+-------------------------------------
Reporter: jonathan.judge | Owner: jonathan.judge
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: combinatorics | Resolution:
Keywords: days65 | Merged in:
Authors: | Reviewers: Ben Salisbury
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jonathan.judge/add_some_methods_to_cartanmatrix|
7e17029e1388141ba3cce2f160adc296afb18fcb
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
It sounds like Jean-Philippe and I are in agreement that finite types
include decomposable types whose pieces are all finite. This makes me also
believe that we should have affine types include decomposable types whose
pieces are all finite or affine. This would mean that the hyperbolic types
are those of level 1 (and forced to be connected).
I'm also okay calling those Cartan types with a signature of (n-1,1,0) as
Lorentzian and those of (m,1,k) being degenerate Lorentzian. However I do
think we should call the (strict) level 1 Lorentzian (resp., compact)
hyperbolic to be as close with the classical literature as possible.
--
Ticket URL: <http://trac.sagemath.org/ticket/18645#comment:12>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
