You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
substitute' x 0 (sin x) runs without error and returns sin 0. But when I tried to simplify the result using mathNormalize, it showed the same error again.
The text was updated successfully, but these errors were encountered:
AlephAlpha
changed the title
Cannot substitute xwith 0 in sin x
Cannot substitute x with 0 in sin x
Sep 1, 2022
I tried this:
Egison showed this error:
substitute' x 0 (sin x)
runs without error and returnssin 0
. But when I tried to simplify the result usingmathNormalize
, it showed the same error again.The text was updated successfully, but these errors were encountered: