#16055: Implement Jordan algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: jordan algebra | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/algebras/jordan-16055 | 021551c8d2a0d6f9d6751176a8c1fe65302ff2a0
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
Here's why the `~` is safer than `/`:
{{{
sage: R.<q,t> = LaurentPolynomialRing(QQ)
sage: 1 / R(2)
1/2
sage: _.parent()
Fraction Field of Multivariate Polynomial Ring in q, t over Rational Field
sage: ~R(2)
1/2
sage: _.parent()
Multivariate Laurent Polynomial Ring in q, t over Rational Field
}}}
Although this might be fixed by #17740. However I think instead of `QQ`,
we could just convert to (the fraction field of) the base ring. I'll test
and make changes.
I'm happy with setting `algebras_generators = basis`, and subclassing does
not respect aliases (this has given me many headaches, but it makes sense
from the python perspective). I'll do this on my next commit.
--
Ticket URL: <http://trac.sagemath.org/ticket/16055#comment:15>
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.
