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

2022-01-18 17:38:45 -07:00
parent b980ae1e8c
commit 59992c8af2
1 changed files with 0 additions and 6 deletions
--- 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,