remove number/3 from arithmetic.pl (#1170)

diff --git a/src/lib/arithmetic.pl b/src/lib/arithmetic.pl
index dc9ce0779262d4fc2c433cfd376d3e9ad9323e34..ee719a18f2e94fd06d0370dd3f589e65e3ff5436 100644 (file)
--- 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,