---------------------------------------------------------------- -- Normal Bases Squaring (NB_sq.adb) -- -- -- ---------------------------------------------------------------- with Gnat.Io; use Gnat.Io; with Gf2m; use Gf2m; with Finite_Fields_Gf2m; use Finite_Fields_Gf2m; procedure Nb_Sq is A: Poly_Vector; A0: Bit; begin for I in 0 .. M-1 loop Put("A(");Put(I);Put(") = "); Get(A(I)); end loop; New_Line; A0 := A(M-1); A := Rshift(A); A(0) := A0; ----------------------------------------------------- Put("A = "); for I in 0 .. M-1 loop Put(A(I)); end loop; New_Line; end Nb_Sq;