From 9b73e93fd45194ba1065850c0edd939f853e946c Mon Sep 17 00:00:00 2001 From: d_m Date: Mon, 27 May 2024 14:26:40 -0700 Subject: [PATCH] fix arith --- arith.modal | 2 +- src/modal.c | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/arith.modal b/arith.modal index 9f0b115..a254835 100644 --- a/arith.modal +++ b/arith.modal @@ -431,7 +431,7 @@ <> ((astr1 (N ?k) (N ?x) ?a)) ((astr2 (N ?k) (divmod (N ?x) (N ten)) ?a)) <> ((astr2 (N ?k) ((N ?q) (N ?r)) ?a)) ((astr1 (dec (N ?k)) (N ?q) ((decimal ?r) ?a))) --- ( first 16 convergents of the continued fraction. the 14th term provides more precision than 64-bit floating point +-- ( first 16 convergents of the continued fraction. the 14th term provides more precision than 64-bit floating point ) <> (pi/cf) (((nat 3) ((nat 7) ((nat 15) ((nat 1) ((nat 292) ((nat 1) ((nat 1) ((nat 1) ((nat 2) ((nat 1) ((nat 3) ((nat 1) ((nat 14) ((nat 2) ((nat 1) ((nat 1) ()))))))))))))))))) <> ((pi/rat (N ?k))) ((pi/rat1 (N ?k) pi/cf)) diff --git a/src/modal.c b/src/modal.c index e47bed9..4ab10da 100644 --- a/src/modal.c +++ b/src/modal.c @@ -346,7 +346,6 @@ main(int argc, char **argv) case 'p': /* debug */ debug = 1; break; case 'a': /* access */ access = 1; break; case 'n': /* infinite */ cycles = 0xffffffff; break; - case 'u': /* unused */ unused = 1; break; } } file_import(argv[i], src_);