Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 3120047463] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1490 geometric_solution 5.30258115 oriented_manifold CS_known 0.0000000000000000 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.459922870085 0.416947828594 0 2 3 0 3201 0132 0132 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 0.896724270415 0.357386163655 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -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 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.709327644612 0.646097859803 2 5 4 1 2031 0132 0132 0132 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 0 0 0 0 0.709327644612 0.646097859803 2 4 4 3 0132 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.174022091270 0.691270063734 6 3 2 6 0132 0132 0132 3201 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 -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.427539775142 0.159099732597 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.352130777489 1.085568318566 ==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_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : 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' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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' : 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_1001_1'], 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1092347306006654834160995825207/167448134361018810544346916288*c_10\ 01_1^19 - 76879853170858027611449293709/116283426639596396211352025\ 2*c_1001_1^18 + 440787742861412437836558618563/46513370655838558484\ 54081008*c_1001_1^17 + 19896083895832205723717354698111/20931016795\ 127351318043364536*c_1001_1^16 - 34987218434388362735344449600641/1\ 3954011196751567545362243024*c_1001_1^15 - 1082312956410720271393441941703157/167448134361018810544346916288*c\ _1001_1^14 + 809033364608451169231785580797259/41862033590254702636\ 086729072*c_1001_1^13 + 1379129920337182827080637398709917/41862033\ 590254702636086729072*c_1001_1^12 - 3475118446169092144693547975934839/55816044787006270181448972096*c_\ 1001_1^11 - 4023604451357616601577128164732673/41862033590254702636\ 086729072*c_1001_1^10 + 18175685206829061161096197816715641/1674481\ 34361018810544346916288*c_1001_1^9 + 6488375665056629203297787308242307/41862033590254702636086729072*c_\ 1001_1^8 - 6723840786427523204623909713164837/558160447870062701814\ 48972096*c_1001_1^7 - 11682676666222467599399149882854173/837240671\ 80509405272173458144*c_1001_1^6 + 769212699644828833024537147678047\ 1/83724067180509405272173458144*c_1001_1^5 + 10806737862880611145203756804347357/167448134361018810544346916288*\ c_1001_1^4 - 7476597760795564907271352189808389/1674481343610188105\ 44346916288*c_1001_1^3 - 1630581585844097825050822132743329/1674481\ 34361018810544346916288*c_1001_1^2 + 1671094282453719030608844582944875/167448134361018810544346916288*c\ _1001_1 - 10463800750651714824343868944979/697700559837578377268112\ 1512, c_0011_0 - 1, c_0011_1 + 10096116120670654979246974/290708566598990990528380063*c_100\ 1_1^19 - 129564066735704933044863514/290708566598990990528380063*c_\ 1001_1^18 + 497383041291578033044318057/290708566598990990528380063\ *c_1001_1^17 + 199016932286023202790268556/290708566598990990528380\ 063*c_1001_1^16 - 5319589244701552404624333272/29070856659899099052\ 8380063*c_1001_1^15 + 6860550443185289465012795579/2907085665989909\ 90528380063*c_1001_1^14 + 18975460668235290608835388638/29070856659\ 8990990528380063*c_1001_1^13 - 39105207889850589550341644744/290708\ 566598990990528380063*c_1001_1^12 - 14284169835371930584010678241/290708566598990990528380063*c_1001_1^\ 11 + 122806780136242759141210238414/290708566598990990528380063*c_1\ 001_1^10 - 63668445790353057243855257945/29070856659899099052838006\ 3*c_1001_1^9 - 243261894236854643796156319811/290708566598990990528\ 380063*c_1001_1^8 + 191714561715422511394052141297/2907085665989909\ 90528380063*c_1001_1^7 + 276418413050093807362296879251/29070856659\ 8990990528380063*c_1001_1^6 - 248512818420754138780633144828/290708\ 566598990990528380063*c_1001_1^5 - 153392875627977277145478502812/290708566598990990528380063*c_1001_1\ ^4 + 165523071038974011906093950060/290708566598990990528380063*c_1\ 001_1^3 + 20586378397704106280607166721/290708566598990990528380063\ *c_1001_1^2 - 45036589189991899644623385485/29070856659899099052838\ 0063*c_1001_1 + 8573917272971710613589112981/2907085665989909905283\ 80063, c_0011_3 - 507626411379228771176869429/3488502799187891886340560756*c_1\ 001_1^19 + 511517506375059072855956766/290708566598990990528380063*\ c_1001_1^18 - 1604528479935786088599745345/290708566598990990528380\ 063*c_1001_1^17 - 9451675441472951844450198604/87212569979697297158\ 5140189*c_1001_1^16 + 22766705666586402903258020903/290708566598990\ 990528380063*c_1001_1^15 - 19841572086892278771503602505/3488502799\ 187891886340560756*c_1001_1^14 - 381604130687088559296586281347/872\ 125699796972971585140189*c_1001_1^13 + 98269001463330184564135661414/872125699796972971585140189*c_1001_1^\ 12 + 1474548531282322903426247973805/1162834266395963962113520252*c\ _1001_1^11 - 264316878136606782348706872016/87212569979697297158514\ 0189*c_1001_1^10 - 7289978703004444505060682101939/3488502799187891\ 886340560756*c_1001_1^9 + 483432307429380734276736327385/8721256997\ 96972971585140189*c_1001_1^8 + 2316406180774323740224091515255/1162\ 834266395963962113520252*c_1001_1^7 - 1260856577626469262193791553697/1744251399593945943170280378*c_1001\ _1^6 - 1756830185511229298601491081507/1744251399593945943170280378\ *c_1001_1^5 + 1835310072845471851044363507125/348850279918789188634\ 0560756*c_1001_1^4 + 635675128657367395905671900903/348850279918789\ 1886340560756*c_1001_1^3 - 544712706565764227243081153645/348850279\ 9187891886340560756*c_1001_1^2 + 65553812775526011480941473087/3488\ 502799187891886340560756*c_1001_1 + 991736356898530275724591078/290708566598990990528380063, c_0101_0 - 87677895891977354292851101/1744251399593945943170280378*c_10\ 01_1^19 + 185330553755978642890561604/290708566598990990528380063*c\ _1001_1^18 - 668573263232245120913047859/29070856659899099052838006\ 3*c_1001_1^17 - 1961701702247139681988481984/8721256997969729715851\ 40189*c_1001_1^16 + 8283291899086371861017562072/290708566598990990\ 528380063*c_1001_1^15 - 38376542619928228848833470517/1744251399593\ 945943170280378*c_1001_1^14 - 117968402072173677661115387641/872125\ 699796972971585140189*c_1001_1^13 + 129510306210135143436806838889/872125699796972971585140189*c_1001_1\ ^12 + 184880429703132094115742650061/581417133197981981056760126*c_\ 1001_1^11 - 398013850932186567827580263588/872125699796972971585140\ 189*c_1001_1^10 - 663833102104084080791608851773/174425139959394594\ 3170280378*c_1001_1^9 + 752036882954339914379968414397/872125699796\ 972971585140189*c_1001_1^8 + 82400143136566210934034458765/58141713\ 3197981981056760126*c_1001_1^7 - 853328099130530550138639492332/872\ 125699796972971585140189*c_1001_1^6 + 181848168919671757167816287740/872125699796972971585140189*c_1001_1\ ^5 + 1025573871107794641927386426537/1744251399593945943170280378*c\ _1001_1^4 - 480330749096222473621331766649/174425139959394594317028\ 0378*c_1001_1^3 - 221355836808985536967286971547/174425139959394594\ 3170280378*c_1001_1^2 + 168114327858867785740724390659/174425139959\ 3945943170280378*c_1001_1 - 3706643105696303953408833428/2907085665\ 98990990528380063, c_0101_4 + 646005935821229287484615563/3488502799187891886340560756*c_1\ 001_1^19 - 632951180648057148414017771/290708566598990990528380063*\ c_1001_1^18 + 1826525951932147782487632812/290708566598990990528380\ 063*c_1001_1^17 + 14037147758443317621578733628/8721256997969729715\ 85140189*c_1001_1^16 - 27706138352746381600169837789/29070856659899\ 0990528380063*c_1001_1^15 - 84388248684739824365416901221/348850279\ 9187891886340560756*c_1001_1^14 + 488452674608344933606523134364/87\ 2125699796972971585140189*c_1001_1^13 + 19461823630417268913218733094/872125699796972971585140189*c_1001_1^\ 12 - 1929499290523133038137274569323/1162834266395963962113520252*c\ _1001_1^11 - 35053530512435557637799977990/872125699796972971585140\ 189*c_1001_1^10 + 9860244369729102394981743368333/34885027991878918\ 86340560756*c_1001_1^9 - 69839355296873671575940495192/872125699796\ 972971585140189*c_1001_1^8 - 3396913048267080222153238581493/116283\ 4266395963962113520252*c_1001_1^7 + 636457159446004365645415983041/1744251399593945943170280378*c_1001_\ 1^6 + 3082293944759806705546992445787/1744251399593945943170280378*\ c_1001_1^5 - 1452076720729612016692003722287/3488502799187891886340\ 560756*c_1001_1^4 - 1873301281560525857700908211509/348850279918789\ 1886340560756*c_1001_1^3 + 612889159336025064327791609507/348850279\ 9187891886340560756*c_1001_1^2 + 179484766279218898397706557483/348\ 8502799187891886340560756*c_1001_1 - 5135911706534759853021780082/290708566598990990528380063, c_0101_6 + 12345752460583784199436601/1744251399593945943170280378*c_10\ 01_1^19 - 31265996859257103168340845/290708566598990990528380063*c_\ 1001_1^18 + 161106998643033518210658541/290708566598990990528380063\ *c_1001_1^17 - 453678553485415313462954585/872125699796972971585140\ 189*c_1001_1^16 - 1464158181929427301465281071/29070856659899099052\ 8380063*c_1001_1^15 + 25739999603026367005788806959/174425139959394\ 5943170280378*c_1001_1^14 + 9906223479809684701151440931/8721256997\ 96972971585140189*c_1001_1^13 - 74627277780531458227192769756/87212\ 5699796972971585140189*c_1001_1^12 + 11448931876487609634568726581/581417133197981981056760126*c_1001_1^\ 11 + 231467661058601119230682068445/872125699796972971585140189*c_1\ 001_1^10 - 252503455177429556137767304343/1744251399593945943170280\ 378*c_1001_1^9 - 428769117231904272977021710150/8721256997969729715\ 85140189*c_1001_1^8 + 192790680897411813860137653937/58141713319798\ 1981056760126*c_1001_1^7 + 460360649880301401773683244248/872125699\ 796972971585140189*c_1001_1^6 - 366741451653805315052202981494/8721\ 25699796972971585140189*c_1001_1^5 - 494404440159183275411373699241/1744251399593945943170280378*c_1001_\ 1^4 + 508077303003885494627066712491/1744251399593945943170280378*c\ _1001_1^3 + 58422051584814980671514998969/1744251399593945943170280\ 378*c_1001_1^2 - 146534665371287490377052648239/1744251399593945943\ 170280378*c_1001_1 + 5454280792928408471495138040/29070856659899099\ 0528380063, c_1001_1^20 - 12*c_1001_1^19 + 36*c_1001_1^18 + 88*c_1001_1^17 - 564*c_1001_1^16 - 67*c_1001_1^15 + 3464*c_1001_1^14 - 596*c_1001_1^13 - 11283*c_1001_1^12 + 2296*c_1001_1^11 + 21839*c_1001_1^10 - 5200*c_1001_1^9 - 26217*c_1001_1^8 + 8230*c_1001_1^7 + 19066*c_1001_1^6 - 8141*c_1001_1^5 - 7415*c_1001_1^4 + 4349*c_1001_1^3 + 929*c_1001_1^2 - 948*c_1001_1 + 144 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB