Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3499183339] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0104 geometric_solution 3.63263638 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.728390106875 0.030783550953 2 0 2 0 0132 2310 1023 0132 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 -1 1 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.901166966511 0.027134725615 1 3 1 3 0132 0132 1023 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 1 -1 -1 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.838775912293 0.062605106934 4 2 4 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 -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.664681362512 0.240314989670 3 5 3 6 0132 0132 1023 0132 0 0 0 0 0 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 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.992768000213 1.969801471510 6 4 6 6 3201 0132 3012 2310 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 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.005754872488 0.990601521195 5 5 4 5 3201 1230 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.005754872488 0.990601521195 ==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' : 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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], '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_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 3107395006700538086616908633769087015656573/31577045400852333196672\ 050073083306507879*c_0101_4^21 + 1282730268278378669379377733940924\ 3217149129/31577045400852333196672050073083306507879*c_0101_4^20 - 165793868286025038466744501234264811751324800/315770454008523331966\ 72050073083306507879*c_0101_4^19 - 64574875506170983723945085135251975783692841/1052568180028411106555\ 7350024361102169293*c_0101_4^18 + 254117712775611174396804754651361\ 3091030386030/31577045400852333196672050073083306507879*c_0101_4^17 + 164909309098574959446623185208249103484143367/1052568180028411106\ 5557350024361102169293*c_0101_4^16 - 13541618128847065195038220733040535180398628010/3157704540085233319\ 6672050073083306507879*c_0101_4^15 + 678467401835132958974203603020181155496644575/315770454008523331966\ 72050073083306507879*c_0101_4^14 + 33165182276158324120462115653062810801180330835/3157704540085233319\ 6672050073083306507879*c_0101_4^13 - 5178260497099115714241165436463109846381883717/31577045400852333196\ 672050073083306507879*c_0101_4^12 - 40916479891504847043467220830478735143921997566/3157704540085233319\ 6672050073083306507879*c_0101_4^11 + 17432093306476012728998407451146410165497766521/3157704540085233319\ 6672050073083306507879*c_0101_4^10 + 31050138060155921156466405512314410914769530350/3157704540085233319\ 6672050073083306507879*c_0101_4^9 - 32064657179005854204318143970905770880883059380/3157704540085233319\ 6672050073083306507879*c_0101_4^8 - 7850787956257155334346661489487844757421410527/10525681800284111065\ 557350024361102169293*c_0101_4^7 + 2901508086298203540681708986813955954997845647/35085606000947036885\ 19116674787034056431*c_0101_4^6 + 529244043395770547850035075569358\ 2712031631964/10525681800284111065557350024361102169293*c_0101_4^5 - 7809007229243554877549281775437654382128634672/31577045400852333196\ 672050073083306507879*c_0101_4^4 - 4778742485017594322766582565343021460344103395/31577045400852333196\ 672050073083306507879*c_0101_4^3 + 519281912688323304491265401020183125046908575/315770454008523331966\ 72050073083306507879*c_0101_4^2 + 403768076215285639086858036118864\ 542105145339/31577045400852333196672050073083306507879*c_0101_4 + 21070598942603861044310447984209159917785485/3157704540085233319667\ 2050073083306507879, c_0011_0 - 1, c_0011_1 + 21017666989272320404526346945358087606/619157752957888886209\ 255883785947186429*c_0101_4^21 + 1606112084049445254496367010543695\ 83475/619157752957888886209255883785947186429*c_0101_4^20 - 830528314843458216064366105744586162605/619157752957888886209255883\ 785947186429*c_0101_4^19 - 1767306352668349423225549835810161507520\ /206385917652629628736418627928649062143*c_0101_4^18 + 13350227292620800103256544453160834701342/6191577529578888862092558\ 83785947186429*c_0101_4^17 + 21416092784547451913098300736729264893\ 675/206385917652629628736418627928649062143*c_0101_4^16 - 91303354071779981787509114037620805447577/6191577529578888862092558\ 83785947186429*c_0101_4^15 - 31412377764732719814340559663677706621\ 4467/619157752957888886209255883785947186429*c_0101_4^14 + 296907856447447668522097236342448617318194/619157752957888886209255\ 883785947186429*c_0101_4^13 + 7257377529471884827914550324324489894\ 01125/619157752957888886209255883785947186429*c_0101_4^12 - 521673203672560536092813441082451589296780/619157752957888886209255\ 883785947186429*c_0101_4^11 - 7856764010196338346294273679649235054\ 97403/619157752957888886209255883785947186429*c_0101_4^10 + 745897790152025782559814458700447967271684/619157752957888886209255\ 883785947186429*c_0101_4^9 + 41080560535072399672440620287457935750\ 6384/619157752957888886209255883785947186429*c_0101_4^8 - 327271055609773154605635686018194104340586/206385917652629628736418\ 627928649062143*c_0101_4^7 - 62236393265830969686348250038916388105\ 1/1575465020249081135392508610142359253*c_0101_4^6 + 253497497699344655111711183313071202704737/206385917652629628736418\ 627928649062143*c_0101_4^5 + 23098177188824692168341961068565241158\ 7816/619157752957888886209255883785947186429*c_0101_4^4 - 244398882016230203468331456130220865449284/619157752957888886209255\ 883785947186429*c_0101_4^3 - 88907435250445345520598212578571282993\ 978/619157752957888886209255883785947186429*c_0101_4^2 + 23174903728284897052071075190801507837397/6191577529578888862092558\ 83785947186429*c_0101_4 + 9248058418452871364495060005987989971744/\ 619157752957888886209255883785947186429, c_0011_6 - 16173966599262913350119947804219392713/619157752957888886209\ 255883785947186429*c_0101_4^21 - 1792000801493830323385553765246676\ 8893/619157752957888886209255883785947186429*c_0101_4^20 + 1056211797175627305347348356092092396732/61915775295788888620925588\ 3785947186429*c_0101_4^19 - 542707166707237628318220156033065739238\ /206385917652629628736418627928649062143*c_0101_4^18 - 15812069836661840938090759330745585549927/6191577529578888862092558\ 83785947186429*c_0101_4^17 + 12549192834934514592322089325980100568\ 957/206385917652629628736418627928649062143*c_0101_4^16 + 71414591414698868503029803503730328623870/6191577529578888862092558\ 83785947186429*c_0101_4^15 - 21414104242113478326033945131401712036\ 1332/619157752957888886209255883785947186429*c_0101_4^14 - 128829589538793672262054083052918401807223/619157752957888886209255\ 883785947186429*c_0101_4^13 + 5303394098556728570028967477240713910\ 35022/619157752957888886209255883785947186429*c_0101_4^12 + 62338325741044820934766112824521369335291/6191577529578888862092558\ 83785947186429*c_0101_4^11 - 69108781714396546449535064824642713276\ 9554/619157752957888886209255883785947186429*c_0101_4^10 + 177123048208639914351671461245687310769738/619157752957888886209255\ 883785947186429*c_0101_4^9 + 59101501690469679457847814055381207101\ 3895/619157752957888886209255883785947186429*c_0101_4^8 - 136489116931673271697473720636109965911485/206385917652629628736418\ 627928649062143*c_0101_4^7 - 14313470582577385602086157644246235709\ 5210/206385917652629628736418627928649062143*c_0101_4^6 + 114247415534094757737528846228535146620400/206385917652629628736418\ 627928649062143*c_0101_4^5 + 24040476686223082931293711600036886419\ 1633/619157752957888886209255883785947186429*c_0101_4^4 - 111532413330042883375810601475970628497669/619157752957888886209255\ 883785947186429*c_0101_4^3 - 68077314989969696515584557732657454740\ 669/619157752957888886209255883785947186429*c_0101_4^2 + 10231632552304553919967538741808324582056/6191577529578888862092558\ 83785947186429*c_0101_4 + 6394383717394260066814011223412180717645/\ 619157752957888886209255883785947186429, c_0101_0 + 62856721333264625492964364369344343684/619157752957888886209\ 255883785947186429*c_0101_4^21 + 3225708363408266196482036893431095\ 56652/619157752957888886209255883785947186429*c_0101_4^20 - 3108954362148409754409967247177406322552/61915775295788888620925588\ 3785947186429*c_0101_4^19 - 244678678030220971849316014776946503647\ 2/206385917652629628736418627928649062143*c_0101_4^18 + 48339336930009059046961570358202608833930/6191577529578888862092558\ 83785947186429*c_0101_4^17 + 20676512137412121698382522895483104166\ 538/206385917652629628736418627928649062143*c_0101_4^16 - 276792052384593161020671187313977846928242/619157752957888886209255\ 883785947186429*c_0101_4^15 - 2555234551462444886689582126397470634\ 28872/619157752957888886209255883785947186429*c_0101_4^14 + 746492844559712808300255626811676557077501/619157752957888886209255\ 883785947186429*c_0101_4^13 + 5274576546801097119287171715456014394\ 12502/619157752957888886209255883785947186429*c_0101_4^12 - 1060107919693349055153298242248016234273283/61915775295788888620925\ 5883785947186429*c_0101_4^11 - 380122234438500988405361578292098633\ 206365/619157752957888886209255883785947186429*c_0101_4^10 + 1097870735200893634419068038015366507847408/61915775295788888620925\ 5883785947186429*c_0101_4^9 - 1596431613810855444729312969821109784\ 75367/619157752957888886209255883785947186429*c_0101_4^8 - 389729288179173989060461390898051469621771/206385917652629628736418\ 627928649062143*c_0101_4^7 + 69485039188385387938695897651359821011\ 474/206385917652629628736418627928649062143*c_0101_4^6 + 286499271014367717546480189299842199786123/206385917652629628736418\ 627928649062143*c_0101_4^5 + 61529401734553269430183011871404424944\ 176/619157752957888886209255883785947186429*c_0101_4^4 - 265790857514203826890802071338528114925390/619157752957888886209255\ 883785947186429*c_0101_4^3 - 61359704196097834920128867772013945086\ 926/619157752957888886209255883785947186429*c_0101_4^2 + 23598578709596121587041908404812242465449/6191577529578888862092558\ 83785947186429*c_0101_4 + 7727306450250647210517545154208176440216/\ 619157752957888886209255883785947186429, c_0101_1 - 176157921349051621330085447705941914071/61915775295788888620\ 9255883785947186429*c_0101_4^21 - 730909869234133860018668785466429\ 328586/619157752957888886209255883785947186429*c_0101_4^20 + 9374717290638608561967684183101746559453/61915775295788888620925588\ 3785947186429*c_0101_4^19 + 371855185205279255158356130550551886444\ 6/206385917652629628736418627928649062143*c_0101_4^18 - 143326359510859279363290613216170725533433/619157752957888886209255\ 883785947186429*c_0101_4^17 - 1037660653311888261792858074835699686\ 5432/206385917652629628736418627928649062143*c_0101_4^16 + 759739472364638281880859536224407422421233/619157752957888886209255\ 883785947186429*c_0101_4^15 - 1505715224709917514557093278843149001\ 8083/619157752957888886209255883785947186429*c_0101_4^14 - 1847722552785301965228494757401250407578546/61915775295788888620925\ 5883785947186429*c_0101_4^13 + 211393692878114558355437794016911456\ 444195/619157752957888886209255883785947186429*c_0101_4^12 + 2264948851057390966000472127339044236212434/61915775295788888620925\ 5883785947186429*c_0101_4^11 - 842896991283186834834229207410526347\ 517259/619157752957888886209255883785947186429*c_0101_4^10 - 1742734500227436116243117918725512118062919/61915775295788888620925\ 5883785947186429*c_0101_4^9 + 1660635239531410903773752069955264939\ 599413/619157752957888886209255883785947186429*c_0101_4^8 + 464403365566208180492242414021246353971960/206385917652629628736418\ 627928649062143*c_0101_4^7 - 44811288376802444741689277468346365320\ 3215/206385917652629628736418627928649062143*c_0101_4^6 - 325921615007454326524859379791417096638535/206385917652629628736418\ 627928649062143*c_0101_4^5 + 35912226429639077419866186266419887849\ 7163/619157752957888886209255883785947186429*c_0101_4^4 + 307905271555174495384913853839529069136379/619157752957888886209255\ 883785947186429*c_0101_4^3 - 53936360649119410460549470541804118389\ 66/619157752957888886209255883785947186429*c_0101_4^2 - 29654206415413630603072143872199351740269/6191577529578888862092558\ 83785947186429*c_0101_4 - 3487253895552559037454565776316698537160/\ 619157752957888886209255883785947186429, c_0101_3 + 132394378190503448528372631578089766327/61915775295788888620\ 9255883785947186429*c_0101_4^21 + 566397029081502491433624523820991\ 148540/619157752957888886209255883785947186429*c_0101_4^20 - 6992808538468457922709369939178367910007/61915775295788888620925588\ 3785947186429*c_0101_4^19 - 311735924510150720785237716534415423205\ 3/206385917652629628736418627928649062143*c_0101_4^18 + 107642135340727389172844452175243236820180/619157752957888886209255\ 883785947186429*c_0101_4^17 + 1253064609959964595431835120443834921\ 2955/206385917652629628736418627928649062143*c_0101_4^16 - 582871004692028018934533638743109607793122/619157752957888886209255\ 883785947186429*c_0101_4^15 - 5323032902532537370932420694016068868\ 3428/619157752957888886209255883785947186429*c_0101_4^14 + 1460805638009907561890077764762050906128774/61915775295788888620925\ 5883785947186429*c_0101_4^13 - 392171217587192923739787061703586252\ 76810/619157752957888886209255883785947186429*c_0101_4^12 - 1865820457522898834298022189286710307903141/61915775295788888620925\ 5883785947186429*c_0101_4^11 + 551876243645023760976043022030331742\ 023569/619157752957888886209255883785947186429*c_0101_4^10 + 1516364101917254251630493447129413572069265/61915775295788888620925\ 5883785947186429*c_0101_4^9 - 1265965212719603657707286528727875417\ 775985/619157752957888886209255883785947186429*c_0101_4^8 - 412809077185451110451631236321208548303602/206385917652629628736418\ 627928649062143*c_0101_4^7 + 35775913714428634633717342067035649796\ 1788/206385917652629628736418627928649062143*c_0101_4^6 + 283461520007469702567929731390651744937795/206385917652629628736418\ 627928649062143*c_0101_4^5 - 30630965900885112476224716655999913521\ 6658/619157752957888886209255883785947186429*c_0101_4^4 - 264042760091397902643339187057554505747589/619157752957888886209255\ 883785947186429*c_0101_4^3 + 10305351343434872313904427779367007926\ 855/619157752957888886209255883785947186429*c_0101_4^2 + 25373753894856110954874088235050482893332/6191577529578888862092558\ 83785947186429*c_0101_4 + 2657668847383715475926707723179547257550/\ 619157752957888886209255883785947186429, c_0101_4^22 + 4*c_0101_4^21 - 54*c_0101_4^20 - 56*c_0101_4^19 + 832*c_0101_4^18 + 62*c_0101_4^17 - 4474*c_0101_4^16 + 755*c_0101_4^15 + 11158*c_0101_4^14 - 3046*c_0101_4^13 - 14222*c_0101_4^12 + 7466*c_0101_4^11 + 10864*c_0101_4^10 - 12238*c_0101_4^9 - 7495*c_0101_4^8 + 10596*c_0101_4^7 + 4980*c_0101_4^6 - 4186*c_0101_4^5 - 1851*c_0101_4^4 + 686*c_0101_4^3 + 301*c_0101_4^2 - 39*c_0101_4 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB