{VERSION 5 0 "APPLE_PPC_MAC" "5.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 
0 0 1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 }
{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 
2 2 1 1 1 1 }1 1 0 0 0 0 1 0 1 0 2 2 0 1 }{PSTYLE "Text Output" -1 2 
1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 3 0 }1 0 
0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Warning" 2 7 1 {CSTYLE "" -1 -1 
"" 0 1 0 0 255 1 0 0 0 0 0 0 1 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 
}{PSTYLE "Maple Output" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "with(linalg):" }}
{PARA 7 "" 1 "" {TEXT -1 80 "Warning, the protected names norm and tra
ce have been redefined and unprotected\n" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 24 "H1 := matrix(1, 1, [1]):" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 43 "H2 := blockmatrix(2, 2, [H1, H1, H1, -H1]):" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 43 "H4 := blockmatrix(2, 2, [H2,
 H2, H2, -H2]):" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 43 "H8 := bl
ockmatrix(2, 2, [H4, H4, H4, -H4]):" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 44 "H16 := blockmatrix(2, 2, [H8, H8, H8, -H8]):" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "A := delrows(H16, 1..1):" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A := delcols(A, 1..1):" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 37 "f := x -> if x = -1 then 0 e
lse 1 fi:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A := map(f, A)
;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"AG-%'matrixG6#7171\"\"!\"\"\"
F*F+F*F+F*F+F*F+F*F+F*F+F*71F+F*F*F+F+F*F*F+F+F*F*F+F+F*F*71F*F*F+F+F*
F*F+F+F*F*F+F+F*F*F+71F+F+F+F*F*F*F*F+F+F+F+F*F*F*F*71F*F+F*F*F+F*F+F+
F*F+F*F*F+F*F+71F+F*F*F*F*F+F+F+F+F*F*F*F*F+F+71F*F*F+F*F+F+F*F+F*F*F+
F*F+F+F*71F+F+F+F+F+F+F+F*F*F*F*F*F*F*F*71F*F+F*F+F*F+F*F*F+F*F+F*F+F*
F+71F+F*F*F+F+F*F*F*F*F+F+F*F*F+F+71F*F*F+F+F*F*F+F*F+F+F*F*F+F+F*71F+
F+F+F*F*F*F*F*F*F*F*F+F+F+F+71F*F+F*F*F+F*F+F*F+F*F+F+F*F+F*71F+F*F*F*
F*F+F+F*F*F+F+F+F+F*F*71F*F*F+F*F+F+F*F*F+F+F*F+F*F*F+" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 36 "g := x -> if x = 0 then 1 else 0 fi
:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "B := map(g, A);" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"BG-%'matrixG6#7171\"\"\"\"\"!F*F+F
*F+F*F+F*F+F*F+F*F+F*71F+F*F*F+F+F*F*F+F+F*F*F+F+F*F*71F*F*F+F+F*F*F+F
+F*F*F+F+F*F*F+71F+F+F+F*F*F*F*F+F+F+F+F*F*F*F*71F*F+F*F*F+F*F+F+F*F+F
*F*F+F*F+71F+F*F*F*F*F+F+F+F+F*F*F*F*F+F+71F*F*F+F*F+F+F*F+F*F*F+F*F+F
+F*71F+F+F+F+F+F+F+F*F*F*F*F*F*F*F*71F*F+F*F+F*F+F*F*F+F*F+F*F+F*F+71F
+F*F*F+F+F*F*F*F*F+F+F*F*F+F+71F*F*F+F+F*F*F+F*F+F+F*F*F+F+F*71F+F+F+F
*F*F*F*F*F*F*F*F+F+F+F+71F*F+F*F*F+F*F+F*F+F*F+F+F*F+F*71F+F*F*F*F*F+F
+F*F*F+F+F+F+F*F*71F*F*F+F*F+F+F*F*F+F+F*F+F*F*F+" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 29 "colA := vector(rowdim(A), 1);" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6#>%%colAG-%'vectorG6#71\"\"\"F)F)F)F)F)F)F)F)F)F)
F)F)F)F)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "colB := vector(
rowdim(B), 0);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%%colBG-%'vectorG6#
71\"\"!F)F)F)F)F)F)F)F)F)F)F)F)F)F)" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 28 "scriptA := augment(colA, A):" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 28 "scriptB := augment(colB, B):" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 37 "v_zero := vector(coldim(scriptB), 0):" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 36 "v_one := vector(coldim(scrip
tB), 1):" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 51 "cw := stackmatr
ix(scriptA, scriptB, v_zero, v_one);" }}{PARA 11 "" 1 "" {XPPMATH 20 "
6#>%#cwG-%'matrixG6#7B72\"\"\"\"\"!F*F+F*F+F*F+F*F+F*F+F*F+F*F+72F*F*F
+F+F*F*F+F+F*F*F+F+F*F*F+F+72F*F+F+F*F*F+F+F*F*F+F+F*F*F+F+F*72F*F*F*F
*F+F+F+F+F*F*F*F*F+F+F+F+72F*F+F*F+F+F*F+F*F*F+F*F+F+F*F+F*72F*F*F+F+F
+F+F*F*F*F*F+F+F+F+F*F*72F*F+F+F*F+F*F*F+F*F+F+F*F+F*F*F+72F*F*F*F*F*F
*F*F*F+F+F+F+F+F+F+F+72F*F+F*F+F*F+F*F+F+F*F+F*F+F*F+F*72F*F*F+F+F*F*F
+F+F+F+F*F*F+F+F*F*72F*F+F+F*F*F+F+F*F+F*F*F+F+F*F*F+72F*F*F*F*F+F+F+F
+F+F+F+F+F*F*F*F*72F*F+F*F+F+F*F+F*F+F*F+F*F*F+F*F+72F*F*F+F+F+F+F*F*F
+F+F*F*F*F*F+F+72F*F+F+F*F+F*F*F+F+F*F*F+F*F+F+F*72F+F*F+F*F+F*F+F*F+F
*F+F*F+F*F+F*72F+F+F*F*F+F+F*F*F+F+F*F*F+F+F*F*72F+F*F*F+F+F*F*F+F+F*F
*F+F+F*F*F+72F+F+F+F+F*F*F*F*F+F+F+F+F*F*F*F*72F+F*F+F*F*F+F*F+F+F*F+F
*F*F+F*F+72F+F+F*F*F*F*F+F+F+F+F*F*F*F*F+F+72F+F*F*F+F*F+F+F*F+F*F*F+F
*F+F+F*72F+F+F+F+F+F+F+F+F*F*F*F*F*F*F*F*72F+F*F+F*F+F*F+F*F*F+F*F+F*F
+F*F+72F+F+F*F*F+F+F*F*F*F*F+F+F*F*F+F+72F+F*F*F+F+F*F*F+F*F+F+F*F*F+F
+F*72F+F+F+F+F*F*F*F*F*F*F*F*F+F+F+F+72F+F*F+F*F*F+F*F+F*F+F*F+F+F*F+F
*72F+F+F*F*F*F*F+F+F*F*F+F+F+F+F*F*72F+F*F*F+F*F+F+F*F*F+F+F*F+F*F*F+7
2F+F+F+F+F+F+F+F+F+F+F+F+F+F+F+F+72F*F*F*F*F*F*F*F*F*F*F*F*F*F*F*F*" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "rowdim(cw);" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6#\"#K" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
62 "r := vector([1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0]):" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 7 "m := 4:" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 8 "fc := 0:" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 8 "rn := 0:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 40 
"while (fc <> 1) and (rn < rowdim(cw)) do" }}{PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "    rn := rn + 1;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 
40 "    if norm(row(cw, rn) - r, 1) < m then" }}{PARA 0 "> " 0 "" 
{MPLTEXT 1 0 37 "       m := norm(row(cw, rn) - r, 1):" }}{PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 15 "       fc := 1:" }}{PARA 0 "> " 0 "" {MPLTEXT 
1 0 7 "    fi:" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "od:" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "m;" }}{PARA 11 "" 1 "" {XPPMATH 20 "
6#\"\"$" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "rn;" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6#\"#A" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
19 "evalm(row(cw, rn));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#-%'vectorG6
#72\"\"!\"\"\"F(F'F(F'F'F(F'F(F(F'F(F'F'F(" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 42 "map(x -> x mod 2, evalm(row(cw, rn) - r));" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#-%'vectorG6#72\"\"\"F'\"\"!F(F(F(F(F(F
(F(F(F(F(F(F(F'" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "0 0 0" 0 }
{VIEWOPTS 1 1 0 3 2 1804 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }