8.15.0.4
3.1 Generic
| (require sicm/kernel/generic) | package: rktsicm |
The sicm/generic language provides all generic g:functions as function. The original racket functions are exported as rkt:function
procedure
(+ v ...) → value?
v : value? (g:+ v ...) → value? v : value? (g:+:bin v1 v2) → value? v1 : value? v2 : value? (generic:+ v1 v2) → value? v1 : value? v2 : value? (g:+:n vs) → value? vs : (listof value?)
Generic version of rkt:+. The result for 0 arguments is the additive identity, if it exists. For numbers this is 0.
procedure
(- v ...) → value?
v : value? (g:- v ...) → value? v : value? (g:-:bin v1 v2) → value? v1 : value? v2 : value? (generic:- v1 v2) → value? v1 : value? v2 : value? (g:-:n vs) → value? vs : (listof value?)
Generic version of rkt:-. The result for 0 arguments is the additive identity, if it exists. For numbers this is 0.
procedure
(* v ...) → value?
v : value? (g:* v ...) → value? v : value? (g:*:bin v1 v2) → value? v1 : value? v2 : value? (generic:* v1 v2) → value? v1 : value? v2 : value? (g:*:n vs) → value? vs : (listof value?)
Generic version of rkt:*. The result for 0 arguments is the multiplicative identity, if it exists. For numbers this is 1.
procedure
(/ v ...) → value?
v : value? (g:/ v ...) → value? v : value? (g:/:bin v1 v2) → value? v1 : value? v2 : value? (generic:/ v1 v2) → value? v1 : value? v2 : value? (g:/:n vs) → value? vs : (listof value?)
Generic version of rkt:/. The result for 0 arguments is the multiplicative identity, if it exists. For numbers this is 1.
procedure
(gcd v ...) → value?
v : value? (g:gcd v ...) → value? v : value? (g:gcd:bin v1 v2) → value? v1 : value? v2 : value? (generic:gcd v1 v2) → value? v1 : value? v2 : value? (g:gcd:n vs) → value? vs : (listof value?)
Generic version of rkt:gcd.
procedure
(exp e) → value?
e : value? (g:exp e) → value? e : value? (generic:exp e) → value? e : value?
Generic versions of rkt:exp
procedure
(expt b e) → value?
b : value? e : value? (g:expt b e) → value? b : value? e : value? (generic:expt b e) → value? b : value? e : value?
Generic versions of rkt:expt
procedure
(square v) → value?
v : value? (g:square v) → value? v : value? (generic:square v) → value? v : value?
procedure
(sqrt v) → value?
v : value? (g:sqrt v) → value? v : value? (generic:sqrt v) → value? v : value?
Generic versions of rkt:sqrt
procedure
(log v) → value?
v : value? (g:log v) → value? v : value? (generic:log v) → value? v : value?
Generic versions of rkt:log with 1 argument (natural logarithm).
procedure
(cos v) → value?
v : value? (g:cos v) → value? v : value? (generic:cos v) → value? v : value? (sin v) → value? v : value? (g:sin v) → value? v : value? (generic:sin v) → value? v : value? (tan v) → value? v : value? (g:tan v) → value? v : value? (sec v) → value? v : value? (g:sec v) → value? v : value? (csc v) → value? v : value? (g:csc v) → value? v : value? (cot v) → value? v : value? (g:cot v) → value? v : value? (acos v) → value? v : value? (g:acos v) → value? v : value? (generic:acos v) → value? v : value? (asin v) → value? v : value? (g:asin v) → value? v : value? (generic:asin v) → value? v : value? (g:atan1 v) → value? v : value? (generic:atan1 v) → value? v : value? (g:atan2 y x) → value? y : value? x : value? (generic:atan2 y x) → value? y : value? x : value? (atan y [x]) → value? y : value? x : value? = onle-like (g:atan y [x]) → value? y : value? x : value? = onle-like (cosh v) → value? v : value? (g:cosh v) → value? v : value? (generic:cosh v) → value? v : value? (sinh v) → value? v : value? (g:sinh v) → value? v : value? (generic:sinh v) → value? v : value? (tanh v) → value? v : value? (g:tanh v) → value? v : value? (sech v) → value? v : value? (g:sech v) → value? v : value? (csch v) → value? v : value? (g:csch v) → value? v : value? (acosh v) → value? v : value? (g:acosh v) → value? v : value? (asinh v) → value? v : value? (g:asinh v) → value? v : value? (atanh v) → value? v : value? (g:atanh v) → value? v : value?
Generic goniometric functions, hyperbolic goniometric functions and their inverses
procedure
(g:abs ??? ...) → '???
??? : any? (generic:abs ??? ...) → '??? ??? : any? (g:< ??? ...) → '??? ??? : any? (g:<:bin ??? ...) → '??? ??? : any? (generic:< ??? ...) → '??? ??? : any? (g:<:n ??? ...) → '??? ??? : any? (g:<= ??? ...) → '??? ??? : any? (g:<=:bin ??? ...) → '??? ??? : any? (generic:<= ??? ...) → '??? ??? : any? (g:<=:n ??? ...) → '??? ??? : any? (g:= ??? ...) → '??? ??? : any? (g:=:bin ??? ...) → '??? ??? : any? (generic:= ??? ...) → '??? ??? : any? (g:=:n ??? ...) → '??? ??? : any? (g:> ??? ...) → '??? ??? : any? (g:>:bin ??? ...) → '??? ??? : any? (generic:> ??? ...) → '??? ??? : any? (g:>:n ??? ...) → '??? ??? : any? (g:>= ??? ...) → '??? ??? : any? (g:>=:bin ??? ...) → '??? ??? : any? (generic:>= ??? ...) → '??? ??? : any? (g:>=:n ??? ...) → '??? ??? : any? (g:angle ??? ...) → '??? ??? : any? (generic:angle ??? ...) → '??? ??? : any? (g:apply ??? ...) → '??? ??? : any? (generic:apply ??? ...) → '??? ??? : any? (g:arity ??? ...) → '??? ??? : any? (generic:arity ??? ...) → '??? ??? : any? (g:conjugate ??? ...) → '??? ??? : any? (generic:conjugate ??? ...) → '??? ??? : any? (g:cross-product ??? ...) → '??? ??? : any? (generic:cross-product ??? ...) → '??? ??? : any? (g:derivative ??? ...) → '??? ??? : any? (g:determinant ??? ...) → '??? ??? : any? (generic:determinant ??? ...) → '??? ??? : any? (g:dimension ??? ...) → '??? ??? : any? (generic:dimension ??? ...) → '??? ??? : any? (g:dot-product ??? ...) → '??? ??? : any? (generic:dot-product ??? ...) → '??? ??? : any? (g:identity ??? ...) → '??? ??? : any? (g:identity-like ??? ...) → '??? ??? : any? (generic:identity-like ??? ...) → '??? ??? : any? (g:identity? ??? ...) → '??? ??? : any? (generic:identity? ??? ...) → '??? ??? : any? (g:imag-part ??? ...) → '??? ??? : any? (generic:imag-part ??? ...) → '??? ??? : any? (g:inexact? ??? ...) → '??? ??? : any? (generic:inexact? ??? ...) → '??? ??? : any? (g:invert ??? ...) → '??? ??? : any? (generic:invert ??? ...) → '??? ??? : any? (g:magnitude ??? ...) → '??? ??? : any? (generic:magnitude ??? ...) → '??? ??? : any? (g:make-polar ??? ...) → '??? ??? : any? (generic:make-polar ??? ...) → '??? ??? : any? (g:make-rectangular ??? ...) → '??? ??? : any? (generic:make-rectangular ??? ...) → '??? ??? : any? (g:negate ??? ...) → '??? ??? : any? (generic:negate ??? ...) → '??? ??? : any? (g:one-like ??? ...) → '??? ??? : any? (generic:one-like ??? ...) → '??? ??? : any? (g:one? ??? ...) → '??? ??? : any? (generic:one? ??? ...) → '??? ??? : any? (g:outer-product ??? ...) → '??? ??? : any? (generic:outer-product ??? ...) → '??? ??? : any? (g:partial ??? ...) → '??? ??? : any? (generic:partial-derivative ??? ...) → '??? ??? : any? (g:partial-derivative ??? ...) → '??? ??? : any? (g:real-part ??? ...) → '??? ??? : any? (generic:real-part ??? ...) → '??? ??? : any? (g:sigma ??? ...) → '??? ??? : any? (g:simplify ??? ...) → '??? ??? : any? (generic:simplify ??? ...) → '??? ??? : any? (g:solve-linear ??? ...) → '??? ??? : any? (generic:solve-linear ??? ...) → '??? ??? : any? (g:solve-linear-left ??? ...) → '??? ??? : any? (generic:solve-linear-left ??? ...) → '??? ??? : any? (g:solve-linear-right ??? ...) → '??? ??? : any? (generic:solve-linear-right ??? ...) → '??? ??? : any? (g:trace ??? ...) → '??? ??? : any? (generic:trace ??? ...) → '??? ??? : any? (g:transpose ??? ...) → '??? ??? : any? (generic:transpose ??? ...) → '??? ??? : any? (g:type ??? ...) → '??? ??? : any? (generic:type ??? ...) → '??? ??? : any? (g:type-predicate ??? ...) → '??? ??? : any? (generic:type-predicate ??? ...) → '??? ??? : any? (g:zero-like ??? ...) → '??? ??? : any? (generic:zero-like ??? ...) → '??? ??? : any? (g:zero? ??? ...) → '??? ??? : any? (generic:zero? ??? ...) → '??? ??? : any? (applicable-literal? ??? ...) → '??? ??? : any? (install-g:apply-case ??? ...) → '??? ??? : any?