isAlways
Determine if symbolic conditions are true for all values of variables
Description
tf = isAlways(
checks if the conditions
in cond
)cond
are always mathematically true and returns an array of logical
values. isAlways
checks if cond
holds true for all
possible values of the symbolic variables in cond
including all
assumptions on the variables. If an element in cond
is always true, then
the corresponding element in tf
is a logical 1
(true
). Otherwise, the corresponding element in tf
is a logical 0
(false
).