#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:
-------------------------------------+-------------------------------------
Changes (by tscrim):
* cc: nthiery (added)
Comment:
IMO for finite, all types have to be finite because this gives you a
finite root system (in particular, this makes all types contained in a
finite type stay finite). Affine types I think is the trickiest, but I
would say we'd want to keep the corank 1 property, so I would say no,
decomposable types cannot be affine. For hyperbolic, I believe it follows
from the definition that it has to be connected except for a single vertex
disjoint from an affine type. However I'd make it uniform and say if it is
decomposable, then it is not hyperbolic.
Nicolas, Dan, do either of you have thoughts on this?
--
Ticket URL: <http://trac.sagemath.org/ticket/18645#comment:9>
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.
