Changes between Version 1 and Version 2 of Ticket #13360, comment 18
- Timestamp:
- 08/13/12 18:38:32 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #13360, comment 18
v1 v2 10 10 > 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. 11 11 12 It would only work for base rings that don't have a generator named `t` in them 12 That example doesn't work because sage refuses in a lot of cases to construct a suitable parent. Try: 13 {{{ 14 transformation(ZZ['a']['b']([1,2,3])) 15 }}} 16 If it did work, it would only work for base rings that don't have a generator named `t` in them 13 17 already. So for any of 14 18 {{{ … … 17 21 PowerSeriesRing(QQ,name='t')['u','v'] 18 22 }}} 19 this would give a different answer than the functorial one you're expecting.23 this would give a different answer than the functorial one I think you're expecting. 20 24 21 The fact that sage attaches meaning to print names of variables really does have some profound effects. 25 The fact that sage attaches meaning to print names of variables really does have some profound effects. 22 26 23 27 > I know that one could probably work around this by