Changes between Version 1 and Version 2 of Ticket #13360, comment 18


Ignore:
Timestamp:
08/13/12 18:38:32 (9 years ago)
Author:
nbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13360, comment 18

    v1 v2  
    1010> will be the identity for all polynomials over any base ring, except for the symbolic ring. This map may not seem useful in practise, but imagine applying some map to the coefficients, or anything more interesting. The point is that the above may be a special case of some complicated transformation you're doing on polynomials.
    1111
    12 It would only work for base rings that don't have a generator named `t` in them
     12That example doesn't work because sage refuses in a lot of cases to construct a suitable parent. Try:
     13{{{
     14transformation(ZZ['a']['b']([1,2,3]))
     15}}}
     16If it did work, it would only work for base rings that don't have a generator named `t` in them
    1317already. So for any of
    1418{{{
     
    1721PowerSeriesRing(QQ,name='t')['u','v']
    1822}}}
    19 this would give a different answer than the functorial one you're expecting.
     23this would give a different answer than the functorial one I think you're expecting.
    2024
    21 The fact that sage attaches meaning to print names of variables really does have some profound effects.
     25The fact that sage attaches meaning to print names of variables really does have some profound effects. 
    2226
    2327> I know that one could probably work around this by