Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 71669990] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0558 geometric_solution 4.57579441 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 0 0 0 0 0 0 0 0 0 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 0.682767626789 0.144488766467 2 0 2 0 0132 2310 1023 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 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.915385459852 0.152173118689 1 3 1 4 0132 0132 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 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 1.008847657979 0.289602336827 4 2 5 4 3120 0132 0132 1230 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 -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.854611975999 0.645380384834 3 5 2 3 3012 0132 0132 3120 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 -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.854611975999 0.645380384834 6 4 6 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.962892904528 0.898615512679 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449810209918 0.338017746351 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 10181236570805288329959100379575471/5221921520979221914750823559438\ 592*c_1001_3^15 - 71719067850048990893052938754705217/2610960760489\ 610957375411779719296*c_1001_3^14 + 278110001012612721518707451399855901/130548038024480547868770588985\ 9648*c_1001_3^13 - 1440215809617617514809131884930479317/1305480380\ 244805478687705889859648*c_1001_3^12 + 20544405436081256750949092228313871073/5221921520979221914750823559\ 438592*c_1001_3^11 - 6551725581718588472701716315668988645/65274019\ 0122402739343852944929824*c_1001_3^10 + 90118265269281664361621690954963000637/5221921520979221914750823559\ 438592*c_1001_3^9 - 116696127784536590851334588694896067215/5221921\ 520979221914750823559438592*c_1001_3^8 + 70139384537694090313070334178863698673/5221921520979221914750823559\ 438592*c_1001_3^7 + 36581694477435702805161421223060738029/26109607\ 60489610957375411779719296*c_1001_3^6 - 107513947250402230946945306556345141237/522192152097922191475082355\ 9438592*c_1001_3^5 - 5945118801078914587209686236953766417/26109607\ 60489610957375411779719296*c_1001_3^4 + 35117299730256132321828189491455173261/5221921520979221914750823559\ 438592*c_1001_3^3 + 18270691758437660428561790741581004557/52219215\ 20979221914750823559438592*c_1001_3^2 - 7592199965549312777224226063886949893/52219215209792219147508235594\ 38592*c_1001_3 - 408398528904031826040201691002493107/3263700950612\ 01369671926472464912, c_0011_0 - 1, c_0011_1 + 1519837170208703655989184855719/4079626188265017120899080905\ 8114*c_1001_3^15 - 9847660363316756010054831365964/2039813094132508\ 5604495404529057*c_1001_3^14 + 71846931776956869172996256488332/203\ 98130941325085604495404529057*c_1001_3^13 - 348097172375343877342480963420292/20398130941325085604495404529057*\ c_1001_3^12 + 2270486309716662488690299770313529/407962618826501712\ 08990809058114*c_1001_3^11 - 2607906935533628970636754017874271/203\ 98130941325085604495404529057*c_1001_3^10 + 7440976826798727490256663745736573/40796261882650171208990809058114\ *c_1001_3^9 - 8818010325350497272562174407732351/407962618826501712\ 08990809058114*c_1001_3^8 + 486078263166682487363381724735141/40796\ 261882650171208990809058114*c_1001_3^7 + 5570913304016562762096163587729991/20398130941325085604495404529057\ *c_1001_3^6 - 2010710428541181699514392208934311/407962618826501712\ 08990809058114*c_1001_3^5 - 3087957367914280337879565442791411/2039\ 8130941325085604495404529057*c_1001_3^4 - 1502842016431694644440629753507741/40796261882650171208990809058114\ *c_1001_3^3 + 1853169918048488069335641657891907/407962618826501712\ 08990809058114*c_1001_3^2 + 1202171114164967076842910533623833/4079\ 6261882650171208990809058114*c_1001_3 + 75066762448531875162373140596861/20398130941325085604495404529057, c_0011_4 - 4847969935920119510015938687955/4079626188265017120899080905\ 8114*c_1001_3^15 + 31203145136541191194960658094986/203981309413250\ 85604495404529057*c_1001_3^14 - 226434139538280542160638536155631/2\ 0398130941325085604495404529057*c_1001_3^13 + 1090067299158186986807661361305496/20398130941325085604495404529057\ *c_1001_3^12 - 7042305516291407021517061391686535/40796261882650171\ 208990809058114*c_1001_3^11 + 7983303482269809456033672382003675/20\ 398130941325085604495404529057*c_1001_3^10 - 22128647622307686539870238779884769/4079626188265017120899080905811\ 4*c_1001_3^9 + 25625694743690248433069164320881587/4079626188265017\ 1208990809058114*c_1001_3^8 + 1705262376284260649411599453666699/40\ 796261882650171208990809058114*c_1001_3^7 - 18388762955592831843555603031690947/2039813094132508560449540452905\ 7*c_1001_3^6 + 4281503739934800375838016440781015/40796261882650171\ 208990809058114*c_1001_3^5 + 10341542136208566196861110355760884/20\ 398130941325085604495404529057*c_1001_3^4 + 5797535377885063635763858558550261/40796261882650171208990809058114\ *c_1001_3^3 - 5831684253616419964228466557368817/407962618826501712\ 08990809058114*c_1001_3^2 - 4231523584569717405042974532981729/4079\ 6261882650171208990809058114*c_1001_3 - 322653201890047111315224467910933/20398130941325085604495404529057, c_0101_0 + 17572852574098637894478610717757/163185047530600684835963236\ 232456*c_1001_3^15 - 114067148244982073445788030276195/815925237653\ 00342417981618116228*c_1001_3^14 + 416801769023410817315798137409785/40796261882650171208990809058114*\ c_1001_3^13 - 2023495685783657956376532442491313/407962618826501712\ 08990809058114*c_1001_3^12 + 26479235483789520289138572550715883/16\ 3185047530600684835963236232456*c_1001_3^11 - 7637815069715359805847533953544880/20398130941325085604495404529057\ *c_1001_3^10 + 88009040087259421335675336303811335/1631850475306006\ 84835963236232456*c_1001_3^9 - 105200203187353701118783091918077821\ /163185047530600684835963236232456*c_1001_3^8 + 9583534735587251794540134009055059/16318504753060068483596323623245\ 6*c_1001_3^7 + 63349117648925485777118405496042139/8159252376530034\ 2417981618116228*c_1001_3^6 - 26914010103648810191603740700259223/1\ 63185047530600684835963236232456*c_1001_3^5 - 34383531585371056427737577329667447/8159252376530034241798161811622\ 8*c_1001_3^4 - 15191405426119276359382027543655793/1631850475306006\ 84835963236232456*c_1001_3^3 + 21123815205213264726786890172332679/\ 163185047530600684835963236232456*c_1001_3^2 + 12953013887821201519007699398363673/1631850475306006848359632362324\ 56*c_1001_3 + 208881547913464119155290686132282/2039813094132508560\ 4495404529057, c_0101_1 - 1000627761919310654496447815381/4079626188265017120899080905\ 8114*c_1001_3^15 + 6421309905398750086408977391392/2039813094132508\ 5604495404529057*c_1001_3^14 - 46493098420355379209048548407854/203\ 98130941325085604495404529057*c_1001_3^13 + 223221794133213164278407216880230/20398130941325085604495404529057*\ c_1001_3^12 - 1436393677337051232426279589978495/407962618826501712\ 08990809058114*c_1001_3^11 + 1619615385080722584289956079629044/203\ 98130941325085604495404529057*c_1001_3^10 - 4434767615728456162160505989762729/40796261882650171208990809058114\ *c_1001_3^9 + 5087963626800094913854113644556791/407962618826501712\ 08990809058114*c_1001_3^8 + 625574106261177124832803723288267/40796\ 261882650171208990809058114*c_1001_3^7 - 3838944864565646298423417183074344/20398130941325085604495404529057\ *c_1001_3^6 + 767413507186873203672288727426205/4079626188265017120\ 8990809058114*c_1001_3^5 + 2143236851552616143365481156242099/20398\ 130941325085604495404529057*c_1001_3^4 + 1272036196259519499357373122177561/40796261882650171208990809058114\ *c_1001_3^3 - 1197230056524943007422613904714821/407962618826501712\ 08990809058114*c_1001_3^2 - 924416327007616580727136716974929/40796\ 261882650171208990809058114*c_1001_3 - 64068402313474192734620660224875/20398130941325085604495404529057, c_0101_5 + 13312505123694890820957674117051/163185047530600684835963236\ 232456*c_1001_3^15 - 85904963593299709976112203308361/8159252376530\ 0342417981618116228*c_1001_3^14 + 312334125320554768717763510908643\ /40796261882650171208990809058114*c_1001_3^13 - 1507246048161287621034460607033383/40796261882650171208990809058114\ *c_1001_3^12 + 19545241716720227982741494019703685/1631850475306006\ 84835963236232456*c_1001_3^11 - 5566299910897960529381805403124123/\ 20398130941325085604495404529057*c_1001_3^10 + 62382280198004255292780436897429441/1631850475306006848359632362324\ 56*c_1001_3^9 - 72803176316659984016038096925847123/163185047530600\ 684835963236232456*c_1001_3^8 - 1608953224501502247108057883735971/\ 163185047530600684835963236232456*c_1001_3^7 + 50118331945377982878656587482740673/8159252376530034241798161811622\ 8*c_1001_3^6 - 14400467248047706701224115020838641/1631850475306006\ 84835963236232456*c_1001_3^5 - 27867589975263630185171151351432429/\ 81592523765300342417981618116228*c_1001_3^4 - 14691861507479149013697025145448191/1631850475306006848359632362324\ 56*c_1001_3^3 + 15907904156182818302054900175012817/163185047530600\ 684835963236232456*c_1001_3^2 + 11305561054315362695012016548610727\ /163185047530600684835963236232456*c_1001_3 + 205344765423003848167404922837920/20398130941325085604495404529057, c_1001_3^16 - 14*c_1001_3^15 + 108*c_1001_3^14 - 556*c_1001_3^13 + 1967*c_1001_3^12 - 4968*c_1001_3^11 + 8403*c_1001_3^10 - 10737*c_1001_3^9 + 6095*c_1001_3^8 + 7350*c_1001_3^7 - 9147*c_1001_3^6 - 2862*c_1001_3^5 + 3363*c_1001_3^4 + 2355*c_1001_3^3 - 475*c_1001_3^2 - 768*c_1001_3 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB