初学者的基本问题。 bucle 中的定义有问题。枫

Question

假设我们在这种情况下（我使用的是 Maple）

add:=function()
e1:=0;
e2:=1;
for j in [1..2]do
ej:=ej+1
od;
return e1,e2;
end;

这个程序给我一个全局变量错误。我明白为什么会这样——因为 ej 没有被定义为本地的——但如果你定义它，那么程序就什么都不做。 ) 不知道怎么解决。 我的 objective（在更大的程序中）是在 for 循环中调用 e1,e2。

也许我没有正确表达自己的意思来简化我的问题，这是我的程序，它是用程序 GAP 制作的，但它的工作原理与 Maple 类似：

G12Decode:=function(c)
localx,G,C,sG,sH,a,u,b1,e1,b2,e2,b3,e3,b4,e4,b5,e5,b6,e6,h1,h2,i,j; 
x:=Codeword(c,GF(3));
G:=[[1,0,0,0,0,0,0,1,1,1,1,1],[0,1,0,0,0,0,1,0,1,2,2,1], 
[0,0,1,0,0,0,1,1,0,1,2,2],[0,0,0,1,0,0,1,2,1,0,1,2], 
[0,0,0,0,1,0,1,2,2,1,0,1],[0,0,0,0,0,1,1,1,2,2,1,0]];
C:=GeneratorMatCode(G,GF(3));
sG:=x*TransposedMat(GeneratorMat(C));
sH:=x*TransposedMat(CheckMat(C));
a:=[0,0,0,0,0,0];
b1:=Codeword([0,1,1,1,1,1],GF(3)); 
e1:=Codeword([1,0,0,0,0,0],GF(3));
b2:=Codeword([1,0,1,2,2,1],GF(3)); 
e2:=Codeword([0,1,0,0,0,0],GF(3));
b3:=Codeword([1,1,0,1,2,2],GF(3)); 
e3:=Codeword([0,0,1,0,0,0],GF(3));
b4:=Codeword([1,2,1,0,1,2],GF(3)); 
e4:=Codeword([0,0,0,1,0,0],GF(3));
b5:=Codeword([1,2,2,1,0,1],GF(3)); 
e5:=Codeword([0,0,0,0,1,0],GF(3));
b6:=Codeword([1,1,2,2,1,0],GF(3)); 
e6:=Codeword([0,0,0,0,0,1],GF(3));

if Weight(sH)<=2 then
sH:=ShallowCopy(VectorCodeword(sH));
Append(a,sH);
a:=Codeword(a,GF(3));
u:=x-a;
return u;
elif Weight(sG)<=2 then
sG:=ShallowCopy(VectorCodeword(sG));
Append(sG,a);
sG:=Codeword(sG,GF(3));
u:=x-sG;
return u;
else
for i in [1..6] do
for j in [1..6] do
if sG-bi=ej or sG-bi=2*ej then 
h1:=sG-bi;
h2:=ei;
h1:=ShallowCopy(VectorCodeword(h1));
h2:=ShallowCopy(VectorCodeword(h2));
Append(h1,h2);
h1:=Codeword(h1,GF(3));
u:=x-h1;
return u;
elif sG-2*bi=ej or sG-2*bi=2*ej then
h1:=sG-2*bi;
h2:=ei;
h1:=ShallowCopy(VectorCodeword(h1));
h2:=ShallowCopy(VectorCodeword(h2));
Append(h1,h2);
h1:=Codeword(h1,GF(3));
u:=x-h1;
return u;
fi;
od;
od;
fi;
end;

该程序没有向我发送错误，但我知道由于 ej、bi 和 ei，它不起作用。我想在最后一个 "else" 之后按照它说的去做，但我不知道如何解决它才能让它发挥作用。

Answer 1

您的语法无效。它是 proc，而不是 function。

而add已经是一个Maple命令，所以它是一个受保护的名字，不能分配给。您必须使用其他名称。

您的 do-loop 语法可能不是您想要的。你可能想要 for j from 1 to 2 do .

你真的应该在递归赋值之前用一个值初始化 ej ej:=ej+1 .

您还可以声明过程的 local 变量。

就个人而言，我更喜欢使用 end do 而不是 od 和 end proc只是 end ，在现代 Maple 中。这样可以更轻松地判断正在终止的内容。

例如，

restart;

my_add:=proc()
  local e1,e2,ej,j;
  e1:=0;
  e2:=1;
  ej:=0;
  for j from 1 to 5 do
    ej:=ej+1
  end do;
  return ej,e1,e2;
end proc:

my_add();

                 5, 0, 1

有一个Maple Programming Guide, which you can read online or inside Maple's own Help system. It has a nice introduction to writing procedures. And there is a more detailed Help page for the proc命令。

初学者的基本问题。 bucle 中的定义有问题。枫

Basic question from a beginner. Problem with definitions in a bucle. Maple

for-loop

maple