Observe the following for the interesting part bigger than 0
In[182]:= sparK3[17][[193 ;; 383]]
Out[182]= {1/17, 1/16, 1/15, 1/14, 1/13, 1/12, 1/11, 1/10, 1/9, 2/17, \
1/8, 2/15, 1/7, 2/13, 1/6, 3/17, 2/11, 3/16, 1/5, 3/14, 2/9, 3/13, \
4/17, 1/4, 4/15, 3/11, 2/7, 5/17, 3/10, 4/13, 5/16, 1/3, 6/17, 5/14, \
4/11, 3/8, 5/13, 2/5, 7/17, 5/12, 3/7, 7/16, 4/9, 5/11, 6/13, 7/15, \
8/17, 1/2, 9/17, 8/15, 7/13, 6/11, 5/9, 9/16, 4/7, 7/12, 10/17, 3/5, \
8/13, 5/8, 7/11, 9/14, 11/17, 2/3, 11/16, 9/13, 7/10, 12/17, 5/7, \
8/11, 11/15, 3/4, 13/17, 10/13, 7/9, 11/14, 4/5, 13/16, 9/11, 14/17, \
5/6, 11/13, 6/7, 13/15, 7/8, 15/17, 8/9, 9/10, 10/11, 11/12, 12/13, \
13/14, 14/15, 15/16, 16/17, 1, 17/16, 16/15, 15/14, 14/13, 13/12, \
12/11, 11/10, 10/9, 9/8, 17/15, 8/7, 15/13, 7/6, 13/11, 6/5, 17/14, \
11/9, 16/13, 5/4, 14/11, 9/7, 13/10, 17/13, 4/3, 15/11, 11/8, 7/5, \
17/12, 10/7, 13/9, 16/11, 3/2, 17/11, 14/9, 11/7, 8/5, 13/8, 5/3, \
17/10, 12/7, 7/4, 16/9, 9/5, 11/6, 13/7, 15/8, 17/9, 2, 17/8, 15/7, \
13/6, 11/5, 9/4, 16/7, 7/3, 12/5, 17/7, 5/2, 13/5, 8/3, 11/4, 14/5, \
17/6, 3, 16/5, 13/4, 10/3, 17/5, 7/2, 11/3, 15/4, 4, 17/4, 13/3, 9/2, \
14/3, 5, 16/3, 11/2, 17/3, 6, 13/2, 7, 15/2, 8, 17/2, 9, 10, 11, 12, \
13, 14, 15, 16, 17}
In[183]:= Clear[x]
x = (sparK3[17][[193 ;; 383]]) /. {x_Integer -> {x, 1},
x_Rational :> {Numerator[x], Denominator[x]}}
Out[184]= {{1, 17}, {1, 16}, {1, 15}, {1, 14}, {1, 13}, {1, 12}, {1,
11}, {1, 10}, {1, 9}, {2, 17}, {1, 8}, {2, 15}, {1, 7}, {2, 13}, {1,
6}, {3, 17}, {2, 11}, {3, 16}, {1, 5}, {3, 14}, {2, 9}, {3,
13}, {4, 17}, {1, 4}, {4, 15}, {3, 11}, {2, 7}, {5, 17}, {3,
10}, {4, 13}, {5, 16}, {1, 3}, {6, 17}, {5, 14}, {4, 11}, {3,
8}, {5, 13}, {2, 5}, {7, 17}, {5, 12}, {3, 7}, {7, 16}, {4, 9}, {5,
11}, {6, 13}, {7, 15}, {8, 17}, {1, 2}, {9, 17}, {8, 15}, {7,
13}, {6, 11}, {5, 9}, {9, 16}, {4, 7}, {7, 12}, {10, 17}, {3,
5}, {8, 13}, {5, 8}, {7, 11}, {9, 14}, {11, 17}, {2, 3}, {11,
16}, {9, 13}, {7, 10}, {12, 17}, {5, 7}, {8, 11}, {11, 15}, {3,
4}, {13, 17}, {10, 13}, {7, 9}, {11, 14}, {4, 5}, {13, 16}, {9,
11}, {14, 17}, {5, 6}, {11, 13}, {6, 7}, {13, 15}, {7, 8}, {15,
17}, {8, 9}, {9, 10}, {10, 11}, {11, 12}, {12, 13}, {13, 14}, {14,
15}, {15, 16}, {16, 17}, {1, 1}, {17, 16}, {16, 15}, {15, 14}, {14,
13}, {13, 12}, {12, 11}, {11, 10}, {10, 9}, {9, 8}, {17, 15}, {8,
7}, {15, 13}, {7, 6}, {13, 11}, {6, 5}, {17, 14}, {11, 9}, {16,
13}, {5, 4}, {14, 11}, {9, 7}, {13, 10}, {17, 13}, {4, 3}, {15,
11}, {11, 8}, {7, 5}, {17, 12}, {10, 7}, {13, 9}, {16, 11}, {3,
2}, {17, 11}, {14, 9}, {11, 7}, {8, 5}, {13, 8}, {5, 3}, {17,
10}, {12, 7}, {7, 4}, {16, 9}, {9, 5}, {11, 6}, {13, 7}, {15,
8}, {17, 9}, {2, 1}, {17, 8}, {15, 7}, {13, 6}, {11, 5}, {9,
4}, {16, 7}, {7, 3}, {12, 5}, {17, 7}, {5, 2}, {13, 5}, {8, 3}, {11,
4}, {14, 5}, {17, 6}, {3, 1}, {16, 5}, {13, 4}, {10, 3}, {17,
5}, {7, 2}, {11, 3}, {15, 4}, {4, 1}, {17, 4}, {13, 3}, {9, 2}, {14,
3}, {5, 1}, {16, 3}, {11, 2}, {17, 3}, {6, 1}, {13, 2}, {7,
1}, {15, 2}, {8, 1}, {17, 2}, {9, 1}, {10, 1}, {11, 1}, {12,
1}, {13, 1}, {14, 1}, {15, 1}, {16, 1}, {17, 1}}
In[190]:= Transpose[x][[1]] == Reverse[Transpose[x][[2]]]
Out[190]= True
the numerators consist of the same list as the reversed denominators: a symmetry between numerators and denominators. In fact one needs only to generate one list, let's say the numerators
In[191]:= x1 = Transpose[x][[1]]
Out[191]= {1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 3, 2, 3, 1, \
3, 2, 3, 4, 1, 4, 3, 2, 5, 3, 4, 5, 1, 6, 5, 4, 3, 5, 2, 7, 5, 3, 7, \
4, 5, 6, 7, 8, 1, 9, 8, 7, 6, 5, 9, 4, 7, 10, 3, 8, 5, 7, 9, 11, 2, \
11, 9, 7, 12, 5, 8, 11, 3, 13, 10, 7, 11, 4, 13, 9, 14, 5, 11, 6, 13, \
7, 15, 8, 9, 10, 11, 12, 13, 14, 15, 16, 1, 17, 16, 15, 14, 13, 12, \
11, 10, 9, 17, 8, 15, 7, 13, 6, 17, 11, 16, 5, 14, 9, 13, 17, 4, 15, \
11, 7, 17, 10, 13, 16, 3, 17, 14, 11, 8, 13, 5, 17, 12, 7, 16, 9, 11, \
13, 15, 17, 2, 17, 15, 13, 11, 9, 16, 7, 12, 17, 5, 13, 8, 11, 14, \
17, 3, 16, 13, 10, 17, 7, 11, 15, 4, 17, 13, 9, 14, 5, 16, 11, 17, 6, \
13, 7, 15, 8, 17, 9, 10, 11, 12, 13, 14, 15, 16, 17}
then
In[192]:= sparK3[17] == Join[-Reverse[#], {0}, #]&[x1/Reverse[x1]]
Out[192]= True
that's really short ... but how to generate the list of numerators x1
for a given positive n
?