Matematické Fórum

zdravím

mám problém, s rozšíreným euklidovým algoritmom pri hľadaní Bézoutových koeficientov.
viem, že platí  
(q je definované v algoritme)

ďalej, kde s,t sú bezoutove koeficienty.

a platí podobne ako pre r a

potom algoritmus(písaný v pascale) vyzerá asi takto:
s0:=0;
s1:=1;
t0:=1;
a:=StrToInt(edit1.Text);
b:=StrToInt(edit2.Text);
r0:=a;
r1:=b;

  if r0>r1 then   t1:= - r0 div r1
           else t1:= - r1 div r0;
  repeat
    if r0>r1 then
          begin
          q:=r0 div r1;
          r:=r0-r1*q;
          r0:=r1;
          r1:=r;
          s:=s0-s1*q;
          s0:=s1;
          s1:=s;
          t:=t0-t1*q;
          t0:=t1;
          t1:=t;
          memo1.lines.add(inttostr(s0) +' ' + inttostr(t0)+ ' ' +inttostr(q));
          end
      else begin
           i:=r1;
           r1:=r0;
           r0:=i;
            end;
    until r=0;

(kurzíva je niečo naviac, čo by nemalo ovplyvňovať chod algoritmu)

po prechode tohto algoritmu, mám , lenže bezoutove koeficienty (t0,s0) nesedia

kde je chyba ? ďakujem za odpovede.