wip compute_coeff

argumentcomputer · Dec 21, 2023 · a9aa51e · a9aa51e
1 parent dbfc411
commit a9aa51e
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 3 deletions.
diff --git a/src/fib.rs b/src/fib.rs
@@ -1,7 +1,7 @@
 use crate::{
-    eval::lang::Coproc,
+    eval::lang::{Coproc, Lang},
     field::LurkField,
-    lem::{eval::evaluate_simple, pointers::Ptr, store::Store},
+    lem::{eval::{compute_frame, eval_step, evaluate_simple}, pointers::Ptr, store::Store},
 };
 
 pub fn fib_expr<F: LurkField>(store: &Store<F>) -> Ptr {
@@ -29,6 +29,21 @@ pub fn fib_limit(n: usize, rc: usize) -> usize {
     rc * (frame / rc + usize::from(frame % rc != 0))
 }
 
+pub fn compute_coeff<F: LurkField>(store: &Store<F>) -> (usize, usize) {
+    let mut input = vec![fib_expr(store), store.intern_nil(), store.cont_outermost()];
+    let lang: Lang<F, Coproc<F>> = Lang::new();
+    loop {
+        // TODO
+        let (frame, _) =
+            compute_frame(eval_step(), &[], &input, store, &lang, &mut vec![], 0).unwrap();
+
+        input = frame.output.clone();
+        let expr = frame.output[0];
+        break;
+    }
+    (0, 0)
+}
+
 pub fn lurk_fib<F: LurkField>(store: &Store<F>, n: usize) -> Ptr {
     let frame_idx = fib_frame(n);
     let limit = frame_idx;

diff --git a/src/lem/eval.rs b/src/lem/eval.rs
@@ -56,7 +56,7 @@ fn get_pc<F: LurkField, C: Coprocessor<F>>(
     }
 }
 
-fn compute_frame<F: LurkField, C: Coprocessor<F>>(
+pub fn compute_frame<F: LurkField, C: Coprocessor<F>>(
     lurk_step: &Func,
     cprocs_run: &[Func],
     input: &[Ptr],