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

Reply via email to