#15300: Weyl and Clifford Algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: algebra | Resolution:
Keywords: days54 | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/algebras/weyl_clifford-15300| e9902b97ed9281ad86ac4da7053b7821f6f07072
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
There is a stupid `__repr__` bug I've no idea how to fix.
{{{
sage: A = CliffordAlgebra(QuadraticForm(QQ, 3, [1,0,-1,3,-4,5]))
sage: A.basis()
Finite family {(0, 1): e0*e1, (1, 2): ee2, (0,): e0, (1,): e1, (0, 1, 2):
e0*ee2, (2,): e2, (): 1, (0, 2): e0*e2}
}}}
See the `ee2`? It's an `e1*e2`, which the `__repr__` routine seems to
simplify to `ee2` because `1*` can be omitted, right? One way to deal with
it would be to not use the multiplication signs; what do you think about
that?
(Also, the doctests of `lift_isometry` are wrong -- could you compute them
by hand and re-insert them? Thank you.)
--
Ticket URL: <http://trac.sagemath.org/ticket/15300#comment:27>
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.
