#16630: Fix category for finite Coxeter groups
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: group theory | Resolution:
Keywords: Coxeter, category | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/groups/fix_category_finite_coxeter-16630|
0f2941a9ec0dd54531a5349f10dc3c1a5ae5f1d0
Dependencies: #16633 #16634 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
Ah, I see. Hmm, are these matrices bounded away from singularity well
enough that we can trust this to work? Otherwise I'd rather take the
irreducible decomposition of the matrix (Dijkstra's algorithm, should be
fast) and check each of them for being a Coxeter-Dynkin diagram (now that
can be annoying). I assume the two steps of this procedure (irreducible
decomposition and Coxeter-Dynkin classification) are something we want to
have anyway; or do we already?
--
Ticket URL: <http://trac.sagemath.org/ticket/16630#comment:4>
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.
