1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192 |
- ;;; Copyright (C) 2023 Igalia, S.L.
- ;;;
- ;;; Licensed under the Apache License, Version 2.0 (the "License");
- ;;; you may not use this file except in compliance with the License.
- ;;; You may obtain a copy of the License at
- ;;;
- ;;; http://www.apache.org/licenses/LICENSE-2.0
- ;;;
- ;;; Unless required by applicable law or agreed to in writing, software
- ;;; distributed under the License is distributed on an "AS IS" BASIS,
- ;;; WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- ;;; See the License for the specific language governing permissions and
- ;;; limitations under the License.
- ;;; Commentary:
- ;;;
- ;;; Fraction tests.
- ;;;
- ;;; Code:
- (use-modules (srfi srfi-64)
- (test utils))
- (test-begin "test-fractions")
- ;; Exact fraction arithmetic
- (test-call "1/2" (lambda (a b) (/ a b)) 1 2)
- (test-call "3/536870912" (lambda (a b c) (/ a (+ b c))) 3 536870911 1)
- (test-call "536870912/3" (lambda (a b c) (/ (+ a b) c)) 536870911 1 3)
- (test-call "536870912/536870913"
- (lambda (a b) (/ (+ a b) (+ a b b)))
- 536870911 1)
- (test-call "1/2" (lambda (a b) (* a (/ a b))) 1 2)
- (test-call "1" (lambda (a b) (* b (/ a b))) 1 2)
- (test-call "1/4" (lambda (a b) (* (/ a b) (/ a b))) 2 4)
- (test-call "1" (lambda (a b) (* (/ b a) (/ a b))) 1 2)
- ;; FIXME:
- ;; (test-call "1"
- ;; (lambda (a b) (* (/ (+ a b) (+ a b)) (/ (+ a b) (+ a b))))
- ;; 536870911 1)
- (test-call "3/2" (lambda (a b c) (+ a (/ b c))) 1 1 2)
- (test-call "1073741825/2"
- (lambda (a b c d) (+ (+ a b) (/ c d)))
- 536870911 1 1 2)
- (test-call "7/6" (lambda (a b c d) (+ (/ a b) (/ c d))) 1 2 2 3)
- (test-call "7/6" (lambda (a b c d) (+ (/ a b) (/ c d))) 2 4 4 6)
- ;; Adding fractions whose denominators have a bignum gcd.
- (test-call "65537/281474976710656"
- (lambda (a b) (+ a b)) (/ 1 (ash 1 32)) (/ 1 (ash 1 48)))
- (test-call "1/2" (lambda (a b c) (- a (/ b c))) 1 1 2)
- (test-call "-1/2" (lambda (a b c) (- (/ a b) c)) 1 2 1)
- (test-call "-1/2" (lambda (a b c) (- (/ a b) (/ c c))) 1 2 1)
- (test-call "1610612735/3"
- (lambda (a b c d) (- (+ a b) (/ c d)))
- 536870911 1 1 3)
- (test-call "-1610612735/3"
- (lambda (a b c d) (- (/ a b) (+ c d)))
- 1 3 536870911 1)
- (test-call "-1/6" (lambda (a b c d) (- (/ a b) (/ c d))) 1 2 2 3)
- (test-call "-1/2" (lambda (a b) (/ a b)) 1 -2)
- (test-call "#t" (lambda (a b c) (< a (/ b c))) 0 1 2)
- ;;; abs, floor and ceiling
- (test-call "1/2" (lambda (a b) (abs (/ a b))) 1 2)
- (test-call "1/2" (lambda (a b) (abs (/ a b))) -1 2)
- (test-call "0" (lambda (a b) (floor (/ a b))) 1 2)
- (test-call "-1" (lambda (a b) (floor (/ a b))) -1 2)
- (test-call "8" (lambda (a b) (floor (/ a b))) 26 3)
- (test-call "-9" (lambda (a b) (floor (/ a b))) -26 3)
- (test-call "178956970" (lambda (a b c) (floor (/ (+ a b) c))) 536870911 1 3)
- (test-call "-178956971" (lambda (a b c) (floor (/ (+ a b) c))) -536870911 -2 3)
- (test-call "0" (lambda (a b) (floor (/ (+ a b) (+ a b b)))) 536870911 1)
- (test-call "0" (lambda (a b) (floor (/ (+ a b) (+ a b b)))) -536870911 -2)
- (test-call "536870912" (lambda (a b c) (floor (/ (* (+ a b) c) c))) 536870911 1 2)
- (test-call "-536870913" (lambda (a b c) (floor (/ (* (+ a b) c) c))) -536870911 -2 2)
- (test-call "1" (lambda (a b) (ceiling (/ a b))) 1 2)
- (test-call "0" (lambda (a b) (ceiling (/ a b))) -1 2)
- (test-call "9" (lambda (a b) (ceiling (/ a b))) 26 3)
- (test-call "-8" (lambda (a b) (ceiling (/ a b))) -26 3)
- (test-call "178956971" (lambda (a b c) (ceiling (/ (+ a b) c))) 536870911 1 3)
- (test-call "-178956971" (lambda (a b c) (ceiling (/ (+ a b) c))) -536870911 -2 3)
- (test-call "1" (lambda (a b) (ceiling (/ (+ a b) (+ a b b)))) 536870911 1)
- (test-call "1" (lambda (a b) (ceiling (/ (+ a b) (+ a b b)))) -536870911 -2)
- (test-call "536870912" (lambda (a b c) (ceiling (/ (* (+ a b) c) c))) 536870911 1 2)
- (test-call "-536870913" (lambda (a b c) (ceiling (/ (* (+ a b) c) c))) -536870911 -2 2)
- (test-end* "test-fractions")
|