/*
A1 = Sinal, aonde 1 = Negativo e 0 = Positivo.
A2 = Número.
A3 = Nº Casas decimais.
*/

C1, C2, C3 := A1, A2, A3 + B1, B2, B3

D := 3 ; E := 3; D:=D x E; D:=D + 1;

/*Alinha o número de casas*/
(se A3 < B3 então enquanto A3 < B3 faça (a3 := A3 + 1; A2 := A2 x D)
            senão (Se B3 < A3 então enquanto B3 < A3 faça B3 := B3 + 1; B2 := B2 x D) senão V)) C3 := A3

(Se A1 < B1 então (Se A2 < B2 então C2 := B2; C2 := C2 - A2; C1 := 0 ; C1 := C1 + 1
                              senão C2 := A2; C2 := C2 - B2; C1 := 0)
            senão (Se B1 < A1 então (Se B2 < A2 então C2 := A2; C2 := C2 - B2; C1 := 0; C1 := C1 + 1;
                              SENÃO C2 = B2; C2 = C2 - A2; C1 ;= 0)
            senão (C2 := A2; C2 = C2 + B2; C1 := A1;)
            )

Z: = 0
enquanto teste_mod(C2, D) ^ Z < C3
        (C2 := |_C2/D_|; C3 = C3 -1 )

teste_mod(A,B) = { V se A é mod B
                   F cc }

        C: = Resto(A,B)
        (Se C = 0 então verdade senão falso)

        T1 ^ T2
        (Se T1 então (Se T2 então verdade senão Falso) senão Falso)