Open schuelermine opened 3 years ago
The following assumption types are supported: number, real, rational, integer, boolean.
For complex numbers you should use number
(which includes both real and complex numbers).
The following commands will achieve the same results:
assume number
, assume unknown number
, assume unknown unknown
assume unknown
assumes that unknown
refers to the sign.
Ah OK. I feel like it should mention this in the help for set
.
Ah, I guess it does—I find it unclear what the precedence of the plus sign is
It’s impossible to set the default assumptions to
unknown
. See: https://asciinema.org/a/425335