[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
(alleged) BIGNUM BUG
- To: JONL at MIT-MC, BMT at MIT-MC
- Subject: (alleged) BIGNUM BUG
- From: Glenn S. Burke <GSB at MIT-ML>
- Date: Wed, 12 Dec 79 18:10:00 GMT
- Cc: BUG-LISP at MIT-ML
- Original-date: 12 December 1979 13:10-EST
I, if i were into clobbering files, would take the liberty of editing
the file as follows:
(SETQ C 118937307725496656754857164120791261365228885.
D 6296488643826193618261.
Q (QUOTIENT C D)
R (REMAINDER C D)
C* (PLUS (TIMES Q D) R)
BMTLOSES (EQUAL C C*)
LISPLOSES (EQUAL R D))
and you will in fact find that LISPLOSES is T.