Division

The division could in fact be replaced by the multiplication and the exponential function ( $div(a,b)=mult( a, exp(b,-1) )$), but because this is expensive there is this separately function.

Syntax: $UF=div( UF_1, UF_2 )$

Examples:

• $fun(x, div( 2, 3 ), Obj)$; Realizes the function: $x=2/3$
• $fun(x, div( y, 3 ), Obj)$; Realizes the function: $x=y/3$
• $fun(x, mult( 4, div( y, z ) ), Obj)$; Realizes the function: $x=4*(y/z)$
• $fun(x, div( 4, 0 ), Obj)$; will be evalued to $0$, because $x=4/0$ is not defined
• $fun(x, div( 335, 113 ), Obj)$; Realizes the function: $x=335/113 \simeq 3,1415929 \simeq \pi$