previous up next
Go backward to Conditional Terms and Formulas
Go up to Top
Go forward to Constrained Function Definitions
RISC-Linz logo


The definition

|x| := -x, if x < 0
           x, else

is another form of writing

|x| := if x < 0 then -x else x

which introduces the absolute value of x.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next