例えば の関数 を定義するには、次のようにします。
f:=func((x^n+y^n-2)/4,n);
つぎのように、 がちゃんと計算できていることを確かめられます。
f(3); 3 3 x y -- + -- - 1/2 4 4
x:=3+2*sqrt(2); y:=3-2*sqrt(2);としてから、
expand(f(3));とやってやると、答え が求まります。 (expand を忘れると、
1/2 3 1/2 3 (3 - 2 2 ) (2 2 + 3) ------------- + ------------- - 1/2 4 4となってしまうので注意。)
なお、 を3変数 の関数として定義するには、
f:=func((x^n+y^n-2)/4,n,x,y);としてやればよいわけです。