On Mon, Mar 4, 2013 at 8:10 AM, Jeroen Demeyer <[email protected]> wrote:
> Fair enough, but what if I want the "domain: real" behaviour in Sage? In
> other words, what should do to have (abs(cos(t))^2).simplify() return
> "cos(t)^2"?
>
> sage: maxima('domain: real;')
Use the maxima that the sage symbolics use:
wstein@01salvus:~/explicit$ sage
----------------------------------------------------------------------
| Sage Version 5.3, Release Date: 2012-09-08 |
| Type "notebook()" for the browser-based notebook interface. |
| Type "help()" for help. |
----------------------------------------------------------------------
sage: sage.calculus.all.maxima_calculus('domain: real')
real
sage: var("t")
t
sage: assume(t, "real")
sage: (abs(cos(t))^2).simplify()
cos(t)^2
> real
> sage: var("t")
> t
> sage: assume(t, "real")
> sage: (abs(cos(t))^2).simplify()
> abs(cos(t))^2
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-support" 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 http://groups.google.com/group/sage-support?hl=en.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
--
You received this message because you are subscribed to the Google Groups
"sage-support" 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 http://groups.google.com/group/sage-support?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
