(************** Content-type: application/mathematica ************** Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 286148, 6914]*) (*NotebookOutlinePosition[ 286812, 6937]*) (* CellTagsIndexPosition[ 286768, 6933]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["Building the DFT", "Subtitle"], Cell["\<\ I. Cnop Vrije Universiteit Brussel icnop@vub.ac.be\ \>", "Subsubtitle"], Cell[CellGroupData[{ Cell["Sum of a geometric progression.", "Section"], Cell[CellGroupData[{ Cell["Recall the shorthand for directions in the plane", "Subsection"], Cell[BoxData[ \(directions[ n_] := \[ExponentialE]\^\(\[ImaginaryI]\ Range[n]\ 2\ \(\(\[Pi]/n\)\(\ \ \)\)\)\)], "Input", InitializationCell->True], Cell[BoxData[ \(coords[z_] := {Re[z], Im[z]}\)], "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell["Take uniform lengths", "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ \(coeffList = Table[1, {13}]\)], "Input"], Cell[BoxData[ \({1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(n = \ Length[coeffList]\)], "Input"], Cell[BoxData[ \(13\)], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Multiply", "Subsection"], Cell[BoxData[ \(\(Map[coords, coeffList\ directions[n] // N];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[%, AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-2\), 2}, {\(-2\), 2}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.5 0.25 0.5 0.25 [ [0 .4875 -6 -9 ] [0 .4875 6 0 ] [.125 .4875 -12 -9 ] [.125 .4875 12 0 ] [.25 .4875 -6 -9 ] [.25 .4875 6 0 ] [.375 .4875 -12 -9 ] [.375 .4875 12 0 ] [.625 .4875 -9 -9 ] [.625 .4875 9 0 ] [.75 .4875 -3 -9 ] [.75 .4875 3 0 ] [.875 .4875 -9 -9 ] [.875 .4875 9 0 ] [1 .4875 -3 -9 ] [1 .4875 3 0 ] [.4875 0 -12 -4.5 ] [.4875 0 0 4.5 ] [.4875 .125 -24 -4.5 ] [.4875 .125 0 4.5 ] [.4875 .25 -12 -4.5 ] [.4875 .25 0 4.5 ] [.4875 .375 -24 -4.5 ] [.4875 .375 0 4.5 ] [.4875 .625 -18 -4.5 ] [.4875 .625 0 4.5 ] [.4875 .75 -6 -4.5 ] [.4875 .75 0 4.5 ] [.4875 .875 -18 -4.5 ] [.4875 .875 0 4.5 ] [.4875 1 -6 -4.5 ] [.4875 1 0 4.5 ] [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash 0 .5 m 0 .50625 L s [(-2)] 0 .4875 0 1 Mshowa .125 .5 m .125 .50625 L s [(-1.5)] .125 .4875 0 1 Mshowa .25 .5 m .25 .50625 L s [(-1)] .25 .4875 0 1 Mshowa .375 .5 m .375 .50625 L s [(-0.5)] .375 .4875 0 1 Mshowa .625 .5 m .625 .50625 L s [(0.5)] .625 .4875 0 1 Mshowa .75 .5 m .75 .50625 L s [(1)] .75 .4875 0 1 Mshowa .875 .5 m .875 .50625 L s [(1.5)] .875 .4875 0 1 Mshowa 1 .5 m 1 .50625 L s [(2)] 1 .4875 0 1 Mshowa .125 Mabswid .025 .5 m .025 .50375 L s .05 .5 m .05 .50375 L s .075 .5 m .075 .50375 L s .1 .5 m .1 .50375 L s .15 .5 m .15 .50375 L s .175 .5 m .175 .50375 L s .2 .5 m .2 .50375 L s .225 .5 m .225 .50375 L s .275 .5 m .275 .50375 L s .3 .5 m .3 .50375 L s .325 .5 m .325 .50375 L s .35 .5 m .35 .50375 L s .4 .5 m .4 .50375 L s .425 .5 m .425 .50375 L s .45 .5 m .45 .50375 L s .475 .5 m .475 .50375 L s .525 .5 m .525 .50375 L s .55 .5 m .55 .50375 L s .575 .5 m .575 .50375 L s .6 .5 m .6 .50375 L s .65 .5 m .65 .50375 L s .675 .5 m .675 .50375 L s .7 .5 m .7 .50375 L s .725 .5 m .725 .50375 L s .775 .5 m .775 .50375 L s .8 .5 m .8 .50375 L s .825 .5 m .825 .50375 L s .85 .5 m .85 .50375 L s .9 .5 m .9 .50375 L s .925 .5 m .925 .50375 L s .95 .5 m .95 .50375 L s .975 .5 m .975 .50375 L s .25 Mabswid 0 .5 m 1 .5 L s .5 0 m .50625 0 L s [(-2)] .4875 0 1 0 Mshowa .5 .125 m .50625 .125 L s [(-1.5)] .4875 .125 1 0 Mshowa .5 .25 m .50625 .25 L s [(-1)] .4875 .25 1 0 Mshowa .5 .375 m .50625 .375 L s [(-0.5)] .4875 .375 1 0 Mshowa .5 .625 m .50625 .625 L s [(0.5)] .4875 .625 1 0 Mshowa .5 .75 m .50625 .75 L s [(1)] .4875 .75 1 0 Mshowa .5 .875 m .50625 .875 L s [(1.5)] .4875 .875 1 0 Mshowa .5 1 m .50625 1 L s [(2)] .4875 1 1 0 Mshowa .125 Mabswid .5 .025 m .50375 .025 L s .5 .05 m .50375 .05 L s .5 .075 m .50375 .075 L s .5 .1 m .50375 .1 L s .5 .15 m .50375 .15 L s .5 .175 m .50375 .175 L s .5 .2 m .50375 .2 L s .5 .225 m .50375 .225 L s .5 .275 m .50375 .275 L s .5 .3 m .50375 .3 L s .5 .325 m .50375 .325 L s .5 .35 m .50375 .35 L s .5 .4 m .50375 .4 L s .5 .425 m .50375 .425 L s .5 .45 m .50375 .45 L s .5 .475 m .50375 .475 L s .5 .525 m .50375 .525 L s .5 .55 m .50375 .55 L s .5 .575 m .50375 .575 L s .5 .6 m .50375 .6 L s .5 .65 m .50375 .65 L s .5 .675 m .50375 .675 L s .5 .7 m .50375 .7 L s .5 .725 m .50375 .725 L s .5 .775 m .50375 .775 L s .5 .8 m .50375 .8 L s .5 .825 m .50375 .825 L s .5 .85 m .50375 .85 L s .5 .9 m .50375 .9 L s .5 .925 m .50375 .925 L s .5 .95 m .50375 .95 L s .5 .975 m .50375 .975 L s .25 Mabswid .5 0 m .5 1 L s 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath .008 w .72136 .61618 Mdot .64202 .70575 Mdot .53013 .74818 Mdot .41135 .73375 Mdot .31287 .66578 Mdot .25726 .55983 Mdot .25726 .44017 Mdot .31287 .33422 Mdot .41135 .26625 Mdot .53013 .25182 Mdot .64202 .29425 Mdot .72136 .38382 Mdot .75 .5 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgOooool2 o`00057ooooo001looooo`04o`000?ooooooooooo`0000_ooooo00?o0000ooooooooool00oooool0 0ol0003oooooooooo`2"], ImageRangeCache->{{{0, 287}, {287, 0}} -> {-2.08635, -2.06477, 0.0143886, \ 0.0143886}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Add", "Subsection"], Cell[TextData[{ "Making partial sums by adding these points is done wit a built-in ", StyleBox["Mathematica", FontSlant->"Italic"], " command" }], "Text"], Cell[BoxData[ \(\(points = FoldList[Plus, {0, 0}, %%];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[points, PlotJoined \[Rule] True, AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-4\), 5}, {\(-2\), 5}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .77778 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.444444 0.111111 0.222222 0.111111 [ [0 .20972 -6 -9 ] [0 .20972 6 0 ] [.22222 .20972 -6 -9 ] [.22222 .20972 6 0 ] [.66667 .20972 -3 -9 ] [.66667 .20972 3 0 ] [.88889 .20972 -3 -9 ] [.88889 .20972 3 0 ] [.43194 0 -12 -4.5 ] [.43194 0 0 4.5 ] [.43194 .11111 -12 -4.5 ] [.43194 .11111 0 4.5 ] [.43194 .33333 -6 -4.5 ] [.43194 .33333 0 4.5 ] [.43194 .44444 -6 -4.5 ] [.43194 .44444 0 4.5 ] [.43194 .55556 -6 -4.5 ] [.43194 .55556 0 4.5 ] [.43194 .66667 -6 -4.5 ] [.43194 .66667 0 4.5 ] [.43194 .77778 -6 -4.5 ] [.43194 .77778 0 4.5 ] [ 0 0 0 0 ] [ 1 .77778 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash 0 .22222 m 0 .22847 L s [(-4)] 0 .20972 0 1 Mshowa .22222 .22222 m .22222 .22847 L s [(-2)] .22222 .20972 0 1 Mshowa .66667 .22222 m .66667 .22847 L s [(2)] .66667 .20972 0 1 Mshowa .88889 .22222 m .88889 .22847 L s [(4)] .88889 .20972 0 1 Mshowa .125 Mabswid .05556 .22222 m .05556 .22597 L s .11111 .22222 m .11111 .22597 L s .16667 .22222 m .16667 .22597 L s .27778 .22222 m .27778 .22597 L s .33333 .22222 m .33333 .22597 L s .38889 .22222 m .38889 .22597 L s .5 .22222 m .5 .22597 L s .55556 .22222 m .55556 .22597 L s .61111 .22222 m .61111 .22597 L s .72222 .22222 m .72222 .22597 L s .77778 .22222 m .77778 .22597 L s .83333 .22222 m .83333 .22597 L s .94444 .22222 m .94444 .22597 L s .25 Mabswid 0 .22222 m 1 .22222 L s .44444 0 m .45069 0 L s [(-2)] .43194 0 1 0 Mshowa .44444 .11111 m .45069 .11111 L s [(-1)] .43194 .11111 1 0 Mshowa .44444 .33333 m .45069 .33333 L s [(1)] .43194 .33333 1 0 Mshowa .44444 .44444 m .45069 .44444 L s [(2)] .43194 .44444 1 0 Mshowa .44444 .55556 m .45069 .55556 L s [(3)] .43194 .55556 1 0 Mshowa .44444 .66667 m .45069 .66667 L s [(4)] .43194 .66667 1 0 Mshowa .44444 .77778 m .45069 .77778 L s [(5)] .43194 .77778 1 0 Mshowa .125 Mabswid .44444 .02222 m .44819 .02222 L s .44444 .04444 m .44819 .04444 L s .44444 .06667 m .44819 .06667 L s .44444 .08889 m .44819 .08889 L s .44444 .13333 m .44819 .13333 L s .44444 .15556 m .44819 .15556 L s .44444 .17778 m .44819 .17778 L s .44444 .2 m .44819 .2 L s .44444 .24444 m .44819 .24444 L s .44444 .26667 m .44819 .26667 L s .44444 .28889 m .44819 .28889 L s .44444 .31111 m .44819 .31111 L s .44444 .35556 m .44819 .35556 L s .44444 .37778 m .44819 .37778 L s .44444 .4 m .44819 .4 L s .44444 .42222 m .44819 .42222 L s .44444 .46667 m .44819 .46667 L s .44444 .48889 m .44819 .48889 L s .44444 .51111 m .44819 .51111 L s .44444 .53333 m .44819 .53333 L s .44444 .57778 m .44819 .57778 L s .44444 .6 m .44819 .6 L s .44444 .62222 m .44819 .62222 L s .44444 .64444 m .44819 .64444 L s .44444 .68889 m .44819 .68889 L s .44444 .71111 m .44819 .71111 L s .44444 .73333 m .44819 .73333 L s .44444 .75556 m .44819 .75556 L s .25 Mabswid .44444 0 m .44444 .77778 L s 0 0 m 1 0 L 1 .77778 L 0 .77778 L closepath clip newpath .5 Mabswid .44444 .22222 m .54283 .27386 L .60595 .3653 L .61934 .4756 L .57994 .57949 L .49677 .65317 L .38889 .67976 L .28101 .65317 L .19784 .57949 L .15844 .4756 L .17183 .3653 L .23495 .27386 L .33333 .22222 L .44444 .22222 L s % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 224}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgOooool01?l0003ooooo ooooool0000hooooo`03o`000?oooooooooo03Sooooo00Co0000oooooooooooo0000>oooool00ol0 003oooooooooo`0Pooooo`000_ooool5o`000003ooooool0003o000000?o0000?ooool00ol0003oooooooooo`0iooooo`03o`000?oooooooooo03So oooo1Ol0000Qooooo`002?ooool01?l0003oooooooooool0000mooooo`03o`000?oooooooooo03Oo oooo00?o0000ooooooooool0>_ooool00ol0003oooooooooo`0gooooo`04o`000?ooooooooooo`00 02;ooooo0009ooooo`03o`000?oooooo000003[ooooo00Go0000ooooooooooooooooo`00000hoooo o`03o`000?oooooooooo03Oooooo00Go0000ooooooooooooooooo`00000iooooo`03o`000?oooooo 000002;ooooo000:ooooo`;o0000>_ooool01Ol0003ooooooooooooooooo000003Sooooo0_l0000h ooooo`05o`000?ooooooooooooooool00000>_ooool2o`0002;ooooo000;ooooo`03o`000?oooooo oooo03Wooooo0ol0000iooooo`03o`000?oooooooooo03Sooooo0ol0000looooo`03o`000?oooooo oooo023ooooo0023ooooo`03o`000?oooooooooo09[ooooo0023ooooo`03o`000?oooooooooo09[o oooo0023ooooo`03o`000?oooooooooo09[ooooo0023ooooo`03o`000?oooooooooo09[ooooo0008 oooooooo00005_l00003ooooo`002?ooool00ol0003oooooooooo`0=ooooo`03o`000?oooooooooo 00cooooo00?o0000ooooooooool03?ooool00ol0003oooooooooo`0=ooooo`03o`000?oooooooooo 00cooooo00?o0000ooooooooool02Oooool2o`000003ooooool0003ooooo00gooooo00?o0000oooo ooooool03Oooool01?l0003oooooo`000?l0000;ooooo`03o`000?oooooooooo00cooooo00?o0000 ooooooooool03Oooool00ol0003oooooooooo`0Oooool2o`0001_ooooo00?o0000ooooooooool0OOooool004Kooooo00?o0000oooooooo ool0>_ooool00ol0003oooooooooo`0Kooooo`03o`000?oooooooooo07cooooo0015ooooo`03o`00 0?oooooooooo03_ooooo00?o0000ooooooooool07?ooool00ol0003oooooooooo`1kooooo`00AOoo ool00ol0003oooooooooo`0kooooo`03o`000?oooooooooo01cooooo00?o0000ooooooooool0Nooo ool004Cooooo00?o0000ooooooooool0??ooool00ol0003oooooooooo`0Mooooo`03o`000?oooooo oooo07[ooooo0013ooooo`03o`000?oooooooooo03gooooo00?o0000ooooooooool07_ooool00ol0 003oooooooooo`1iooooo`00@oooool00ol0003oooooooooo`0mooooo`03o`000?oooooooooo01ko oooo00?o0000ooooooooool0NOooool004;ooooo00?o0000ooooooooool0?_ooool2o`00023ooooo 00?o0000ooooooooool0N?ooool0047ooooo00?o0000ooooooooool0?oooool00ol0003ooooooooo o`0Pooooo`03o`000?oooooooooo07Oooooo0011ooooo`03o`000?oooooooooo03oooooo00?o0000 ooooooooool08?ooool00ol0003oooooooooo`1gooooo`00@?ooool00ol0003oooooooooo`0goooo o`?o00001_ooool00ol0003oooooooooo`0Qooooo`03o`000?oooooooooo07Kooooo0010ooooo`03 o`000?oooooooooo03Sooooo00?o0000ooooooooool01Oooool00ol0003oooooooooo`0Qooooo`03 o`000?oooooooooo07Kooooo000oooooo`03o`000?oooooooooo03Wooooo00?o0000ooooooooool0 1Oooool00ol0003oooooooooo`0Rooooo`03o`000?oooooooooo07Gooooo000nooooo`03o`000?oo oooooooo03[ooooo00?o0000ooooooooool01Oooool2o`0002Cooooo00?o0000ooooooooool0M?oo ool003kooooo00?o0000ooooooooool0>_ooool00ol0003oooooooooo`05ooooo`03o`000?oooooo oooo02?ooooo00?o0000ooooooooool0M?ooool003gooooo00?o0000ooooooooool0>_ooool2o`00 00Oooooo00?o0000ooooooooool09?ooool00ol0003oooooooooo`1cooooo`00??ooool00ol0003o ooooooooo`0looooo`03o`000?oooooooooo00Gooooo00?o0000ooooooooool09Oooool00ol0003o ooooooooo`1booooo`00??ooool00ol0003oooooooooo`14ooooo`03o`000?oooooooooo02Gooooo 00?o0000ooooooooool0L_ooool003_ooooo00?o0000ooooooooool0AOooool00ol0003ooooooooo o`0Vooooo`03o`000?oooooooooo077ooooo000jooooo`03o`000?oooooooooo04Kooooo0_l0000X ooooo`03o`000?oooooooooo073ooooo000jooooo`03o`000?oooooooooo04Kooooo00?o0000oooo ooooool09oooool00ol0003oooooooooo`1`ooooo`00>Oooool00ol0003oooooooooo`17ooooo`03 o`000?oooooooooo02Sooooo00?o0000ooooooooool0Koooool003Sooooo00?o0000ooooooooool0 B?ooool00ol0003oooooooooo`0Yooooo`03o`000?oooooooooo06kooooo000hooooo`03o`000?oo oooooooo04Sooooo00?o0000ooooooooool0:Oooool00ol0003oooooooooo`1^ooooo`00>?ooool0 0ol0003oooooooooo`18ooooo`03o`000?oooooooooo02Wooooo00?o0000ooooooooool0K_ooool0 03Sooooo00?o0000ooooooooool0B?ooool2o`0002[ooooo00?o0000ooooooooool0K_ooool003So oooo00?o0000ooooooooool0B?ooool00ol0003oooooooooo`0Yooooo`03o`000?oooooooooo06ko oooo000gooooo`03o`000?oooooooooo04Wooooo00?o0000ooooooooool0:_ooool00ol0003ooooo ooooo`1]ooooo`00=oooool00ol0003oooooooooo`19ooooo`03o`000?oooooooooo02[ooooo00?o 0000ooooooooool0KOooool003Oooooo00?o0000ooooooooool0BOooool00ol0003oooooooooo`0Z ooooo`03o`000?oooooooooo06gooooo000gooooo`03o`000?oooooooooo04Wooooo00?o0000oooo ooooool0:_ooool00ol0003oooooooooo`1]ooooo`00=oooool00ol0003oooooooooo`19ooooo`;o 0000:oooool00ol0003oooooooooo`1]ooooo`00=oooool00ol0003oooooooooo`19ooooo`03o`00 0?oooooooooo02[ooooo00?o0000ooooooooool0KOooool003Oooooo00?o0000ooooooooool0BOoo ool00ol0003oooooooooo`0Zooooo`03o`000?oooooooooo06gooooo000fooooo`03o`000?oooooo oooo04[ooooo00?o0000ooooooooool0:oooool00ol0003oooooooooo`1/ooooo`00=_ooool00ol0 003oooooooooo`1:ooooo`03o`000?oooooooooo02_ooooo00?o0000ooooooooool0K?ooool003Ko oooo00?o0000ooooooooool0B_ooool00ol0003oooooooooo`0[ooooo`03o`000?oooooooooo06co oooo000fooooo`03o`000?oooooooooo04[ooooo0_l0000/ooooo`03o`000?oooooooooo06cooooo 000fooooo`03o`000?oooooooooo04[ooooo00?o0000ooooooooool0:oooool00ol0003ooooooooo o`1/ooooo`00=_ooool00ol0003oooooooooo`1:ooooo`03o`000?oooooooooo02_ooooo00?o0000 ooooooooool0K?ooool003Kooooo00?o0000ooooooooool0B_ooool00ol0003oooooooooo`0[oooo o`03o`000?oooooooooo06cooooo000fooooo`03o`000?oooooooooo043ooooo1Ol00005ooooo`03 o`000?oooooooooo02_ooooo00?o0000ooooooooool0K?ooool003Gooooo00?o0000ooooooooool0 @_ooool01?l0003oooooooooool00005ooooo`03o`000?oooooooooo02cooooo00?o0000oooooooo ool0Joooool003Gooooo00?o0000ooooooooool0@oooool00ol0003oooooooooo`05ooooo`;o0000 ;Oooool00ol0003oooooooooo`1[ooooo`00=Oooool00ol0003oooooooooo`14ooooo`03o`000?oo oooooooo00Cooooo00?o0000ooooooooool0;?ooool00ol0003oooooooooo`1[ooooo`00=Oooool0 0ol0003oooooooooo`11ooooo`05o`000?ooooooooooooooool000001Oooool00ol0003ooooooooo o`0/ooooo`03o`000?oooooooooo06_ooooo000eooooo`03o`000?oooooooooo047ooooo00Go0000 ooooooooooooooooo`000005ooooo`03o`000?oooooooooo02cooooo00?o0000ooooooooool0Jooo ool003Gooooo00?o0000ooooooooool0@_ooool3o`0000Kooooo00?o0000ooooooooool0;?ooool0 0ol0003oooooooooo`1[ooooo`00=Oooool00ol0003oooooooooo`1;ooooo`03o`000?oooooooooo 02cooooo00?o0000ooooooooool0Joooool003Cooooo00?o0000ooooooooool0C?ooool2o`0002ko oooo00?o0000ooooooooool0J_ooool003Cooooo00?o0000ooooooooool0C?ooool00ol0003ooooo ooooo`0]ooooo`03o`000?oooooooooo06[ooooo000dooooo`03o`000?oooooooooo04cooooo00?o 0000ooooooooool0;Oooool00ol0003oooooooooo`1Zooooo`00=?ooool00ol0003oooooooooo`1< ooooo`03o`000?oooooooooo02gooooo00?o0000ooooooooool0J_ooool003Cooooo00?o0000oooo ooooool0C?ooool00ol0003oooooooooo`0]ooooo`03o`000?oooooooooo06[ooooo000eooooo`03 o`000?oooooooooo04_ooooo00?o0000ooooooooool0;?ooool00ol0003oooooooooo`1[ooooo`00 =Oooool00ol0003oooooooooo`1;ooooo`03o`000?oooooooooo02cooooo00?o0000ooooooooool0 Joooool003Gooooo00?o0000ooooooooool0Boooool2o`0002gooooo00?o0000ooooooooool0Jooo ool003Kooooo00?o0000ooooooooool0B_ooool00ol0003oooooooooo`0[ooooo`03o`000?oooooo oooo06cooooo000fooooo`03o`000?oooooooooo04[ooooo00?o0000ooooooooool0:oooool00ol0 003oooooooooo`1/ooooo`00=oooool00ol0003oooooooooo`19ooooo`03o`000?oooooooooo02[o oooo00?o0000ooooooooool0KOooool003Oooooo00?o0000ooooooooool0BOooool00ol0003ooooo ooooo`0Zooooo`03o`000?oooooooooo06gooooo000gooooo`03o`000?oooooooooo04Wooooo00?o 0000ooooooooool0:_ooool00ol0003oooooooooo`1]ooooo`00>?ooool00ol0003oooooooooo`18 ooooo`;o0000:_ooool00ol0003oooooooooo`1^ooooo`00>?ooool00ol0003oooooooooo`18oooo o`03o`000?oooooooooo02Wooooo00?o0000ooooooooool0K_ooool003Wooooo00?o0000oooooooo ool0Aoooool00ol0003oooooooooo`0Xooooo`03o`000?oooooooooo06oooooo000iooooo`03o`00 0?oooooooooo04Oooooo00?o0000ooooooooool0:?ooool00ol0003oooooooooo`1_ooooo`00>Ooo ool00ol0003oooooooooo`17ooooo`03o`000?oooooooooo02Sooooo00?o0000ooooooooool0Kooo ool003[ooooo00?o0000ooooooooool0A_ooool00ol0003oooooooooo`0Wooooo`03o`000?oooooo oooo073ooooo000jooooo`03o`000?oooooooooo04Kooooo0_l0000Xooooo`03o`000?oooooooooo 073ooooo000jooooo`03o`000?oooooooooo04Kooooo00?o0000ooooooooool09oooool00ol0003o ooooooooo`1`ooooo`00>oooool00ol0003oooooooooo`15ooooo`03o`000?oooooooooo02Kooooo 00?o0000ooooooooool0LOooool003_ooooo00?o0000ooooooooool0??ooool3o`0000Kooooo00?o 0000ooooooooool09_ooool00ol0003oooooooooo`1aooooo`00??ooool00ol0003oooooooooo`0j ooooo`05o`000?ooooooooooooooool000001Oooool00ol0003oooooooooo`0Uooooo`03o`000?oo oooooooo07;ooooo000looooo`03o`000?oooooooooo03kooooo00?o0000ooooooooool00oooool0 0ol0003oooooooooo`0Uooooo`03o`000?oooooooooo07;ooooo000looooo`03o`000?oooooooooo 03cooooo0_l00006ooooo`;o00009_ooool00ol0003oooooooooo`1booooo`00?Oooool00ol0003o ooooooooo`0mooooo`03o`000?oooooooooo00?ooooo00?o0000ooooooooool09?ooool00ol0003o ooooooooo`1cooooo`00?Oooool00ol0003oooooooooo`0iooooo`05o`000?ooooooooooooooool0 00001Oooool00ol0003oooooooooo`0Tooooo`03o`000?oooooooooo07?ooooo000nooooo`03o`00 0?oooooooooo03Wooooo0ol00006ooooo`03o`000?oooooooooo02?ooooo00?o0000ooooooooool0 M?ooool003kooooo00?o0000ooooooooool0@_ooool00ol0003oooooooooo`0Sooooo`03o`000?oo oooooooo07Cooooo000nooooo`03o`000?oooooooooo04;ooooo00?o0000ooooooooool08oooool0 0ol0003oooooooooo`1dooooo`00?oooool2o`0004;ooooo0_l0000Rooooo`;o0000Moooool0047o oooo00?o0000ooooooooool0?oooool00ol0003oooooooooo`0Pooooo`03o`000?oooooooooo07Oo oooo0012ooooo`03o`000?oooooooooo03kooooo00?o0000ooooooooool07oooool00ol0003ooooo ooooo`1hooooo`00@oooool00ol0003oooooooooo`0mooooo`03o`000?oooooooooo01kooooo00?o 0000ooooooooool0NOooool004Cooooo00?o0000ooooooooool0??ooool00ol0003oooooooooo`0M ooooo`03o`000?oooooooooo07[ooooo0015ooooo`03o`000?oooooooooo03_ooooo00?o0000oooo ooooool07?ooool00ol0003oooooooooo`1kooooo`00A_ooool00ol0003oooooooooo`0jooooo`;o 00007?ooool00ol0003oooooooooo`1looooo`00Aoooool00ol0003oooooooooo`0iooooo`03o`00 0?oooooooooo01[ooooo00?o0000ooooooooool0OOooool004Sooooo00?o0000ooooooooool0>?oo ool00ol0003oooooooooo`0Iooooo`03o`000?oooooooooo07kooooo0019ooooo`03o`000?oooooo oooo03Oooooo00?o0000ooooooooool06?ooool00ol0003oooooooooo`1oooooo`00B_ooool2o`00 03Oooooo00?o0000ooooooooool05_ooool2o`0008;ooooo001ooooo`00FOooool4o`0001kooooo0ol00005ooooo`03o`000?oooooooooo00Gooooo 1?l0002Aooooo`00GOooool4o`0001_ooooo00?o0000ooooooooool01?ooool00ol0003ooooooooo o`05o`0009Gooooo001Qooooo`Go00004oooool5o`0000Cooooo1?l0002Jooooo`00I_ooool4o`00 00oooooo00Go0000oooooooooooo0000ooooo`04o`000003ooooool0003ooooo09_ooooo001Zoooo o`Co00002oooool5o`0000Gooooo00?o0000ooooooooool0V_ooool006kooooo1?l00003ooooo`Co 00000_ooool2o`0000Kooooo00?o0000ooooooooool0V_ooool007;ooooo0ol00007ooooo`03o`00 0?oooooooooo00Cooooo00?o0000ooooooooool0V_ooool008?ooooo00?o0000ooooooooool0V_oo ool008?ooooo00?o0000ooooooooool0V_ooool008?ooooo0_l0002Kooooo`00Poooool00ol0003o ooooooooo`2Jooooo`00Poooool00ol0003oooooooooo`2Jooooo`00Poooool00ol0003ooooooooo o`2Jooooo`00Poooool00ol0003oooooooooo`2Jooooo`00Poooool00ol0003oooooooooo`2Joooo o`00Poooool2o`0009_ooooo0023ooooo`03o`000?oooooooooo09[ooooo0023ooooo`03o`000?oo oooooooo09[ooooo0023ooooo`03o`000?oooooooooo09[ooooo0023ooooo`03o`000?oooooooooo 09[ooooo0023ooooo`03o`000?oooooooooo09[ooooo0023ooooo`;o0000Voooool008?ooooo00?o 0000ooooooooool0V_ooool008?ooooo00?o0000ooooooooool0V_ooool008?ooooo00?o0000oooo ooooool0V_ooool008?ooooo00?o0000ooooooooool0V_ooool008?ooooo00?o0000ooooooooool0 V_ooool008?ooooo0_l0002Kooooo`00Poooool00ol0003oooooooooo`2Jooooo`00Poooool00ol0 003oooooooooo`2Jooooo`00N_ooool3o`0000Kooooo00?o0000ooooooooool0V_ooool007Wooooo 00Go0000ooooooooooooooooo`000005ooooo`03o`000?oooooooooo09[ooooo001mooooo`03o`00 0?oooooooooo00?ooooo00?o0000ooooooooool0V_ooool007gooooo00?o0000ooooooooool00ooo ool2o`0009_ooooo001iooooo`Co0000Xoooool007Wooooo00?o0000ooooooooool0Y?ooool007Wo oooo1Ol0002Rooooo`00oooooolQooooo`00\ \>"], ImageRangeCache->{{{0, 287}, {223, 0}} -> {-4.29212, -2.14723, 0.0327107, \ 0.0327107}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell["The final result ", "Subsubsection"], Cell["We finally get back in the origin", "Text", FontWeight->"Bold"], Cell["The sum of all directions is zero", "Text"], Cell["Maybe it is even more apparent if we add segments", "Text"], Cell[BoxData[ \(\(Map[Line, Transpose[{Table[{0, 0}, {n}], Map[coords, coeffList\ directions[n]]}]];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(Show[Graphics[%], AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-4\), 5}, {\(-2\), 5}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .77778 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.444444 0.111111 0.222222 0.111111 [ [ 0 0 0 0 ] [ 1 .77778 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 .77778 L 0 .77778 L closepath clip newpath 0 g .5 Mabswid [ ] 0 setdash .44444 .22222 m .54283 .27386 L s .44444 .22222 m .50756 .31366 L s .44444 .22222 m .45784 .33252 L s .44444 .22222 m .40504 .32611 L s .44444 .22222 m .36128 .2959 L s .44444 .22222 m .33656 .24881 L s .44444 .22222 m .33656 .19563 L s .44444 .22222 m .36128 .14854 L s .44444 .22222 m .40504 .11833 L s .44444 .22222 m .45784 .11192 L s .44444 .22222 m .50756 .13078 L s .44444 .22222 m .54283 .17059 L s .44444 .22222 m .55556 .22222 L s % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 224}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgooooo`00Moooool00ol0003oooooooooo`08ooooo`03 o`000?oooooooooo00[ooooo00?o0000ooooooooool0S_ooool006Oooooo0_l0000>ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02Oooool00ol0003oooooooooo`2?ooooo`00JOoo ool00ol0003oooooooooo`0;ooooo`03o`000?oooooooooo00Sooooo00?o0000ooooooooool02?oo ool00ol0003oooooooooo`2@ooooo`00J_ooool00ol0003oooooooooo`0;ooooo`03o`000?oooooo oooo00Oooooo00?o0000ooooooooool01oooool00ol0003oooooooooo`2Aooooo`00Joooool00ol0 003oooooooooo`0:ooooo`03o`000?oooooooooo00Kooooo00?o0000ooooooooool02?ooool00ol0 003oooooooooo`2Aooooo`00K?ooool00ol0003oooooooooo`0:ooooo`03o`000?oooooooooo00Go oooo00?o0000ooooooooool01oooool00ol0003oooooooooo`2Booooo`00KOooool00ol0003ooooo ooooo`09ooooo`03o`000?oooooooooo00Gooooo00?o0000ooooooooool01_ooool00ol0003ooooo ooooo`2Cooooo`00K_ooool00ol0003oooooooooo`08ooooo`03o`000?oooooooooo00Gooooo00?o 0000ooooooooool01_ooool00ol0003oooooooooo`0=ooooo`;o0000Q?ooool006oooooo0_l00009 ooooo`03o`000?oooooooooo00Cooooo00?o0000ooooooooool01Oooool00ol0003oooooooooo`0< ooooo`;o0000Q_ooool0077ooooo00?o0000ooooooooool01_ooool00ol0003oooooooooo`04oooo o`03o`000?oooooooooo00Cooooo00?o0000ooooooooool02oooool2o`0008Sooooo001booooo`03 o`000?oooooooooo00Gooooo00?o0000ooooooooool01?ooool00ol0003oooooooooo`04ooooo`03 o`000?oooooooooo00Wooooo0_l0002:ooooo`00Loooool00ol0003oooooooooo`05ooooo`03o`00 0?oooooooooo00;ooooo00?o0000ooooooooool01?ooool00ol0003oooooooooo`09ooooo`03o`00 0?oooooooooo08[ooooo001dooooo`03o`000?oooooooooo00Cooooo00?o0000ooooooooool00_oo ool00ol0003oooooooooo`03ooooo`03o`000?oooooooooo00Sooooo0_l0002=ooooo`00MOooool0 0ol0003oooooooooo`04ooooo`05o`000?ooooooooooooooool000001Oooool00ol0003ooooooooo o`06ooooo`;o0000Soooool007Kooooo00?o0000ooooooooool00oooool01Ol0003ooooooooooooo oooo000000Cooooo00?o0000ooooooooool01Oooool2o`00097ooooo001Pooooo`?o00005?ooool2 o`0000?ooooo00Go0000ooooooooooooooooo`000003ooooo`03o`000?oooooooooo00Cooooo0_l0 002Cooooo`00Hoooool5o`00017ooooo00Go0000ooooooooooooooooo`000002ooooo`04o`000?oo ooooooooo`0000Gooooo0_l0002Eooooo`00J?ooool4o`0000kooooo00Co0000oooooooooooo0000 0_ooool01?l0003oooooooooool00003ooooo`;o0000Uoooool006cooooo1Ol0000:ooooo`03o`00 0?oooooo000000;ooooo00?o0000ooooool000000oooool00ol0003oooooooooo`2Gooooo`00LOoo ool4o`0000Oooooo00Ko0000ooooool0003o0000ooooool00002ooooo`;o0000V_ooool007Gooooo 1?l00004ooooo`?o000000Coooooo`000?l0003o0000W?ooool007Wooooo2Ol0002Nooooo`00OOoo oolSo`00083ooooo001iooooo`Go000000?oooooo`000?ooool00_l0002Mooooo`00MOooool4o`00 00?ooooo00?o0000ooooool000000_l00002ooooo`;o0000Voooool0077ooooo1?l00006ooooo`03 o`000?oooooooooo00;o000000?oooooo`000?ooool00_ooool2o`0009Wooooo001^ooooo`?o0000 2Oooool01?l0003oooooooooooooool2o`000003ooooool0003ooooo00Cooooo00?o0000oooooooo ool0U_ooool006[ooooo1?l0000;ooooo`05o`000?ooooooooooooooool000000_ooool00ol0003o ooooo`000005ooooo`;o0000U_ooool006Kooooo1?l0000>ooooo`03o`000?oooooooooo00;ooooo 00Co0000oooooooooooo00000_ooool00ol0003oooooooooo`04ooooo`;o0000U?ooool006;ooooo 1?l0000@ooooo`;o00001Oooool01?l0003oooooooooool00003ooooo`03o`000?oooooooooo00Go oooo0_l0002Booooo`00H?ooool2o`0001?ooooo00?o0000ooooooooool01?ooool01Ol0003ooooo oooooooooooo000000?ooooo00?o0000ooooooooool01oooool2o`00093ooooo001dooooo`03o`00 0?oooooooooo00Gooooo00Go0000ooooooooooooooooo`000004ooooo`03o`000?oooooooooo00So oooo0_l0002>ooooo`00Loooool00ol0003oooooooooo`06ooooo`05o`000?ooooooooooooooool0 00001Oooool00ol0003oooooooooo`09ooooo`;o0000S?ooool007;ooooo00?o0000ooooooooool0 1_ooool00ol0003oooooooooo`02ooooo`03o`000?oooooooooo00?ooooo00?o0000ooooooooool0 2oooool00ol0003oooooooooo`29ooooo`00LOooool00ol0003oooooooooo`07ooooo`03o`000?oo oooooooo00;ooooo00?o0000ooooooooool01?ooool00ol0003oooooooooo`0;ooooo`;o0000ROoo ool0073ooooo00?o0000ooooooooool01oooool00ol0003oooooooooo`04ooooo`03o`000?oooooo oooo00Cooooo00?o0000ooooooooool03?ooool2o`0008Oooooo001^ooooo`;o00002_ooool00ol0 003oooooooooo`04ooooo`03o`000?oooooooooo00Cooooo00?o0000ooooooooool03_ooool2o`00 08Gooooo001]ooooo`03o`000?oooooooooo00[ooooo00?o0000ooooooooool01?ooool00ol0003o ooooooooo`05ooooo`03o`000?oooooooooo00oooooo00?o0000ooooooooool0P_ooool006cooooo 00?o0000ooooooooool02_ooool00ol0003oooooooooo`05ooooo`03o`000?oooooooooo00Kooooo 00?o0000ooooooooool0Toooool006_ooooo00?o0000ooooooooool02oooool00ol0003ooooooooo o`05ooooo`03o`000?oooooooooo00Kooooo00?o0000ooooooooool0Toooool006[ooooo00?o0000 ooooooooool03?ooool00ol0003oooooooooo`05ooooo`03o`000?oooooooooo00Oooooo00?o0000 ooooooooool0T_ooool006Wooooo00?o0000ooooooooool03?ooool00ol0003oooooooooo`06oooo o`03o`000?oooooooooo00Sooooo00?o0000ooooooooool0TOooool006Sooooo00?o0000oooooooo ool03Oooool00ol0003oooooooooo`06ooooo`03o`000?oooooooooo00Wooooo00?o0000oooooooo ool0T?ooool006Oooooo00?o0000ooooooooool03Oooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool0T?ooool007Oooooo00?o0000ooooooooool02?oo ool00ol0003oooooooooo`09ooooo`03o`000?oooooooooo08oooooo001gooooo`03o`000?oooooo oooo00Sooooo00?o0000ooooooooool02_ooool00ol0003oooooooooo`2>ooooo`00M_ooool00ol0 003oooooooooo`09ooooo`03o`000?oooooooooo00[ooooo00?o0000ooooooooool0S_ooool007Ko oooo00?o0000ooooooooool02Oooool00ol0003oooooooooo`0;ooooo`03o`000?oooooooooo08go oooo001fooooo`03o`000?oooooooooo00Wooooo00?o0000ooooooooool03?ooool00ol0003ooooo ooooo`2"], ImageRangeCache->{{{0, 287}, {223, 0}} -> {-4.00454, -2.00004, 0.0313906, \ 0.0313906}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]], Cell["\<\ The endpoints of the segments constitute the vertices of theregular \ n -gon. Joining all segments as matchsticks one after the other draws the bigger n \ - gon in the previous Graphics cell.\ \>", "Text"] }, Closed]], Cell[CellGroupData[{ Cell["List programming for a sum", "Subsubsection"], Cell["\<\ Obtaining the final sum is easiest with a Dot product command: \ try\ \>", "Text"], Cell[BoxData[{ \(afew = {a, b, c, d}\), "\[IndentingNewLine]", \(m = Length[afew]\), "\[IndentingNewLine]", \(counts = Range[m]\), "\[IndentingNewLine]", \(afew\ counts\), "\[IndentingNewLine]", \(afew . counts\)}], "Input"], Cell["We have performed", "Text"], Cell[BoxData[ \(\(coeffList = Table[1, {13}];\)\)], "Input"], Cell[BoxData[ \(\(n = \ Length[coeffList];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(coeffList . directions[n]\)], "Input"], Cell[BoxData[ \(1 + \[ExponentialE]\^\(-\(\(2\ \[ImaginaryI]\ \[Pi]\)\/13\)\) + \ \[ExponentialE]\^\(\(2\ \[ImaginaryI]\ \[Pi]\)\/13\) + \[ExponentialE]\^\(-\(\ \(4\ \[ImaginaryI]\ \[Pi]\)\/13\)\) + \[ExponentialE]\^\(\(4\ \[ImaginaryI]\ \ \[Pi]\)\/13\) + \[ExponentialE]\^\(-\(\(6\ \[ImaginaryI]\ \[Pi]\)\/13\)\) + \ \[ExponentialE]\^\(\(6\ \[ImaginaryI]\ \[Pi]\)\/13\) + \[ExponentialE]\^\(-\(\ \(8\ \[ImaginaryI]\ \[Pi]\)\/13\)\) + \[ExponentialE]\^\(\(8\ \[ImaginaryI]\ \ \[Pi]\)\/13\) + \[ExponentialE]\^\(-\(\(10\ \[ImaginaryI]\ \[Pi]\)\/13\)\) + \ \[ExponentialE]\^\(\(10\ \[ImaginaryI]\ \[Pi]\)\/13\) + \ \[ExponentialE]\^\(-\(\(12\ \[ImaginaryI]\ \[Pi]\)\/13\)\) + \ \[ExponentialE]\^\(\(12\ \[ImaginaryI]\ \[Pi]\)\/13\)\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(FullSimplify[%]\)], "Input"], Cell[BoxData[ \(0\)], "Output"] }, Closed]], Cell["This will be used below to prove the inverse theorem", "Text", FontWeight->"Bold"] }, Closed]] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell["Discrete Fourier transform of a list.", "Section"], Cell[CellGroupData[{ Cell["Vectors with arbitrary lengths", "Subsection"], Cell["\<\ We recommend that this buildup be first performed with a list of \ positive numbers for lengths. However it works as well with negative lengths; in this case the spokes \ representing vectors are sticking backward from the direction.\ \>", "Text"], Cell[BoxData[ \(\(coeffList = { .2, .8, \(- .2\), .6, \(- .9\), 1, \(- .6\), .4, \(- .6\), .5, \(- .9\), 1, .3};\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(% // TableForm\)], "Input"], Cell[BoxData[ InterpretationBox[GridBox[{ {"0.2`"}, {"0.8`"}, {\(-0.2`\)}, {"0.6`"}, {\(-0.9`\)}, {"1"}, {\(-0.6`\)}, {"0.4`"}, {\(-0.6`\)}, {"0.5`"}, {\(-0.9`\)}, {"1"}, {"0.3`"} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], TableForm[ {0.20000000000000001, 0.80000000000000004, -0.20000000000000001, 0.59999999999999998, -0.90000000000000002, 1, -0.59999999999999998, 0.40000000000000002, -0.59999999999999998, 0.5, -0.90000000000000002, 1, 0.29999999999999999}]]], "Output"] }, Closed]], Cell["For later reference, here is their sum:", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Plus @@ coeffList\)], "Input"], Cell[BoxData[ \(1.6000000000000003`\)], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Start by using a fixed prime number ", "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ \(n = \ Length[coeffList]\)], "Input"], Cell[BoxData[ \(13\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell["For esthetical reasons we use a prime number of directions", \ "Subsubsection"], Cell["This is necessary to have the visual representations below.", "Text"], Cell["\<\ Remark: we will explain later what is different if n is no \ longer a prime. Such numbers are actually used in practice and in a FFT (fast Fourier \ transform) version of the DFT, n is a power of 2 .\ \>", "Text"], Cell[BoxData[ \(\(Map[coords, coeffList\ directions[n] // N];\)\)], "Input"], Cell["\<\ We now plot the endpoints of the vectors with lengths in coeffList\ \ \>", "Text"], Cell["\<\ Remark: since some numbers are negative, some of these endpoints \ lie on the other side of the origin, back from the original ray.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[%, AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-2\), 2}, {\(-2\), 2}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.5 0.25 0.5 0.25 [ [0 .4875 -6 -9 ] [0 .4875 6 0 ] [.125 .4875 -12 -9 ] [.125 .4875 12 0 ] [.25 .4875 -6 -9 ] [.25 .4875 6 0 ] [.375 .4875 -12 -9 ] [.375 .4875 12 0 ] [.625 .4875 -9 -9 ] [.625 .4875 9 0 ] [.75 .4875 -3 -9 ] [.75 .4875 3 0 ] [.875 .4875 -9 -9 ] [.875 .4875 9 0 ] [1 .4875 -3 -9 ] [1 .4875 3 0 ] [.4875 0 -12 -4.5 ] [.4875 0 0 4.5 ] [.4875 .125 -24 -4.5 ] [.4875 .125 0 4.5 ] [.4875 .25 -12 -4.5 ] [.4875 .25 0 4.5 ] [.4875 .375 -24 -4.5 ] [.4875 .375 0 4.5 ] [.4875 .625 -18 -4.5 ] [.4875 .625 0 4.5 ] [.4875 .75 -6 -4.5 ] [.4875 .75 0 4.5 ] [.4875 .875 -18 -4.5 ] [.4875 .875 0 4.5 ] [.4875 1 -6 -4.5 ] [.4875 1 0 4.5 ] [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash 0 .5 m 0 .50625 L s [(-2)] 0 .4875 0 1 Mshowa .125 .5 m .125 .50625 L s [(-1.5)] .125 .4875 0 1 Mshowa .25 .5 m .25 .50625 L s [(-1)] .25 .4875 0 1 Mshowa .375 .5 m .375 .50625 L s [(-0.5)] .375 .4875 0 1 Mshowa .625 .5 m .625 .50625 L s [(0.5)] .625 .4875 0 1 Mshowa .75 .5 m .75 .50625 L s [(1)] .75 .4875 0 1 Mshowa .875 .5 m .875 .50625 L s [(1.5)] .875 .4875 0 1 Mshowa 1 .5 m 1 .50625 L s [(2)] 1 .4875 0 1 Mshowa .125 Mabswid .025 .5 m .025 .50375 L s .05 .5 m .05 .50375 L s .075 .5 m .075 .50375 L s .1 .5 m .1 .50375 L s .15 .5 m .15 .50375 L s .175 .5 m .175 .50375 L s .2 .5 m .2 .50375 L s .225 .5 m .225 .50375 L s .275 .5 m .275 .50375 L s .3 .5 m .3 .50375 L s .325 .5 m .325 .50375 L s .35 .5 m .35 .50375 L s .4 .5 m .4 .50375 L s .425 .5 m .425 .50375 L s .45 .5 m .45 .50375 L s .475 .5 m .475 .50375 L s .525 .5 m .525 .50375 L s .55 .5 m .55 .50375 L s .575 .5 m .575 .50375 L s .6 .5 m .6 .50375 L s .65 .5 m .65 .50375 L s .675 .5 m .675 .50375 L s .7 .5 m .7 .50375 L s .725 .5 m .725 .50375 L s .775 .5 m .775 .50375 L s .8 .5 m .8 .50375 L s .825 .5 m .825 .50375 L s .85 .5 m .85 .50375 L s .9 .5 m .9 .50375 L s .925 .5 m .925 .50375 L s .95 .5 m .95 .50375 L s .975 .5 m .975 .50375 L s .25 Mabswid 0 .5 m 1 .5 L s .5 0 m .50625 0 L s [(-2)] .4875 0 1 0 Mshowa .5 .125 m .50625 .125 L s [(-1.5)] .4875 .125 1 0 Mshowa .5 .25 m .50625 .25 L s [(-1)] .4875 .25 1 0 Mshowa .5 .375 m .50625 .375 L s [(-0.5)] .4875 .375 1 0 Mshowa .5 .625 m .50625 .625 L s [(0.5)] .4875 .625 1 0 Mshowa .5 .75 m .50625 .75 L s [(1)] .4875 .75 1 0 Mshowa .5 .875 m .50625 .875 L s [(1.5)] .4875 .875 1 0 Mshowa .5 1 m .50625 1 L s [(2)] .4875 1 1 0 Mshowa .125 Mabswid .5 .025 m .50375 .025 L s .5 .05 m .50375 .05 L s .5 .075 m .50375 .075 L s .5 .1 m .50375 .1 L s .5 .15 m .50375 .15 L s .5 .175 m .50375 .175 L s .5 .2 m .50375 .2 L s .5 .225 m .50375 .225 L s .5 .275 m .50375 .275 L s .5 .3 m .50375 .3 L s .5 .325 m .50375 .325 L s .5 .35 m .50375 .35 L s .5 .4 m .50375 .4 L s .5 .425 m .50375 .425 L s .5 .45 m .50375 .45 L s .5 .475 m .50375 .475 L s .5 .525 m .50375 .525 L s .5 .55 m .50375 .55 L s .5 .575 m .50375 .575 L s .5 .6 m .50375 .6 L s .5 .65 m .50375 .65 L s .5 .675 m .50375 .675 L s .5 .7 m .50375 .7 L s .5 .725 m .50375 .725 L s .5 .775 m .50375 .775 L s .5 .8 m .50375 .8 L s .5 .825 m .50375 .825 L s .5 .85 m .50375 .85 L s .5 .9 m .50375 .9 L s .5 .925 m .50375 .925 L s .5 .95 m .50375 .95 L s .5 .975 m .50375 .975 L s .25 Mabswid .5 0 m .5 1 L s 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath .008 w .54427 .52324 Mdot .61361 .6646 Mdot .49397 .45036 Mdot .44681 .64025 Mdot .66841 .3508 Mdot .25726 .55983 Mdot .64564 .5359 Mdot .42515 .43369 Mdot .55319 .64025 Mdot .51507 .37591 Mdot .37219 .68517 Mdot .72136 .38382 Mdot .575 .5 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHg@3oool200000540 oooo001m0?ooo`800000203oool5000000D0oooo00<000000?ooo`3oool0S03oool00940oooo00<0 00000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo0P00002=0?oo o`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3o ool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`00 0000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool2000008d0oooo 002A0?ooo`030000003oool0oooo08`0oooo001k0?ooo`800000503oool00`000000oooo0?ooo`2< 0?ooo`00N`3oool2000001@0oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3o ool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03o ool008h0oooo0P0000000`3oool000000000002=0?ooo`00SP3oool2000000030?ooo`000000oooo 08d0oooo002A0?ooo`030000003oool0oooo08`0oooo00060?ooo`D00000603oool3000000@0oooo 00<000000?ooo`3oool00P3oool3000001X0oooo0`00000K0?ooo`800000103oool00`000000oooo 0?ooo`020?ooo`<000006@3oool00`000000oooo0?ooo`0H0?ooo`800000103oool00`000000oooo 0?ooo`020?ooo`<000006P3oool3000001X0oooo0`0000040?ooo`030000003oool0oooo0080oooo 0`00000I0?ooo`D000000P3oool000L0oooo00@000000?ooo`3oool000006@3oool00`000000oooo 0?ooo`070?ooo`050000003oool0oooo0?ooo`0000006P3oool00`000000oooo0?ooo`0I0?ooo`04 0000003oool0oooo000000L0oooo00D000000?ooo`3oool0oooo0000000H0?ooo`030000003oool0 oooo01L0oooo00@000000?ooo`3oool000001`3oool01@000000oooo0?ooo`3oool0000001X0oooo 00<000000?ooo`3oool06P3oool00`000000oooo0?ooo`070?ooo`050000003oool0oooo0?ooo`00 00006@3oool010000000oooo0?ooo`0000020?ooo`001@0000030?ooo`030000003oool0oooo0140 oooo1@0000030?ooo`030000003oool0oooo00/0oooo00<000000?ooo`3oool0403oool5000000<0 oooo00<000000?ooo`3oool04P3oool500000080oooo00@000000?ooo`3oool000002`3oool00`00 0000oooo0?ooo`0F0?ooo`030000003oool0oooo01L0oooo00@000000?ooo`3oool000002`3oool0 0`000000oooo0?ooo`0H0?ooo`030000003oool0oooo01X0oooo00<000000?ooo`3oool02`3oool0 0`000000oooo0?ooo`0H0?ooo`030000003oool0oooo0080oooo00090?ooo`030000003oool0oooo 01P0oooo00<000000?ooo`3oool02`3oool00`000000oooo0?ooo`0H0?ooo`030000003oool0oooo 01T0oooo00@000000?ooo`3oool000002`3oool00`000000oooo0?ooo`0F0?ooo`030000003oool0 oooo01L0oooo00@000000?ooo`3oool000002`3oool00`000000oooo0?ooo`0H0?ooo`030000003o ool0oooo01X0oooo00<000000?ooo`3oool02`3oool00`000000oooo0?ooo`0I0?ooo`030000003o ool0oooo0040oooo00060?ooo`050000003oool0oooo0?ooo`0000006@3oool00`000000oooo0?oo o`070?ooo`@000006`3oool00`000000oooo0?ooo`0I0?ooo`040000003oool0oooo000000L0oooo 1000000I0?ooo`800000603oool010000000oooo0?ooo`0000070?ooo`@000006`3oool00`000000 oooo0?ooo`0J0?ooo`030000003oool0oooo00L0oooo1000000I0?ooo`050000003oool0oooo0?oo o`0000000P3oool000H0oooo00D000000?ooo`3oool0oooo0000000H0?ooo`8000002@3oool00`00 0000oooo0?ooo`0K0?ooo`8000006`3oool010000000oooo0?ooo`0000070?ooo`030000003oool0 oooo01X0oooo00<000000?ooo`3oool05`3oool010000000oooo0?ooo`0000070?ooo`030000003o ool0oooo01/0oooo0P00000K0?ooo`8000002@3oool00`000000oooo0?ooo`0J0?ooo`050000003o ool0oooo0?ooo`0000000P3oool000L0oooo0`00000J0?ooo`030000003oool0oooo00L0oooo1@00 000J0?ooo`030000003oool0oooo01X0oooo0P0000080?ooo`D00000603oool00`000000oooo0?oo o`0H0?ooo`800000203oool5000001X0oooo00<000000?ooo`3oool06P3oool00`000000oooo0?oo o`070?ooo`D000006@3oool3000000<0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?oo o`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000 003oool0oooo08`0oooo00060?ooool00000600000030?ooo`001P3oool00`000000oooo0?ooo`03 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool00`3oool00`000000oooo0?ooo`04 0?ooo`030000003oool0oooo00@0oooo0P0000050?ooo`030000003oool0oooo00@0oooo00<00000 0?ooo`3oool0103oool00`000000oooo0?ooo`040?ooo`030000003oool0oooo00@0oooo00<00000 0?ooo`3oool0103oool00`000000oooo0?ooo`040?ooo`030000003oool0oooo00@0oooo00<00000 0?ooo`3oool0103oool00`000000oooo0?ooo`040?ooo`030000003oool0oooo00@0oooo00<00000 0?ooo`3oool0103oool00`000000oooo0?ooo`040?ooo`030000003oool0oooo00@0oooo00<00000 0?ooo`3oool0103oool00`000000oooo0?ooo`040?ooo`030000003oool0oooo00@0oooo00<00000 0?ooo`3oool00@3oool000H0oooo00<000000?ooo`3oool07`3oool00`000000oooo0?ooo`0P0?oo o`030000003oool0oooo0200oooo00<000000?ooo`3oool0803oool00`000000oooo0?ooo`0O0?oo o`030000003oool0oooo0200oooo00<000000?ooo`3oool0803oool00`000000oooo0?ooo`0P0?oo o`030000003oool0oooo0040oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000 003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0 oooo00P0oooo0P0000220?ooo`00T@3oool2000000T0oooo0P0000220?ooo`00T@3oool00`000000 oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?oo o`0T0?ooo`800000IP3oool00940oooo00<000000?ooo`3oool0903oool2000006H0oooo002A0?oo o`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`800000 S@3oool00940oooo00<000000?ooo`3oool0S03oool004`0oooo0P0000130?ooo`030000003oool0 oooo08`0oooo001<0?ooo`800000@`3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000 oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?oo o`2<0?ooo`00T@3oool2000008d0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`03 0000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003o ool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo 08`0oooo002A0?ooo`800000S@3oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<0 00000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool007d0oooo0P0000040?oo o`030000003oool0oooo0080oooo0`0000060?ooo`030000003oool0oooo08`0oooo001l0?ooo`04 0000003oool0oooo000000L0oooo00D000000?ooo`3oool0oooo000000050?ooo`030000003oool0 oooo08`0oooo001l0?ooo`040000003oool0oooo000000/0oooo00<000000?ooo`3oool00`3oool0 0`000000oooo0?ooo`2<0?ooo`00O03oool010000000oooo0?ooo`00000;0?ooo`030000003oool0 oooo00<0oooo0P00002=0?ooo`00O03oool010000000oooo0?ooo`0000070?ooo`@000001P3oool0 0`000000oooo0?ooo`2<0?ooo`00O03oool010000000oooo0?ooo`0000070?ooo`030000003oool0 oooo00L0oooo00<000000?ooo`3oool0S03oool007d0oooo0P0000080?ooo`D000001@3oool00`00 0000oooo0?ooo`2<0?ooo`00P@3oool2000000h0oooo00<000000?ooo`3oool02`3oool2000007l0 oooo00210?ooo`8000003P3oool00`000000oooo0?ooo`0;0?ooo`800000O`3oool00940oooo00<0 00000?ooo`3oool0S03oool00940oooo0P00002=0?ooo`00T@3oool00`000000oooo0?ooo`2<0?oo o`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`0L0?ooo`800000 KP3oool00940oooo00<000000?ooo`3oool0703oool2000006h0oooo002A0?ooo`030000003oool0 oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`800000S@3oool00940oooo 00<000000?ooo`3oool0S03oool006`0oooo0P00000S0?ooo`030000003oool0oooo08`0oooo001/ 0?ooo`8000008`3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?oo o`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3o ool2000008d0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo 08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo 002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?oo o`800000S@3oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0 S03oool00940oooo00<000000?ooo`3oool0S03oool008P0oooo0`0000060?ooo`030000003oool0 oooo08`0oooo00290?ooo`030000003oool0oooo00D0oooo00<000000?ooo`3oool0S03oool008T0 oooo00<000000?ooo`3oool01@3oool2000008d0oooo00290?ooo`030000003oool0oooo00D0oooo 00<000000?ooo`3oool0S03oool008T0oooo00<000000?ooo`3oool01@3oool00`000000oooo0?oo o`2<0?ooo`00R03oool2000000L0oooo00<000000?ooo`3oool0S03oool008T0oooo00<000000?oo o`3oool01@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00 T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool2000008d0oooo002A0?ooo`030000003oool0 oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0 oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A 0?ooo`030000003oool0oooo08`0oooo002A0?ooo`800000S@3oool00940oooo00<000000?ooo`3o ool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03o ool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940 oooo00<000000?ooo`3oool0S03oool00940oooo0P00002=0?ooo`00T@3oool00`000000oooo0?oo o`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?oo o`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3o ool00`000000oooo0?ooo`2<0?ooo`00T@3oool2000008d0oooo002A0?ooo`030000003oool0oooo 08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo 002A0?ooo`030000003oool0oooo08`0oooo001l0?ooo`<00000103oool00`000000oooo0?ooo`02 0?ooo`<000001P3oool00`000000oooo0?ooo`2<0?ooo`00O@3oool00`000000oooo0?ooo`070?oo o`050000003oool0oooo0?ooo`0000001@3oool00`000000oooo0?ooo`2<0?ooo`00O@3oool00`00 0000oooo0?ooo`0;0?ooo`030000003oool0oooo00<0oooo0P00002=0?ooo`00O@3oool00`000000 oooo0?ooo`0;0?ooo`030000003oool0oooo00<0oooo00<000000?ooo`3oool0S03oool007d0oooo 00<000000?ooo`3oool01`3oool4000000H0oooo00<000000?ooo`3oool0S03oool007`0oooo0P00 00090?ooo`030000003oool0oooo00L0oooo00<000000?ooo`3oool0S03oool007d0oooo00<00000 0?ooo`3oool01`3oool5000000D0oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?oo o`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo0P00002=0?ooo`00T@3o ool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`00 0000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo 0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool2000008d0oooo002A0?oo o`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000 003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0 oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`800000S@3oool00940oooo 00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<00000 0?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3o ool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo0P00002=0?ooo`00T@3oool0 0`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000 oooo0?ooo`2<0?ooo`00Q`3oool5000000D0oooo00<000000?ooo`3oool0S03oool008P0oooo00@0 00000?ooo`3oool000001@3oool00`000000oooo0?ooo`2<0?ooo`00R@3oool00`000000oooo0?oo o`050?ooo`030000003oool0oooo08`0oooo002:0?ooo`030000003oool0oooo00@0oooo0P00002= 0?ooo`00Q`3oool01@000000oooo0?ooo`3oool0000009@0oooo00270?ooo`050000003oool0oooo 0?ooo`000000U03oool008P0oooo0`00002E0?ooo`00o`3ooolQ0?ooo`00\ \>"], ImageRangeCache->{{{0, 287}, {287, 0}} -> {-2.08635, -2.06477, 0.0143886, \ 0.0143886}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Adding vectors one by one", "Subsubsection"], Cell["produces a kind of walk from the origin:", "Text", FontWeight->"Bold"], Cell[BoxData[ \(\(points = FoldList[Plus, {0, 0}, %%];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[%, PlotJoined \[Rule] True, AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-2\), 2}, {\(-2\), 2}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.5 0.25 0.5 0.25 [ [0 .4875 -6 -9 ] [0 .4875 6 0 ] [.125 .4875 -12 -9 ] [.125 .4875 12 0 ] [.25 .4875 -6 -9 ] [.25 .4875 6 0 ] [.375 .4875 -12 -9 ] [.375 .4875 12 0 ] [.625 .4875 -9 -9 ] [.625 .4875 9 0 ] [.75 .4875 -3 -9 ] [.75 .4875 3 0 ] [.875 .4875 -9 -9 ] [.875 .4875 9 0 ] [1 .4875 -3 -9 ] [1 .4875 3 0 ] [.4875 0 -12 -4.5 ] [.4875 0 0 4.5 ] [.4875 .125 -24 -4.5 ] [.4875 .125 0 4.5 ] [.4875 .25 -12 -4.5 ] [.4875 .25 0 4.5 ] [.4875 .375 -24 -4.5 ] [.4875 .375 0 4.5 ] [.4875 .625 -18 -4.5 ] [.4875 .625 0 4.5 ] [.4875 .75 -6 -4.5 ] [.4875 .75 0 4.5 ] [.4875 .875 -18 -4.5 ] [.4875 .875 0 4.5 ] [.4875 1 -6 -4.5 ] [.4875 1 0 4.5 ] [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash 0 .5 m 0 .50625 L s [(-2)] 0 .4875 0 1 Mshowa .125 .5 m .125 .50625 L s [(-1.5)] .125 .4875 0 1 Mshowa .25 .5 m .25 .50625 L s [(-1)] .25 .4875 0 1 Mshowa .375 .5 m .375 .50625 L s [(-0.5)] .375 .4875 0 1 Mshowa .625 .5 m .625 .50625 L s [(0.5)] .625 .4875 0 1 Mshowa .75 .5 m .75 .50625 L s [(1)] .75 .4875 0 1 Mshowa .875 .5 m .875 .50625 L s [(1.5)] .875 .4875 0 1 Mshowa 1 .5 m 1 .50625 L s [(2)] 1 .4875 0 1 Mshowa .125 Mabswid .025 .5 m .025 .50375 L s .05 .5 m .05 .50375 L s .075 .5 m .075 .50375 L s .1 .5 m .1 .50375 L s .15 .5 m .15 .50375 L s .175 .5 m .175 .50375 L s .2 .5 m .2 .50375 L s .225 .5 m .225 .50375 L s .275 .5 m .275 .50375 L s .3 .5 m .3 .50375 L s .325 .5 m .325 .50375 L s .35 .5 m .35 .50375 L s .4 .5 m .4 .50375 L s .425 .5 m .425 .50375 L s .45 .5 m .45 .50375 L s .475 .5 m .475 .50375 L s .525 .5 m .525 .50375 L s .55 .5 m .55 .50375 L s .575 .5 m .575 .50375 L s .6 .5 m .6 .50375 L s .65 .5 m .65 .50375 L s .675 .5 m .675 .50375 L s .7 .5 m .7 .50375 L s .725 .5 m .725 .50375 L s .775 .5 m .775 .50375 L s .8 .5 m .8 .50375 L s .825 .5 m .825 .50375 L s .85 .5 m .85 .50375 L s .9 .5 m .9 .50375 L s .925 .5 m .925 .50375 L s .95 .5 m .95 .50375 L s .975 .5 m .975 .50375 L s .25 Mabswid 0 .5 m 1 .5 L s .5 0 m .50625 0 L s [(-2)] .4875 0 1 0 Mshowa .5 .125 m .50625 .125 L s [(-1.5)] .4875 .125 1 0 Mshowa .5 .25 m .50625 .25 L s [(-1)] .4875 .25 1 0 Mshowa .5 .375 m .50625 .375 L s [(-0.5)] .4875 .375 1 0 Mshowa .5 .625 m .50625 .625 L s [(0.5)] .4875 .625 1 0 Mshowa .5 .75 m .50625 .75 L s [(1)] .4875 .75 1 0 Mshowa .5 .875 m .50625 .875 L s [(1.5)] .4875 .875 1 0 Mshowa .5 1 m .50625 1 L s [(2)] .4875 1 1 0 Mshowa .125 Mabswid .5 .025 m .50375 .025 L s .5 .05 m .50375 .05 L s .5 .075 m .50375 .075 L s .5 .1 m .50375 .1 L s .5 .15 m .50375 .15 L s .5 .175 m .50375 .175 L s .5 .2 m .50375 .2 L s .5 .225 m .50375 .225 L s .5 .275 m .50375 .275 L s .5 .3 m .50375 .3 L s .5 .325 m .50375 .325 L s .5 .35 m .50375 .35 L s .5 .4 m .50375 .4 L s .5 .425 m .50375 .425 L s .5 .45 m .50375 .45 L s .5 .475 m .50375 .475 L s .5 .525 m .50375 .525 L s .5 .55 m .50375 .55 L s .5 .575 m .50375 .575 L s .5 .6 m .50375 .6 L s .5 .65 m .50375 .65 L s .5 .675 m .50375 .675 L s .5 .7 m .50375 .7 L s .5 .725 m .50375 .725 L s .5 .775 m .50375 .775 L s .5 .8 m .50375 .8 L s .5 .825 m .50375 .825 L s .5 .85 m .50375 .85 L s .5 .9 m .50375 .9 L s .5 .925 m .50375 .925 L s .5 .95 m .50375 .95 L s .5 .975 m .50375 .975 L s .25 Mabswid .5 0 m .5 1 L s 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath .5 Mabswid .5 .5 m .54427 .52324 L .65789 .68783 L .65186 .6382 L .59867 .77845 L .76708 .62925 L .52435 .68908 L .66999 .72497 L .59514 .65866 L .64833 .79891 L .6634 .67483 L .53558 .86 L .75695 .74382 L .83195 .74382 L s % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHg0?ooo`8000001@3oool2000005h0oooo002A0?ooo`030000003oool0 oooo01@0oooo00<000000?ooo`3oool03P3oool2000000<0oooo0P00001P0?ooo`00T@3oool00`00 0000oooo0?ooo`0C0?ooo`030000003oool0oooo00l0oooo0P0000000`3oool000000000001R0?oo o`00T@3oool2000001<0oooo00<000000?ooo`3oool04@3oool2000006@0oooo002A0?ooo`030000 003oool0oooo0180oooo00<000000?ooo`3oool03`3oool2000006H0oooo002A0?ooo`030000003o ool0oooo0140oooo00<000000?ooo`3oool03P3oool2000006P0oooo002A0?ooo`030000003oool0 oooo0100oooo00<000000?ooo`3oool03@3oool2000006X0oooo002A0?ooo`030000003oool0oooo 0100oooo00<000000?ooo`3oool02`3oool2000006`0oooo002A0?ooo`030000003oool0oooo00l0 oooo00<000000?ooo`3oool02P3oool2000006h0oooo002A0?ooo`030000003oool0oooo00h0oooo 00<000000?ooo`3oool02@3oool200000700oooo002A0?ooo`8000003P3oool00`000000oooo0?oo o`080?ooo`800000LP3oool00940oooo00<000000?ooo`3oool03@3oool00`000000oooo0?ooo`06 0?ooo`800000M03oool00940oooo00<000000?ooo`3oool0303oool00`000000oooo0?ooo`060?oo o`030000003oool0oooo07@0oooo002A0?ooo`030000003oool0oooo00/0oooo00<000000?ooo`3o ool01@3oool2000007L0oooo002A0?ooo`030000003oool0oooo00/0oooo00<000000?ooo`3oool0 0`3oool2000007T0oooo002A0?ooo`030000003oool0oooo00X0oooo00<000000?ooo`3oool00P3o ool2000007/0oooo002A0?ooo`030000003oool0oooo00T0oooo00@000000?ooo`3oool0oooo0P00 001m0?ooo`00T@3oool2000000T0oooo00<000000?ooo`3oool00P00001o0?ooo`00T@3oool00`00 0000oooo0?ooo`080?ooo`<00000P@3oool00940oooo00<000000?ooo`3oool01`3oool2000008<0 oooo002A0?ooo`030000003oool0oooo00H0oooo00<000000?ooo`3oool0P`3oool00940oooo00<0 00000?ooo`3oool0S03oool007`0oooo0`0000040?ooo`030000003oool0oooo0080oooo0`000006 0?ooo`030000003oool0oooo08`0oooo001m0?ooo`030000003oool0oooo00L0oooo00D000000?oo o`3oool0oooo000000050?ooo`030000003oool0oooo08`0oooo001m0?ooo`030000003oool0oooo 00/0oooo00<000000?ooo`3oool00`3oool2000008d0oooo001m0?ooo`030000003oool0oooo00/0 oooo00<000000?ooo`3oool00`3oool00`000000oooo0?ooo`2<0?ooo`00O@3oool00`000000oooo 0?ooo`070?ooo`@000001P3oool00`000000oooo0?ooo`2<0?ooo`00O03oool2000000T0oooo00<0 00000?ooo`3oool01`3oool00`000000oooo0?ooo`2<0?ooo`00O@3oool00`000000oooo0?ooo`07 0?ooo`D000001@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?oo o`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool2000008d0oooo002A0?ooo`030000003o ool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo 08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo 002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`800000S@3oool00940oooo00<000000?oo o`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0 S03oool00940oooo00<000000?ooo`3oool0S03oool00940oooo00<000000?ooo`3oool0S03oool0 0940oooo00<000000?ooo`3oool0S03oool00940oooo0P00002=0?ooo`00T@3oool00`000000oooo 0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2< 0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool00`000000oooo0?ooo`2<0?ooo`00 T@3oool00`000000oooo0?ooo`2<0?ooo`00T@3oool2000008d0oooo002A0?ooo`030000003oool0 oooo08`0oooo002A0?ooo`030000003oool0oooo08`0oooo002A0?ooo`030000003oool0oooo08`0 oooo00270?ooo`D000001@3oool00`000000oooo0?ooo`2<0?ooo`00R03oool010000000oooo0?oo o`0000050?ooo`030000003oool0oooo08`0oooo00290?ooo`030000003oool0oooo00D0oooo00<0 00000?ooo`3oool0S03oool008X0oooo00<000000?ooo`3oool0103oool2000008d0oooo00270?oo o`050000003oool0oooo0?ooo`000000U03oool008L0oooo00D000000?ooo`3oool0oooo0000002D 0?ooo`00R03oool3000009D0oooo003o0?ooob40oooo0000\ \>"], ImageRangeCache->{{{0, 287}, {287, 0}} -> {-2.08635, -2.06477, 0.0143886, \ 0.0143886}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]], Cell[BoxData[ \(\(Map[Line, Transpose[{Table[{0, 0}, {n}], Map[coords, coeffList\ directions[n]]}]];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(Show[Graphics[%], AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-2\), 2}, {\(-2\), 2}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.5 0.25 0.5 0.25 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 0 g .5 Mabswid [ ] 0 setdash .5 .5 m .54427 .52324 L s .5 .5 m .61361 .6646 L s .5 .5 m .49397 .45036 L s .5 .5 m .44681 .64025 L s .5 .5 m .66841 .3508 L s .5 .5 m .25726 .55983 L s .5 .5 m .64564 .5359 L s .5 .5 m .42515 .43369 L s .5 .5 m .55319 .64025 L s .5 .5 m .51507 .37591 L s .5 .5 m .37219 .68517 L s .5 .5 m .72136 .38382 L s .5 .5 m .575 .5 L s % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHg0?ooo`800000I`3oool00940oooo00<000000?ooo`3oool04@3o ool00`000000oooo0?ooo`0=0?ooo`800000J@3oool007X0oooo0P00000E0?ooo`030000003oool0 oooo0100oooo00<000000?ooo`3oool0303oool2000006/0oooo001l0?ooo`030000003oool0oooo 0180oooo00<000000?ooo`3oool03`3oool00`000000oooo0?ooo`0;0?ooo`800000K@3oool007d0 oooo00<000000?ooo`3oool04@3oool00`000000oooo0?ooo`0=0?ooo`800000303oool2000006l0 oooo001n0?ooo`030000003oool0oooo0100oooo00<000000?ooo`3oool0303oool00`000000oooo 0?ooo`0:0?ooo`800000L@3oool007l0oooo00<000000?ooo`3oool03`3oool00`000000oooo0?oo o`0;0?ooo`030000003oool0oooo00T0oooo0P00001c0?ooo`00P03oool00`000000oooo0?ooo`0: 0?ooo`050000003oool0oooo0?ooo`000000303oool00`000000oooo0?ooo`080?ooo`800000M@3o ool00840oooo00<000000?ooo`3oool02@3oool010000000oooo0?ooo`00000<0?ooo`030000003o ool0oooo00L0oooo0P00001g0?ooo`00PP3oool00`000000oooo0?ooo`080?ooo`040000003oool0 oooo000000/0oooo00<000000?ooo`3oool01P3oool2000007T0oooo00230?ooo`030000003oool0 oooo00L0oooo00@000000?ooo`3oool000002P3oool00`000000oooo0?ooo`050?ooo`800000N`3o ool008@0oooo0P0000080?ooo`030000003oool0000000T0oooo00<000000?ooo`3oool0103oool2 000007d0oooo00260?ooo`030000003oool0oooo00D0oooo00<000000?ooo`0000001`3oool20000 00D0oooo0P00001o0?ooo`00Q`3oool00`000000oooo0?ooo`040?ooo`030000003oool0000000H0 oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`1o0?ooo`00R03oool00`000000oooo 0?ooo`030?ooo`030000003oool0000000D0oooo00<000000?ooo`3oool00`3oool200000880oooo 00290?ooo`030000003oool0oooo0080oooo00<000000?ooo`000000103oool00`000000oooo0?oo o`020?ooo`800000Q03oool008X0oooo00L000000?ooo`3oool0oooo0000003oool0000000<0oooo 00@000000?ooo`3oool0oooo0P0000260?ooo`00R`3oool00`000000oooo0?ooo`02000000<0oooo 00<000000?ooo`3oool00P0000280?ooo`00S03oool010000000oooo0?ooo`0000020?ooo`040000 003oool00000000008X0oooo002=0?ooo`040000003oool000000?ooo`<00000S03oool008h0oooo 1000002>0?ooo`00S@3ooolI000007X0oooo00290?ooo`@000000P3oool00`000000oooo00000004 000008X0oooo00250?ooo`@000001@3oool00`000000oooo000000020?ooo`80000000<0oooo0000 000000000`0000250?ooo`00P@3oool4000000P0oooo0P0000000`3oool00000000000030?ooo`80 0000103oool400000840oooo001l0?ooo`D00000303oool2000000030?ooo`000000000000D0oooo 00<000000?ooo`3oool01@3oool4000007d0oooo001h0?ooo`@00000403oool2000000<0oooo0P00 00050?ooo`8000002@3oool4000007T0oooo001d0?ooo`@000004`3oool00`000000oooo00000003 0?ooo`030000003oool0000000H0oooo0P00000;0?ooo`@00000M@3oool00700oooo1000000F0?oo o`040000003oool0oooo000000<0oooo00@000000?ooo`3oool000001`3oool00`000000oooo0?oo o`0<0?ooo`D00000L03oool006`0oooo1000000J0?ooo`030000003oool0000000D0oooo00<00000 0?ooo`0000006`3oool4000006`0oooo001X0?ooo`@000007@3oool010000000oooo0?ooo`000005 0?ooo`040000003oool0oooo000001h0oooo1000001X0?ooo`00I03oool400000200oooo00@00000 0?ooo`3oool000001`3oool010000000oooo0?ooo`00000Q0?ooo`800000IP3oool00600oooo1000 000T0?ooo`040000003oool0oooo000000L0oooo00@000000?ooo`3oool00000R@3oool005`0oooo 1000000W0?ooo`050000003oool0oooo0?ooo`0000001`3oool01@000000oooo0?ooo`3oool00000 08P0oooo001G0?ooo`D00000:P3oool01@000000oooo0?ooo`3oool0000000T0oooo00D000000?oo o`3oool0oooo000000270?ooo`00D`3oool4000002l0oooo00D000000?ooo`3oool0oooo00000009 0?ooo`050000003oool0oooo0?ooo`000000Q`3oool004l0oooo1000000b0?ooo`030000003oool0 oooo0080oooo00<000000?ooo`3oool01`3oool00`000000oooo0?ooo`020?ooo`030000003oool0 oooo08@0oooo001;0?ooo`@00000=@3oool00`000000oooo0?ooo`020?ooo`030000003oool0oooo 00T0oooo00<000000?ooo`3oool00P3oool00`000000oooo0?ooo`230?ooo`00B@3oool2000003P0 oooo00<000000?ooo`3oool00`3oool00`000000oooo0?ooo`090?ooo`030000003oool0oooo00<0 oooo00<000000?ooo`3oool0PP3oool008<0oooo00<000000?ooo`3oool00P3oool00`000000oooo 0?ooo`0;0?ooo`030000003oool0oooo0080oooo00<000000?ooo`3oool0PP3oool00880oooo00<0 00000?ooo`3oool00`3oool00`000000oooo0?ooo`0;0?ooo`030000003oool0oooo00<0oooo00<0 00000?ooo`3oool0P@3oool00840oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`0; 0?ooo`030000003oool0oooo00@0oooo00<000000?ooo`3oool0P03oool00840oooo00<000000?oo o`3oool00`3oool00`000000oooo0?ooo`0=0?ooo`030000003oool0oooo00<0oooo00<000000?oo o`3oool0P03oool00800oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`0=0?ooo`03 0000003oool0oooo00@0oooo00<000000?ooo`3oool0O`3oool007l0oooo00<000000?ooo`3oool0 1@3oool00`000000oooo0?ooo`0=0?ooo`030000003oool0oooo00D0oooo00<000000?ooo`3oool0 OP3oool007l0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`0?0?ooo`030000003o ool0oooo00D0oooo00<000000?ooo`3oool0O@3oool007h0oooo00<000000?ooo`3oool01@3oool0 0`000000oooo0?ooo`0?0?ooo`030000003oool0oooo00D0oooo00<000000?ooo`3oool0O@3oool0 07d0oooo00<000000?ooo`3oool01@3oool00`000000oooo0?ooo`0A0?ooo`030000003oool0oooo 00D0oooo00<000000?ooo`3oool0O03oool007`0oooo00<000000?ooo`3oool01P3oool00`000000 oooo0?ooo`0A0?ooo`030000003oool0oooo00H0oooo00<000000?ooo`3oool0N`3oool007`0oooo 00<000000?ooo`3oool01P3oool00`000000oooo0?ooo`0A0?ooo`030000003oool0oooo00H0oooo 00<000000?ooo`3oool0N`3oool007/0oooo00<000000?ooo`3oool01P3oool00`000000oooo0?oo o`0C0?ooo`030000003oool0oooo00H0oooo00<000000?ooo`3oool0NP3oool007X0oooo00<00000 0?ooo`3oool01`3oool00`000000oooo0?ooo`0C0?ooo`030000003oool0oooo00L0oooo00<00000 0?ooo`3oool0N@3oool007X0oooo00<000000?ooo`3oool01`3oool00`000000oooo0?ooo`0C0?oo o`030000003oool0oooo00L0oooo00<000000?ooo`3oool0N@3oool007T0oooo00<000000?ooo`3o ool01`3oool00`000000oooo0?ooo`0E0?ooo`030000003oool0oooo00L0oooo00<000000?ooo`3o ool0N03oool007P0oooo00<000000?ooo`3oool0203oool00`000000oooo0?ooo`0E0?ooo`030000 003oool0oooo00P0oooo00<000000?ooo`3oool0M`3oool007P0oooo00<000000?ooo`3oool01`3o ool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo00P0oooo00<000000?ooo`3oool0MP3o ool007L0oooo00<000000?ooo`3oool0203oool00`000000oooo0?ooo`0G0?ooo`030000003oool0 oooo00P0oooo00<000000?ooo`3oool0MP3oool007H0oooo00<000000?ooo`3oool02@3oool00`00 0000oooo0?ooo`0G0?ooo`030000003oool0oooo00T0oooo00<000000?ooo`3oool0M@3oool007H0 oooo00<000000?ooo`3oool0203oool00`000000oooo0?ooo`0I0?ooo`030000003oool0oooo00T0 oooo00<000000?ooo`3oool0M03oool007D0oooo00<000000?ooo`3oool02@3oool00`000000oooo 0?ooo`0I0?ooo`030000003oool0oooo00T0oooo00<000000?ooo`3oool0M03oool007@0oooo00<0 00000?ooo`3oool02P3oool00`000000oooo0?ooo`0I0?ooo`030000003oool0oooo00X0oooo00<0 00000?ooo`3oool0L`3oool007<0oooo00<000000?ooo`3oool02P3oool00`000000oooo0?ooo`0K 0?ooo`030000003oool0oooo00X0oooo00<000000?ooo`3oool0LP3oool007<0oooo00<000000?oo o`3oool0=@3oool00`000000oooo0?ooo`1b0?ooo`00LP3oool00`000000oooo0?ooo`0g0?ooo`03 0000003oool0oooo0740oooo001a0?ooo`030000003oool0oooo03T0oooo00<000000?ooo`3oool0 L03oool00740oooo00<000000?ooo`3oool0>P3oool00`000000oooo0?ooo`1_0?ooo`00L03oool0 0`000000oooo0?ooo`0k0?ooo`030000003oool0oooo06l0oooo001_0?ooo`030000003oool0oooo 03d0oooo00<000000?ooo`3oool0KP3oool006l0oooo00<000000?ooo`3oool0?P3oool00`000000 oooo0?ooo`1]0?ooo`00KP3oool00`000000oooo0?ooo`2_0?ooo`00K@3oool00`000000oooo0?oo o`2`0?ooo`00K03oool00`000000oooo0?ooo`2a0?ooo`00K03oool00`000000oooo0?ooo`2a0?oo o`00J`3oool00`000000oooo0?ooo`2b0?ooo`00JP3oool00`000000oooo0?ooo`2c0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3o oolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00\ \>"], ImageRangeCache->{{{0, 287}, {287, 0}} -> {-2.00002, -2.00002, 0.0139374, \ 0.0139374}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]], Cell["\<\ This can also be done in colours corresponding to directions. We \ may even draw arrows using the \ \>", "Text", FontWeight->"Bold"], Cell[BoxData[ \(<< Graphics`Arrow`\)], "Input"], Cell[TextData[{ StyleBox["package.", FontWeight->"Bold"], " This is not necessary here since we know all vectors start from the \ origin." }], "Text"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Selection of the k-th harmonic", "Subsection"], Cell["\<\ Start by counting angles by multiples of a fixed number k \ :\ \>", "Text", FontWeight->"Bold"], Cell[BoxData[ \(mixDirections[n_, k_] := \[ExponentialE]\^\(\[ImaginaryI]\ k\ Range[n]\ 2\ \ \(\(\[Pi]/n\)\(\ \)\)\)\)], "Input"], Cell[TextData[{ "We are in fact using multiplication in ", Cell[BoxData[ \(TraditionalForm\`U\_n\)]] }], "Text", FontWeight->"Bold"], Cell[CellGroupData[{ Cell[BoxData[ \(Table[Mod[k\ Range[13], 13], {k, 13}] // TableForm\)], "Input"], Cell[BoxData[ TagBox[GridBox[{ {"1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "0"}, {"2", "4", "6", "8", "10", "12", "1", "3", "5", "7", "9", "11", "0"}, {"3", "6", "9", "12", "2", "5", "8", "11", "1", "4", "7", "10", "0"}, {"4", "8", "12", "3", "7", "11", "2", "6", "10", "1", "5", "9", "0"}, {"5", "10", "2", "7", "12", "4", "9", "1", "6", "11", "3", "8", "0"}, {"6", "12", "5", "11", "4", "10", "3", "9", "2", "8", "1", "7", "0"}, {"7", "1", "8", "2", "9", "3", "10", "4", "11", "5", "12", "6", "0"}, {"8", "3", "11", "6", "1", "9", "4", "12", "7", "2", "10", "5", "0"}, {"9", "5", "1", "10", "6", "2", "11", "7", "3", "12", "8", "4", "0"}, {"10", "7", "4", "1", "11", "8", "5", "2", "12", "9", "6", "3", "0"}, {"11", "9", "7", "5", "3", "1", "12", "10", "8", "6", "4", "2", "0"}, {"12", "11", "10", "9", "8", "7", "6", "5", "4", "3", "2", "1", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], (TableForm[ #]&)]], "Output"] }, Closed]], Cell["We will use this way of counting to make new sums.", "Text"], Cell[CellGroupData[{ Cell["Selection of the 2-nd harmonic", "Subsubsection"], Cell[BoxData[ \(\(Map[coords, coeffList\ mixDirections[n, 2] // N];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[%, AspectRatio \[Rule] Automatic, PlotRange \[Rule] {{\(-2\), 2}, {\(-2\), 2}}]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.5 0.25 0.5 0.25 [ [0 .4875 -6 -9 ] [0 .4875 6 0 ] [.125 .4875 -12 -9 ] [.125 .4875 12 0 ] [.25 .4875 -6 -9 ] [.25 .4875 6 0 ] [.375 .4875 -12 -9 ] [.375 .4875 12 0 ] [.625 .4875 -9 -9 ] [.625 .4875 9 0 ] [.75 .4875 -3 -9 ] [.75 .4875 3 0 ] [.875 .4875 -9 -9 ] [.875 .4875 9 0 ] [1 .4875 -3 -9 ] [1 .4875 3 0 ] [.4875 0 -12 -4.5 ] [.4875 0 0 4.5 ] [.4875 .125 -24 -4.5 ] [.4875 .125 0 4.5 ] [.4875 .25 -12 -4.5 ] [.4875 .25 0 4.5 ] [.4875 .375 -24 -4.5 ] [.4875 .375 0 4.5 ] [.4875 .625 -18 -4.5 ] [.4875 .625 0 4.5 ] [.4875 .75 -6 -4.5 ] [.4875 .75 0 4.5 ] [.4875 .875 -18 -4.5 ] [.4875 .875 0 4.5 ] [.4875 1 -6 -4.5 ] [.4875 1 0 4.5 ] [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash 0 .5 m 0 .50625 L s [(-2)] 0 .4875 0 1 Mshowa .125 .5 m .125 .50625 L s [(-1.5)] .125 .4875 0 1 Mshowa .25 .5 m .25 .50625 L s [(-1)] .25 .4875 0 1 Mshowa .375 .5 m .375 .50625 L s [(-0.5)] .375 .4875 0 1 Mshowa .625 .5 m .625 .50625 L s [(0.5)] .625 .4875 0 1 Mshowa .75 .5 m .75 .50625 L s [(1)] .75 .4875 0 1 Mshowa .875 .5 m .875 .50625 L s [(1.5)] .875 .4875 0 1 Mshowa 1 .5 m 1 .50625 L s [(2)] 1 .4875 0 1 Mshowa .125 Mabswid .025 .5 m .025 .50375 L s .05 .5 m .05 .50375 L s .075 .5 m .075 .50375 L s .1 .5 m .1 .50375 L s .15 .5 m .15 .50375 L s .175 .5 m .175 .50375 L s .2 .5 m .2 .50375 L s .225 .5 m .225 .50375 L s .275 .5 m .275 .50375 L s .3 .5 m .3 .50375 L s .325 .5 m .325 .50375 L s .35 .5 m .35 .50375 L s .4 .5 m .4 .50375 L s .425 .5 m .425 .50375 L s .45 .5 m .45 .50375 L s .475 .5 m .475 .50375 L s .525 .5 m .525 .50375 L s .55 .5 m .55 .50375 L s .575 .5 m .575 .50375 L s .6 .5 m .6 .50375 L s .65 .5 m .65 .50375 L s .675 .5 m .675 .50375 L s .7 .5 m .7 .50375 L s .725 .5 m .725 .50375 L s .775 .5 m .775 .50375 L s .8 .5 m .8 .50375 L s .825 .5 m .825 .50375 L s .85 .5 m .85 .50375 L s .9 .5 m .9 .50375 L s .925 .5 m .925 .50375 L s .95 .5 m .95 .50375 L s .975 .5 m .975 .50375 L s .25 Mabswid 0 .5 m 1 .5 L s .5 0 m .50625 0 L s [(-2)] .4875 0 1 0 Mshowa .5 .125 m .50625 .125 L s [(-1.5)] .4875 .125 1 0 Mshowa .5 .25 m .50625 .25 L s [(-1)] .4875 .25 1 0 Mshowa .5 .375 m .50625 .375 L s [(-0.5)] .4875 .375 1 0 Mshowa .5 .625 m .50625 .625 L s [(0.5)] .4875 .625 1 0 Mshowa .5 .75 m .50625 .75 L s [(1)] .4875 .75 1 0 Mshowa .5 .875 m .50625 .875 L s [(1.5)] .4875 .875 1 0 Mshowa .5 1 m .50625 1 L s [(2)] .4875 1 1 0 Mshowa .125 Mabswid .5 .025 m .50375 .025 L s .5 .05 m .50375 .05 L s .5 .075 m .50375 .075 L s .5 .1 m .50375 .1 L s .5 .15 m .50375 .15 L s .5 .175 m .50375 .175 L s .5 .2 m .50375 .2 L s .5 .225 m .50375 .225 L s .5 .275 m .50375 .275 L s .5 .3 m .50375 .3 L s .5 .325 m .50375 .325 L s .5 .35 m .50375 .35 L s .5 .4 m .50375 .4 L s .5 .425 m .50375 .425 L s .5 .45 m .50375 .45 L s .5 .475 m .50375 .475 L s .5 .525 m .50375 .525 L s .5 .55 m .50375 .55 L s .5 .575 m .50375 .575 L s .5 .6 m .50375 .6 L s .5 .65 m .50375 .65 L s .5 .675 m .50375 .675 L s .5 .7 m .50375 .7 L s .5 .725 m .50375 .725 L s .5 .775 m .50375 .775 L s .5 .8 m .50375 .8 L s .5 .825 m .50375 .825 L s .5 .85 m .50375 .85 L s .5 .9 m .50375 .9 L s .5 .925 m .50375 .925 L s .5 .95 m .50375 .95 L s .5 .975 m .50375 .975 L s .25 Mabswid .5 0 m .5 1 L s 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath .008 w .5284 .54115 Mdot .42908 .687 Mdot .54855 .48803 Mdot .38772 .40053 Mdot .47288 .72336 Mdot .72136 .38382 Mdot .36718 .43029 Mdot .51205 .59927 Mdot .61228 .40053 Mdot .37863 .47009 Mdot .57979 .71038 Mdot .64202 .29425 Mdot .575 .5 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHg