枫，定义递归关系

Question

我对枫有点新鲜，并且有以下编程问题。我想将下面的递归关系编程为枫树。

i_{4n}=i_n, 

i_{4n+1}=i_{2n} 

i_{4n+2}=-i_{2n} 

i_{4n+3}=i_n. 

$i_0=1$. 

Answer 1

这很容易在枫 - ---可能比问这个问题更容易。我将使用Ii作为过程名称，因为我不喜欢使用i这样的常用变量名作为过程。

Ii:= proc(n::nonnegint) 
option remember; 
local q,r; 
    q:= iquo(n,4,'r'); #integer quotient and remainder 
    `if`(r=0 or r=3, thisproc(q), (-1)^(r-1)*thisproc(2*q)) 
end proc: 

Ii(0):= 1: #Set initial value.