Magma V2.19-8 Tue Aug 20 2013 16:19:15 on localhost [Seed = 3035965874] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3363 geometric_solution 6.52625760 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.685455146407 1.042117760262 0 3 5 4 0132 0132 0132 0132 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 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.658631401717 0.813975811015 3 0 4 5 2310 0132 3201 2310 0 0 0 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 0 0 0 1 0 0 -1 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.658631401717 0.813975811015 5 1 2 5 1230 0132 3201 3012 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 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.378697551743 0.865004865237 2 6 1 6 2310 0132 0132 1023 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 0 0 0 0 0 0 0 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.001359231310 0.599703788024 2 3 3 1 3201 3012 1230 0132 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 0 0 -1 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.652494402498 0.711161235876 6 4 6 4 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745603333026 0.285191542545 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), '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' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_3']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1841572046825659497273377726088326555949901/12403995915759711676354\ 455409586373189036045*c_0101_6^26 - 71763058138197821165926666034511736310986417/1240399591575971167635\ 4455409586373189036045*c_0101_6^24 + 2249573290841974409334290797054102553600489141/24807991831519423352\ 708910819172746378072090*c_0101_6^22 - 3442502107039257503173294886756350084274444802/41346653052532372254\ 51485136528791063012015*c_0101_6^20 + 13590537083262102110598627843822598737087345353/2480799183151942335\ 270891081917274637807209*c_0101_6^18 - 211366733294658021437230903594254242975544187237/826933061050647445\ 0902970273057582126024030*c_0101_6^16 + 318108903628101612784717643461512498278442825286/413466530525323722\ 5451485136528791063012015*c_0101_6^14 - 138177888286510954504633876398588580561068056873/107860834050084449\ 3596039600833597668611830*c_0101_6^12 + 1496826013072590310308840254458255471068195197711/12403995915759711\ 676354455409586373189036045*c_0101_6^10 - 659515518011543315491740166333620828629872778566/124039959157597116\ 76354455409586373189036045*c_0101_6^8 + 436787590294524251471927490309633326314209975697/248079918315194233\ 52708910819172746378072090*c_0101_6^6 - 79452504907827736542006722489790545453336637107/2480799183151942335\ 2708910819172746378072090*c_0101_6^4 + 10782215460820579340086334241248980131683052851/2480799183151942335\ 2708910819172746378072090*c_0101_6^2 - 523029625710544761279084846600608130544593874/124039959157597116763\ 54455409586373189036045, c_0011_0 - 1, c_0011_4 - 503885041792965867642928374630251699/15632004934794847733275\ 93624396518360307*c_0101_6^27 + 19305656977266904872831176481940940\ 393/1563200493479484773327593624396518360307*c_0101_6^25 - 295287911077387431829221916639231003665/156320049347948477332759362\ 4396518360307*c_0101_6^23 + 263908193890196927338742523972779016235\ 0/1563200493479484773327593624396518360307*c_0101_6^21 - 16971487009847723812066123734841880670888/1563200493479484773327593\ 624396518360307*c_0101_6^19 + 7663892688733345558296531257977386430\ 3920/1563200493479484773327593624396518360307*c_0101_6^17 - 217659872430182207634136565107822766238433/156320049347948477332759\ 3624396518360307*c_0101_6^15 + 324508017361398485464529507740463197\ 183239/1563200493479484773327593624396518360307*c_0101_6^13 - 298769623831530735888870903042853751950750/156320049347948477332759\ 3624396518360307*c_0101_6^11 + 169113265151114158052613235602782123\ 079716/1563200493479484773327593624396518360307*c_0101_6^9 - 133303463913066401682231603512421524951734/156320049347948477332759\ 3624396518360307*c_0101_6^7 + 2008319012721602780691182372301089033\ 577/1563200493479484773327593624396518360307*c_0101_6^5 - 316153358985477767862378114247540230127/156320049347948477332759362\ 4396518360307*c_0101_6^3 - 2532326793991694632668170511203744344677\ /1563200493479484773327593624396518360307*c_0101_6, c_0101_0 + 44434130076283442871289787290302917978/156320049347948477332\ 7593624396518360307*c_0101_6^27 - 172293911656034691289741188387775\ 0529200/1563200493479484773327593624396518360307*c_0101_6^25 + 26805278191533347508580797525787768777063/1563200493479484773327593\ 624396518360307*c_0101_6^23 - 2439654848809390233779730903021329003\ 19962/1563200493479484773327593624396518360307*c_0101_6^21 + 1591815417659592307460643207743450087998745/15632004934794847733275\ 93624396518360307*c_0101_6^19 - 73366118234430223631272416695492126\ 88209972/1563200493479484773327593624396518360307*c_0101_6^17 + 21571697735140959044325805559909089263597892/1563200493479484773327\ 593624396518360307*c_0101_6^15 - 3400366830718881456957123356650644\ 1660124115/1563200493479484773327593624396518360307*c_0101_6^13 + 29055836610299540475247924394541708835767257/1563200493479484773327\ 593624396518360307*c_0101_6^11 - 9555308127296850695903686540888488\ 191767774/1563200493479484773327593624396518360307*c_0101_6^9 + 2834434145301976074081059198029341107133646/15632004934794847733275\ 93624396518360307*c_0101_6^7 - 269395488000826707384094369704347506\ 270877/1563200493479484773327593624396518360307*c_0101_6^5 + 37558250000281028500980146800577199601674/1563200493479484773327593\ 624396518360307*c_0101_6^3 - 29363597165872498386144420373121502122\ 36/1563200493479484773327593624396518360307*c_0101_6, c_0101_1 - 9027855891161580063166752906966944018/1563200493479484773327\ 593624396518360307*c_0101_6^26 + 3505374825368378164266578225865694\ 56238/1563200493479484773327593624396518360307*c_0101_6^24 - 5465080506037676682976482531182485049042/15632004934794847733275936\ 24396518360307*c_0101_6^22 + 49868871205793677174906530993356450079\ 592/1563200493479484773327593624396518360307*c_0101_6^20 - 326230358248221569511171288502906400613842/156320049347948477332759\ 3624396518360307*c_0101_6^18 + 150941377742848425095586498478313507\ 1327464/1563200493479484773327593624396518360307*c_0101_6^16 - 4472438527959123358472936968753669699731046/15632004934794847733275\ 93624396518360307*c_0101_6^14 + 71888910378415759155981502993241520\ 10177482/1563200493479484773327593624396518360307*c_0101_6^12 - 6407016622639386232835794777167427904880654/15632004934794847733275\ 93624396518360307*c_0101_6^10 + 24630945465317739527903671656100985\ 52243711/1563200493479484773327593624396518360307*c_0101_6^8 - 846354529101191793014166041580368644090379/156320049347948477332759\ 3624396518360307*c_0101_6^6 + 1292865527177692534147861187613177479\ 24923/1563200493479484773327593624396518360307*c_0101_6^4 - 24124100877791905409267913019606666247188/1563200493479484773327593\ 624396518360307*c_0101_6^2 + 25743798627267494472003567315082043472\ 77/1563200493479484773327593624396518360307, c_0101_2 - 11787355448427343240121030253120630520/156320049347948477332\ 7593624396518360307*c_0101_6^27 + 457457126966528678275188806136268\ 074763/1563200493479484773327593624396518360307*c_0101_6^25 - 7126644525267071520399221911156190227948/15632004934794847733275936\ 24396518360307*c_0101_6^23 + 64970786140651599229244994234761279220\ 186/1563200493479484773327593624396518360307*c_0101_6^21 - 424633346127202574328548137428277976842330/156320049347948477332759\ 3624396518360307*c_0101_6^19 + 196201998500673256994407570153524559\ 1338259/1563200493479484773327593624396518360307*c_0101_6^17 - 5797748694314696605594996356151232379920344/15632004934794847733275\ 93624396518360307*c_0101_6^15 + 92554631759752605252365095784095665\ 30364973/1563200493479484773327593624396518360307*c_0101_6^13 - 8125646184181440871396213855250155060108230/15632004934794847733275\ 93624396518360307*c_0101_6^11 + 29425957368309125388138746773920090\ 93786551/1563200493479484773327593624396518360307*c_0101_6^9 - 919200717488627781000262595626931090929094/156320049347948477332759\ 3624396518360307*c_0101_6^7 + 7680976929538071982635955470057545872\ 5655/1563200493479484773327593624396518360307*c_0101_6^5 - 8921709904098370763730553583751748235546/15632004934794847733275936\ 24396518360307*c_0101_6^3 - 207421206067624469466550056231819892156\ 9/1563200493479484773327593624396518360307*c_0101_6, c_0101_3 + 13133800736869941621187936951254541535/156320049347948477332\ 7593624396518360307*c_0101_6^26 - 512555839364667697301492948859935\ 973891/1563200493479484773327593624396518360307*c_0101_6^24 + 8050961530181960233806501142192589793406/15632004934794847733275936\ 24396518360307*c_0101_6^22 - 74106909725008605404207748803700244034\ 854/1563200493479484773327593624396518360307*c_0101_6^20 + 488738429281393465581802884524514466070997/156320049347948477332759\ 3624396518360307*c_0101_6^18 - 228790570190692388346852645360535274\ 2383267/1563200493479484773327593624396518360307*c_0101_6^16 + 6928961822367358070275268372703209044515546/15632004934794847733275\ 93624396518360307*c_0101_6^14 - 11691378706327702267192600837418734\ 785758084/1563200493479484773327593624396518360307*c_0101_6^12 + 11229584664005432796447970064812774873744358/1563200493479484773327\ 593624396518360307*c_0101_6^10 - 5157050256143253552991164722220261\ 796452728/1563200493479484773327593624396518360307*c_0101_6^8 + 1678148356515463578515424896273266985366266/15632004934794847733275\ 93624396518360307*c_0101_6^6 - 308015581693697283463776311312525966\ 076185/1563200493479484773327593624396518360307*c_0101_6^4 + 34779600987767294996667996731869830549210/1563200493479484773327593\ 624396518360307*c_0101_6^2 - 31069239470784428690495820041250213370\ 18/1563200493479484773327593624396518360307, c_0101_6^28 - 39*c_0101_6^26 + 612*c_0101_6^24 - 5627*c_0101_6^22 + 37072*c_0101_6^20 - 173288*c_0101_6^18 + 523389*c_0101_6^16 - 878048*c_0101_6^14 + 836655*c_0101_6^12 - 378983*c_0101_6^10 + 126718*c_0101_6^8 - 25358*c_0101_6^6 + 3675*c_0101_6^4 - 405*c_0101_6^2 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB