#17798: Create a class for Coxeter matrices and types
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.6
Component: group theory | Resolution:
Keywords: Coxeter, groups, | Merged in:
matrices, types | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | e61a4f3927c1d096f8ece1138ed33abbd928594d
public/combinat/coxeter_matrices-17798| Stopgaps:
Dependencies: #17990 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
You can work around #17990 by explicitly specifying the base ring, but
they only ring which has `oo` and the integers is the symbolic ring AFAIK.
I think the best/long-term fix for allowing matrices with say `ZZ[oo]` is
to construct a general parent for the ''ordered set'' `R[oo]` where `R` is
any other ring (well ordered set where all things become less than
infinity). Actually...you could probably use `TropicalSemiring(ZZ)` which
does this (plus a bit more structure):
{{{
sage: T.zero()
+infinity
sage: T(2) < T.zero()
True
sage: T(2) > T.zero()
False
}}}
But the matrix space constructor requires a proper ring...which is where
the real trouble probably is... I'm done rambling now.
--
Ticket URL: <http://trac.sagemath.org/ticket/17798#comment:11>
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.
