수치 프로시저는 정확 산술, 혼합 유한 실수 산술, 정확 비교, 정수 나눗셈 계열, 반올림, gcd/lcm, 정수 지수승, 정확 정수 제곱근을 다룹니다.
한눈에 보기
LISPEX
(call-with-values (lambda () (exact-integer-sqrt 20)) list)결과
OUTPUT
(4 4)현재 보장
+ - * /는 규정된 가변 인자이며 비교는 최소 두 인자, 정수 도메인 연산은 비정수를 거부합니다.floor/와truncate/는 몫과 나머지를 두 값으로 반환합니다.expt는 정확 정수 지수를 받고exact-integer-sqrt는 근과 나머지를 반환합니다.
수치 시그니처
| 시그니처 | 결과 | 오류 경계 |
|---|---|---|
| (+ number ...) / (* number ...) | 수; 부정확 피연산자가 없으면 정확 | E312 타입; E314 비유한 |
| (/ number number ...) | 정확 유리수 또는 유한 실수 | E313 0 제수; E314 비유한 |
| (floor/ integer integer) | 두 값: 몫, 나머지 | E312 비정수; E313 0 제수 |
| (expt number exact-integer) | 밑의 정확성을 보존한 수 | E313 정확 0의 음수승; E314 표현 불가 |
| (exact-integer-sqrt 음이 아닌 정확 정수) | 두 정확 값: 근, 나머지 | E312 도메인 |
경계
- 일반 초월함수와 비유한 값은 없습니다.