Skip to content

Add files via upload #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
thomasjemerick wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Add files via upload #6

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions etf_11x23_6a.exa
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
{{1, 1}} -> 1
{{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {1, 7}, {1, 8}, {1, 9}, {1, 10}, {1, 11}, {1, 12}, {1, 13}, {1, 14}, {1, 15}, {1, 16}, {1, 17}, {1, 18}, {1, 19}, {1, 20}, {1, 21}, {1, 22}, {1, 23}, {2, 1}, {2, 2}, {3, 1}, {3, 3}, {4, 1}, {4, 4}, {5, 1}, {5, 5}, {6, 1}, {6, 6}, {7, 1}, {7, 7}, {8, 1}, {8, 8}, {9, 1}, {9, 9}, {10, 1}, {10, 10}, {11, 1}, {11, 11}, {12, 1}, {12, 12}, {13, 1}, {13, 13}, {14, 1}, {14, 14}, {15, 1}, {15, 15}, {16, 1}, {16, 16}, {17, 1}, {17, 17}, {18, 1}, {18, 18}, {19, 1}, {19, 19}, {20, 1}, {20, 20}, {21, 1}, {21, 21}, {22, 1}, {22, 22}, {23, 1}, {23, 23}} -> 6/121
{{2, 6}, {2, 8}, {2, 11}, {2, 15}, {2, 18}, {2, 20}, {3, 6}, {3, 11}, {3, 12}, {3, 15}, {3, 16}, {3, 21}, {4, 6}, {4, 8}, {4, 12}, {4, 16}, {4, 20}, {4, 22}, {5, 6}, {5, 8}, {5, 11}, {5, 18}, {5, 21}, {5, 23}, {7, 8}, {7, 11}, {7, 15}, {7, 16}, {7, 20}, {7, 23}, {9, 11}, {9, 12}, {9, 15}, {9, 18}, {9, 21}, {9, 22}, {10, 11}, {10, 12}, {10, 16}, {10, 18}, {10, 22}, {10, 23}, {13, 6}, {13, 8}, {13, 15}, {13, 16}, {13, 21}, {13, 22}, {14, 15}, {14, 16}, {14, 18}, {14, 20}, {14, 22}, {14, 23}, {17, 6}, {17, 12}, {17, 18}, {17, 20}, {17, 21}, {17, 23}, {19, 8}, {19, 12}, {19, 20}, {19, 21}, {19, 22}, {19, 23}} -> (17 + (5*I)*Sqrt[23])/2662
{{6, 2}, {6, 3}, {6, 4}, {6, 5}, {6, 13}, {6, 17}, {8, 2}, {8, 4}, {8, 5}, {8, 7}, {8, 13}, {8, 19}, {11, 2}, {11, 3}, {11, 5}, {11, 7}, {11, 9}, {11, 10}, {12, 3}, {12, 4}, {12, 9}, {12, 10}, {12, 17}, {12, 19}, {15, 2}, {15, 3}, {15, 7}, {15, 9}, {15, 13}, {15, 14}, {16, 3}, {16, 4}, {16, 7}, {16, 10}, {16, 13}, {16, 14}, {18, 2}, {18, 5}, {18, 9}, {18, 10}, {18, 14}, {18, 17}, {20, 2}, {20, 4}, {20, 7}, {20, 14}, {20, 17}, {20, 19}, {21, 3}, {21, 5}, {21, 9}, {21, 13}, {21, 17}, {21, 19}, {22, 4}, {22, 9}, {22, 10}, {22, 13}, {22, 14}, {22, 19}, {23, 5}, {23, 7}, {23, 10}, {23, 14}, {23, 17}, {23, 19}} -> (17 - (5*I)*Sqrt[23])/2662
{{2, 3}, {2, 4}, {2, 5}, {2, 10}, {2, 12}, {2, 14}, {2, 16}, {2, 21}, {2, 22}, {2, 23}, {3, 4}, {3, 5}, {3, 7}, {3, 8}, {3, 9}, {3, 18}, {3, 19}, {3, 20}, {3, 22}, {3, 23}, {4, 5}, {4, 7}, {4, 10}, {4, 11}, {4, 13}, {4, 15}, {4, 17}, {4, 18}, {4, 21}, {4, 23}, {5, 7}, {5, 9}, {5, 12}, {5, 13}, {5, 14}, {5, 15}, {5, 16}, {5, 17}, {5, 20}, {5, 22}, {6, 8}, {6, 12}, {6, 15}, {6, 18}, {6, 22}, {7, 2}, {7, 6}, {7, 9}, {7, 10}, {7, 12}, {7, 13}, {7, 18}, {7, 19}, {7, 21}, {7, 22}, {8, 11}, {8, 12}, {8, 16}, {8, 20}, {8, 21}, {9, 2}, {9, 4}, {9, 6}, {9, 8}, {9, 10}, {9, 13}, {9, 16}, {9, 17}, {9, 20}, {9, 23}, {10, 3}, {10, 5}, {10, 6}, {10, 8}, {10, 13}, {10, 14}, {10, 15}, {10, 19}, {10, 20}, {10, 21}, {11, 6}, {11, 12}, {11, 15}, {11, 20}, {11, 23}, {12, 15}, {12, 16}, {12, 18}, {12, 20}, {12, 21}, {13, 2}, {13, 3}, {13, 11}, {13, 12}, {13, 14}, {13, 17}, {13, 18}, {13, 19}, {13, 20}, {13, 23}, {14, 3}, {14, 4}, {14, 6}, {14, 7}, {14, 8}, {14, 9}, {14, 11}, {14, 12}, {14, 17}, {14, 21}, {15, 8}, {15, 16}, {15, 18}, {15, 21}, {15, 23}, {16, 6}, {16, 11}, {16, 18}, {16, 20}, {16, 22}, {17, 2}, {17, 3}, {17, 7}, {17, 8}, {17, 10}, {17, 11}, {17, 15}, {17, 16}, {17, 19}, {17, 22}, {18, 8}, {18, 11}, {18, 20}, {18, 21}, {18, 22}, {19, 2}, {19, 4}, {19, 5}, {19, 6}, {19, 9}, {19, 11}, {19, 14}, {19, 15}, {19, 16}, {19, 18}, {20, 6}, {20, 15}, {20, 21}, {20, 22}, {20, 23}, {21, 6}, {21, 11}, {21, 16}, {21, 22}, {21, 23}, {22, 8}, {22, 11}, {22, 12}, {22, 15}, {22, 23}, {23, 6}, {23, 8}, {23, 12}, {23, 16}, {23, 18}} -> ((3*I)/1331)*(I + Sqrt[23])
{{2, 7}, {2, 9}, {2, 13}, {2, 17}, {2, 19}, {3, 2}, {3, 10}, {3, 13}, {3, 14}, {3, 17}, {4, 2}, {4, 3}, {4, 9}, {4, 14}, {4, 19}, {5, 2}, {5, 3}, {5, 4}, {5, 10}, {5, 19}, {6, 7}, {6, 9}, {6, 10}, {6, 11}, {6, 14}, {6, 16}, {6, 19}, {6, 20}, {6, 21}, {6, 23}, {7, 3}, {7, 4}, {7, 5}, {7, 14}, {7, 17}, {8, 3}, {8, 6}, {8, 9}, {8, 10}, {8, 14}, {8, 15}, {8, 17}, {8, 18}, {8, 22}, {8, 23}, {9, 3}, {9, 5}, {9, 7}, {9, 14}, {9, 19}, {10, 2}, {10, 4}, {10, 7}, {10, 9}, {10, 17}, {11, 4}, {11, 8}, {11, 13}, {11, 14}, {11, 16}, {11, 17}, {11, 18}, {11, 19}, {11, 21}, {11, 22}, {12, 2}, {12, 5}, {12, 6}, {12, 7}, {12, 8}, {12, 11}, {12, 13}, {12, 14}, {12, 22}, {12, 23}, {13, 4}, {13, 5}, {13, 7}, {13, 9}, {13, 10}, {14, 2}, {14, 5}, {14, 10}, {14, 13}, {14, 19}, {15, 4}, {15, 5}, {15, 6}, {15, 10}, {15, 11}, {15, 12}, {15, 17}, {15, 19}, {15, 20}, {15, 22}, {16, 2}, {16, 5}, {16, 8}, {16, 9}, {16, 12}, {16, 15}, {16, 17}, {16, 19}, {16, 21}, {16, 23}, {17, 4}, {17, 5}, {17, 9}, {17, 13}, {17, 14}, {18, 3}, {18, 4}, {18, 6}, {18, 7}, {18, 12}, {18, 13}, {18, 15}, {18, 16}, {18, 19}, {18, 23}, {19, 3}, {19, 7}, {19, 10}, {19, 13}, {19, 17}, {20, 3}, {20, 5}, {20, 8}, {20, 9}, {20, 10}, {20, 11}, {20, 12}, {20, 13}, {20, 16}, {20, 18}, {21, 2}, {21, 4}, {21, 7}, {21, 8}, {21, 10}, {21, 12}, {21, 14}, {21, 15}, {21, 18}, {21, 20}, {22, 2}, {22, 3}, {22, 5}, {22, 6}, {22, 7}, {22, 16}, {22, 17}, {22, 18}, {22, 20}, {22, 21}, {23, 2}, {23, 3}, {23, 4}, {23, 9}, {23, 11}, {23, 13}, {23, 15}, {23, 20}, {23, 21}, {23, 22}} -> ((-3*I)/1331)*(-I + Sqrt[23])
6 changes: 6 additions & 0 deletions etf_11x23_6a.tp
View file
Open in desktop

Large diffs are not rendered by default.

6 changes: 6 additions & 0 deletions etf_15x31_6a.exa
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
{{1, 1}} -> 1
{{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {1, 7}, {1, 8}, {1, 9}, {1, 10}, {1, 11}, {1, 12}, {1, 13}, {1, 14}, {1, 15}, {1, 16}, {1, 17}, {1, 18}, {1, 19}, {1, 20}, {1, 21}, {1, 22}, {1, 23}, {1, 24}, {1, 25}, {1, 26}, {1, 27}, {1, 28}, {1, 29}, {1, 30}, {1, 31}, {2, 1}, {2, 2}, {3, 1}, {3, 3}, {4, 1}, {4, 4}, {5, 1}, {5, 5}, {6, 1}, {6, 6}, {7, 1}, {7, 7}, {8, 1}, {8, 8}, {9, 1}, {9, 9}, {10, 1}, {10, 10}, {11, 1}, {11, 11}, {12, 1}, {12, 12}, {13, 1}, {13, 13}, {14, 1}, {14, 14}, {15, 1}, {15, 15}, {16, 1}, {16, 16}, {17, 1}, {17, 17}, {18, 1}, {18, 18}, {19, 1}, {19, 19}, {20, 1}, {20, 20}, {21, 1}, {21, 21}, {22, 1}, {22, 22}, {23, 1}, {23, 23}, {24, 1}, {24, 24}, {25, 1}, {25, 25}, {26, 1}, {26, 26}, {27, 1}, {27, 27}, {28, 1}, {28, 28}, {29, 1}, {29, 29}, {30, 1}, {30, 30}, {31, 1}, {31, 31}} -> 8/225
{{2, 4}, {2, 7}, {2, 12}, {2, 16}, {2, 18}, {2, 22}, {2, 27}, {2, 30}, {3, 4}, {3, 7}, {3, 12}, {3, 13}, {3, 22}, {3, 23}, {3, 28}, {3, 31}, {5, 7}, {5, 12}, {5, 13}, {5, 14}, {5, 23}, {5, 24}, {5, 25}, {5, 30}, {6, 7}, {6, 13}, {6, 14}, {6, 16}, {6, 22}, {6, 24}, {6, 25}, {6, 31}, {8, 12}, {8, 13}, {8, 16}, {8, 18}, {8, 22}, {8, 24}, {8, 27}, {8, 28}, {9, 13}, {9, 14}, {9, 16}, {9, 18}, {9, 23}, {9, 25}, {9, 27}, {9, 28}, {10, 4}, {10, 7}, {10, 12}, {10, 14}, {10, 18}, {10, 24}, {10, 28}, {10, 30}, {11, 12}, {11, 13}, {11, 16}, {11, 18}, {11, 25}, {11, 27}, {11, 30}, {11, 31}, {15, 4}, {15, 12}, {15, 16}, {15, 22}, {15, 23}, {15, 24}, {15, 25}, {15, 31}, {17, 4}, {17, 14}, {17, 18}, {17, 22}, {17, 24}, {17, 25}, {17, 27}, {17, 31}, {19, 4}, {19, 7}, {19, 13}, {19, 16}, {19, 23}, {19, 24}, {19, 27}, {19, 28}, {20, 7}, {20, 14}, {20, 22}, {20, 24}, {20, 25}, {20, 27}, {20, 28}, {20, 30}, {21, 4}, {21, 18}, {21, 22}, {21, 23}, {21, 25}, {21, 28}, {21, 30}, {21, 31}, {26, 4}, {26, 13}, {26, 14}, {26, 23}, {26, 27}, {26, 28}, {26, 30}, {26, 31}, {29, 7}, {29, 12}, {29, 14}, {29, 16}, {29, 18}, {29, 23}, {29, 30}, {29, 31}} -> (23 + (7*I)*Sqrt[31])/6750
{{4, 2}, {4, 3}, {4, 10}, {4, 15}, {4, 17}, {4, 19}, {4, 21}, {4, 26}, {7, 2}, {7, 3}, {7, 5}, {7, 6}, {7, 10}, {7, 19}, {7, 20}, {7, 29}, {12, 2}, {12, 3}, {12, 5}, {12, 8}, {12, 10}, {12, 11}, {12, 15}, {12, 29}, {13, 3}, {13, 5}, {13, 6}, {13, 8}, {13, 9}, {13, 11}, {13, 19}, {13, 26}, {14, 5}, {14, 6}, {14, 9}, {14, 10}, {14, 17}, {14, 20}, {14, 26}, {14, 29}, {16, 2}, {16, 6}, {16, 8}, {16, 9}, {16, 11}, {16, 15}, {16, 19}, {16, 29}, {18, 2}, {18, 8}, {18, 9}, {18, 10}, {18, 11}, {18, 17}, {18, 21}, {18, 29}, {22, 2}, {22, 3}, {22, 6}, {22, 8}, {22, 15}, {22, 17}, {22, 20}, {22, 21}, {23, 3}, {23, 5}, {23, 9}, {23, 15}, {23, 19}, {23, 21}, {23, 26}, {23, 29}, {24, 5}, {24, 6}, {24, 8}, {24, 10}, {24, 15}, {24, 17}, {24, 19}, {24, 20}, {25, 5}, {25, 6}, {25, 9}, {25, 11}, {25, 15}, {25, 17}, {25, 20}, {25, 21}, {27, 2}, {27, 8}, {27, 9}, {27, 11}, {27, 17}, {27, 19}, {27, 20}, {27, 26}, {28, 3}, {28, 8}, {28, 9}, {28, 10}, {28, 19}, {28, 20}, {28, 21}, {28, 26}, {30, 2}, {30, 5}, {30, 10}, {30, 11}, {30, 20}, {30, 21}, {30, 26}, {30, 29}, {31, 3}, {31, 6}, {31, 11}, {31, 15}, {31, 17}, {31, 21}, {31, 26}, {31, 29}} -> (23 - (7*I)*Sqrt[31])/6750
{{2, 3}, {2, 6}, {2, 9}, {2, 10}, {2, 11}, {2, 13}, {2, 14}, {2, 20}, {2, 21}, {2, 23}, {2, 24}, {2, 25}, {2, 28}, {2, 31}, {3, 5}, {3, 8}, {3, 10}, {3, 11}, {3, 14}, {3, 16}, {3, 17}, {3, 18}, {3, 19}, {3, 21}, {3, 24}, {3, 25}, {3, 27}, {3, 30}, {4, 12}, {4, 13}, {4, 14}, {4, 18}, {4, 22}, {4, 23}, {4, 24}, {5, 2}, {5, 4}, {5, 6}, {5, 9}, {5, 10}, {5, 15}, {5, 16}, {5, 18}, {5, 19}, {5, 21}, {5, 22}, {5, 27}, {5, 28}, {5, 31}, {6, 3}, {6, 4}, {6, 8}, {6, 10}, {6, 11}, {6, 12}, {6, 15}, {6, 18}, {6, 20}, {6, 23}, {6, 26}, {6, 27}, {6, 28}, {6, 30}, {7, 4}, {7, 12}, {7, 14}, {7, 16}, {7, 23}, {7, 25}, {7, 27}, {8, 2}, {8, 4}, {8, 5}, {8, 7}, {8, 9}, {8, 10}, {8, 14}, {8, 15}, {8, 17}, {8, 23}, {8, 25}, {8, 26}, {8, 30}, {8, 31}, {9, 3}, {9, 4}, {9, 6}, {9, 7}, {9, 10}, {9, 11}, {9, 12}, {9, 17}, {9, 19}, {9, 22}, {9, 24}, {9, 29}, {9, 30}, {9, 31}, {10, 11}, {10, 13}, {10, 15}, {10, 16}, {10, 17}, {10, 19}, {10, 20}, {10, 22}, {10, 23}, {10, 25}, {10, 26}, {10, 27}, {10, 29}, {10, 31}, {11, 4}, {11, 5}, {11, 7}, {11, 8}, {11, 14}, {11, 15}, {11, 19}, {11, 20}, {11, 21}, {11, 22}, {11, 23}, {11, 24}, {11, 28}, {11, 29}, {12, 13}, {12, 14}, {12, 16}, {12, 22}, {12, 28}, {12, 30}, {12, 31}, {13, 7}, {13, 14}, {13, 18}, {13, 22}, {13, 23}, {13, 27}, {13, 31}, {14, 16}, {14, 18}, {14, 22}, {14, 23}, {14, 24}, {14, 28}, {14, 30}, {15, 2}, {15, 3}, {15, 7}, {15, 9}, {15, 13}, {15, 14}, {15, 17}, {15, 18}, {15, 19}, {15, 20}, {15, 27}, {15, 28}, {15, 29}, {15, 30}, {16, 4}, {16, 13}, {16, 18}, {16, 23}, {16, 24}, {16, 25}, {16, 30}, {17, 2}, {17, 5}, {17, 6}, {17, 7}, {17, 11}, {17, 12}, {17, 13}, {17, 16}, {17, 19}, {17, 21}, {17, 23}, {17, 26}, {17, 28}, {17, 30}, {18, 7}, {18, 12}, {18, 22}, {18, 23}, {18, 25}, {18, 27}, {18, 28}, {19, 2}, {19, 6}, {19, 8}, {19, 12}, {19, 14}, {19, 18}, {19, 20}, {19, 21}, {19, 22}, {19, 25}, {19, 26}, {19, 29}, {19, 30}, {19, 31}, {20, 3}, {20, 4}, {20, 5}, {20, 8}, {20, 9}, {20, 12}, {20, 13}, {20, 16}, {20, 17}, {20, 18}, {20, 21}, {20, 23}, {20, 29}, {20, 31}, {21, 6}, {21, 7}, {21, 8}, {21, 9}, {21, 10}, {21, 12}, {21, 13}, {21, 14}, {21, 15}, {21, 16}, {21, 24}, {21, 26}, {21, 27}, {21, 29}, {22, 7}, {22, 16}, {22, 23}, {22, 24}, {22, 27}, {22, 30}, {22, 31}, {23, 12}, {23, 24}, {23, 25}, {23, 27}, {23, 28}, {23, 30}, {23, 31}, {24, 7}, {24, 12}, {24, 13}, {24, 18}, {24, 25}, {24, 28}, {24, 31}, {25, 4}, {25, 12}, {25, 13}, {25, 14}, {25, 22}, {25, 27}, {25, 30}, {26, 2}, {26, 3}, {26, 5}, {26, 7}, {26, 9}, {26, 11}, {26, 12}, {26, 15}, {26, 16}, {26, 18}, {26, 20}, {26, 22}, {26, 24}, {26, 25}, {27, 4}, {27, 12}, {27, 14}, {27, 16}, {27, 24}, {27, 28}, {27, 31}, {28, 4}, {28, 7}, {28, 13}, {28, 16}, {28, 22}, {28, 25}, {28, 30}, {29, 2}, {29, 3}, {29, 4}, {29, 5}, {29, 6}, {29, 8}, {29, 13}, {29, 17}, {29, 22}, {29, 24}, {29, 25}, {29, 26}, {29, 27}, {29, 28}, {30, 4}, {30, 7}, {30, 13}, {30, 18}, {30, 24}, {30, 27}, {30, 31}, {31, 4}, {31, 7}, {31, 14}, {31, 16}, {31, 18}, {31, 25}, {31, 28}} -> ((4*I)/3375)*(I + Sqrt[31])
{{2, 5}, {2, 8}, {2, 15}, {2, 17}, {2, 19}, {2, 26}, {2, 29}, {3, 2}, {3, 6}, {3, 9}, {3, 15}, {3, 20}, {3, 26}, {3, 29}, {4, 5}, {4, 6}, {4, 7}, {4, 8}, {4, 9}, {4, 11}, {4, 16}, {4, 20}, {4, 25}, {4, 27}, {4, 28}, {4, 29}, {4, 30}, {4, 31}, {5, 3}, {5, 8}, {5, 11}, {5, 17}, {5, 20}, {5, 26}, {5, 29}, {6, 2}, {6, 5}, {6, 9}, {6, 17}, {6, 19}, {6, 21}, {6, 29}, {7, 8}, {7, 9}, {7, 11}, {7, 13}, {7, 15}, {7, 17}, {7, 18}, {7, 21}, {7, 22}, {7, 24}, {7, 26}, {7, 28}, {7, 30}, {7, 31}, {8, 3}, {8, 6}, {8, 11}, {8, 19}, {8, 20}, {8, 21}, {8, 29}, {9, 2}, {9, 5}, {9, 8}, {9, 15}, {9, 20}, {9, 21}, {9, 26}, {10, 2}, {10, 3}, {10, 5}, {10, 6}, {10, 8}, {10, 9}, {10, 21}, {11, 2}, {11, 3}, {11, 6}, {11, 9}, {11, 10}, {11, 17}, {11, 26}, {12, 4}, {12, 6}, {12, 7}, {12, 9}, {12, 17}, {12, 18}, {12, 19}, {12, 20}, {12, 21}, {12, 23}, {12, 24}, {12, 25}, {12, 26}, {12, 27}, {13, 2}, {13, 4}, {13, 10}, {13, 12}, {13, 15}, {13, 16}, {13, 17}, {13, 20}, {13, 21}, {13, 24}, {13, 25}, {13, 28}, {13, 29}, {13, 30}, {14, 2}, {14, 3}, {14, 4}, {14, 7}, {14, 8}, {14, 11}, {14, 12}, {14, 13}, {14, 15}, {14, 19}, {14, 21}, {14, 25}, {14, 27}, {14, 31}, {15, 5}, {15, 6}, {15, 8}, {15, 10}, {15, 11}, {15, 21}, {15, 26}, {16, 3}, {16, 5}, {16, 7}, {16, 10}, {16, 12}, {16, 14}, {16, 17}, {16, 20}, {16, 21}, {16, 22}, {16, 26}, {16, 27}, {16, 28}, {16, 31}, {17, 3}, {17, 8}, {17, 9}, {17, 10}, {17, 15}, {17, 20}, {17, 29}, {18, 3}, {18, 4}, {18, 5}, {18, 6}, {18, 13}, {18, 14}, {18, 15}, {18, 16}, {18, 19}, {18, 20}, {18, 24}, {18, 26}, {18, 30}, {18, 31}, {19, 3}, {19, 5}, {19, 9}, {19, 10}, {19, 11}, {19, 15}, {19, 17}, {20, 2}, {20, 6}, {20, 10}, {20, 11}, {20, 15}, {20, 19}, {20, 26}, {21, 2}, {21, 3}, {21, 5}, {21, 11}, {21, 17}, {21, 19}, {21, 20}, {22, 4}, {22, 5}, {22, 9}, {22, 10}, {22, 11}, {22, 12}, {22, 13}, {22, 14}, {22, 18}, {22, 19}, {22, 25}, {22, 26}, {22, 28}, {22, 29}, {23, 2}, {23, 4}, {23, 6}, {23, 7}, {23, 8}, {23, 10}, {23, 11}, {23, 13}, {23, 14}, {23, 16}, {23, 17}, {23, 18}, {23, 20}, {23, 22}, {24, 2}, {24, 3}, {24, 4}, {24, 9}, {24, 11}, {24, 14}, {24, 16}, {24, 21}, {24, 22}, {24, 23}, {24, 26}, {24, 27}, {24, 29}, {24, 30}, {25, 2}, {25, 3}, {25, 7}, {25, 8}, {25, 10}, {25, 16}, {25, 18}, {25, 19}, {25, 23}, {25, 24}, {25, 26}, {25, 28}, {25, 29}, {25, 31}, {26, 6}, {26, 8}, {26, 10}, {26, 17}, {26, 19}, {26, 21}, {26, 29}, {27, 3}, {27, 5}, {27, 6}, {27, 7}, {27, 10}, {27, 13}, {27, 15}, {27, 18}, {27, 21}, {27, 22}, {27, 23}, {27, 25}, {27, 29}, {27, 30}, {28, 2}, {28, 5}, {28, 6}, {28, 11}, {28, 12}, {28, 14}, {28, 15}, {28, 17}, {28, 18}, {28, 23}, {28, 24}, {28, 27}, {28, 29}, {28, 31}, {29, 9}, {29, 10}, {29, 11}, {29, 15}, {29, 19}, {29, 20}, {29, 21}, {30, 3}, {30, 6}, {30, 8}, {30, 9}, {30, 12}, {30, 14}, {30, 15}, {30, 16}, {30, 17}, {30, 19}, {30, 22}, {30, 23}, {30, 25}, {30, 28}, {31, 2}, {31, 5}, {31, 8}, {31, 9}, {31, 10}, {31, 12}, {31, 13}, {31, 19}, {31, 20}, {31, 22}, {31, 23}, {31, 24}, {31, 27}, {31, 30}} -> ((-4*I)/3375)*(-I + Sqrt[31])
6 changes: 6 additions & 0 deletions etf_15x31_6a.tp
View file
Open in desktop

Large diffs are not rendered by default.

Loading