Gleichung umstellen mit XOR

[Gunnar Bittersmann]

@@Gunnar Bittersmann:

Irgendwas hab ich noch übersehen. Vielleicht nur eine Kleinigkeit.

Ja, beim LSB kann natürlich noch kein Übertrag auftauchen. Sagte ich doch:
[latex]c_i =
\begin{cases}
0,  & i = 0 \
\operatorname{HSB}(c_{i-1} + x_{i-1} + k_{x-1}), & i > 0
\end{cases}[/latex]

Also ist nach
(1) C = X xor Y
zu prüfen, ob c₀ = 0 ist, d.h. ob X und Y im LSB übereinstimmen. Auch das sagte ich schon.

(1) C = X xor Y
(2) IF c₀ ≠ 0 THEN EXIT          ; es gibt keine Lösungen für K
(3) FOR i = 0 TO 14
(3a)    bestimme kᵢ aus Tabelle
(3b)    IF kᵢ = '-' THEN EXIT   ; es gibt keine Lösungen für K
(4) k₁₅ = '*'

Hoffe, jetzt stimmt’s.

Live long and prosper,
Gunnar