On 1/24/12 11:11 AM, William Stein wrote:
Intriguingly, you can simply full_simplify *again* to get what you want:
Probably because full_simplify just runs a bunch of simplification commands in order. My guess is that if you run them in a different order, you'd get the simplification you want.
Thanks, Jason
sage: var('u,v') (u, v) sage: r = vector([u*cos(v), u*sin(v), v]) sage: ru = diff(r,u) sage: rv = diff(r,v) sage: n = ru.cross_product(rv) sage: n (sin(v), -cos(v), u*sin(v)^2 + u*cos(v)^2) sage: norm(n) sqrt(abs(u*sin(v)^2 + u*cos(v)^2)^2 + abs(-cos(v))^2 + abs(sin(v))^2) sage: f = norm(n).full_simplify() sage: f sqrt(u^2 + sin(v)^2 + cos(v)^2) sage: f.full_simplify() sqrt(u^2 + 1) On Tue, Jan 24, 2012 at 9:01 AM, Juan Carlos Bustamante <jotacebu...@gmail.com <mailto:jotacebu...@gmail.com>> wrote: Hi all, I'm trying to make some camputations to show to my students, but SAGE won't simplify sin^2 + cos^2 = 1. What am I doing wrong? Sage-trig.png Regards, JC -- To post to this group, send email to sage-support@googlegroups.com <mailto:sage-support@googlegroups.com> To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com <mailto:sage-support%2bunsubscr...@googlegroups.com> For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
-- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org