Diagonalization Worksheet by Russell Blyth restart:with(plots):with(LinearAlgebra): randomize(52): Warning, the name changecoords has been redefined
<Text-field style="Heading 1" layout="Heading 1">Outline</Text-field> Goals of this worksheet: 1) Construct a diagonalizable matrix which has specified eigenvalues and eigenvectors. 2) Compute powers of diagonalizable matrices with ease!
<Text-field style="_pstyle14" layout="_pstyle14">Diagonalizing matrices</Text-field> We begin by applying the diagonalization process to a random 2x2 matrix. A := RandomMatrix(2,2,generator=rand(-10..10)); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJBRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JC1JJG10ckdGJTYkLUkkbXRkR0YlNiMtSSNtbkdGJTY5USIwRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GW3M2Iy1GXnM2OUZncEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRmhyNiQtRltzNiMtRl5zNjlRKSZtaW51czs3RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmpzLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSJBR0YoLUknUlRBQkxFR0YoNiUiKD8yTSUtSSdNQVRSSVhHRig2IzckNyQiIiEiIiI3JCEiKEZqdUknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GW3Y2Iy9JJCVpZEdGKEZhdQ== Eigenvectors(A); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtRiQ2JS1JI21vR0YlNjNRIltGKC8lJWZvcm1HUSdwcmVmaXhGKC8lJmZlbmNlR1EldHJ1ZUYoLyUqc2VwYXJhdG9yR1EmZmFsc2VGKC8lJ2xzcGFjZUdRLnRoaW5tYXRoc3BhY2VGKC8lJ3JzcGFjZUdGPS8lKXN0cmV0Y2h5R0Y3LyUqc3ltbWV0cmljR0Y6LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOi8lLm1vdmFibGVsaW1pdHNHRjovJSdhY2NlbnRHRjovJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lJXNpemVHUSMxMkYoLyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC1GJDYjLUknbXRhYmxlR0YlNiQtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUYkNiYtRi82M1EqJnVtaW51czA7RihGMi9GNkY6RjgvRjxRJDBlbUYoL0Y/RmhvL0ZBRjpGQkZERkdGSkZMRk5GUEZTRlZGWS1JJm1mcmFjR0YlNiotSSNtbkdGJTY5USI3RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlUvJSVib2xkR0Y6LyUnaXRhbGljR0Y6LyUqdW5kZXJsaW5lR0Y6LyUqc3Vic2NyaXB0R0Y6LyUsc3VwZXJzY3JpcHRHRjovJStmb3JlZ3JvdW5kR0ZYLyUrYmFja2dyb3VuZEdGZW4vJSdvcGFxdWVHRjovJStleGVjdXRhYmxlR0Y6LyUpcmVhZG9ubHlHRjcvJSljb21wb3NlZEdGOi8lKmNvbnZlcnRlZEdGOi8lK2ltc2VsZWN0ZWRHRjovJSxwbGFjZWhvbGRlckdGOi8lMGZvbnRfc3R5bGVfbmFtZUdGUi8lKm1hdGhjb2xvckdGWC8lL21hdGhiYWNrZ3JvdW5kR0Zlbi8lK2ZvbnRmYW1pbHlHRmRwLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0ZVLUZfcDY5USIyRihGYnBGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYXJGY3JGZXJGZ3JGaXJGW3NGXnMvJS5saW5ldGhpY2tuZXNzR1EiMUYoLyUrZGVub21hbGlnbkdRJ2NlbnRlckYoLyUpbnVtYWxpZ25HRmhzLyUpYmV2ZWxsZWRHRjpGVkZZLUYvNjNRIitGKC9GM1EmaW5maXhGKEZmb0Y4L0Y8UTBtZWRpdW1tYXRoc3BhY2VGKC9GP0ZjdEZqb0ZCRkRGR0ZKRkxGTkZQRlNGVkZZLUYkNiUtRlxwNiotRl9wNjlGSUZicEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZhckZjckZlckZnckZpckZbc0Zec0Zgc0Zjc0Zmc0Zpc0ZbdEZWRlktRi82M1ExJkludmlzaWJsZVRpbWVzO0YoRmB0RmZvRjhGZ29GaW9Gam9GQkZERkdGSkZMRk5GUEZTRlZGWS1GJDYjLUkmbXNxcnRHRiU2JS1GX3A2OVEjMjFGKEZicEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZhckZjckZlckZnckZpckZbc0Zec0ZWRlktRlxvNiMtRl9vNiMtRiQ2JkZjb0ZbcC1GLzYzUSgmbWludXM7RihGYHRGZm9GOEZidEZkdEZqb0ZCRkRGR0ZKRkxGTkZQRlNGVkZZRmV0LUYvNjNRIl1GKC9GM1EocG9zdGZpeEYoRjVGOEY7L0Y/UTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRkBGQkZERkdGSkZMRk5GUEZTRlZGWS1GLzYzUSIsRihGYHRGZm8vRjlGN0Znby9GP1EzdmVyeXRoaWNrbWF0aHNwYWNlRihGam9GQkZERkdGSkZMRk5GUEZTRlZGWS1GJDYlRi4tRiQ2Iy1GaW42JC1GXG82JC1GX282Iy1GXHA2KkZpdC1GJEZgb0Zjc0Zmc0Zpc0ZbdEZWRlktRl9vNiMtRlxwNipGaXQtRiRGaXVGY3NGZnNGaXNGW3RGVkZZLUZcbzYkLUZfbzYjRml0RmB4Rl92NyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyQtSSdSVEFCTEVHRig2JSIoSzR2Jy1JJ01BVFJJWEdGKDYjNyQ3IywmIyIiKCIiIyEiIiomIyIiIkZkeUZoeSkiI0BGZ3lGaHlGaHk3IywmRmJ5RmV5RmZ5RmV5JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoLUZpeDYlIig3eSVwLUZdeTYjNyQ3JCokRmF5RmV5KiRGXHpGZXk3JEZoeUZoeUknTWF0cml4R0ZfejckLUZdejYjL0kkJWlkR0YoRlt5LUZdW2w2Iy9GYltsRmV6 The eigenvectors appear in the first vector and corresponding eigenvectors appear as columns in the second matrix. If you prefer to work with only real values and the matrix above has complex-valued eigenvalues and eigenvectors, re-execute the two lines above until the eigenvalues (and eigenvectors) are real. Likewise if there is only one nonzero eigenvector displayed, or if the matrix is already diagonal. Extract the matrix of eigenvectors and find its inverse. Q := Eigenvectors(A)[2]; Q2 := MatrixInverse(Q); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJRRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JC1JJG10ckdGJTYkLUkkbXRkR0YlNiMtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUYkNiMtRiQ2Ji1GX282M1EqJnVtaW51czA7RihGW3JGZW9GZ28vRmpvUSQwZW1GKC9GXXBGXnRGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl5zNiotRmFzNjlRIjdGKEYwRjNGNkZjc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZHNGXG8tRmFzNjlRIjJGKEYwRjNGNkZjc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZHNGXG8vJS5saW5ldGhpY2tuZXNzR1EiMUYoLyUrZGVub21hbGlnbkdRJ2NlbnRlckYoLyUpbnVtYWxpZ25HRl11LyUpYmV2ZWxsZWRHRjhGYnFGZHEtRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZmdUZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZeczYqRmBzRmV0Rmh0Rlt1Rl51RmB1RmJxRmRxLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ29GXXRGX3RGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JJm1zcXJ0R0YlNiUtRmFzNjlRIzIxRihGMEYzRjZGY3NGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmRzRlxvRmJxRmRxRmh0Rlt1Rl51RmB1RmJxRmRxLUZbczYjLUZeczYqRmBzLUYkNiMtRiQ2JkZqc0ZgdC1GX282M1EoJm1pbnVzO0YoRmJvRmVvRmdvRmV1Rmd1Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmh1Rmh0Rlt1Rl51RmB1RmJxRmRxLUZocjYkLUZbczYjRmBzRmR3LUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSJRR0YoLUknUlRBQkxFR0YoNiUiJ09Mby1JJ01BVFJJWEdGKDYjNyQ3JCokLCYjIiIoIiIjISIiKiYjIiIiRmJ5RmZ5KSIjQEZleUZmeUZmeUZjeSokLCZGYHlGY3lGZHlGY3lGY3k3JEZmeUZmeUknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GXHo2Iy9JJCVpZEdGKEZoeA== NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USNRMkYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiQtSSRtdHJHRiU2JC1JJG10ZEdGJTYjLUYkNiUtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZjczY5USM4NEYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby8lLmxpbmV0aGlja25lc3NHUSIxRigvJStkZW5vbWFsaWduR1EnY2VudGVyRigvJSludW1hbGlnbkdGYHQvJSliZXZlbGxlZEdGOEZicUZkcS1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvL0Zqb1EkMGVtRigvRl1wRml0Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNictSSZtc3FydEdGJTYlLUZjczY5USMyMUYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0ZicUZkcUZldC1GJDYlLUZfbzYzUSIoRihGW3JGXXJGZ29GXnJGYHJGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Ji1GX282M1EqJnVtaW51czA7RihGW3JGZW9GZ29GaHRGanRGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRmNzNjlRIjdGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG8tRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZkdkZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjRl11LUZfbzYzUSIpRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmV0LUYkNiVGZXUtRiQ2JUZddkZgdkZmdkZodi1GW3M2Iy1GJDYlLUZgczYqRmJzLUZjczY5USM0MkYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0ZbdEZedEZhdEZjdEZicUZkcUZldC1GJDYlRmN1RmV0Rl11LUZocjYkLUZbczYjLUYkNiRGanVGXXMtRltzNiMtRiQ2JUZnd0ZldC1GJDYlRl93RmV0Rl11LUZfbzYzUSJdRihGW3dGXXJGZ29GXnJGXXdGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JI1EyR0YoLUknUlRBQkxFR0YoNiUiJ1NDJSktSSdNQVRSSVhHRig2IzckNyQsJCoqIyIiIiIjJSlGYXopIiNAI0ZheiIiI0ZheiwmIiIoISIiKiRGY3pGYXpGYXpGYXosJkZoekZhekZqekZhekZhekZheiwkKigjRmF6IiNVRmF6Rmd6RmF6RmN6RmF6RmF6NyQsJEZfekZpeiwkKihGXltsRmF6RltbbEZhekZjekZhekZhekknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GZFtsNiMvSSQlaWRHRihGaHk= Diagonalize the matrix A using the matrix of eigenvectors. We also confirm that the diagonal entries of the diagonalized matrix are just the eigenvalues of A by computing numerical values. expand(simplify(Q2.A.Q)); evalf(simplify(Q2.A.Q)); evalf(Eigenvectors(A)[1]); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYkLUkkbXRyR0YlNiQtSSRtdGRHRiU2Iy1GJDYkLUYtNjNRKiZ1bWludXMwO0YoRjAvRjRGOEY2L0Y6USQwZW1GKC9GPUZmby9GP0Y4RkBGQkZFRkhGSkZMRk5GUUZURlctRiQ2JS1JJm1mcmFjR0YlNiotSSNtbkdGJTY5RkcvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlMvJSVib2xkR0Y4LyUnaXRhbGljR0Y4LyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR0ZWLyUrYmFja2dyb3VuZEdGWS8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGNS8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZQLyUqbWF0aGNvbG9yR0ZWLyUvbWF0aGJhY2tncm91bmRHRlkvJStmb250ZmFtaWx5R0ZjcC8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRigvJSltYXRoc2l6ZUdGUy1GX3A2OVEiNkYoRmFwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmByRmJyRmRyRmZyRmhyRmpyRl1zLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0Zncy8lKWJldmVsbGVkR0Y4RlRGVy1GLTYzUTEmSW52aXNpYmxlVGltZXM7RigvRjFRJmluZml4RihGZG9GNkZlb0Znb0Zob0ZARkJGRUZIRkpGTEZORlFGVEZXLUYkNiUtRiQ2JS1GLTYzUSIoRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZRRlRGVy1GJDYmRmFvLUZfcDY5USIzRihGYXBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYHJGYnJGZHJGZnJGaHJGanJGXXMtRi02M1EiK0YoRl90RmRvRjYvRjpRMG1lZGl1bW1hdGhzcGFjZUYoL0Y9RmF1RmhvRkBGQkZFRkhGSkZMRk5GUUZURlctRiQ2Iy1JJm1zcXJ0R0YlNiUtRl9wNjlRIzIxRihGYXBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYHJGYnJGZHJGZnJGaHJGanJGXXNGVEZXLUYtNjNRIilGKC9GMVEocG9zdGZpeEYoRjNGNkY5L0Y9UTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRj5GQEZCRkVGSEZKRkxGTkZRRlRGV0ZcdEZldS1GXW82Iy1GX3A2OVEiMEYoRmFwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmByRmJyRmRyRmZyRmhyRmpyRl1zLUZqbjYkRmJ2LUZdbzYjLUYkNiRGYW8tRiQ2JUZbcEZcdC1GJDYlLUYkNiVGZXQtRiQ2JUZqdEZddUZjdUZbdkZcdEZldS1GLTYzUSJdRihGXnZGM0Y2RjlGYHZGPkZARkJGRUZIRkpGTEZORlFGVEZXNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSIoM2InXC1JJ01BVFJJWEdGKDYjNyQ3JCwkKigjIiIiIiInRmp4LCYiIiQhIiIqJCkiI0AjRmp4IiIjRmp4Rmp4Rmp4RmB5Rmp4Rl55IiIhNyRGZHksJCooRml4Rmp4LCZGXXlGanhGX3lGanhGanhGYHlGanhGXnlJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRml5NiMvSSQlaWRHRihGYXg= NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYkLUkkbXRyR0YlNiQtSSRtdGRHRiU2Iy1JI21uR0YlNjlRNSZ1bWludXMwOzEuMjA4NzEyMTUzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlMvJSVib2xkR0Y4LyUnaXRhbGljR0Y4LyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR0ZWLyUrYmFja2dyb3VuZEdGWS8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGNS8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZQLyUqbWF0aGNvbG9yR0ZWLyUvbWF0aGJhY2tncm91bmRHRlkvJStmb250ZmFtaWx5R0Zlby8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRigvJSltYXRoc2l6ZUdGUy1GXW82Iy1GYG82OVEjMC5GKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1Gam42JEZhci1GXW82Iy1GYG82OVE1JnVtaW51czA7NS43OTEyODc4NDlGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1GLTYzUSJdRigvRjFRKHBvc3RmaXhGKEYzRjZGOS9GPVEydmVyeXRoaW5tYXRoc3BhY2VGKEY+RkBGQkZFRkhGSkZMRk5GUUZURlc3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iy1JJ1JUQUJMRUdGKDYlIihDJlwiKS1JJ01BVFJJWEdGKDYjNyQ3JCQhK2BAcjM3ISIqJCIiIUZndDckRmZ0JCErXHlHInomRmV0SSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZbdTYjL0kkJWlkR0YoRl10 NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYkLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlRNSZ1bWludXMwOzEuMjA4NzEyMTUyRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlMvJSVib2xkR0Y4LyUnaXRhbGljR0Y4LyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR0ZWLyUrYmFja2dyb3VuZEdGWS8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGNS8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZQLyUqbWF0aGNvbG9yR0ZWLyUvbWF0aGJhY2tncm91bmRHRlkvJStmb250ZmFtaWx5R0Zlby8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRigvJSltYXRoc2l6ZUdGUy1Gam42Iy1GXW82Iy1GYG82OVE1JnVtaW51czA7NS43OTEyODc4NDhGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1GLTYzUSJdRigvRjFRKHBvc3RmaXhGKEYzRjZGOS9GPVEydmVyeXRoaW5tYXRoc3BhY2VGKEY+RkBGQkZFRkhGSkZMRk5GUUZURlc3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iy1JJ1JUQUJMRUdGKDYlIik3J1twIi1JJ01BVFJJWEdGKDYjNyQ3IyQhK19AcjM3ISIqNyMkIStbeUcieiZGYHQmSSdWZWN0b3JHNiQlKnByb3RlY3RlZEdGKjYjSSdjb2x1bW5HRig3Iy1GZHQ2Iy9JJCVpZEdGKEZocw== We attempt the same computation with a random 3x3 matrix. A := RandomMatrix(3,3,generator=rand(-10..10)); MatrixInverse(A); evalf(Eigenvectors(A)[1]); Q := evalf(Eigenvectors(A)[2]); Q2 := MatrixInverse(Q); Q2.A.Q; NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJBRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JS1JJG10ckdGJTYlLUkkbXRkR0YlNiMtSSNtbkdGJTY5USkmbWludXM7OUYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRltzNiMtRl5zNjlRKSZtaW51czs3RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmpyLUZocjYlLUZbczYjLUZeczY5USkmbWludXM7NUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVEiN0YoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVEiNkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2JS1GW3M2Iy1GXnM2OUZncEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GZXQtRltzNiMtRl5zNjlRIjRGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JIkFHRigtSSdSVEFCTEVHRig2JSIpK0EqcCItSSdNQVRSSVhHRig2IzclNyUhIiohIihGXXc3JSEiJiIiKCIiJzclIiIiRmJ3IiIlSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZmdzYjL0kkJWlkR0YoRmd2 NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiUtSSRtdGRHRiU2Iy1JJm1mcmFjR0YlNiotSSNtbkdGJTY5USkmbWludXM7OEYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR0ZTLyUlYm9sZEdGOC8lJ2l0YWxpY0dGOC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdGVi8lK2JhY2tncm91bmRHRlkvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjUvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGUC8lKm1hdGhjb2xvckdGVi8lL21hdGhiYWNrZ3JvdW5kR0ZZLyUrZm9udGZhbWlseUdGaG8vJSxtYXRodmFyaWFudEdRJ25vcm1hbEYoLyUpbWF0aHNpemVHRlMtRmNvNjlRJDIyM0YoRmZvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmJyLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0Zccy8lKWJldmVsbGVkR0Y4RlRGVy1GXW82Iy1GYG82Ki1GY282OVEqJm1pbnVzOzI2RihGZm9GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYnJGZHJGZ3JGanJGXXNGX3NGVEZXLUZdbzYjLUZgbzYqLUZjbzY5USMyMUYoRmZvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmJyRmRyRmdyRmpyRl1zRl9zRlRGVy1Gam42JS1GXW82Iy1GYG82Ki1GY282OVEjMjZGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZickZkckZnckZqckZdc0Zfc0ZURlctRl1vNiMtRmBvNiotRmNvNjlRKiZtaW51czsyN0YoRmZvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmJyRmRyRmdyRmpyRl1zRl9zRlRGVy1GXW82Iy1GYG82Ki1GY282OVEjOTlGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZickZkckZnckZqckZdc0Zfc0ZURlctRmpuNiUtRl1vNiMtRmBvNiotRmNvNjlRKiZtaW51czszN0YoRmZvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmJyRmRyRmdyRmpyRl1zRl9zRlRGVy1GXW82Iy1GYG82Ki1GY282OVEjNDdGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZickZkckZnckZqckZdc0Zfc0ZURlctRl1vNiMtRmBvNiotRmNvNjlRKiZtaW51czs5OEYoRmZvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmJyRmRyRmdyRmpyRl1zRl9zRlRGVy1GLTYzUSJdRigvRjFRKHBvc3RmaXhGKEYzRjZGOS9GPVEydmVyeXRoaW5tYXRoc3BhY2VGKEY+RkBGQkZFRkhGSkZMRk5GUUZURlc3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iy1JJ1JUQUJMRUdGKDYlIilzWC08LUknTUFUUklYR0YoNiM3JTclIyEiKSIkQiMjISNFRmV4IyIjQEZleDclIyIjRUZleCMhI0ZGZXgjIiMqKkZleDclIyEjUEZleCMiI1pGZXgjISMpKkZleEknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GaHk2Iy9JJCVpZEdGKEZdeA== NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1GJDYlLUkjbW5HRiU2OVEsMTMuMjc5NzU4NzBGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdGUy8lJWJvbGRHRjgvJSdpdGFsaWNHRjgvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHRlYvJStiYWNrZ3JvdW5kR0ZZLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y1LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHRlAvJSptYXRoY29sb3JHRlYvJS9tYXRoYmFja2dyb3VuZEdGWS8lK2ZvbnRmYW1pbHlHRmdvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0ZTLUYtNjNRKCZtaW51cztGKC9GMVEmaW5maXhGKC9GNEY4RjYvRjpRMG1lZGl1bW1hdGhzcGFjZUYoL0Y9RmpyL0Y/RjhGQEZCRkVGSEZKRkxGTkZRRlRGVy1GJDYlLUYkNiUtRmJvNjlRIzEuRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXItRi02M1ExJkludmlzaWJsZVRpbWVzO0YoRmZyRmhyRjYvRjpRJDBlbUYoL0Y9RmhzRlxzRkBGQkZFRkhGSkZMRk5GUUZURlctSSVtc3VwR0YlNiUtRmJvNjlRIzEwRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXItRmJvNjlRIy05RihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXIvJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYoRmRzLUZibzY5USJJRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXItRmpuNiMtRl1vNiMtRiQ2Ji1GLTYzUSomdW1pbnVzMDtGKEYwRmhyRjZGZ3NGaXNGXHNGQEZCRkVGSEZKRkxGTkZRRlRGVy1GYm82OVEsOS41MTQ4OTc0NTVGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZjci1GJDYlLUYkNiUtRmJvNjlRKzcuMzIwNTA4MDhGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkcy1GW3Q2JUZddC1GYm82OVEkLTEwRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXJGY3RGZHNGZnQtRmpuNiMtRl1vNiMtRiQ2JkZfdS1GYm82OVEsMS43NjQ4NjEyNDVGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhci1GLTYzUSIrRihGZnJGaHJGNkZpckZbc0Zcc0ZARkJGRUZIRkpGTEZORlFGVEZXLUYkNiUtRiQ2JS1GYm82OVEsMi43MzIwNTA4MDhGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0Zqc0Zkc0ZmdC1GLTYzUSJdRigvRjFRKHBvc3RmaXhGKEYzRjZGOS9GPVEydmVyeXRoaW5tYXRoc3BhY2VGKEY+RkBGQkZFRkhGSkZMRk5GUUZURlc3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iy1JJ1JUQUJMRUdGKDYlIic/QyMpLUknTUFUUklYR0YoNiM3JTcjLCYkIitxZSh6SyIhIikiIiIqJiRGXnkhIipGXnleI0ZeeUZeeSEiIjcjLCYkIitidSpbXipGYXlGY3kqJiQiKjMzMEsoISM9Rl55RmJ5Rl55RmN5NyMsJiQiK1g3J1t3IkZheUZjeSomJCIrMzMwS0ZGW3pGXnlGYnlGXnlGXnkmSSdWZWN0b3JHNiQlKnByb3RlY3RlZEdGKjYjSSdjb2x1bW5HRig3Iy1GY3o2Iy9JJCVpZEdGKEZkeA== NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJRRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JS1JJG10ckdGJTYlLUkkbXRkR0YlNiMtRiQ2Ji1GX282M1EqJnVtaW51czA7RihGW3JGZW9GZ28vRmpvUSQwZW1GKC9GXXBGY3NGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtSSNtbkdGJTY5US0wLjkzOTA1NjQ1NDRGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZfbzYzUSgmbWludXM7RihGYm9GZW9GZ28vRmpvUTBtZWRpdW1tYXRoc3BhY2VGKC9GXXBGYHRGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GJDYlLUZmczY5USwxLjQ2OTA2NjA5NkYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvRmJzRmRzRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUklbXN1cEdGJTYlLUZmczY5USMxMEYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcby1GZnM2OVEjLTlGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG8vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYoRml0LUZmczY5USJJRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvLUZbczYjLUYkNiZGX3MtRmZzNjlRLDQuMDI0NDU1NzI3RihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvLUZfbzYzUSIrRihGYm9GZW9GZ29GX3RGYXRGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GJDYlLUZmczY5USw2LjEwNDY5MDk0OUYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdEZcdUZpdEZodS1GW3M2Iy1GJDYmRl9zLUZmczY5US0wLjM3NDc3Nzc4NzZGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GYnYtRiQ2JS1GJDYlLUZmczY5USw2LjQ5Mjc0NDM0MkYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdC1GXXU2JUZfdS1GZnM2OVEkLTEwRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRmV1Rml0Rmh1LUZocjYlLUZbczYjLUYkNiUtRmZzNjlRLDEuNzAzMTM1ODkwRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRmJ2LUYkNiUtRiQ2JS1GZnM2OVEsNC4yNjYzODkzNDlGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GaXRGXHVGaXRGaHUtRltzNiMtRiQ2JkZfcy1GZnM2OVEsMS41ODE3NDAyODdGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GXHQtRiQ2JS1GJDYlLUZmczY5USwxLjAyNjEzNjgxMUYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdC1GXXU2JUZfdS1GZnM2OVEkLTExRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRmV1Rml0Rmh1LUZbczYjLUYkNiZGX3MtRmZzNjlRLTAuODk4MzQ3MjQ0NUYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZcdC1GJDYlLUYkNiUtRmZzNjlRLDMuNzk0MjI5MTY1RihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRml0Rmp3Rml0Rmh1LUZocjYlLUZbczYjLUZmczY5USMxLkYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZiW2xGYltsLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSJRR0YoLUknUlRBQkxFR0YoNiUiKCkpNDYpLUknTUFUUklYR0YoNiM3JTclLCYkIitXWGMhUiohIzUhIiIqJiQiKyc0bSFwOSEjPSIiIl4jRmhdbEZoXWxGY11sLCYkIitGZFhDUyEiKkZjXWwqJiQiK1w0cC9oRmddbEZoXWxGaV1sRmhdbEZoXWwsJiQiK3d5eFpQRmJdbEZjXWwqJiQiK1VWdSNcJyEjPkZoXWxGaV1sRmhdbEZoXWw3JSwmJCIrISplOC48Rl1ebEZoXWwqJiQiK1wkKlFtVUZnXWxGaF1sRmldbEZoXWxGaF1sLCYkIisoR1M8ZSJGXV5sRmNdbComJCIrNm84RTUhIz9GaF1sRmldbEZoXWxGY11sLCYkIitYQ1okKSopRmJdbEZjXWwqJiQiK2wiSFV6JEZnXmxGaF1sRmldbEZoXWxGY11sNyUkRmhdbCIiIUZdYGxGXWBsSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZfYGw2Iy9JJCVpZEdGKEZpXGw= NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USNRMkYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2JS1JJG10ZEdGJTYjLUYkNiYtRl9vNjNRKiZ1bWludXMwO0YoRltyRmVvRmdvL0Zqb1EkMGVtRigvRl1wRmNzRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUkjbW5HRiU2OVE2MC4wNjkxNjc5MzgwODA1NjI5MTU3RihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GX282M1EiK0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRmB0Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRiQ2JS1GZnM2OVE0Ni41Mzg2Njc5MjY2NzM1MDM0MUYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvRmJzRmRzRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUklbXN1cEdGJTYlLUZmczY5USMxMEYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcby1GZnM2OVEkLTExRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGKEZpdC1GZnM2OVEiSUYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcby1GW3M2Iy1GJDYlLUZmczY5UTUwLjM2OTM5MzEzNDAwNTE4Nzk3MkYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcby1GX282M1EoJm1pbnVzO0YoRmJvRmVvRmdvRl90RmF0Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRiQ2JS1GZnM2OVE0Ny4wMTgxMzU0MTI2OTQxMjE4MkYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdC1GXXU2JUZfdS1GZnM2OVEkLTEwRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRmV1Rml0Rmh1LUZbczYjLUYkNiUtRmZzNjlRNTAuMzA1OTIwNjk3MjY0MDkyNzExRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRmJ2LUYkNiUtRiQ2JS1GZnM2OVE0NC4yMDkwMTU5MTg1NjcwMzc4M0YoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdEZcd0ZpdEZodS1GaHI2JS1GW3M2Iy1GJDYmRl9zLUZmczY5UTUwLjI2MzMwMjY4Njk5NjE1MDc4MEYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0Zidi1GJDYlLUYkNiUtRmZzNjlRNDMuNjM1MzkxNjk5MzE0Nzk0NTJGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GaXRGXHdGaXRGaHUtRltzNiMtRiQ2JkZfcy1GZnM2OVE2MC4wNTcxMTIwNzA4ODQ3NTAwMjQyRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRmJ2LUYkNiUtRiQ2JS1GZnM2OVE0MS45MTI2NDA0NjkxNjEzNzEwNUYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdEZcd0ZpdEZodS1GW3M2Iy1GJDYmRl9zLUZmczY5UTUwLjE0OTk4NjQ3MDAwODU1NjUyOEYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0Zidi1GJDYlLUYkNiUtRmZzNjlRNDEuNTg3ODE4NjA3MTE1NzE5NzBGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GaXRGXHdGaXRGaHUtRmhyNiUtRltzNiMtRiQ2JS1GZnM2OVE1MC4zMzI0NzA2MjUwNzY3MTM2MDBGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GXHQtRiQ2JS1GJDYlLUZmczY5UTQyLjk4MTUyNDkwNjY0NzQ0MzkxRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRml0Rlx3Rml0Rmh1LUZbczYjLUYkNiZGX3MtRmZzNjlRNTAuMzEyMjgxMDYzMTIwNDM3OTYyRihGMEYzRjZGaXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpzRlxvRlx0LUYkNiUtRiQ2JS1GZnM2OVE0OC45MzA3NzU4ODE4NTU0OTM0MEYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZpdEZcd0ZpdEZodS1GW3M2Iy1GJDYlLUZmczY5UTUwLjg0NDA2NTc3Mjc0NDQ2MzcwNEYoRjBGM0Y2RmlzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZqc0Zcb0ZcdC1GJDYlLUYkNiUtRmZzNjlRNDUuNzk2ODM0NTI1NjgyNzU3MjhGKEYwRjNGNkZpc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GanNGXG9GaXRGXHdGaXRGaHUtRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JI1EyR0YoLUknUlRBQkxFR0YoNiUiKSMqM2A8LUknTUFUUklYR0YoNiM3JTclLCYkIjNkIkhjITNRejtwISM+ISIiKiYkIjNULk5uRXptUWwhI0ciIiJeI0ZoX2xGaF9sRmhfbCwmJCIzc3o9MFM4JFJwJCEjPUZoX2wqJiQiMyM9NyVwN2E4PXEhI0ZGaF9sRmlfbEZoX2xGY19sLCYkIjM2RjRrc3A/ZklGXWBsRmhfbComJCIzJHkubiY9Ziw0VUZhYGxGaF9sRmlfbEZoX2xGY19sNyUsJiQiMyF5XWgqcG8tTEVGXWBsRmNfbComJCIzXyV6OSQqcCJSTk9GYWBsRmhfbEZpX2xGaF9sRmNfbCwmJCIzVS1dWikzMjdyJkZiX2xGY19sKiYkIjMwcjg7cC9rNz5GYWBsRmhfbEZpX2xGaF9sRmNfbCwmJCIzR2xiMytaJykqXCJGXWBsRmNfbComJCIzcT5kNjInPXllIkZhYGxGaF9sRmlfbEZoX2xGY19sNyUsJiQiMytPcnddaXFDTEZdYGxGaF9sKiYkIjMiUldabSFcXyIpSEZhYGxGaF9sRmlfbEZoX2xGaF9sLCYkIjNpelY/SjEiRzckRl1gbEZjX2wqJiQiM1MkXGI9KWV4SSopRmFgbEZoX2xGaV9sRmhfbEZoX2wsJiQiMy9QWVdGeGxTJSlGXWBsRmhfbComJCIzR2RGb0RYJG96JkZhYGxGaF9sRmlfbEZoX2xGaF9sSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZeY2w2Iy9JJCVpZEdGKEZpXmw= NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiUtSSRtdGRHRiU2Iy1GJDYlLUkjbW5HRiU2OVE0MTMuMjc5NzU4NzAyNTg1MDYzMkYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR0ZTLyUlYm9sZEdGOC8lJ2l0YWxpY0dGOC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdGVi8lK2JhY2tncm91bmRHRlkvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjUvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGUC8lKm1hdGhjb2xvckdGVi8lL21hdGhiYWNrZ3JvdW5kR0ZZLyUrZm9udGZhbWlseUdGZ28vJSxtYXRodmFyaWFudEdRJ25vcm1hbEYoLyUpbWF0aHNpemVHRlMtRi02M1EiK0YoL0YxUSZpbmZpeEYoL0Y0RjhGNi9GOlEwbWVkaXVtbWF0aHNwYWNlRigvRj1GanIvRj9GOEZARkJGRUZIRkpGTEZORlFGVEZXLUYkNiUtRiQ2JS1GYm82OVE0NC4zNDA4NTM5MTg3MDEzMDI2MkYoRmVvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmFyLUYtNjNRMSZJbnZpc2libGVUaW1lcztGKEZmckZockY2L0Y6USQwZW1GKC9GPUZoc0Zcc0ZARkJGRUZIRkpGTEZORlFGVEZXLUklbXN1cEdGJTYlLUZibzY5USMxMEYoRmVvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmFyLUZibzY5USQtMTdGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhci8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRihGZHMtRmJvNjlRIklGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhci1GXW82Iy1GJDYlLUYkNiUtRmJvNjlRNDcuNjUzNTIyMjYwMzk3OTQ5MTRGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkcy1GW3Q2JUZddC1GYm82OVEkLTExRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXJGY3QtRi02M1EoJm1pbnVzO0YoRmZyRmhyRjZGaXJGW3NGXHNGQEZCRkVGSEZKRkxGTkZRRlRGVy1GJDYlLUYkNiUtRmJvNjlRNDkuNzExNDIwODM2NTgzODQ5NTBGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkcy1GW3Q2JUZddC1GYm82OVEjLTlGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZjdEZkc0ZmdC1GXW82Iy1GJDYmLUYtNjNRKiZ1bWludXMwO0YoRjBGaHJGNkZnc0Zpc0Zcc0ZARkJGRUZIRkpGTEZORlFGVEZXLUYkNiUtRmJvNjlRNDcuMDcyNTMxODkzNDcwNTY4MzJGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZhdkZndS1GJDYlLUYkNiUtRmJvNjlRNDIuNzg0MjM1NTAxNzI2NDE2MjFGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZhdkZkc0ZmdC1Gam42JS1GXW82Iy1GJDYmRmp2LUYkNiUtRmJvNjlRNDEuMzg5OTAzNjU4ODMyNzM2MjVGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkcy1GW3Q2JUZddC1GYm82OVEjLThGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZjdEZndS1GJDYlLUYkNiUtRmJvNjlRNDMuMjYyOTgwMjY4MjYyNDA0MTRGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZhdkZkc0ZmdC1GXW82Iy1GJDYmRmp2LUZibzY5UTQ5LjUxNDg5NzQ1NDkxNzYyODM5RihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXJGY3ItRiQ2JS1GJDYlLUZibzY5UTQ3LjA2NzEwMTczNzM4NjY4MjkwRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXJGZHMtRlt0NiVGXXQtRmJvNjlRJC0xOEYoRmVvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmFyRmN0RmRzRmZ0LUZdbzYjLUYkNiUtRiQ2JS1GYm82OVE0MS4zOTk2NDkyODUzNjA3Mzc4NEYoRmVvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmFyRmRzLUZbdDYlRl10LUZibzY5USQtMTBGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZjdEZjci1GJDYlLUYkNiUtRmJvNjlRNDEuMTU2OTcyNDg3NDAyMDU3MDFGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZhdkZkc0ZmdC1Gam42JS1GXW82Iy1GJDYlLUYkNiUtRmJvNjlRNDEuOTY5MTM5NzI5MDUyMjE2MTNGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkcy1GW3Q2JUZddC1GYm82OVEjLTdGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZjdEZjci1GJDYlLUYkNiUtRmJvNjlRNDIuNzM5MjI1MDIyMjg1Mzg2MzhGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZkeEZkc0ZmdC1GXW82Iy1GJDYlLUYkNiUtRmJvNjlRNDUuODQxMDkwNTAwMTY5MzQzNjJGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZhdkZjci1GJDYlLUYkNiUtRmJvNjlRNDEuNTc1NDU0MzU2OTg1Njc1MjJGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkc0ZkeEZkc0ZmdC1GXW82Iy1GJDYmRmp2LUZibzY5UTQxLjc2NDg2MTI0NzY2NzQzMzkxRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXJGZ3UtRiQ2JS1GJDYlLUZibzY5UTQ1LjA0NzU2Mzk1MTY2NTg4NTE1RihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXJGZHNGanNGZHNGZnQtRi02M1EiXUYoL0YxUShwb3N0Zml4RihGM0Y2RjkvRj1RMnZlcnl0aGlubWF0aHNwYWNlRihGPkZARkJGRUZIRkpGTEZORlFGVEZXNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSIoaz0rKC1JJ01BVFJJWEdGKDYjNyU3JSwmJCIzSzEmZS0oZSh6SyIhIzsiIiIqJiQiM2ktOHE9UiYzTSUhI01GZ2BsXiNGZ2BsRmdgbEZnYGwsJiQiMzlcelJnQV9gdyEjR0ZnYGwqJiQiM11cUWVPM1U2KCohI0VGZ2BsRlxhbEZnYGwhIiIsJiQiM0tvMFokKj1gc3FGZGFsRmVhbComJCIzQDtrcyxiQiV5I0ZkYWxGZ2BsRlxhbEZnYGxGZWFsNyUsJiQiM0RPRiQpZU8hKipRIiEjREZlYWwqJiQiMzkvQ0VvLSlIRSRGZGFsRmdgbEZcYWxGZ2BsRmVhbCwmJCIzUkd3IlxYKCpbXiohIzxGZWFsKiYkIjMhSG8nUVA8NW5xISNORmdgbEZcYWxGZ2BsRmdgbCwmJCIzJXl0Z2BHXCcqUiIhI0ZGZ2BsKiYkIjMsZD9TKFtzcDoiRmRhbEZnYGxGXGFsRmdgbEZnYGw3JSwmJCIzODtBMEgoUiJwPiEjQ0ZnYGwqJiQiM1EnUSZHQV1BUkZGYGJsRmdgbEZcYWxGZ2BsRmdgbCwmJCIzaVYkcCxdITRUZUZkYWxGZ2BsKiYkIjNBdmMpcE5hYWQiRmBibEZnYGxGXGFsRmdgbEZnYGwsJiQiMyJSVm53Q2hbdyJGZ2JsRmVhbComJCIzOiYpZW1eUmNaXUZbYWxGZ2BsRlxhbEZnYGxGZWFsSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZnZGw2Iy9JJCVpZEdGKEZdYGw= Important: Read through this section before executing the next block Note that the Maple procedure for finding the roots of cubics does not always recognize when the eigenvalues and/or eigenvectors turn out to be real - rounding error often produces complex values with very small imaginary parts. We can help the numerical evaluation by dropping the imaginary parts if all the entries should be real but appear with very small (nonzero) imaginary parts. Execute the following block of code only if the three eigenvalues are presumed to be real but very small imaginary parts appear as eigenvalues and eigenvalue entries. Evals := Eigenvectors(A)[1]: Evecs := Eigenvectors(A)[2]: Evals := map(Re,evalf(Evals)); Evecs := map(Re,evalf(Evecs)); Evecs2 := MatrixInverse(Evecs); evalf(simplify(Evecs2.A.Evecs)); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USZFdmFsc0YoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEsMTMuMjc5NzU4NzBGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZocjYjLUZbczYjLUZeczY5UTUmdW1pbnVzMDs5LjUxNDg5NzQ1NUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2Iy1GW3M2Iy1GXnM2OVE1JnVtaW51czA7MS43NjQ4NjEyNDVGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJkV2YWxzR0YoLUknUlRBQkxFR0YoNiUiKT9vaT4tSSdNQVRSSVhHRig2IzclNyMkIitxZSh6SyIhIik3IyQhK2J1KlteKiEiKjcjJCErWDcnW3ciRmB2JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoNyMtRmR2NiMvSSQlaWRHRihGZHU= NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USZFdmVjc0YoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2JS1JJG10ZEdGJTYjLUkjbW5HRiU2OVE1JnVtaW51czA7LjkzOTA1NjQ1NDRGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZbczYjLUZeczY5UTUmdW1pbnVzMDs0LjAyNDQ1NTcyN0YoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVE1JnVtaW51czA7LjM3NDc3Nzc4NzZGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRmhyNiUtRltzNiMtRl5zNjlRLDEuNzAzMTM1ODkwRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5UTUmdW1pbnVzMDsxLjU4MTc0MDI4N0YoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVE1JnVtaW51czA7Ljg5ODM0NzI0NDVGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRmhyNiUtRltzNiMtRl5zNjlRIzEuRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmF1RmF1LUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSZFdmVjc0dGKC1JJ1JUQUJMRUdGKDYlIigvdihILUknTUFUUklYR0YoNiM3JTclJCErV1hjIVIqISM1JCErRmRYQ1MhIiokISt3eXhaUEZgdzclJCIrISplOC48RmN3JCErKEdTPGUiRmN3JCErWENaJCkqKUZgdzclJCIiIiIiIUZeeEZeeEknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GYXg2Iy9JJCVpZEdGKEZodg== NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USdFdmVjczJGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUZfbzYzUSJbRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGX3IvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiUtSSRtdGRHRiU2Iy1JI21uR0YlNjlRPyZ1bWludXMwOzAuMDY5MTY3OTM4MDgwNTYyODg4MEYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRltzNiMtRl5zNjlRNTAuMzY5MzkzMTM0MDA1MTg3OTE2RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5UTUwLjMwNTkyMDY5NzI2NDA5Mjc2NkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2JS1GW3M2Iy1GXnM2OVE9JnVtaW51czA7LjI2MzMwMjY4Njk5NjE1MDc4MEYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVE/JnVtaW51czA7MC4wNTcxMTIwNzA4ODQ3NTAwMjQyRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5UT0mdW1pbnVzMDsuMTQ5OTg2NDcwMDA4NTU2NTI4RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYlLUZbczYjLUZeczY5UTUwLjMzMjQ3MDYyNTA3NjcxMzYwMEYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVE9JnVtaW51czA7LjMxMjI4MTA2MzEyMDQzNzk2MkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVE1MC44NDQwNjU3NzI3NDQ0NjM3MDRGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJ0V2ZWNzMkdGKC1JJ1JUQUJMRUdGKDYlIihXL1EjLUknTUFUUklYR0YoNiM3JTclJCEzISkpR2MhM1F6O3AhIz4kIjM7ej0wUzgkUnAkISM9JCIzbUY0a3NwP2ZJRl14NyUkITMheV1oKnBvLUxFRl14JCEzVS1dWikzMjdyJkZqdyQhM0dsYjMrWicpKlwiRl14NyUkIjMrT3J3XWlxQ0xGXXgkITNpelY/SjEiRzckRl14JCIzL1BZV0Z4bFMlKUZdeEknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GXnk2Iy9JJCVpZEdGKEZidw== NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiUtSSRtdGRHRiU2Iy1JI21uR0YlNjlRLDEzLjI3OTc1ODcwRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlMvJSVib2xkR0Y4LyUnaXRhbGljR0Y4LyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR0ZWLyUrYmFja2dyb3VuZEdGWS8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGNS8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZQLyUqbWF0aGNvbG9yR0ZWLyUvbWF0aGJhY2tncm91bmRHRlkvJStmb250ZmFtaWx5R0Zlby8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRigvJSltYXRoc2l6ZUdGUy1GXW82Iy1GJDYlLUZgbzY5USw3LjY1MzUyMjI2MEYoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yLUYtNjNRMSZJbnZpc2libGVUaW1lcztGKC9GMVEmaW5maXhGKC9GNEY4RjYvRjpRJDBlbUYoL0Y9Rl9zL0Y/RjhGQEZCRkVGSEZKRkxGTkZRRlRGVy1JJW1zdXBHRiU2JS1GYG82OVEjMTBGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1GYG82OVEkLTExRihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3IvJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYoLUZdbzYjLUYkNiUtRmBvNjlRNSZ1bWludXMwOzcuMDcyNTMxODkzRihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3JGaHItRmNzNiVGZXMtRmBvNjlRIy05RihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3JGW3QtRmpuNiUtRl1vNiMtRiQ2JS1GYG82OVE1JnVtaW51czA7MS4zODk5MDM2NTlGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfckZoci1GY3M2JUZlcy1GYG82OVEjLThGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfckZbdC1GXW82Iy1GYG82OVE1JnVtaW51czA7OS41MTQ4OTc0NTVGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1GXW82Iy1GJDYlLUZgbzY5USwxLjM5OTY0OTI4NUYoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yRmhyLUZjczYlRmVzLUZgbzY5USQtMTBGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfckZbdC1Gam42JS1GXW82Iy1GJDYlLUZgbzY5USwxLjk2OTEzOTczMUYoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yRmhyLUZjczYlRmVzLUZgbzY5USMtN0YoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yRlt0LUZdbzYjLUYkNiUtRmBvNjlRLDUuODQxMDkwNTAwRihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3JGaHJGZXQtRl1vNiMtRmBvNjlRNSZ1bWludXMwOzEuNzY0ODYxMjQ4RihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3ItRi02M1EiXUYoL0YxUShwb3N0Zml4RihGM0Y2RjkvRj1RMnZlcnl0aGlubWF0aHNwYWNlRihGPkZARkJGRUZIRkpGTEZORlFGVEZXNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSIoc0EicC1JJ01BVFJJWEdGKDYjNyU3JSQiK3FlKHpLIiEiKSQiK2dBX2B3ISM/JCErJCo9YHNxISM9NyUkIStmTyEqKlEiISM8JCErYnUqW14qISIqJCIrJkdcJypSIiEjPjclJCIrSihSInA+ISM7JCIrKzA0VGVGYXokIStbNydbdyJGaHpJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRmRbbDYjL0kkJWlkR0YoRmN5 Note the eigenvalues appear on the diagonal of Q2.A.Q (and any off-diagonal entries are within rounding error of zero).
<Text-field style="_pstyle14" layout="_pstyle14">Constructing easily diagonalizable matrices</Text-field> How might a professor find a diagonalizable matrix A to use as an example or on a test question? We see here how to use the equation LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtRiM2JS1GLDY5USJBRidGL0YyRjVGOEY7Rj1GP0ZBRkRGRkZIRkpGTEZORlBGUkZURldGWUZlbkZnbkZqbi1JI21vR0YkNjNRIj1GJy8lJWZvcm1HUSZpbmZpeEYnLyUmZmVuY2VHRjcvJSpzZXBhcmF0b3JHRjcvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYnLyUncnNwYWNlR0ZecC8lKXN0cmV0Y2h5R0Y3LyUqc3ltbWV0cmljR0Y3LyUobWF4c2l6ZUdRKWluZmluaXR5RicvJShtaW5zaXplR1EiMUYnLyUobGFyZ2VvcEdGNy8lLm1vdmFibGVsaW1pdHNHRjcvJSdhY2NlbnRHRjcvJTBmb250X3N0eWxlX25hbWVHRlYvJSVzaXplR0Y0LyUrZm9yZWdyb3VuZEdGQy8lK2JhY2tncm91bmRHRkMtRiw2OVEjUURGJ0YvRjJGNUY4RjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRmduRmpuRis=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtSSVtc3VwR0YkNiUtRiw2OVEiUUYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4tRiM2JS1JI21vR0YkNjNRIihGJy8lJWZvcm1HUSdwcmVmaXhGJy8lJmZlbmNlR0Y6LyUqc2VwYXJhdG9yR0Y3LyUnbHNwYWNlR1EudGhpbm1hdGhzcGFjZUYnLyUncnNwYWNlR0ZhcC8lKXN0cmV0Y2h5R0Y6LyUqc3ltbWV0cmljR0Y3LyUobWF4c2l6ZUdRKWluZmluaXR5RicvJShtaW5zaXplR1EiMUYnLyUobGFyZ2VvcEdGNy8lLm1vdmFibGVsaW1pdHNHRjcvJSdhY2NlbnRHRjcvJTBmb250X3N0eWxlX25hbWVHRlYvJSVzaXplR0Y0LyUrZm9yZWdyb3VuZEdGQy8lK2JhY2tncm91bmRHRkMtRiM2JC1GZW82M1EqJnVtaW51czA7RidGaG8vRlxwRjdGXXAvRmBwUSQwZW1GJy9GY3BGY3IvRmVwRjdGZnBGaHBGW3FGXnFGYHFGYnFGZHFGZnFGaHFGanEtSSNtbkdGJDY5Rl1xRi9GMkY1L0Y5RjdGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW4vRmhuUSdub3JtYWxGJ0Zqbi1GZW82M1EiKUYnL0Zpb1EocG9zdGZpeEYnRltwRl1wRl9wL0ZjcFEydmVyeXRoaW5tYXRoc3BhY2VGJ0ZkcEZmcEZocEZbcUZecUZgcUZicUZkcUZmcUZocUZqcS8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGKw== for this purpose, where D is diagonal with entries that are eigenvalues and Q is the matrix whose columns are eigenvectors of A. We first randomly choose the eigenvalues, and then the eigenvectors corresponding to each of these eigenvectors. (Note we cannot use the variable D, which is a Maple system variable) DD := RandomMatrix(3,3,generator=rand(-5..5), outputoptions=[shape=diagonal]); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USNEREYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2JS1JJG10ZEdGJTYjLUkjbW5HRiU2OVEpJm1pbnVzOzFGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZbczYjLUZeczY5USIwRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmRzLUZocjYlRmRzLUZbczYjLUZeczY5USI1RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmRzLUZocjYlRmRzRmRzLUZbczYjLUZeczY5USkmbWludXM7NUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkjRERHRigtSSdSVEFCTEVHRig2JSIpKWV1eCItSSdNQVRSSVhHRig2IzclNyUhIiIiIiFGYHY3JUZgdiIiJkZgdjclRmB2RmB2ISImSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZldjYjL0kkJWlkR0YoRml1 Q1 := RandomVector(3,generator=rand(-3..3)); Q2 := RandomVector(3,generator=rand(-3..3)); Q3 := RandomVector(3,generator=rand(-3..3)); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USNRMUYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEiMEYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRmhyNiMtRltzNiMtRl5zNjlRKSZtaW51czsyRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYjLUZbczYjLUZeczY5USkmbWludXM7MUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkjUTFHRigtSSdSVEFCTEVHRig2JSIoS0kmSC1JJ01BVFJJWEdGKDYjNyU3IyIiITcjISIjNyMhIiImSSdWZWN0b3JHNiQlKnByb3RlY3RlZEdGKjYjSSdjb2x1bW5HRig3Iy1GX3Y2Iy9JJCVpZEdGKEZkdQ== NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USNRMkYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEiMkYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRmhyNiMtRltzNiMtRl5zNjlRKSZtaW51czsxRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYjLUZbczYjLUZeczY5USIzRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNRMkdGKC1JJ1JUQUJMRUdGKDYlIihzXUQjLUknTUFUUklYR0YoNiM3JTcjIiIjNyMhIiI3IyIiJCZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZfdjYjL0kkJWlkR0YoRmR1 NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USNRM0YoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEpJm1pbnVzOzJGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZocjYjLUZbczYjLUZeczY5USIzRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYjLUZbczYjLUZeczY5USIyRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNRM0dGKC1JJ1JUQUJMRUdGKDYlIil3MzE9LUknTUFUUklYR0YoNiM3JTcjISIjNyMiIiQ3IyIiIyZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZfdjYjL0kkJWlkR0YoRmR1 Construct the matrix Q by assembling Q1, Q2, Q3 as its columns Q := <Q1|Q2|Q3>; NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJRRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JS1JJG10ckdGJTYlLUkkbXRkR0YlNiMtSSNtbkdGJTY5USIwRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GW3M2Iy1GXnM2OVEiMkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVEpJm1pbnVzOzJGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRmhyNiVGaXMtRltzNiMtRl5zNjlRKSZtaW51czsxRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5USIzRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYlRmB0RmV0RmRzLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSJRR0YoLUknUlRBQkxFR0YoNiUiKVs5ZD4tSSdNQVRSSVhHRig2IzclNyUiIiEiIiMhIiM3JUZmdiEiIiIiJDclRmh2Rml2RmV2SSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZbdzYjL0kkJWlkR0YoRl52 Check that {Q1,Q2,Q3} is independent. Rank(Q); NiQtSSNtbkc2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGKDY5USIzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHRjUvJSp1bmRlcmxpbmVHRjUvJSpzdWJzY3JpcHRHRjUvJSxzdXBlcnNjcmlwdEdGNS8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjUvJStleGVjdXRhYmxlR0Y1LyUpcmVhZG9ubHlHUSV0cnVlRigvJSljb21wb3NlZEdGNS8lKmNvbnZlcnRlZEdGNS8lK2ltc2VsZWN0ZWRHRjUvJSxwbGFjZWhvbGRlckdGNS8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZALyUvbWF0aGJhY2tncm91bmRHRkMvJStmb250ZmFtaWx5R0YvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0YyNyMiIiQ= If the rank of Q is not three, then the set {Q1, Q2, Q3} is not independent - go back and compute a new set. Now compute the matrix A A := Q . DD . Q^(-1); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJBRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JS1JJG10ckdGJTYlLUkkbXRkR0YlNiMtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OVEqJm1pbnVzOzE1RihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GYXM2OVEiNEYoRjBGM0Y2RmRzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZlc0Zcby8lLmxpbmV0aGlja25lc3NHUSIxRigvJStkZW5vbWFsaWduR1EnY2VudGVyRigvJSludW1hbGlnbkdGX3QvJSliZXZlbGxlZEdGOEZicUZkcS1GW3M2Iy1GXnM2Ki1GYXM2OVEpJm1pbnVzOzVGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG8tRmFzNjlRIjJGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG9GanNGXXRGYHRGYnRGYnFGZHEtRltzNiMtRmFzNjlRIjVGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG8tRmhyNiUtRltzNiMtRl5zNiotRmFzNjlRIzM5RihGMEYzRjZGZHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmVzRlxvLUZhczY5USI4RihGMEYzRjZGZHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmVzRlxvRmpzRl10RmB0RmJ0RmJxRmRxLUZbczYjLUZeczYqRmB1RmdzRmpzRl10RmB0RmJ0RmJxRmRxLUZbczYjLUZeczYqLUZhczY5USkmbWludXM7OUYoRjBGM0Y2RmRzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZlc0Zcb0ZbdUZqc0ZddEZgdEZidEZicUZkcS1GaHI2JS1GW3M2Iy1GXnM2Ki1GYXM2OVEjMzdGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG9GXHZGanNGXXRGYHRGYnRGYnFGZHEtRltzNiMtRl5zNipGaHRGZ3NGanNGXXRGYHRGYnRGYnFGZHEtRltzNiMtRl5zNiotRmFzNjlRIjNGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG9GW3VGanNGXXRGYHRGYnRGYnFGZHEtRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JIkFHRigtSSdSVEFCTEVHRig2JSIoKUcoUSMtSSdNQVRSSVhHRig2IzclNyUjISM6IiIlIyEiJiIiIyIiJjclIyIjUiIiKSNGXHpGaHkjISIqRlt6NyUjIiNQRmB6I0ZqeUZoeSMiIiRGW3pJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRmp6NiMvSSQlaWRHRihGYHk= Check that the matrix A has the expected eigenvalues and eigenvectors Eigenvectors(A); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtRiQ2JS1JI21vR0YlNjNRIltGKC8lJWZvcm1HUSdwcmVmaXhGKC8lJmZlbmNlR1EldHJ1ZUYoLyUqc2VwYXJhdG9yR1EmZmFsc2VGKC8lJ2xzcGFjZUdRLnRoaW5tYXRoc3BhY2VGKC8lJ3JzcGFjZUdGPS8lKXN0cmV0Y2h5R0Y3LyUqc3ltbWV0cmljR0Y6LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOi8lLm1vdmFibGVsaW1pdHNHRjovJSdhY2NlbnRHRjovJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lJXNpemVHUSMxMkYoLyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEpJm1pbnVzOzVGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdGVS8lJWJvbGRHRjovJSdpdGFsaWNHRjovJSp1bmRlcmxpbmVHRjovJSpzdWJzY3JpcHRHRjovJSxzdXBlcnNjcmlwdEdGOi8lK2ZvcmVncm91bmRHRlgvJStiYWNrZ3JvdW5kR0Zlbi8lJ29wYXF1ZUdGOi8lK2V4ZWN1dGFibGVHRjovJSlyZWFkb25seUdGNy8lKWNvbXBvc2VkR0Y6LyUqY29udmVydGVkR0Y6LyUraW1zZWxlY3RlZEdGOi8lLHBsYWNlaG9sZGVyR0Y6LyUwZm9udF9zdHlsZV9uYW1lR0ZSLyUqbWF0aGNvbG9yR0ZYLyUvbWF0aGJhY2tncm91bmRHRmVuLyUrZm9udGZhbWlseUdGZ28vJSxtYXRodmFyaWFudEdRJ25vcm1hbEYoLyUpbWF0aHNpemVHRlUtRlxvNiMtRl9vNiMtRmJvNjlRKSZtaW51czsxRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXItRlxvNiMtRl9vNiMtRmJvNjlRIjVGKEZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhci1GLzYzUSJdRigvRjNRKHBvc3RmaXhGKEY1RjhGOy9GP1EydmVyeXRoaW5tYXRoc3BhY2VGKEZARkJGREZHRkpGTEZORlBGU0ZWRlktRi82M1EiLEYoL0YzUSZpbmZpeEYoL0Y2RjovRjlGNy9GPFEkMGVtRigvRj9RM3Zlcnl0aGlja21hdGhzcGFjZUYoL0ZBRjpGQkZERkdGSkZMRk5GUEZTRlZGWS1GJDYlRi4tRiQ2Iy1GaW42JS1GXG82JUZlci1GX282Iy1GYm82OVEiMEYoRmVvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmFyLUZfbzYjLUkmbWZyYWNHRiU2Ki1GYm82OVEiMkYoRmVvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl5yRmFyLUZibzY5USIzRihGZW9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGXnJGYXIvJS5saW5ldGhpY2tuZXNzR1EiMUYoLyUrZGVub21hbGlnbkdRJ2NlbnRlckYoLyUpbnVtYWxpZ25HRmF2LyUpYmV2ZWxsZWRHRjpGVkZZLUZcbzYlLUZfbzYjLUZkdTYqRml1RmZ1Rlx2Rl92RmJ2RmR2RlZGWS1GX282I0ZmdS1GX282Iy1GZHU2KkZnckZpdUZcdkZfdkZidkZkdkZWRlktRlxvNiUtRl9vNiMtRmJvNjlGSUZlb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZeckZhckZkd0Zkd0ZhczcjLV9GKUksbXByaW50c2xhc2hHRig2JDckLUknUlRBQkxFR0YoNiUiKS9dMT0tSSdNQVRSSVhHRig2IzclNyMhIiY3IyEiIjcjIiImJkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoLUZfeDYlIilfTSN5Ii1GY3g2IzclNyVGaXgiIiEjIiIjIiIkNyUjRlx6Rlt6Rlt6I0ZpeEZcejclIiIiRmF6RmF6SSdNYXRyaXhHRl55NyQtRlx5NiMvSSQlaWRHRihGYXgtRmJ6NiMvRmd6RmR5 Let's also check the characteristic polynomial of A. chp := CharacteristicPolynomial(A,x); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USRjaHBGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYpLUYkNiMtSSVtc3VwR0YlNiUtRi02OVEieEYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUkjbW5HRiU2OVEiM0YoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYoLUZfbzYzUSIrRihGYm9GZW9GZ28vRmpvUTBtZWRpdW1tYXRoc3BhY2VGKC9GXXBGXnNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1GW3I2JUZdci1GYXI2OVEiMkYoRjBGM0Y2RmRyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZlckZcb0Znci1GX282M1EoJm1pbnVzO0YoRmJvRmVvRmdvRl1zRl9zRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRmFyNjlRIzI1RihGMEYzRjZGZHJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmVyRlxvLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGY3RGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHFGXXJGZ3NGXHQ3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJGNocEdGKCwqKiQpSSJ4R0YoIiIkIiIiRmJ1KiQpRmB1IiIjRmJ1RmJ1KiYiI0RGYnVGYHVGYnUhIiJGZ3VGaHU3I0ZddQ== factor(chp); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNictRiQ2JS1JI21vR0YlNjNRIihGKC8lJWZvcm1HUSdwcmVmaXhGKC8lJmZlbmNlR1EldHJ1ZUYoLyUqc2VwYXJhdG9yR1EmZmFsc2VGKC8lJ2xzcGFjZUdRLnRoaW5tYXRoc3BhY2VGKC8lJ3JzcGFjZUdGPS8lKXN0cmV0Y2h5R0Y3LyUqc3ltbWV0cmljR0Y6LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOi8lLm1vdmFibGVsaW1pdHNHRjovJSdhY2NlbnRHRjovJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lJXNpemVHUSMxMkYoLyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC1GJDYlLUkjbWlHRiU2OVEieEYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR0ZVLyUlYm9sZEdGOi8lJ2l0YWxpY0dGNy8lKnVuZGVybGluZUdGOi8lKnN1YnNjcmlwdEdGOi8lLHN1cGVyc2NyaXB0R0Y6LyUrZm9yZWdyb3VuZEdGWC8lK2JhY2tncm91bmRHRmVuLyUnb3BhcXVlR0Y6LyUrZXhlY3V0YWJsZUdGOi8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjovJSpjb252ZXJ0ZWRHRjovJStpbXNlbGVjdGVkR0Y6LyUscGxhY2Vob2xkZXJHRjovJTBmb250X3N0eWxlX25hbWVHRlIvJSptYXRoY29sb3JHRlgvJS9tYXRoYmFja2dyb3VuZEdGZW4vJStmb250ZmFtaWx5R0Zeby8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGVS1GLzYzUSgmbWludXM7RigvRjNRJmluZml4RigvRjZGOkY4L0Y8UTBtZWRpdW1tYXRoc3BhY2VGKC9GP0Zhci9GQUY6RkJGREZHRkpGTEZORlBGU0ZWRlktSSNtbkdGJTY5USI1RihGXG9GX29GYW8vRmRvRjpGZW9GZ29GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3EvRmZxUSdub3JtYWxGKEZocS1GLzYzUSIpRigvRjNRKHBvc3RmaXhGKEY1RjhGOy9GP1EydmVyeXRoaW5tYXRoc3BhY2VGKEZARkJGREZHRkpGTEZORlBGU0ZWRlktRi82M1ExJkludmlzaWJsZVRpbWVzO0YoRl1yRl9yRjgvRjxRJDBlbUYoL0Y/RmZzRmNyRkJGREZHRkpGTEZORlBGU0ZWRlktRiQ2JUYuLUYkNiVGaG4tRi82M1EiK0YoRl1yRl9yRjhGYHJGYnJGY3JGQkZERkdGSkZMRk5GUEZTRlZGWUZkckZbc0Zicy1GJDYlRi4tRiQ2JUZobkZcdC1GZXI2OUZJRlxvRl9vRmFvRmhyRmVvRmdvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmlyRmhxRltzNyMqKCwmSSJ4R0YoIiIiIiImISIiRml0LCZGaHRGaXRGanRGaXRGaXQsJkZodEZpdEZpdEZpdEZpdA==
<Text-field style="_pstyle17" layout="_pstyle17">Exercises:</Text-field> 1) Find a 3 x 3 matrix B which has the eigenvectors and eigenvalues of your choice. Make all your eigenvalues nonzero, and all entries of your eigenvectors nonzero. (Don't reuse the variables DD or Q) 2) The matrices A and B probably have fractional entries. How could the professor make sure that a matrix computed this way has only integer entries?
<Text-field style="_pstyle14" layout="_pstyle14">Computing powers of matrices using diagonalization</Text-field> Compute a high power of A using the diagonal matrix DD. First we choose an appropriate power: power := rand(8..20)(); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USZwb3dlckYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUkjbW5HRiU2OVEjMThGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSZwb3dlckdGKCIjPTcjRmVy Raise the matrix DD to this power. powerDD := DD^power; NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5UShwb3dlckRERigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JS1JJG10ckdGJTYlLUkkbXRkR0YlNiMtSSNtbkdGJTY5RmdwRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRltzNiMtRl5zNjlRIjBGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG9GY3MtRmhyNiVGY3MtRltzNiMtRl5zNjlRLjM4MTQ2OTcyNjU2MjVGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG9GY3MtRmhyNiVGY3NGY3NGanMtRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JKHBvd2VyRERHRigtSSdSVEFCTEVHRig2JSIpZ2d2Pi1JJ01BVFJJWEdGKDYjNyU3JSIiIiIiIUZqdTclRmp1Ii5EY0UocDlRRmp1NyVGanVGanVGXHZJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRl52NiMvSSQlaWRHRihGY3U= A to the given power is now computed using Q powerA := Q . powerDD . Q^(-1); NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USdwb3dlckFGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUZfbzYzUSJbRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGX3IvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiUtSSRtdGRHRiU2Iy1JI21uR0YlNjlRLjM4MTQ2OTcyNjU2MjVGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZbczYjLUZeczY5USIwRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmRzLUZocjYlLUZbczYjLUZeczY5UTUmbWludXM7NTI0NTIwODc0MDIzM0YoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVE0Jm1pbnVzOzk1MzY3NDMxNjQwNUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVEuMTkwNzM0ODYzMjgxMkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2JS1GW3M2Iy1JJm1mcmFjR0YlNipGXXQtRl5zNjlRIjJGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8vJS5saW5ldGhpY2tuZXNzR1EiMUYoLyUrZGVub21hbGlnbkdRJ2NlbnRlckYoLyUpbnVtYWxpZ25HRml1LyUpYmV2ZWxsZWRHRjhGYnFGZHEtRltzNiMtRl5zNjlRNSZtaW51czsyMzg0MTg1NzkxMDE1RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5US40NzY4MzcxNTgyMDMxRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSdwb3dlckFHRigtSSdSVEFCTEVHRig2JSIpJ2ZHJT0tSSdNQVRSSVhHRig2IzclNyUiLkRjRShwOVEiIiFGYXg3JSEuTC11M19DJiEtMGtKdU8mKiIuN0dqW3QhPjclI0ZjeCIiIyEuOjV6Jj0lUSMiLko/ZXIkb1pJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRlt5NiMvSSQlaWRHRihGanc= Check by direct calculation: A^power; NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiUtSSRtdGRHRiU2Iy1JI21uR0YlNjlRLjM4MTQ2OTcyNjU2MjVGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdGUy8lJWJvbGRHRjgvJSdpdGFsaWNHRjgvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHRlYvJStiYWNrZ3JvdW5kR0ZZLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y1LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHRlAvJSptYXRoY29sb3JHRlYvJS9tYXRoYmFja2dyb3VuZEdGWS8lK2ZvbnRmYW1pbHlHRmVvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0ZTLUZdbzYjLUZgbzY5USIwRihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3JGYXItRmpuNiUtRl1vNiMtRmBvNjlRNSZtaW51czs1MjQ1MjA4NzQwMjMzRihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3ItRl1vNiMtRmBvNjlRNCZtaW51czs5NTM2NzQzMTY0MDVGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1GXW82Iy1GYG82OVEuMTkwNzM0ODYzMjgxMkYoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yLUZqbjYlLUZdbzYjLUkmbWZyYWNHRiU2KkZqci1GYG82OVEiMkYoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0ZmdC8lKWJldmVsbGVkR0Y4RlRGVy1GXW82Iy1GYG82OVE1Jm1pbnVzOzIzODQxODU3OTEwMTVGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1GXW82Iy1GYG82OVEuNDc2ODM3MTU4MjAzMUYoRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yLUYtNjNRIl1GKC9GMVEocG9zdGZpeEYoRjNGNkY5L0Y9UTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRj5GQEZCRkVGSEZKRkxGTkZRRlRGVzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjLUknUlRBQkxFR0YoNiUiKSU9dyM+LUknTUFUUklYR0YoNiM3JTclIi5EY0UocDlRIiIhRlx3NyUhLkwtdTNfQyYhLTBrSnVPJioiLjdHalt0IT43JSNGXnciIiMhLjo1eiY9JVEjIi5KP2VyJG9aSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZmdzYjL0kkJWlkR0YoRmV2 Exercise: 3) Compute some power of B between 8 and 20 using the same technique.