search

loda-lang / loda-cpp

Runtime and miner for the LODA language written in C++
https://loda-lang.org/
Apache License 2.0
21 stars 1 forks source link

input-dependent cells in formulas #287

Closed ckrause closed 11 months ago

ckrause commented 11 months ago 
./loda test-pari A188820
2023-09-30 10:33:43|INFO |Starting LODA developer version. See https://loda-lang.org/
2023-09-30 10:33:43|INFO |Using LODA home directory "/Users/d060111/loda/"
2023-09-30 10:33:43|INFO |Loading sequences from the OEIS index
2023-09-30 10:33:46|INFO |Loaded 352934/365274 sequences in 2.41s
2023-09-30 10:33:47|INFO |Checking 30 terms of A188820: (a(n) = local(l2=c(n)); local(l1=e(n)); 71*n+64*n^2+64*f(n)+8*l2+4*b(n)+4*min(n,n%2)+2*l1-l2-l1+d(n)+l1+14); (b(n) = if(n==9,0,if(n==8,0,if(n==7,0,if(n==6,0,if(n==5,0,if(n==4,0,if(n==3,0,if(n==2,0,if(n==1,0,if(n==0,2,0))))))))))); (c(n) = if(n==9,10,if(n==8,8,if(n==7,8,if(n==6,6,if(n==5,6,if(n==4,4,if(n==3,4,if(n==2,2,if(n==1,2,if(n==0,0,c(n-2)+2))))))))))); (d(n) = if(n==9,22,if(n==8,18,if(n==7,18,if(n==6,14,if(n==5,14,if(n==4,10,if(n==3,10,if(n==2,6,if(n==1,6,if(n==0,2,d(n-2)+4))))))))))); (e(n) = if(n==9,0,if(n==8,0,if(n==7,0,if(n==6,0,if(n==5,0,if(n==4,0,if(n==3,0,if(n==2,0,if(n==1,0,if(n==0,4,0))))))))))); (f(n) = if(n==9,0,if(n==8,0,if(n==7,0,if(n==6,0,if(n==5,0,if(n==4,0,if(n==3,0,if(n==2,0,if(n==1,0,if(n==0,0,f(n-2))))))))))))
2023-09-30 10:33:47|INFO |Generated sequence: 32,173,432,845,1360,2029,2800,3725,4752,5933,7216,8653,10192,11885,13680,15629,17680,19885,22192,24653,27216,29933,32752,35725,38800,42029,45360,48845,52432,56173
2023-09-30 10:33:47|INFO |Expected sequence:  32,169,432,841,1360,2025,2800,3721,4752,5929,7216,8649,10192,11881,13680,15625,17680,19881,22192,24649,27216,29929,32752,35721,38800,42025,45360,48841,52432,56169
2023-09-30 10:33:47|ERROR|Unexpected PARI sequence
libc++abi: terminating due to uncaught exception of type std::runtime_error: Unexpected PARI sequence