From 59992c8af232f22c03b7ec358598adf4e2bc1643 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 18 Jan 2022 17:38:45 -0700 Subject: [PATCH] remove number/3 from arithmetic.pl (#1170) --- src/lib/arithmetic.pl | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/lib/arithmetic.pl b/src/lib/arithmetic.pl index dc9ce077..ee719a18 100644 --- a/src/lib/arithmetic.pl +++ b/src/lib/arithmetic.pl @@ -94,12 +94,6 @@ number_to_rational(Eps0, Real0, Fraction) :- ), !. -number(X) :- - ( integer(X) - ; float(X) - ; rational(X) - ). - stern_brocot_(Qnn/Qnd, Qpn/Qpd, A/B, C/D, Fraction) :- Fn1 is A + C, Fd1 is B + D, -- 2.54.0