#15300: Weyl and Clifford Algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: days54 | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/algebras/weyl_clifford-15300| b47af6ae9f8dd1e6d870ec986f81fb6913d12e16
Dependencies: #16037 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:143 jhpalmieri]:
> I don't object to your design choice. My question was maybe more
practical: is it ever safe to do `dx,dy,dz=W.differentials()`, or should
they always be sorted? If it's not really safe, then there shouldn't be
examples like that in the documentation.
I'm starting to question my consistency in the design, so I will take
another pass over things. Anyways, it's as safe as the ordering of
`d.keys()` where `d` is a python `dict`...so not really. I'll make the
necessary changes.
> I think adding some examples using `inject_variables` would be useful. I
think you could add them to the class-level docstring for
`DifferentialWeylAlgebra` and/or to the `weyl_algebra` methods for
polynomial rings (pointing out that the result of `inject_variables` is
that the variables will now be in the Weyl algebra, not the polynomial
ring).
Will do.
> The docstring basically says, "if A, then return either X or Y, and
otherwise return Z". A natural question is, when does it return X and when
Y? Presumably it's not a coin flip. I'd like the documentation and the
examples to explain this. Or do I never need to know this, things are just
taken care of in the background? Then the documentation should say so.
As mentioned, this is the (abridged) specifications of the method, but I
see your point. I will reword this.
Changes will be done in a little bit.
--
Ticket URL: <http://trac.sagemath.org/ticket/15300#comment:144>
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.
