8.15.0.4
3.15 Numbers
| (require sicm/kernel/numbers) | package: rktsicm |
procedure
(*known-reals* ??? ...) → '???
??? : any? (*numbers-are-constant-functions* ??? ...) → '??? ??? : any? (abn:= ??? ...) → '??? ??? : any? (abn:one? ??? ...) → '??? ??? : any? (abn:zero? ??? ...) → '??? ??? : any? (an:= ??? ...) → '??? ??? : any? (an:one-like ??? ...) → '??? ??? : any? (an:one? ??? ...) → '??? ??? : any? (an:zero-like ??? ...) → '??? ??? : any? (an:zero? ??? ...) → '??? ??? : any? (declare-known-reals ??? ...) → '??? ??? : any? (declare-unknown-reals ??? ...) → '??? ??? : any? (known-real? ??? ...) → '??? ??? : any? (literal-number ??? ...) → '??? ??? : any? (make-numerical-combination ??? ...) → '??? ??? : any? (n:* ??? ...) → '??? ??? : any? (n:+ ??? ...) → '??? ??? : any? (n:- ??? ...) → '??? ??? : any? (n:/ ??? ...) → '??? ??? : any? (n:< ??? ...) → '??? ??? : any? (n:<= ??? ...) → '??? ??? : any? (n:= ??? ...) → '??? ??? : any? (n:> ??? ...) → '??? ??? : any? (n:>= ??? ...) → '??? ??? : any? (n:abs ??? ...) → '??? ??? : any? (n:acos ??? ...) → '??? ??? : any? (n:angle ??? ...) → '??? ??? : any? (n:arity ??? ...) → '??? ??? : any? (n:asin ??? ...) → '??? ??? : any? (n:atan ??? ...) → '??? ??? : any? (n:conjugate ??? ...) → '??? ??? : any? (n:cos ??? ...) → '??? ??? : any? (n:cosh ??? ...) → '??? ??? : any? (n:csc ??? ...) → '??? ??? : any? (n:csch ??? ...) → '??? ??? : any? (n:cube ??? ...) → '??? ??? : any? (n:deriv ??? ...) → '??? ??? : any? (n:exp ??? ...) → '??? ??? : any? (n:exp10 ??? ...) → '??? ??? : any? (n:exp2 ??? ...) → '??? ??? : any? (n:expt ??? ...) → '??? ??? : any? (n:gcd ??? ...) → '??? ??? : any? (n:imag-part ??? ...) → '??? ??? : any? (n:inexact? ??? ...) → '??? ??? : any? (n:invert ??? ...) → '??? ??? : any? (n:log ??? ...) → '??? ??? : any? (n:log10 ??? ...) → '??? ??? : any? (n:log2 ??? ...) → '??? ??? : any? (n:magnitude ??? ...) → '??? ??? : any? (n:make-polar ??? ...) → '??? ??? : any? (n:make-rectangular ??? ...) → '??? ??? : any? (n:negate ??? ...) → '??? ??? : any? (n:one-like ??? ...) → '??? ??? : any? (n:one? ??? ...) → '??? ??? : any? (n:real-part ??? ...) → '??? ??? : any? (n:revdivide ??? ...) → '??? ??? : any? (n:sec ??? ...) → '??? ??? : any? (n:sech ??? ...) → '??? ??? : any? (n:self ??? ...) → '??? ??? : any? (n:sigma ??? ...) → '??? ??? : any? (n:sin ??? ...) → '??? ??? : any? (n:sinh ??? ...) → '??? ??? : any? (n:sqrt ??? ...) → '??? ??? : any? (n:square ??? ...) → '??? ??? : any? (n:tan ??? ...) → '??? ??? : any? (n:tanh ??? ...) → '??? ??? : any? (n:type ??? ...) → '??? ??? : any? (n:type-predicate ??? ...) → '??? ??? : any? (n:zero-like ??? ...) → '??? ??? : any? (n:zero? ??? ...) → '??? ??? : any? (numbers:assign-operations ??? ...) → '??? ??? : any? (with-known-reals ??? ...) → '??? ??? : any?