#20454: conversion from SR[] to SR
-----------------------------+------------------------
Reporter: rws | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.2
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------+------------------------
Comment (by nbruin):
You can get a morphism that does this:
{{{
sage: H=Hom(S,SR)(SR('y'))
sage: H(p)
(pi + y)*y + 1
}}}
I think we'll get more mileage out of educating users how to define the
morphisms they need than trying to stuff every possible operation into
conversion (although the one you propose here wouldn't necessarily be a
problem by itself. You'll just have that `S(SR(p)) != p`, which will be a
little surprising (and the fact that `S(..)` maps elements of `SR` to
constants will be very hard to change, or at least cause big problems down
the line if you do)
--
Ticket URL: <http://trac.sagemath.org/ticket/20454#comment:1>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
