Skip to content

Commit d1107b2

Browse files
committed
Fix max precision stuff
1 parent eb14d36 commit d1107b2

File tree

2 files changed

+5
-2
lines changed

2 files changed

+5
-2
lines changed

eval/main.rkt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,8 @@
7272
(rival-machine-load machine (vector-map ival-real pt))
7373
(let loop ([iter 0])
7474
(define-values (good? done? bad? stuck? fvec)
75-
(parameterize ([*sampling-iteration* iter])
75+
(parameterize ([*sampling-iteration* iter]
76+
[*rival-max-precision* (rival-machine-max-precision machine)])
7677
(rival-machine-full machine (or hint (rival-machine-default-hint machine)))))
7778
(cond
7879
[bad? (raise (exn:rival:invalid "Invalid input" (current-continuation-marks) pt))]

time.rkt

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,9 @@
6464
(define compile-time (- (current-inexact-milliseconds) start-compile))
6565

6666
; Baseline and Sollya machines
67-
(define baseline-machine (baseline-compile exprs vars discs))
67+
(define baseline-machine
68+
(parameterize ([*rival-max-precision* 32256])
69+
(baseline-compile exprs vars discs)))
6870

6971
(define sollya-machine
7072
(match (or (equal? (cdr exprs) `((* (fmod (exp x) (sqrt (cos x))) (exp (neg x))))) ; id 65

0 commit comments

Comments
 (0)