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_);