Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2800171645] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1713 geometric_solution 5.42378998 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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 1.438234729685 0.286645590730 0 2 2 0 3201 0132 1023 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 -1 0 1 0 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 1.040552787307 0.293697029931 3 1 1 4 0132 0132 1023 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 1 0 -1 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 0.754612821449 0.290262410412 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 0 1 -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 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901380597042 0.762475166902 6 5 2 3 0132 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.901380597042 0.762475166902 4 5 3 5 1023 2310 0132 3201 0 0 0 0 0 0 1 -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 0 1 -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.856925479792 0.792119119115 4 6 6 3 0132 1230 3012 0132 0 0 0 0 0 0 1 -1 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 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.378289905904 0.525262645181 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 19516978812874765368832731/2929692017477105424443635*c_0110_5^17 + 1926015074917707722821704/41263267851790217245685*c_0110_5^16 - 174666519010824895867876746/2929692017477105424443635*c_0110_5^15 - 382374806404945457713399083/585938403495421084888727*c_0110_5^14 - 2754704417843569364210817081/2929692017477105424443635*c_0110_5^13 + 1161359802620063129741869134/2929692017477105424443635*c_0110_5^12 + 4541926560533874945813222353/2929692017477105424443635*c_0110_5^11 + 3569495398697326788803694333/2929692017477105424443635*c_0110_5^10 + 2298049965195290128759145484/2929692017477105424443635*c_0110_5^9 + 1463738816351555354390805183/2929692017477105424443635*c_0110_5^8 - 404687997458407609878340449/2929692017477105424443635*c_0110_5^7 - 63992823662300121227423024/94506194112164691111085*c_0110_5^6 - 2101376988922332069295643367/2929692017477105424443635*c_0110_5^5 - 1055365004033639160001452901/2929692017477105424443635*c_0110_5^4 + 89055511901950862295207271/585938403495421084888727*c_0110_5^3 + 25213810887118027447319687/172334824557476789673155*c_0110_5^2 + 242524194572351152630954834/2929692017477105424443635*c_0110_5 - 2685768023627234691755308/2929692017477105424443635, c_0011_0 - 1, c_0011_1 - 9709941872828906724/45899074362391787815*c_0110_5^17 - 57433827332428122266/45899074362391787815*c_0110_5^16 + 161659676455384298964/45899074362391787815*c_0110_5^15 + 171372660705326725345/9179814872478357563*c_0110_5^14 + 309464767063697517844/45899074362391787815*c_0110_5^13 - 2080494569789375717811/45899074362391787815*c_0110_5^12 - 1430624745024475359832/45899074362391787815*c_0110_5^11 + 910048010672069181748/45899074362391787815*c_0110_5^10 + 405565763338661988514/45899074362391787815*c_0110_5^9 + 95378093745106835983/45899074362391787815*c_0110_5^8 + 1132545267499017593726/45899074362391787815*c_0110_5^7 + 807050247994963203156/45899074362391787815*c_0110_5^6 - 156043949491134917207/45899074362391787815*c_0110_5^5 - 430284253007940479241/45899074362391787815*c_0110_5^4 - 109500816624722976692/9179814872478357563*c_0110_5^3 + 4068337997985726592/2699945550728928695*c_0110_5^2 + 50665787998647137814/45899074362391787815*c_0110_5 + 30236157269263160117/45899074362391787815, c_0011_4 + 1752677654649176207/9179814872478357563*c_0110_5^17 + 12568006346667537803/9179814872478357563*c_0110_5^16 - 13775173357199765818/9179814872478357563*c_0110_5^15 - 174906061155224662585/9179814872478357563*c_0110_5^14 - 273895771137541845608/9179814872478357563*c_0110_5^13 + 73194253418222492575/9179814872478357563*c_0110_5^12 + 429586517881839346853/9179814872478357563*c_0110_5^11 + 365334458901168087139/9179814872478357563*c_0110_5^10 + 243018003409166249025/9179814872478357563*c_0110_5^9 + 180622041146037443099/9179814872478357563*c_0110_5^8 - 9094779058834586813/9179814872478357563*c_0110_5^7 - 197904968908728363001/9179814872478357563*c_0110_5^6 - 202962903973481285307/9179814872478357563*c_0110_5^5 - 110762123732538038580/9179814872478357563*c_0110_5^4 + 11186989771927406459/9179814872478357563*c_0110_5^3 + 2061711127408427145/539989110145785739*c_0110_5^2 + 22525811104269653314/9179814872478357563*c_0110_5 + 535080989389121258/9179814872478357563, c_0101_0 - 5918993853445247754/45899074362391787815*c_0110_5^17 - 37958821809527941451/45899074362391787815*c_0110_5^16 + 79351192181623348129/45899074362391787815*c_0110_5^15 + 112650072177696543357/9179814872478357563*c_0110_5^14 + 492520710122429871024/45899074362391787815*c_0110_5^13 - 1046426857028718145256/45899074362391787815*c_0110_5^12 - 1654203784668121990272/45899074362391787815*c_0110_5^11 - 461547293005430612307/45899074362391787815*c_0110_5^10 + 524998666038512456639/45899074362391787815*c_0110_5^9 + 699870007576324944408/45899074362391787815*c_0110_5^8 + 856293493832812660656/45899074362391787815*c_0110_5^7 + 1036459671327241287481/45899074362391787815*c_0110_5^6 + 614906633158041257403/45899074362391787815*c_0110_5^5 - 183233428919290861176/45899074362391787815*c_0110_5^4 - 129606717681688444546/9179814872478357563*c_0110_5^3 - 16337007205719807573/2699945550728928695*c_0110_5^2 - 42707703737558076786/45899074362391787815*c_0110_5 + 43736037113590262882/45899074362391787815, c_0101_2 - 3420213963572716116/9179814872478357563*c_0110_5^17 - 22885116473119082310/9179814872478357563*c_0110_5^16 + 39131302062161864671/9179814872478357563*c_0110_5^15 + 331978002391179240783/9179814872478357563*c_0110_5^14 + 367549019910230451113/9179814872478357563*c_0110_5^13 - 446805674973085061814/9179814872478357563*c_0110_5^12 - 851368936893671731779/9179814872478357563*c_0110_5^11 - 320249583400127262136/9179814872478357563*c_0110_5^10 - 60444093245586838234/9179814872478357563*c_0110_5^9 - 26488405120762376622/9179814872478357563*c_0110_5^8 + 320033896574969406767/9179814872478357563*c_0110_5^7 + 494621250174696315238/9179814872478357563*c_0110_5^6 + 291327043685923586527/9179814872478357563*c_0110_5^5 + 38843931940809219358/9179814872478357563*c_0110_5^4 - 177959409940180623535/9179814872478357563*c_0110_5^3 - 6313534662986845415/539989110145785739*c_0110_5^2 - 34377244087404880207/9179814872478357563*c_0110_5 + 1584241763560659962/9179814872478357563, c_0101_3 - 35585892556378565031/45899074362391787815*c_0110_5^17 - 240516847659273997444/45899074362391787815*c_0110_5^16 + 383517968497894647851/45899074362391787815*c_0110_5^15 + 685711347891802817195/9179814872478357563*c_0110_5^14 + 4122213428921923767966/45899074362391787815*c_0110_5^13 - 3656709924121676031009/45899074362391787815*c_0110_5^12 - 8098951800148764574143/45899074362391787815*c_0110_5^11 - 4241286561196898457558/45899074362391787815*c_0110_5^10 - 2193328457882682932554/45899074362391787815*c_0110_5^9 - 1409114361941661707603/45899074362391787815*c_0110_5^8 + 1837621820748989140409/45899074362391787815*c_0110_5^7 + 4047870622025556822909/45899074362391787815*c_0110_5^6 + 3194995108881594151902/45899074362391787815*c_0110_5^5 + 907013460948330389031/45899074362391787815*c_0110_5^4 - 268607874650801110224/9179814872478357563*c_0110_5^3 - 34805536711633356032/2699945550728928695*c_0110_5^2 - 281421504038084490549/45899074362391787815*c_0110_5 - 6328030895542665142/45899074362391787815, c_0110_5^18 + 7*c_0110_5^17 - 9*c_0110_5^16 - 98*c_0110_5^15 - 141*c_0110_5^14 + 61*c_0110_5^13 + 240*c_0110_5^12 + 197*c_0110_5^11 + 123*c_0110_5^10 + 60*c_0110_5^9 - 45*c_0110_5^8 - 126*c_0110_5^7 - 129*c_0110_5^6 - 67*c_0110_5^5 + 22*c_0110_5^4 + 29*c_0110_5^3 + 21*c_0110_5^2 + 4*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB