(***********************************************************************
Mathematica-Compatible Notebook
This notebook can be used on any computer system with Mathematica 3.0,
MathReader 3.0, or any compatible application. The data for the notebook
starts with the line of 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[ 41366, 741]*)
(*NotebookOutlinePosition[ 42014, 764]*)
(* CellTagsIndexPosition[ 41970, 760]*)
(*WindowFrame->Normal*)
Notebook[{
Cell[CellGroupData[{
Cell[BoxData[
\(Ma\ =
\ {{a2, a1, 0, \(-a4\)}, {a3, \(-a2\), a1, 0}, {a4, 0, \(-a3\), a1}, {
\(-a1\), a3, a2, 0}, {\(-a1\), 0, a4, a3}, {\(-a1\), a4, 0, a2}}\)],
"Input"],
Cell[BoxData[
\({{a2, a1, 0, \(-a4\)}, {a3, \(-a2\), a1, 0}, {a4, 0, \(-a3\), a1}, {
\(-a1\), a3, a2, 0}, {\(-a1\), 0, a4, a3}, {\(-a1\), a4, 0, a2}}\)],
"Output"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
\(MMa\ = \ Flatten[Minors[Ma, 4]]\)], "Input"],
Cell[BoxData[
\({a1\^4 + a1\ a2\^3 + 2\ a1\^2\ a2\ a3 - a1\ a2\ a3\ a4 + a3\^3\ a4 +
a2\^2\ a4\^2 + a1\ a3\ a4\^2,
a1\^4 + a2\^2\ a3\^2 + a1\ a3\^3 + a1\ a2\^2\ a4 + 2\ a1\^2\ a3\ a4 -
a1\ a2\ a3\ a4 + a2\ a4\^3,
a1\^4 + a2\^3\ a3 + a1\ a2\ a3\^2 + 2\ a1\^2\ a2\ a4 - a1\ a2\ a3\ a4 +
a3\^2\ a4\^2 + a1\ a4\^3,
\(-a1\^3\)\ a3 - a2\^3\ a3 - 2\ a1\ a2\ a3\^2 + a1\ a2\^2\ a4 +
a1\^2\ a3\ a4 - a1\ a2\ a4\^2 + a3\^2\ a4\^2,
\(-a1\^3\)\ a2 - a2\^4 - 2\ a1\ a2\^2\ a3 + a1\ a2\^2\ a4 +
a1\^2\ a3\ a4 - a1\^2\ a4\^2 - a2\ a3\ a4\^2,
\(-a1\^3\)\ a2 + a1\^3\ a3 - a2\^3\ a4 - a1\^2\ a4\^2 + a1\ a2\ a4\^2 -
a3\ a4\^3,
\(-a1\^3\)\ a2 + a1\^2\ a3\^2 + a2\ a3\^3 + a1\^3\ a4 - a1\ a3\^2\ a4 +
a3\ a4\^3,
\(-a1\^3\)\ a2 + a1\^2\ a2\ a3 + a2\^2\ a3\^2 - 2\ a1\ a2\^2\ a4 -
a1\ a3\^2\ a4 + a1\ a3\ a4\^2 - a2\ a4\^3,
a1\^2\ a2\ a3 - a1\^2\ a3\^2 - a1\^3\ a4 - a2\ a3\^2\ a4 -
2\ a1\ a2\ a4\^2 + a1\ a3\ a4\^2 - a4\^4,
\(-a1\^2\)\ a2\^2 + a1\^2\ a2\ a3 + a1\^2\ a2\ a4 + 2\ a2\^2\ a3\ a4 -
a1\ a2\ a4\^2 - a1\ a3\ a4\^2 + a1\ a4\^3,
a1\^2\ a2\^2 + a1\^3\ a3 - a1\ a2\ a3\^2 + a3\^4 - a1\^2\ a2\ a4 +
a2\^2\ a3\ a4 + 2\ a1\ a3\^2\ a4,
a1\^2\ a2\^2 + a1\^3\ a3 - a1\ a2\^2\ a3 + a2\ a3\^3 - a1\^3\ a4 +
a2\^3\ a4,
\(-a1\)\ a2\^2\ a3 + a1\ a2\ a3\^2 - a1\^3\ a4 + a1\^2\ a2\ a4 -
a3\^3\ a4 + a2\^2\ a4\^2 - 2\ a1\ a3\ a4\^2,
a1\ a2\^3 + a1\^2\ a2\ a3 - a1\ a2\^2\ a3 - a1\^2\ a3\^2 -
a1\ a2\^2\ a4 + a1\^2\ a3\ a4 + 2\ a2\ a3\^2\ a4,
\(-a1\)\ a2\ a3\^2 + a1\ a3\^3 + a1\^2\ a2\ a4 + a1\^2\ a3\ a4 -
a1\ a3\^2\ a4 - a1\^2\ a4\^2 + 2\ a2\ a3\ a4\^2}\)], "Output"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[{
\(GB1\ = \ GroebnerBasis[MMa, {a1, a2, a3, a4}, {a1, a2}]; \n
GB2\ = \ GroebnerBasis[MMa, {a1, a2, a3, a4}, {a1, a3}]; \n
GB3\ = \ GroebnerBasis[MMa, \ {a1, a2, a3, a4}, {a1, a4}]; \n
GB4\ = \ GroebnerBasis[MMa, \ {a1, a2, a3, a4}, {a2, a3}]; \n
GB5\ = \ GroebnerBasis[MMa, \ {a1, a2, a3, a4}, {a2, a4}]; \n
GB6\ = \ GroebnerBasis[MMa, \ {a1, a2, a3, a4}, {a3, a4}]; \n
Reduce[GB1\ == \ 0]\),
\(Reduce[GB2\ == \ 0]\),
\(Reduce[GB3\ == \ 0]\),
\(Reduce[GB4\ == \ 0]\),
\(Reduce[GB5\ == \ 0]\),
\(Reduce[GB6\ == \ 0]\n\)}], "Input"],
Cell[BoxData[
\(a3 == a4 ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 1] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 2] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 3] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 4] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 5] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 6] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 7] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 8] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 9] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 10] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 11] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 12] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 13] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 14] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 15] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 16] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 17] ||
a4 == a3\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 18]\)], "Output"],
Cell[BoxData[
\(a2 == a4 ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 1] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 2] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 3] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 4] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 5] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 6] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 7] ||
a4 ==
a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 8] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 9] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 10] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 11] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 12] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 13] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 14] ||
a4 ==
a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 15] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 16] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 17] ||
a4 == a2\ Root[
17 + 30\ #1 + 123\ #1\^2 - 246\ #1\^3 + 1652\ #1\^4 -
666\ #1\^5 + 3819\ #1\^6 - 530\ #1\^7 - 255\ #1\^8 +
2758\ #1\^9 - 1775\ #1\^10 + 680\ #1\^11 + 719\ #1\^12 -
826\ #1\^13 + 342\ #1\^14 + 54\ #1\^15 - 112\ #1\^16 +
30\ #1\^17 + 17\ #1\^18&, 18]\)], "Output"],
Cell[BoxData[
\(a2 == a3 ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 1] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 2] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 3] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 4] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 5] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 6] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 7] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 8] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 9] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 10] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 11] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 12] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 13] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 14] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 15] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 16] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 17] ||
a3 == a2\ Root[
17 + 30\ #1 - 112\ #1\^2 + 54\ #1\^3 + 342\ #1\^4 - 826\ #1\^5 +
719\ #1\^6 + 680\ #1\^7 - 1775\ #1\^8 + 2758\ #1\^9 -
255\ #1\^10 - 530\ #1\^11 + 3819\ #1\^12 - 666\ #1\^13 +
1652\ #1\^14 - 246\ #1\^15 + 123\ #1\^16 + 30\ #1\^17 +
17\ #1\^18&, 18]\)], "Output"],
Cell[BoxData[
\(a1 == 1\/2\ \((a4 - I\ \@7\ a4)\) ||
a1 == 1\/2\ \((a4 + I\ \@7\ a4)\) ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 1] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 2] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 3] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 4] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 5] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 6] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 7] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 8] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 9] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 10] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 11] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 12] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 13] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 14] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 15] ||
a4 ==
a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 16] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 17] ||
a4 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 18]\)],
"Output"],
Cell[BoxData[
\(a1 == 1\/2\ \((a3 - I\ \@7\ a3)\) ||
a1 == 1\/2\ \((a3 + I\ \@7\ a3)\) ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 1] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 2] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 3] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 4] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 5] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 6] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 7] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 8] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 9] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 10] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 11] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 12] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 13] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 14] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 15] ||
a3 ==
a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 16] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 17] ||
a3 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 18]\)],
"Output"],
Cell[BoxData[
\(a1 == 1\/2\ \((a2 - I\ \@7\ a2)\) ||
a1 == 1\/2\ \((a2 + I\ \@7\ a2)\) ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 1] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 2] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 3] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 4] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 5] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 6] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 7] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 8] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 9] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 10] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 11] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 12] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 13] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 14] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 15] ||
a2 ==
a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 16] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 17] ||
a2 == a1\ Root[
17 - 46\ #1 + 132\ #1\^2 - 173\ #1\^3 + 127\ #1\^4 - 129\ #1\^5 +
659\ #1\^6 - 342\ #1\^7 - 73\ #1\^8 - 569\ #1\^9 +
408\ #1\^10 - 18\ #1\^11 + 468\ #1\^12 - 168\ #1\^13 -
8\ #1\^14 - 56\ #1\^15 + 32\ #1\^17 + 64\ #1\^18&, 18]\)],
"Output"]
}, Open ]]
},
FrontEndVersion->"Microsoft Windows 3.0",
ScreenRectangle->{{0, 800}, {0, 544}},
WindowSize->{496, 478},
WindowMargins->{{2, Automatic}, {Automatic, 2}}
]
(***********************************************************************
Cached data follows. If you edit this Notebook file directly, not using
Mathematica, you must remove the line containing CacheID at the top of
the file. The cache data will then be recreated when you save this file
from within Mathematica.
***********************************************************************)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[1731, 51, 195, 4, 50, "Input"],
Cell[1929, 57, 178, 3, 48, "Output"]
}, Open ]],
Cell[CellGroupData[{
Cell[2144, 65, 65, 1, 30, "Input"],
Cell[2212, 68, 1780, 30, 333, "Output"]
}, Open ]],
Cell[CellGroupData[{
Cell[4029, 103, 610, 12, 270, "Input"],
Cell[4642, 117, 6423, 109, 1397, "Output"],
Cell[11068, 228, 6441, 111, 1397, "Output"],
Cell[17512, 341, 6423, 109, 1397, "Output"],
Cell[23938, 452, 5802, 94, 1259, "Output"],
Cell[29743, 548, 5802, 94, 1259, "Output"],
Cell[35548, 644, 5802, 94, 1259, "Output"]
}, Open ]]
}
]
*)
(***********************************************************************
End of Mathematica Notebook file.
***********************************************************************)