Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 1014866149] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1731 geometric_solution 5.43529340 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.020288409179 0.614936162646 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199707416128 0.743264937779 4 1 5 4 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171201419853 0.577016369926 5 4 4 1 1023 3201 2310 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171201419853 0.577016369926 2 3 3 2 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.527404484689 1.592833452681 6 3 6 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.879600495469 1.581349142428 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270041471519 0.270217916974 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 9952573247545700806181/2318800461309225841750*c_0101_5^13 - 1104349678076080355683/21080004193720234925*c_0101_5^12 + 81055872461805586601009/1159400230654612920875*c_0101_5^11 - 16829380997954627722519/210800041937202349250*c_0101_5^10 - 30458410849566749540827/231880046130922584175*c_0101_5^9 - 8555299493114990724941/463760092261845168350*c_0101_5^8 + 61133632174539550937438/105400020968601174625*c_0101_5^7 + 1200973310010257766243413/2318800461309225841750*c_0101_5^6 + 293646976543453115746952/1159400230654612920875*c_0101_5^5 + 65745987060557765917531/1159400230654612920875*c_0101_5^4 - 211849774062427452695003/2318800461309225841750*c_0101_5^3 + 11235275006569301721788/231880046130922584175*c_0101_5^2 + 3524131895060206458789/463760092261845168350*c_0101_5 + 20313853626172602432539/1159400230654612920875, c_0011_0 - 1, c_0011_3 + 194619368249860231706/316200062905803523875*c_0101_5^13 - 18530949300020420360/2529600503246428191*c_0101_5^12 + 781404826595920569541/105400020968601174625*c_0101_5^11 - 458670820086557883738/105400020968601174625*c_0101_5^10 - 586597469873319547653/21080004193720234925*c_0101_5^9 - 222489754792706538241/63240012581160704775*c_0101_5^8 + 30208448993490390112261/316200062905803523875*c_0101_5^7 + 10199513226668287953331/105400020968601174625*c_0101_5^6 + 1113169780518412369308/105400020968601174625*c_0101_5^5 - 3765637895694996002723/316200062905803523875*c_0101_5^4 - 3202376156618336816878/316200062905803523875*c_0101_5^3 - 286826346562147388197/63240012581160704775*c_0101_5^2 - 48925084793933731228/21080004193720234925*c_0101_5 - 5795241252075701512/316200062905803523875, c_0101_0 - 1532591064686143297409/316200062905803523875*c_0101_2*c_0101\ _5^13 + 741113458735265223022/12648002516232140955*c_0101_2*c_0101_\ 5^12 - 7363379381907347304999/105400020968601174625*c_0101_2*c_0101\ _5^11 + 5646305319853101071932/105400020968601174625*c_0101_2*c_010\ 1_5^10 + 4247127023502041026967/21080004193720234925*c_0101_2*c_010\ 1_5^9 - 379254891186767883626/63240012581160704775*c_0101_2*c_0101_\ 5^8 - 230103908522368697411554/316200062905803523875*c_0101_2*c_010\ 1_5^7 - 66263692123732475551934/105400020968601174625*c_0101_2*c_01\ 01_5^6 - 5552968667293306117112/105400020968601174625*c_0101_2*c_01\ 01_5^5 + 14996721380756099461097/316200062905803523875*c_0101_2*c_0\ 101_5^4 + 30604727847353082163867/316200062905803523875*c_0101_2*c_\ 0101_5^3 + 2706221563217436119578/63240012581160704775*c_0101_2*c_0\ 101_5^2 + 226612410024421781232/21080004193720234925*c_0101_2*c_010\ 1_5 + 686790650735860396693/316200062905803523875*c_0101_2, c_0101_1 - 477377794198208416912/316200062905803523875*c_0101_5^13 + 229304843391301155602/12648002516232140955*c_0101_5^12 - 2115218261099730402232/105400020968601174625*c_0101_5^11 + 1293815566282007512376/105400020968601174625*c_0101_5^10 + 1416648053291778012806/21080004193720234925*c_0101_5^9 + 69203067857729667632/63240012581160704775*c_0101_5^8 - 74733454337792221475147/316200062905803523875*c_0101_5^7 - 22534596958466252805937/105400020968601174625*c_0101_5^6 + 190400395916735787034/105400020968601174625*c_0101_5^5 + 13440120279454861049221/316200062905803523875*c_0101_5^4 + 9642084791540896624256/316200062905803523875*c_0101_5^3 + 690824667115931174339/63240012581160704775*c_0101_5^2 + 21131291679068801446/21080004193720234925*c_0101_5 - 63980155841706912001/316200062905803523875, c_0101_2^2 + 102472057174281763346/316200062905803523875*c_0101_5^13 - 10383583865391266735/2529600503246428191*c_0101_5^12 + 736848156305440682456/105400020968601174625*c_0101_5^11 - 736568764832460837583/105400020968601174625*c_0101_5^10 - 222444675026033784523/21080004193720234925*c_0101_5^9 + 470015313373507960469/63240012581160704775*c_0101_5^8 + 14639751483516324860101/316200062905803523875*c_0101_5^7 + 1419000216339621304846/105400020968601174625*c_0101_5^6 - 1218142276041215766297/105400020968601174625*c_0101_5^5 + 829025042843053697032/316200062905803523875*c_0101_5^4 - 1044892996311016477573/316200062905803523875*c_0101_5^3 - 98804199391613194627/63240012581160704775*c_0101_5^2 - 2239867209660858498/21080004193720234925*c_0101_5 + 27802766892837175958/316200062905803523875, c_0101_4 + 15760447526555963861/21080004193720234925*c_0101_5^13 - 42573027565065437481/4216000838744046985*c_0101_5^12 + 502900433166247680808/21080004193720234925*c_0101_5^11 - 564773699181591923879/21080004193720234925*c_0101_5^10 - 66905074979253451889/4216000838744046985*c_0101_5^9 + 179534193238645180004/4216000838744046985*c_0101_5^8 + 2089979712107722577491/21080004193720234925*c_0101_5^7 - 1331294576648246631947/21080004193720234925*c_0101_5^6 - 1851463534853744321626/21080004193720234925*c_0101_5^5 + 464261699922386386172/21080004193720234925*c_0101_5^4 + 15512576100638582107/21080004193720234925*c_0101_5^3 + 44128084779804036101/4216000838744046985*c_0101_5^2 + 3964660220275434784/4216000838744046985*c_0101_5 - 1083704033193876082/21080004193720234925, c_0101_5^14 - 87/7*c_0101_5^13 + 131/7*c_0101_5^12 - 129/7*c_0101_5^11 - 237/7*c_0101_5^10 + 80/7*c_0101_5^9 + 1002/7*c_0101_5^8 + 82*c_0101_5^7 - 33/7*c_0101_5^6 - 4/7*c_0101_5^5 - 145/7*c_0101_5^4 - 2*c_0101_5^3 - 20/7*c_0101_5^2 + 1/7*c_0101_5 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB