Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 3684320939] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2938 geometric_solution 6.13400699 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299652933845 0.358416954544 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 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 1.327395742374 1.283779655692 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 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 -1 -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.496990459617 0.417025662416 6 5 4 1 0132 0132 0132 0132 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 0 0 0.496990459617 0.417025662416 6 2 6 3 1302 0132 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.776379651448 0.734134942131 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -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 0 0 0 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.913851110539 1.318860862356 3 4 2 4 0132 2031 0132 1302 0 0 0 0 0 1 0 -1 0 0 -1 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 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.561041276511 0.627244696905 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 32874854336579502503254783037000691473/1778844655917357094552045454\ 98988992*c_1001_2^21 - 394607258492451159565348244733499451671/4447\ 1116397933927363801136374747248*c_1001_2^19 - 2171048826077886957333298052963058907083/11117779099483481840950284\ 093686812*c_1001_2^17 - 109933749758839675147572329107158171970649/\ 88942232795867854727602272749494496*c_1001_2^15 - 83274903062048409230395213840670719996269/2223555819896696368190056\ 8187373624*c_1001_2^13 + 632519495516888579734540842086476129154437\ /177884465591735709455204545498988992*c_1001_2^11 + 1272657200822203913811248537274161469045189/17788446559173570945520\ 4545498988992*c_1001_2^9 + 1276940144968113967393086533749544182747\ 429/177884465591735709455204545498988992*c_1001_2^7 - 17154277605129512289480267166524586373089/1778844655917357094552045\ 45498988992*c_1001_2^5 - 486341613299430463651468020264400810729659\ /44471116397933927363801136374747248*c_1001_2^3 + 9947064554805185000804021973834711462335/88942232795867854727602272\ 749494496*c_1001_2, c_0011_0 - 1, c_0011_1 + 158954925919006926848124244662/14628656709846686632829321175\ 9037*c_1001_2^20 + 7630657407803830112511830825070/1462865670984668\ 66328293211759037*c_1001_2^18 + 167894738566522669808074355954387/1\ 46286567098466866328293211759037*c_1001_2^16 + 1061681467692554376124098062278852/14628656709846686632829321175903\ 7*c_1001_2^14 + 3211455582759628265793935043784700/1462865670984668\ 66328293211759037*c_1001_2^12 - 3090977809759328814571241124684977/\ 146286567098466866328293211759037*c_1001_2^10 - 6147477299376895100272181979460617/14628656709846686632829321175903\ 7*c_1001_2^8 - 6093483835861443126538251160440668/14628656709846686\ 6328293211759037*c_1001_2^6 + 173151161500677479024619296062758/146\ 286567098466866328293211759037*c_1001_2^4 + 9557302872757084802136179491190453/14628656709846686632829321175903\ 7*c_1001_2^2 - 217335251060262424231950160419741/146286567098466866\ 328293211759037, c_0011_3 - 188406506874881583379736844181/14628656709846686632829321175\ 9037*c_1001_2^21 - 9057360293244395274760891104652/1462865670984668\ 66328293211759037*c_1001_2^19 - 199622675816371166536962632237348/1\ 46286567098466866328293211759037*c_1001_2^17 - 1272081017866054966417377490160911/14628656709846686632829321175903\ 7*c_1001_2^15 - 3894397496809480621953849633373566/1462865670984668\ 66328293211759037*c_1001_2^13 + 3392729797964649480002261482016046/\ 146286567098466866328293211759037*c_1001_2^11 + 7508485932520326305387292254273994/14628656709846686632829321175903\ 7*c_1001_2^9 + 7789143755383539675800198191507589/14628656709846686\ 6328293211759037*c_1001_2^7 + 354641441716530036788118019414430/146\ 286567098466866328293211759037*c_1001_2^5 - 11046173384060671074401956006971307/1462865670984668663282932117590\ 37*c_1001_2^3 - 564329087647320102814726413947150/14628656709846686\ 6328293211759037*c_1001_2, c_0101_0 + 7110631494640392222174608591953/1462865670984668663282932117\ 59037*c_1001_2^21 + 341393282121140061206570275958661/1462865670984\ 66866328293211759037*c_1001_2^19 + 7512807088128744585663061876211078/14628656709846686632829321175903\ 7*c_1001_2^17 + 47543857791465305148303784010465650/146286567098466\ 866328293211759037*c_1001_2^15 + 1440153230129753970572874322562147\ 35/146286567098466866328293211759037*c_1001_2^13 - 137064013554585769761371662765422222/146286567098466866328293211759\ 037*c_1001_2^11 - 275129336351528800941499895959508908/146286567098\ 466866328293211759037*c_1001_2^9 - 275735093678785119772757584680469433/146286567098466866328293211759\ 037*c_1001_2^7 + 4192952026801364143087518040376973/146286567098466\ 866328293211759037*c_1001_2^5 + 42089566628506871292911519131521250\ 2/146286567098466866328293211759037*c_1001_2^3 - 4852080892005773496263236015982199/14628656709846686632829321175903\ 7*c_1001_2, c_0101_1 + 389721233177778103549919577780/14628656709846686632829321175\ 9037*c_1001_2^20 + 18710947262581501752637982183537/146286567098466\ 866328293211759037*c_1001_2^18 + 411750831692671806075855591769163/\ 146286567098466866328293211759037*c_1001_2^16 + 2605450103943787630202503143097450/14628656709846686632829321175903\ 7*c_1001_2^14 + 7889309454508792871258951535585649/1462865670984668\ 66328293211759037*c_1001_2^12 - 7530896925643685649904916007932332/\ 146286567098466866328293211759037*c_1001_2^10 - 15116219828925834133290988594140870/1462865670984668663282932117590\ 37*c_1001_2^8 - 15048608571569894225910141114233235/146286567098466\ 866328293211759037*c_1001_2^6 + 200649742894079645787454321317913/1\ 46286567098466866328293211759037*c_1001_2^4 + 23292061772841985902251834902670401/1462865670984668663282932117590\ 37*c_1001_2^2 - 309536558807698848566540472297813/14628656709846686\ 6328293211759037, c_0101_3 - 1005965415494076359546305624913/1462865670984668663282932117\ 59037*c_1001_2^20 - 48294261727495708216615462050681/14628656709846\ 6866328293211759037*c_1001_2^18 - 106268001888654202445360343844258\ 3/146286567098466866328293211759037*c_1001_2^16 - 6722186784036130295697336633603508/14628656709846686632829321175903\ 7*c_1001_2^14 - 20349252739479646741377399743884202/146286567098466\ 866328293211759037*c_1001_2^12 + 1946993191172989208584105074121067\ 9/146286567098466866328293211759037*c_1001_2^10 + 38876578114810047112376611828803354/1462865670984668663282932117590\ 37*c_1001_2^8 + 39006828514911227128924455800264319/146286567098466\ 866328293211759037*c_1001_2^6 - 759948361992230094837116020193303/1\ 46286567098466866328293211759037*c_1001_2^4 - 59630553013762311777947824388852196/1462865670984668663282932117590\ 37*c_1001_2^2 + 718237396898382478462117003672739/14628656709846686\ 6328293211759037, c_1001_2^22 + 48*c_1001_2^20 + 1056*c_1001_2^18 + 6674*c_1001_2^16 + 20176*c_1001_2^14 - 19509*c_1001_2^12 - 38457*c_1001_2^10 - 38329*c_1001_2^8 + 1037*c_1001_2^6 + 59168*c_1001_2^4 - 1390*c_1001_2^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB