Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 829468138] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0939 geometric_solution 4.84091784 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.136881348983 1.087784685904 0 4 2 2 0132 0132 0132 3012 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 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.465255131021 1.361614624366 4 0 1 1 0132 0132 1230 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465255131021 1.361614624366 5 0 5 0 0132 2310 1023 0132 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 1 0 -1 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.025156229890 1.365575046273 2 1 6 6 0132 0132 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 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.045553049274 0.303558627155 3 5 3 5 0132 1302 1023 2031 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 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.429880974198 0.115773748309 4 6 6 4 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.920845364728 1.133728877026 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 243381703708066438418637865316840403306/122482613458350374285945102\ 685800533*c_0101_3^15 + 708028357912666612731446148008318695458/122\ 482613458350374285945102685800533*c_0101_3^14 + 7205473912008617653531878940431525548079/12248261345835037428594510\ 2685800533*c_0101_3^13 - 12174600265079755660161895172748899953817/\ 122482613458350374285945102685800533*c_0101_3^12 - 3104401041498051920727289056696978233352/72048596151970808403497119\ 22694149*c_0101_3^11 + 6882855880487440954821597395859068182742/122\ 482613458350374285945102685800533*c_0101_3^10 - 25930749286886419032515630152164434165783/1224826134583503742859451\ 02685800533*c_0101_3^9 - 24171360775339288103027140255483187032249/\ 122482613458350374285945102685800533*c_0101_3^8 + 73325845900671748530695682486060324772166/1224826134583503742859451\ 02685800533*c_0101_3^7 + 66358904506308971036052228119881594050253/\ 122482613458350374285945102685800533*c_0101_3^6 - 1684449292671175100049953052011039499127/12248261345835037428594510\ 2685800533*c_0101_3^5 - 25642905067554655555368343410287560953562/1\ 22482613458350374285945102685800533*c_0101_3^4 - 13473185548525179050855642209664102349725/1224826134583503742859451\ 02685800533*c_0101_3^3 - 3021367884249219341557255916737925531644/1\ 22482613458350374285945102685800533*c_0101_3^2 - 271622251769412962224585167827591910599/122482613458350374285945102\ 685800533*c_0101_3 - 1195592644073865464653796609823106851/12248261\ 3458350374285945102685800533, c_0011_0 - 1, c_0011_3 - 1737156704826870286025581889003350045/1224826134583503742859\ 45102685800533*c_0101_3^15 + 5919601581949646791307931042881029772/\ 122482613458350374285945102685800533*c_0101_3^14 + 48365939125219416646574045129179370830/1224826134583503742859451026\ 85800533*c_0101_3^13 - 110693015740427093954487069104227576040/1224\ 82613458350374285945102685800533*c_0101_3^12 - 18711950354281312871952234658638810310/7204859615197080840349711922\ 694149*c_0101_3^11 + 202350537479227969410501111503912909136/122482\ 613458350374285945102685800533*c_0101_3^10 - 311706150011617881079569867847356995949/122482613458350374285945102\ 685800533*c_0101_3^9 - 14865702546569927124206208364288816357/12248\ 2613458350374285945102685800533*c_0101_3^8 + 523125215670153131386820951130822722856/122482613458350374285945102\ 685800533*c_0101_3^7 + 195551351248165153636486573338672788999/1224\ 82613458350374285945102685800533*c_0101_3^6 - 71380471965025872071158197203058338158/1224826134583503742859451026\ 85800533*c_0101_3^5 - 114154168344184352328602994989673318632/12248\ 2613458350374285945102685800533*c_0101_3^4 - 44611489998758055335860456248567753725/1224826134583503742859451026\ 85800533*c_0101_3^3 - 11122351997686187035799823792200541252/122482\ 613458350374285945102685800533*c_0101_3^2 - 1756051222249189300556648016305966639/12248261345835037428594510268\ 5800533*c_0101_3 - 211508031281909921396679433833404870/12248261345\ 8350374285945102685800533, c_0011_6 - 4056807378483751047029107668532939/7204859615197080840349711\ 922694149*c_0101_3^15 + 12634880312340893653777454385809421/7204859\ 615197080840349711922694149*c_0101_3^14 + 116659270052304031861453194160161430/720485961519708084034971192269\ 4149*c_0101_3^13 - 223380666266552525240477691611829756/72048596151\ 97080840349711922694149*c_0101_3^12 - 812511822478441178956170494367641140/720485961519708084034971192269\ 4149*c_0101_3^11 + 211439079132432632081678257487074757/72048596151\ 97080840349711922694149*c_0101_3^10 - 584052630408840576577884658804352435/720485961519708084034971192269\ 4149*c_0101_3^9 - 91775343085292909265691982632672793/7204859615197\ 080840349711922694149*c_0101_3^8 + 963505484567003985050309042892004395/720485961519708084034971192269\ 4149*c_0101_3^7 + 1047298194124112058828544540305106554/72048596151\ 97080840349711922694149*c_0101_3^6 - 44731876417126186198711773164447243/7204859615197080840349711922694\ 149*c_0101_3^5 - 507507939481784424604951914424247361/7204859615197\ 080840349711922694149*c_0101_3^4 - 142902156454727839144559228496146646/720485961519708084034971192269\ 4149*c_0101_3^3 - 22381247330454767239168231719637284/7204859615197\ 080840349711922694149*c_0101_3^2 + 3656050136268186846261059080598875/72048596151970808403497119226941\ 49*c_0101_3 - 3594947802902061007007117529961782/720485961519708084\ 0349711922694149, c_0101_0 - 1487032238657948457968098746802197329/1224826134583503742859\ 45102685800533*c_0101_3^15 + 5009225798475755062633112390710403615/\ 122482613458350374285945102685800533*c_0101_3^14 + 41607965984761461004414779374499715485/1224826134583503742859451026\ 85800533*c_0101_3^13 - 93171264075403890898133210758882254799/12248\ 2613458350374285945102685800533*c_0101_3^12 - 16247772541699439862965420728068556343/7204859615197080840349711922\ 694149*c_0101_3^11 + 163231109813730654810296044829653393675/122482\ 613458350374285945102685800533*c_0101_3^10 - 258874465589242954065031739433054824297/122482613458350374285945102\ 685800533*c_0101_3^9 - 24892270774645794408359045440226484736/12248\ 2613458350374285945102685800533*c_0101_3^8 + 449573307849103184169334580516447257078/122482613458350374285945102\ 685800533*c_0101_3^7 + 184345594260391739204909464371578674539/1224\ 82613458350374285945102685800533*c_0101_3^6 - 57070030260646478066630113075578821910/1224826134583503742859451026\ 85800533*c_0101_3^5 - 99260183958067472315642347304261143010/122482\ 613458350374285945102685800533*c_0101_3^4 - 41436200795213223429596157307460341092/1224826134583503742859451026\ 85800533*c_0101_3^3 - 11134791693132539564778257423254436137/122482\ 613458350374285945102685800533*c_0101_3^2 - 1929645816077812998726905269898480330/12248261345835037428594510268\ 5800533*c_0101_3 - 252587443914440134251574867778851024/12248261345\ 8350374285945102685800533, c_0101_1 - 614908047084211808595438434465783129/12248261345835037428594\ 5102685800533*c_0101_3^15 + 2010504576190691694489997812969465059/1\ 22482613458350374285945102685800533*c_0101_3^14 + 17464148659011078176445931346810800771/1224826134583503742859451026\ 85800533*c_0101_3^13 - 37013110027881180436441602558616151925/12248\ 2613458350374285945102685800533*c_0101_3^12 - 7029611598728289298857688889979736698/72048596151970808403497119226\ 94149*c_0101_3^11 + 59782195317883795871372413272129924918/12248261\ 3458350374285945102685800533*c_0101_3^10 - 90948717445067800922199082532332119152/1224826134583503742859451026\ 85800533*c_0101_3^9 - 28326863466945129289145254519028095700/122482\ 613458350374285945102685800533*c_0101_3^8 + 195320864852934673021264134085603554032/122482613458350374285945102\ 685800533*c_0101_3^7 + 94233623034671274964411364289782747590/12248\ 2613458350374285945102685800533*c_0101_3^6 - 32441316309555675611970655790600265462/1224826134583503742859451026\ 85800533*c_0101_3^5 - 47087501395171838843896249480305975418/122482\ 613458350374285945102685800533*c_0101_3^4 - 18360213140047008327238644677320814260/1224826134583503742859451026\ 85800533*c_0101_3^3 - 3276773707192375868649040562954052815/1224826\ 13458350374285945102685800533*c_0101_3^2 - 483514054320360328336530082921937715/122482613458350374285945102685\ 800533*c_0101_3 - 66710782345478214484918252849964/1224826134583503\ 74285945102685800533, c_0101_2 + 1548045097817755794658980794356133360/1224826134583503742859\ 45102685800533*c_0101_3^15 - 5615652644086525397910260898643532169/\ 122482613458350374285945102685800533*c_0101_3^14 - 41925804896027791524104705747459348722/1224826134583503742859451026\ 85800533*c_0101_3^13 + 108085242795967942412893729218258720876/1224\ 82613458350374285945102685800533*c_0101_3^12 + 15371720479284889028421394192757438271/7204859615197080840349711922\ 694149*c_0101_3^11 - 242078510063081700602724860129144308791/122482\ 613458350374285945102685800533*c_0101_3^10 + 321125382352347551773725551738706323999/122482613458350374285945102\ 685800533*c_0101_3^9 - 47508817909172018308950977575129338228/12248\ 2613458350374285945102685800533*c_0101_3^8 - 469196243795470577647295641558477863966/122482613458350374285945102\ 685800533*c_0101_3^7 - 68765895510929780878096202630253334203/12248\ 2613458350374285945102685800533*c_0101_3^6 + 96713880904590010826416897226912732301/1224826134583503742859451026\ 85800533*c_0101_3^5 + 81446064410988179882455833514897742852/122482\ 613458350374285945102685800533*c_0101_3^4 + 18629316343217400915942367229455901702/1224826134583503742859451026\ 85800533*c_0101_3^3 + 3221321027348956312080871462349107450/1224826\ 13458350374285945102685800533*c_0101_3^2 + 415603527173492965289669726245340625/122482613458350374285945102685\ 800533*c_0101_3 + 44246753460793452343831351458542243/1224826134583\ 50374285945102685800533, c_0101_3^16 - 93/29*c_0101_3^15 - 827/29*c_0101_3^14 + 1685/29*c_0101_3^13 + 5674/29*c_0101_3^12 - 2297/29*c_0101_3^11 + 4577/29*c_0101_3^10 + 1270/29*c_0101_3^9 - 8653/29*c_0101_3^8 - 5004/29*c_0101_3^7 + 453/29*c_0101_3^6 + 2093/29*c_0101_3^5 + 1148/29*c_0101_3^4 + 360/29*c_0101_3^3 + 76/29*c_0101_3^2 + 11/29*c_0101_3 + 1/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB