なぜこれが期待どおりに機能しないのだろうか:
assume(x+y < %pi/2);
assume(x+y > -%pi/2);
atan(tan(x+y));
次のようになります。
atan(tan(x+y))
つまり、まったくありません。私はそれが次のように減少すると予想していました:
x+y
なぜこれが期待どおりに機能しないのだろうか:
assume(x+y < %pi/2);
assume(x+y > -%pi/2);
atan(tan(x+y));
次のようになります。
atan(tan(x+y))
つまり、まったくありません。私はそれが次のように減少すると予想していました:
x+y