Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 1360055698] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0489 geometric_solution 4.50883171 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 1.893761865665 0.139525822585 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 1 0 -1 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 0 0 0 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.113789077558 0.643566615818 1 1 3 3 0132 2310 0132 3201 0 0 0 0 0 1 0 -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 1 0 -1 -1 0 1 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104076287472 0.131371162079 4 2 5 2 0132 2310 0132 0132 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 1 -1 0 1 0 0 -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 0.573284363070 2.815929047268 3 5 5 6 0132 3201 0213 0132 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 0 -1 0 1 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.209935017965 0.823670578009 6 4 4 3 3201 0213 2310 0132 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 0 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209935017965 0.823670578009 6 6 4 5 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606512521193 0.632310670971 ==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' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 18011818680856675810897890644705536866427/1898497076151918310077581\ 71391387276234*c_0101_5^20 + 47585459900354515514441979265396221424\ 09/189849707615191831007758171391387276234*c_0101_5^19 - 162736135444966370463824434257135515781718/949248538075959155038790\ 85695693638117*c_0101_5^18 - 98368083628608272816591009420111998546\ 0350/94924853807595915503879085695693638117*c_0101_5^17 - 1551646874822286711154723919193539338966167/18984970761519183100775\ 8171391387276234*c_0101_5^16 - 974902123969903283524757441774466426\ 9668539/189849707615191831007758171391387276234*c_0101_5^15 - 5476119795841374902974453153286957288765825/18984970761519183100775\ 8171391387276234*c_0101_5^14 + 259410898004073884484591140060851613\ 24575981/189849707615191831007758171391387276234*c_0101_5^13 - 15050545935102575199570414770922484293444111/1898497076151918310077\ 58171391387276234*c_0101_5^12 + 25483106422303029826069445911651213\ 466720477/189849707615191831007758171391387276234*c_0101_5^11 + 2018802278872847692267066214399395252480579/94924853807595915503879\ 085695693638117*c_0101_5^10 + 1290492932754894640424251688718756938\ 1772887/94924853807595915503879085695693638117*c_0101_5^9 - 17073785574394366358502365959747812822657347/1898497076151918310077\ 58171391387276234*c_0101_5^8 - 839225644706760143873209719215713775\ 3994684/94924853807595915503879085695693638117*c_0101_5^7 - 7230606602644147598348993862996031190753102/94924853807595915503879\ 085695693638117*c_0101_5^6 + 13095380571635245853568208618441038189\ 95463/94924853807595915503879085695693638117*c_0101_5^5 + 7809646410592252447985150127267322054390049/18984970761519183100775\ 8171391387276234*c_0101_5^4 + 6125613634673064447828440561126300406\ 96344/94924853807595915503879085695693638117*c_0101_5^3 + 204960331293778863266518742115468406548675/189849707615191831007758\ 171391387276234*c_0101_5^2 - 26952905290428718612091360056175863082\ 0335/189849707615191831007758171391387276234*c_0101_5 - 74237942288658088375849699347597727959552/9492485380759591550387908\ 5695693638117, c_0011_0 - 1, c_0011_3 - 525606911723201733766189088899029644/13560693401085130786268\ 440813670519731*c_0101_5^20 + 290366576780773221065484513318494930/\ 13560693401085130786268440813670519731*c_0101_5^19 - 9377735016355184818829192294524271360/13560693401085130786268440813\ 670519731*c_0101_5^18 - 54578029642072175592941100775353633833/1356\ 0693401085130786268440813670519731*c_0101_5^17 - 25776743658830758332847026178279423724/1356069340108513078626844081\ 3670519731*c_0101_5^16 - 251445818475752595525719684532892617172/13\ 560693401085130786268440813670519731*c_0101_5^15 - 47267690658770257610555815274349273550/1356069340108513078626844081\ 3670519731*c_0101_5^14 + 913645799582938945436194082642656292225/13\ 560693401085130786268440813670519731*c_0101_5^13 - 516790542832425832989158146412995296872/135606934010851307862684408\ 13670519731*c_0101_5^12 + 749099313189210715655200385517882697461/1\ 3560693401085130786268440813670519731*c_0101_5^11 - 77398234691518370162205849932468512090/1356069340108513078626844081\ 3670519731*c_0101_5^10 + 528923692347471070579156608682790432180/13\ 560693401085130786268440813670519731*c_0101_5^9 - 925251408577062932792390156973343400372/135606934010851307862684408\ 13670519731*c_0101_5^8 - 734172663956102060308206375738585809336/13\ 560693401085130786268440813670519731*c_0101_5^7 - 435271674909754589470050342971579066431/135606934010851307862684408\ 13670519731*c_0101_5^6 + 223880131635135497429118386906669218374/13\ 560693401085130786268440813670519731*c_0101_5^5 + 384124354620323581825716328504051587734/135606934010851307862684408\ 13670519731*c_0101_5^4 + 83262575635477679054117636608553507320/135\ 60693401085130786268440813670519731*c_0101_5^3 + 11092854360877562954947939855064545098/1356069340108513078626844081\ 3670519731*c_0101_5^2 - 16236213888803428851718653616119623456/1356\ 0693401085130786268440813670519731*c_0101_5 - 240905602768449193475896047310465696/135606934010851307862684408136\ 70519731, c_0011_5 + 23898441985691316780516574317900613535/949248538075959155038\ 79085695693638117*c_0101_1*c_0101_5^20 - 3179231398910405673469180349926755781/94924853807595915503879085695\ 693638117*c_0101_1*c_0101_5^19 + 4351933960793250854971739701169825\ 20923/94924853807595915503879085695693638117*c_0101_1*c_0101_5^18 + 2668315083543035246491282390521607647944/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^17 + 2478122733576803285639276898800228317478/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^16 + 13706812283617006843789926425915868386683/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^15 + 9628829041897293846680459395040172340025/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^14 - 30730689729214839876906747049837831737642/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^13 + 18432409696407636509779689111532071509407/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^12 - 35009352389783120413286237096886739306709/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^11 - 8065593976727483122944829056321091452687/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^10 - 40513446555059203134302279534613812360955/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^9 + 14302518511077670843698220705854395993043/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^8 + 15986212905258841015794081266736338313948/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^7 + 20190523715483408068635431240042883210054/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^6 + 40435889972013892214199152984855526789/9492485380759591550387908569\ 5693638117*c_0101_1*c_0101_5^5 - 6859476538823563398415461689693572\ 290292/94924853807595915503879085695693638117*c_0101_1*c_0101_5^4 - 1190171092365762326776515604936318505275/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^3 - 496310358126027173150570832116416636092/949248538075959155038790856\ 95693638117*c_0101_1*c_0101_5^2 + 258605436270331541621601715470391\ 722626/94924853807595915503879085695693638117*c_0101_1*c_0101_5 + 144392847433654486976438159227456965833/949248538075959155038790856\ 95693638117*c_0101_1, c_0011_6 + 10875581061961296307556490229443132328/949248538075959155038\ 79085695693638117*c_0101_1*c_0101_5^20 - 997259713521920606357726334526696757/949248538075959155038790856956\ 93638117*c_0101_1*c_0101_5^19 + 19713840391568108573105682161740363\ 6207/94924853807595915503879085695693638117*c_0101_1*c_0101_5^18 + 1221830813364310275512961533303017635022/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^17 + 1162490931975471425584626754995905831105/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^16 + 6175778395942466722127750515420041560692/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^15 + 4465942058348558534091681992855709374232/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^14 - 14382048678811318087554139305914294103853/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^13 + 7003375558571076278013132871593404808877/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^12 - 14895105196903864701604549328986553459880/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^11 - 4180097454707966614960527588627308070168/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^10 - 17985582346852141233568768195959471491528/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^9 + 7229757006136190988935807315858395739823/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^8 + 9453865878788753331454191103842929799658/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^7 + 10343787961216253722858271630117829540228/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^6 + 85324935200141225976433934052273472491/9492485380759591550387908569\ 5693638117*c_0101_1*c_0101_5^5 - 4137324113728336737639157057581958\ 683894/94924853807595915503879085695693638117*c_0101_1*c_0101_5^4 - 1239927162449299835651650038507202635287/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^3 - 258597204063913732789345935283974032806/949248538075959155038790856\ 95693638117*c_0101_1*c_0101_5^2 + 141888888830069822139403676309752\ 106540/94924853807595915503879085695693638117*c_0101_1*c_0101_5 + 56785980530907418510645649034221810103/9492485380759591550387908569\ 5693638117*c_0101_1, c_0101_0 - 45172983292047899670997152817450071094/949248538075959155038\ 79085695693638117*c_0101_1*c_0101_5^20 + 12864868527424075232234255866662873833/9492485380759591550387908569\ 5693638117*c_0101_1*c_0101_5^19 - 819416271619722717314308274858838\ 201303/94924853807595915503879085695693638117*c_0101_1*c_0101_5^18 - 4918245048526069060766352387151102900701/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^17 - 3842795028529195777921265901394099369380/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^16 - 24719137277179583681457255942733471370404/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^15 - 13691548397451118076189486090857002640916/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^14 + 63484517191386456313153511509726650091746/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^13 - 41153872406369840615287571581076203646576/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^12 + 67532069380034390917541422072356252336210/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^11 + 7794547621701043765373490069503418585347/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^10 + 67685933040870932861176320495171172640120/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^9 - 41028364753577124645509099332497206183938/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^8 - 35347301023849998556438122864310621499456/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^7 - 34029972909999139856448253586247421887271/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^6 + 5999347814226194687901905039999797901451/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^5 + 17214901117865595167797521672113954116237/9492485380759591550387908\ 5695693638117*c_0101_1*c_0101_5^4 + 1829274308152568167038569581827494503405/94924853807595915503879085\ 695693638117*c_0101_1*c_0101_5^3 + 807686467895257330214129032020385932395/949248538075959155038790856\ 95693638117*c_0101_1*c_0101_5^2 - 731440714632172775775857589296831\ 763946/94924853807595915503879085695693638117*c_0101_1*c_0101_5 - 426754078665054100047661502173726926733/949248538075959155038790856\ 95693638117*c_0101_1, c_0101_1^2 + 588758938653757916506432940078827245/271213868021702615725\ 36881627341039462*c_0101_5^20 - 24726710637098795911839946821329283\ 3/27121386802170261572536881627341039462*c_0101_5^19 + 5202206098047346870928828070835205630/13560693401085130786268440813\ 670519731*c_0101_5^18 + 31304516234758976493176311234767599152/1356\ 0693401085130786268440813670519731*c_0101_5^17 + 35901594230419421060929164392290464899/2712138680217026157253688162\ 7341039462*c_0101_5^16 + 280494908555293946241946493135645877099/27\ 121386802170261572536881627341039462*c_0101_5^15 + 92246671683579099182907161259737892077/2712138680217026157253688162\ 7341039462*c_0101_5^14 - 1043602390904731269445166675265575123413/2\ 7121386802170261572536881627341039462*c_0101_5^13 + 462739833071212445042274541125560352603/271213868021702615725368816\ 27341039462*c_0101_5^12 - 669440512211838825931510199726161612345/2\ 7121386802170261572536881627341039462*c_0101_5^11 - 81195725903778888261288617563134448021/1356069340108513078626844081\ 3670519731*c_0101_5^10 - 199627665690546123378736588440312981143/13\ 560693401085130786268440813670519731*c_0101_5^9 + 832989272938581810105689618574162101579/271213868021702615725368816\ 27341039462*c_0101_5^8 + 532038053792101692007082891915189021382/13\ 560693401085130786268440813670519731*c_0101_5^7 + 209783607186617573555864979315115651606/135606934010851307862684408\ 13670519731*c_0101_5^6 - 77494588919979995288121012913878958991/135\ 60693401085130786268440813670519731*c_0101_5^5 - 528130092581567639005011757379988703717/271213868021702615725368816\ 27341039462*c_0101_5^4 - 50644019481160618288015338623588098762/135\ 60693401085130786268440813670519731*c_0101_5^3 - 20193374565615029839690241244727078373/2712138680217026157253688162\ 7341039462*c_0101_5^2 + 20224419366418140182738457474183080365/2712\ 1386802170261572536881627341039462*c_0101_5 - 3164525520057282421250423148522530790/13560693401085130786268440813\ 670519731, c_0101_5^21 + 18*c_0101_5^19 + 114*c_0101_5^18 + 115*c_0101_5^17 + 564*c_0101_5^16 + 447*c_0101_5^15 - 1360*c_0101_5^14 + 455*c_0101_5^13 - 1194*c_0101_5^12 - 598*c_0101_5^11 - 1492*c_0101_5^10 + 569*c_0101_5^9 + 1183*c_0101_5^8 + 1049*c_0101_5^7 + 67*c_0101_5^6 - 472*c_0101_5^5 - 182*c_0101_5^4 - 29*c_0101_5^3 + 12*c_0101_5^2 + 12*c_0101_5 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB