(1) -> s := operator 'sin
(1) sin
Type: BasicOperator
(2) -> c := operator 'cos
(2) cos
Type: BasicOperator
(3) -> simplify((s x)^2 + (c x)^2 -1)
2 2
(3) - cos(x) + cos(x)
Type: Expression(Integer)
That is probably the standard case that I see something that looks
equal, but isn't.
But isn't it strange that the simplify function recognized sin and
replaced it with the corresponding cos expresssion, but for + they are
two different cos's now.
I would call this a bug. Opinions?
Well, I could understand this one
(6) -> cos x - c x
(6) cos(x) - cos(x)
Type: Expression(Integer)
But it is also not very nice that this is possible.
I know that making something canonical isn't trivial, but there's only a
finite number of functions like cos in the exports of Expression(X) that
must be considered.
BTW:
(25) -> z := cos x - c x
(25) cos(x) - cos(x)
Type: Expression(Integer)
(26) -> interpret(z::InputForm)
(26) 0
Type: Expression(Integer)
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
