Open
Description
When given a constant query on the edge of a function's valid range FPTaylor currently overapproximates the function input, thus leading to a range error. Treating constants as exact could alleviate this issue.
For example, the query "sqrt(0)" will lead to an error that the square root function cannot take in a negative value.
Activity