GCD := proc (d, e) local a, b, r; a := d; b := e;
while 0 < irem(a, b) do r := irem(a, b); a := b; b := r end do;
b;
end proc
です。こうすると、
GCD := proc (d, e)
local a, b, r;
a := d;
b := e;
while 0 < irem(a, b) do
r := irem(a, b);
a := b;
b := r
end do;
b
end proc
と、なり、式が完成しました。
補足
いえ、一応GODを使います