Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 2480017235] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2132 geometric_solution 5.62003492 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442666970070 0.317669463593 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.066208800464 0.752400512602 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 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 1.165293877539 0.886977088908 5 2 4 1 1023 1230 1023 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 -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.165293877539 0.886977088908 4 2 3 4 3201 0132 1023 2310 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 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 0.003945664824 0.708891672176 6 3 2 6 0132 1023 0132 3201 0 0 0 0 0 0 -1 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 0 0 -1 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 0.767751844049 0.315567866714 5 5 6 6 0132 2310 2031 1302 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.329062667010 0.788080254085 ==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' : 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' : 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_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : 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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(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' : 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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 146498348409131907432686171/399959838331300411559288*c_0101_6^23 - 925229600810306989894218761/149984939374237654334733*c_0101_6^21 - 8203554984561827419148758111/299969878748475308669466*c_0101_6^19 - 120832121741257365961123801681/599939757496950617338932*c_0101_6^17 + 1891746880400910560149296056005/599939757496950617338932*c_0101_6\ ^15 - 1387243676974557144165822398857/199979919165650205779644*c_01\ 01_6^13 + 325959373964029122370719740847/399959838331300411559288*c\ _0101_6^11 - 165956360971177110565863249649/19997991916565020577964\ 4*c_0101_6^9 + 182311749348359908711887911867/299969878748475308669\ 466*c_0101_6^7 - 98672103323655021623408128685/11998795149939012346\ 77864*c_0101_6^5 + 3378528196096989515522182921/1499849393742376543\ 34733*c_0101_6^3 - 3229525795122639963983782261/1199879514993901234\ 677864*c_0101_6, c_0011_0 - 1, c_0011_1 + 12362576364497005558565/399959838331300411559288*c_0101_6^22 - 104341053326543503867545/199979919165650205779644*c_0101_6^20 - 457934047325927661719387/199979919165650205779644*c_0101_6^18 - 1686962635486878435171369/99989959582825102889822*c_0101_6^16 + 26686657152400569061807947/99989959582825102889822*c_0101_6^14 - 29721948494496094779720419/49994979791412551444911*c_0101_6^12 + 29135417333410728842029987/399959838331300411559288*c_0101_6^10 - 5548490644883779844791315/199979919165650205779644*c_0101_6^8 + 1817996403202041838176535/49994979791412551444911*c_0101_6^6 + 487508140111362607266803/399959838331300411559288*c_0101_6^4 - 72551430615451016471077/199979919165650205779644*c_0101_6^2 + 164532418161804229273741/399959838331300411559288, c_0011_3 - 7761552450266988265282/49994979791412551444911*c_0101_6^23 + 258486335914343003611207/99989959582825102889822*c_0101_6^21 + 604150323796585257615253/49994979791412551444911*c_0101_6^19 + 8762076803896065109358211/99989959582825102889822*c_0101_6^17 - 65992199206263829163623315/49994979791412551444911*c_0101_6^15 + 268807655363694512687002203/99989959582825102889822*c_0101_6^13 + 9058691671282346395029034/49994979791412551444911*c_0101_6^11 + 17704236744370924757218282/49994979791412551444911*c_0101_6^9 - 9601351465071387439986668/49994979791412551444911*c_0101_6^7 - 512129827010988744878808/49994979791412551444911*c_0101_6^5 - 831626955313670292391571/99989959582825102889822*c_0101_6^3 + 94437838580094913443717/49994979791412551444911*c_0101_6, c_0101_0 - 34169159726248940171433/399959838331300411559288*c_0101_6^22 + 292540615937341258197219/199979919165650205779644*c_0101_6^20 + 1195110077250242551718711/199979919165650205779644*c_0101_6^18 + 2256746370053861709735692/49994979791412551444911*c_0101_6^16 - 74876352219661090197978063/99989959582825102889822*c_0101_6^14 + 182347570595454782455731275/99989959582825102889822*c_0101_6^12 - 249593473053188440842649583/399959838331300411559288*c_0101_6^10 + 38534318006026354237370139/199979919165650205779644*c_0101_6^8 - 8552653934538253114474441/49994979791412551444911*c_0101_6^6 + 19938216541363230200220489/399959838331300411559288*c_0101_6^4 - 1277847951606775573183033/199979919165650205779644*c_0101_6^2 + 420403441950710572614439/399959838331300411559288, c_0101_1 - 1593889792048098176862/49994979791412551444911*c_0101_6^22 + 106051563819516565764689/199979919165650205779644*c_0101_6^20 + 498936090274470305166085/199979919165650205779644*c_0101_6^18 + 3594280694612729014420901/199979919165650205779644*c_0101_6^16 - 54208231843557411694982113/199979919165650205779644*c_0101_6^14 + 108990124752895936018696513/199979919165650205779644*c_0101_6^12 + 16117077118688981394874063/199979919165650205779644*c_0101_6^10 + 438896935243626540818440/49994979791412551444911*c_0101_6^8 - 5439640231921346699215075/99989959582825102889822*c_0101_6^6 - 557301407230028581840323/99989959582825102889822*c_0101_6^4 + 136157520372756003377509/199979919165650205779644*c_0101_6^2 + 87480233509663856190493/199979919165650205779644, c_0101_3 + 81293357127879751905421/199979919165650205779644*c_0101_6^23 - 1376197938055142953333079/199979919165650205779644*c_0101_6^21 - 5951390893942413096457925/199979919165650205779644*c_0101_6^19 - 44155010005985882674782661/199979919165650205779644*c_0101_6^17 + 703800189807994306694546247/199979919165650205779644*c_0101_6^15 - 1600003573333414311463470789/199979919165650205779644*c_0101_6^13 + 153158010022184994766058193/99989959582825102889822*c_0101_6^11 - 90323792093838653986569925/99989959582825102889822*c_0101_6^9 + 74733631818846268047350447/99989959582825102889822*c_0101_6^7 - 31456380586259628189945887/199979919165650205779644*c_0101_6^5 + 5254867806779635717077433/199979919165650205779644*c_0101_6^3 - 260336103832386449003201/99989959582825102889822*c_0101_6, c_0101_6^24 - 17*c_0101_6^22 - 72*c_0101_6^20 - 538*c_0101_6^18 + 8696*c_0101_6^16 - 20300*c_0101_6^14 + 5199*c_0101_6^12 - 2567*c_0101_6^10 + 2018*c_0101_6^8 - 481*c_0101_6^6 + 93*c_0101_6^4 - 17*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB