(=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (SignumFn ?NUMBER2) (SignumFn ?NUMBER)))
(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1))
(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))
(=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1))
Next UnaryFunction: SineFn Up: UnaryFunction Previous UnaryFunction: RoundFn