oldk1331 wrote:
>
> (1) ->
> atan((x^2*((-1)*x^4+1)^(1/2)+(x^3+x))/(((-1)*x^4+1)^(1/2)+((-1)*x^3+x)))
>
> +--------+
> 2 | 4 3
> x \|- x + 1 + x + x
> (1) atan(----------------------)
> +--------+
> | 4 3
> \|- x + 1 - x + x
> Type: Expression(Integer)
> (2) -> atan(x*(1 + x^2)/sqrt(1 - x^4))
>
> +--------+
> 2 | 4 3
> x \|- x + 1 + x + x
> (2) atan(----------------------)
> +--------+
> | 4 3
> \|- x + 1 - x + x
> Type: Expression(Integer)
>
> You can see that the output of (2) is the same as (1)
> instead of the following (1). So the input order alone can
> lead to auto-simplification (or auto-complication), is this
> a bug (or a feature)?
>
> (1) -> atan(x*(1 + x^2)/sqrt(1 - x^4))
>
> 3
> x + x
> (1) atan(-----------)
> +--------+
> | 4
> \|- x + 1
> Type: Expression(Integer)
This is how our kernels work: you are supposed to get the same
kernel when operator agrees and argument are equal. If arguments
are equal but may be written in different form you get first
version entered into table of kernels.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" 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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
