suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

annotated integer inputs

Browse Source 
svn: r13590
This commit is contained in:
Matthias Felleisen 2009-02-15 01:31:08 +00:00
parent 39736ecebd
commit d43f58df4c
1 changed files with 56 additions and 52 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

108
collects/lang/private/beginner-funs.ss
View File

@ -14,7 +14,7 @@
("Numbers: Integers, Rationals, Reals, Complex, Exacts, Inexacts" ("Numbers: Integers, Rationals, Reals, Complex, Exacts, Inexacts"
(number? (any -> boolean) (number? (any -> boolean)
"to determine whether some value is a number") "to determine whether some value is a number")
(= (num num num ... -> boolean) (= (number number number ... -> boolean)
"to compare numbers for equality") "to compare numbers for equality")
(< (real real real ... -> boolean) (< (real real real ... -> boolean)
"to compare real numbers for less-than") "to compare real numbers for less-than")
@ -25,30 +25,30 @@
(>= (real real ... -> boolean) (>= (real real ... -> boolean)
"to compare real numbers for greater-than or equality") "to compare real numbers for greater-than or equality")
((beginner-+ +) (num num num ... -> num) ((beginner-+ +) (number number number ... -> number)
"to compute the sum of the input numbers") "to compute the sum of the input numbers")
(- (num num ... -> num) (- (number number ... -> number)
"to subtract the second (and following) number(s) from the first; negate the number if there is only one argument") "to subtract the second (and following) number(s) from the first; negate the number if there is only one argument")
((beginner-* *) (num num num ... -> num) ((beginner-* *) (number number number ... -> number)
"to compute the product of all of the input numbers") "to compute the product of all of the input numbers")
((beginner-/ /) (num num num ... -> num) ((beginner-/ /) (number number number ... -> number)
"to divide the first by the second (and all following) number(s); try (/ 3 4) and (/ 3 2 2)" "to divide the first by the second (and all following) number(s); try (/ 3 4) and (/ 3 2 2)"
" only the first number can be zero.") " only the first number can be zero.")
(max (real real ... -> real) (max (real real ... -> real)
"to determine the largest number") "to determine the largest number")
(min (real real ... -> real) (min (real real ... -> real)
"to determine the smallest number") "to determine the smallest number")
(quotient (int int -> int) (quotient (integer integer -> integer)
"to divide the first integer into the second; try (quotient 3 4) and (quotient 4 3)") "to divide the first integer (exact or inexact) into the second; try (quotient 3 4) and (quotient 4 3)")
(remainder (int int -> int) (remainder (integer integer -> integer)
"to determine the remainder of dividing the first by the second integer") "to determine the remainder of dividing the first by the second integer (exact or inexact)")
(modulo (int int -> int) (modulo (integer integer -> integer)
"to find the remainder of the division of the first number by the second; try (modulo 4 3) (modulo 4 -3)") "to find the remainder of the division of the first number by the second; try (modulo 4 3) (modulo 4 -3)")
(sqr (num -> num) (sqr (number -> number)
"to compute the square of a number") "to compute the square of a number")
(sqrt (num -> num) (sqrt (number -> number)
"to compute the square root of a number") "to compute the square root of a number")
(expt (num num -> num) (expt (number number -> number)
"to compute the power of the first to the second number") "to compute the power of the first to the second number")
(abs (real -> real) (abs (real -> real)
"to compute the absolute value of a real number") "to compute the absolute value of a real number")
@ -56,31 +56,31 @@
"to compute the sign of a real number") "to compute the sign of a real number")
;; fancy numeric ;; fancy numeric
(exp (num -> num) (exp (number -> number)
"to compute e raised to a number") "to compute e raised to a number")
(log (num -> num) (log (number -> number)
"to compute the base-e logarithm of a number") "to compute the base-e logarithm of a number")
;; trigonometry ;; trigonometry
(sin (num -> num) (sin (number -> number)
"to compute the sine of a number (radians)") "to compute the sine of a number (radians)")
(cos (num -> num) (cos (number -> number)
"to compute the cosine of a number (radians)") "to compute the cosine of a number (radians)")
(tan (num -> num) (tan (number -> number)
"to compute the tangent of a number (radians)") "to compute the tangent of a number (radians)")
(asin (num -> num) (asin (number -> number)
"to compute the arcsine (inverse of sin) of a number") "to compute the arcsine (inverse of sin) of a number")
(acos (num -> num) (acos (number -> number)
"to compute the arccosine (inverse of cos) of a number") "to compute the arccosine (inverse of cos) of a number")
(atan (num -> num) (atan (number -> number)
"to compute the arctan (inverse of tan) of a number") "to compute the arctan (inverse of tan) of a number")
(sinh (num -> num) (sinh (number -> number)
"to compute the hyperbolic sine of a number") "to compute the hyperbolic sine of a number")
(cosh (num -> num) (cosh (number -> number)
"to compute the hyperbolic cosine of a number") "to compute the hyperbolic cosine of a number")
(exact? (num -> boolean) (exact? (number -> boolean)
"to determine whether some number is exact") "to determine whether some number is exact")
(integer? (any -> boolean) (integer? (any -> boolean)
@ -93,84 +93,88 @@
(negative? (number -> boolean) (negative? (number -> boolean)
"to determine if some value is strictly smaller than zero") "to determine if some value is strictly smaller than zero")
(odd? (integer -> boolean) (odd? (integer -> boolean)
"to determine if some value is odd or not") "to determine if some integer (exact or inexact) is odd or not")
(even? (integer -> boolean) (even? (integer -> boolean)
"to determine if some value is even or not") "to determine if some integer (exact or inexact) is even or not")
(add1 (number -> number) (add1 (number -> number)
"to compute a number one larger than a given number") "to compute a number one larger than a given number")
(sub1 (number -> number) (sub1 (number -> number)
"to compute a number one smaller than a given number") "to compute a number one smaller than a given number")
(lcm (int int ... -> int) (lcm (integer integer ... -> integer)
"to compute the least common multiple of two integers") "to compute the least common multiple of two integers (exact or inexact)")
(gcd (int int ... -> int) (gcd (integer integer ... -> integer)
"to compute the greatest common divisior") "to compute the greatest common divisior of two integers (exact or inexact)")
(rational? (any -> boolean) (rational? (any -> boolean)
"to determine whether some value is a rational number") "to determine whether some value is a rational number")
(numerator (rat -> int) (numerator (rat -> integer)
"to compute the numerator of a rational") "to compute the numerator of a rational")
(denominator (rat -> int) (denominator (rat -> integer)
"to compute the denominator of a rational") "to compute the denominator of a rational")
(inexact? (num -> boolean) (inexact? (number -> boolean)
"to determine whether some number is inexact") "to determine whether some number is inexact")
(real? (any -> boolean) (real? (any -> boolean)
"to determine whether some value is a real number") "to determine whether some value is a real number")
(floor (real -> int) (floor (real -> integer)
"to determine the closest integer below a real number") "to determine the closest integer (exact or inexact) below a real number")
(ceiling (real -> int) (ceiling (real -> integer)
"to determine the closest integer above a real number") "to determine the closest integer (exact or inexact) above a real number")
(round (real -> int) (round (real -> integer)
"to round a real number to an integer (rounds to even to break ties)") "to round a real number to an integer (rounds to even to break ties)")
(complex? (any -> boolean) (complex? (any -> boolean)
"to determine whether some value is complex") "to determine whether some value is complex")
(make-polar (real real -> num) (make-polar (real real -> number)
"to create a complex from a magnitude and angle") "to create a complex from a magnitude and angle")
(real-part (num -> real) (make-rectangular (real real -> number)
"to create a complex from a real and an imaginary part")
(real-part (number -> real)
"to extract the real part from a complex number") "to extract the real part from a complex number")
(imag-part (num -> real) (imag-part (number -> real)
"to extract the imaginary part from a complex number") "to extract the imaginary part from a complex number")
(magnitude (num -> real) (magnitude (number -> real)
"to determine the magnitude of a complex number") "to determine the magnitude of a complex number")
(angle (num -> real) (angle (number -> real)
"to extract the angle from a complex number") "to extract the angle from a complex number")
(conjugate (num -> num) (conjugate (number -> number)
"to compute the conjugate of a complex number") "to compute the conjugate of a complex number")
(exact->inexact (num -> num) (exact->inexact (number -> number)
"to convert an exact number to an inexact one") "to convert an exact number to an inexact one")
(inexact->exact (num -> num) (inexact->exact (number -> number)
"to approximate an inexact number by an exact one") "to approximate an inexact number by an exact one")
; "Odds and ends" ; "Odds and ends"
(number->string (num -> string) (number->string (number -> string)
"to convert a number to a string") "to convert a number to a string")
(integer->char (int -> char) (integer->char (integer -> char)
"to lookup the character that corresponds to the given integer in the ASCII table (if any)") "to lookup the character that corresponds to the given integer (exact only!) in the ASCII table (if any)")
(random (int -> int) (random (integer -> integer)
"to generate a random natural number less than some given integer") "to generate a random natural number less than some given integer
(exact only!)")
(current-seconds (-> int) (current-seconds (-> integer)
"to compute the current time in seconds elapsed" "to compute the current time in seconds elapsed"
" (since a platform-specific starting date)") " (since a platform-specific starting date)")