#11556: Linear transformations, built from free module morphisms
------------------------------+---------------------------------------------
Reporter: rbeezer | Owner: jason, was
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: linear algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Martin Raum | Author: Rob Beezer
Merged: | Dependencies: #11552, #11553
------------------------------+---------------------------------------------
Comment(by rbeezer):
Hi Martin,
Caught me just in time on the imports. Thanks for the link, that was
helpful and confirmed my understanding from before. I can do a bit of
cleanup on the imports, and will move one that is used twice to the top of
the file. Otherwise, I will largely leave all those imports in the
constructor since I think it makes the rest of the module easier to read
with all those segregated.
I'm not sure {{{is_polynomial()}}} is going to work. Consider:
{{{
sage: var('x y')
(x, y)
sage: g(x, y) = x*y
sage: g.is_polynomial(x)
True
sage: g.is_polynomial(y)
True
sage: g.degree(x)
1
sage: g.degree(y)
1
}}}
I think I can do worse, with negative and/or fractional exponents. I'm
open to ideas, but I guess I'm back to feeling there is no good way to
confirm an arbitrary (callable) symbolic expression as being multivariate
linear (including no constant term). Will post a patch of changes in a
few minutes, or later today.
Rob
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11556#comment:8>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
