Условно заданное выражение или функция
piecewise
не проверяет на наложение или конфликт условий. Кусочное выражение возвращает значение первого истинного условия и игнорирует любой после истинных выражений. Таким образом, piecewise
подражает если еще лестничная структура.
and
| assume
| assumeAlso
| assumptions
| if
| in
| isAlways
| not
| or