> But the example in my original message works -- this really confuses me.
> Clearly, simplify_trig invokes maxima to do the simplification, so why does
> setting this flag in pynac make it work? Are functions of real variables
> treated differently from functions taking a complex argument?
>
Hi Michael,
Thanks for your message. I'm still a little confused about the way Sage
handles assumptions, can you maybe shine your light on this?
On Monday, July 1, 2013 8:55:43 PM UTC+1, Michael Orlitzky wrote:
>
>
> > sage: u = var('u')
> > sage: assume(u, 'real')
>
> This makes an assumptio
There is certainly an opportunity to write a program that works like this:
to simplify abs(f(x)) test to see if f(x) is real for all possible values
of x.
then find some g(x) such that g(x)^2=f(x). That is, f(x) is a perfect
square.
In such a case abs(f(x)) is equal to f(x).
It has rathe
On 07/01/2013 03:55 PM, Michael Orlitzky wrote:
> On 07/01/2013 03:37 PM, Joris Vankerschaver wrote:
>>
>> sage: u = var('u')
>> sage: assume(u, 'real')
>
> This makes an assumption in Maxima, where most of the symbolic algebra
> takes place.
>
>
>> sage: u = var('u', domain='real')
>
> This se
On 07/01/2013 03:37 PM, Joris Vankerschaver wrote:
>
> sage: u = var('u')
> sage: assume(u, 'real')
This makes an assumption in Maxima, where most of the symbolic algebra
takes place.
> sage: u = var('u', domain='real')
This sets a flag in pynac, which does nothing as far as I can tell.
--
Y
On Friday, February 15, 2013 11:31:41 AM UTC, Julius wrote:
>
>
> With sage 5.6
> sage: assume(x, 'real')
> sage: (abs(sin(x))^2).simplify_full()
> abs(sin(x))^2
>
> For trigonometric simplifications, this is very inconvenient. For example
> sage: (abs(sin(x))^2 + abs(cos(x))^2).sim
With sage 5.5:
sage: (abs(sin(x))^2).simplify_full()
sin(x)^2
Maybe not completely correct because, as you said, x could be a complex
number. However, I found it convenient.
With sage 5.6
sage: assume(x, 'real')
sage: (abs(sin(x))^2).simplify_full()
abs(sin(x))^2
For trigonometric
This is not a bug, because x can be any complex number :
sage: x=CDF(4+2*I)
sage: abs(sin(x))**2
13.7268664349
sage: sin(x)**2
2.48667440045 + 13.4997523143*I
Le jeudi 14 février 2013 16:21:29 UTC+1, Julius a écrit :
>
> I think (abs(sin(x))^2).simplify_full() should render sin(x)^2. Thi