Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 475889918] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0557 geometric_solution 4.57529065 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 1302 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 -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.166151322252 0.671527230963 0 4 4 3 0132 0132 1023 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 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.202276852651 0.835762363309 3 0 5 5 0132 0132 3201 0132 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -0.250578567010 0.446876033508 2 1 0 0 0132 2310 2031 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 0 -1 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.166151322252 0.671527230963 4 1 1 4 3201 0132 1023 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 1.360540154783 0.226497442344 2 6 2 6 2310 0132 0132 2310 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 -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.877296881689 2.084354994302 5 5 6 6 3201 0132 2031 1302 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.368532785350 0.099210784001 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : 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' : 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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], '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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), '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_0101_0']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_3'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 784557161934459849999490933025606293769455/491842075924260863483434\ 09580850007031232*c_0110_6^20 + 14411909341671914029372515713247840\ 858989/1537006487263315198385731549401562719726*c_0110_6^19 + 2460766093223943072400968313723490986033853/12296051898106521587085\ 852395212501757808*c_0110_6^18 + 4201716730165372724107630157730540\ 565419493/6148025949053260793542926197606250878904*c_0110_6^17 + 8105319137957895133378147453016814504178603/49184207592426086348343\ 409580850007031232*c_0110_6^16 + 3936318663229831348030673816405449\ 7740867/2049341983017753597847642065868750292968*c_0110_6^15 + 54416140939900253932895638048401649609718383/1639473586414202878278\ 1136526950002343744*c_0110_6^14 - 725215312245457150733876254651005\ 1398715911/4098683966035507195695284131737500585936*c_0110_6^13 - 4169733223153429602294024864050794872510020/76850324363165759919286\ 5774700781359863*c_0110_6^12 - 173159029522018218908003978751874650\ 04163399/6148025949053260793542926197606250878904*c_0110_6^11 - 280003474281047449087982422891047146152306663/491842075924260863483\ 43409580850007031232*c_0110_6^10 + 142253838972081460156471298228608996116349639/163947358641420287827\ 81136526950002343744*c_0110_6^9 - 117219399828230889611767525638477\ 066133705721/49184207592426086348343409580850007031232*c_0110_6^8 + 14880371980023214235065489807313140868905017/1639473586414202878278\ 1136526950002343744*c_0110_6^7 + 5292703797030561667349273600486651\ 20446210739/49184207592426086348343409580850007031232*c_0110_6^6 - 223391835246734077293350814641669548842513551/491842075924260863483\ 43409580850007031232*c_0110_6^5 - 302154531895763076766160870889492\ 08843186057/4098683966035507195695284131737500585936*c_0110_6^4 + 69952138589911414760869306381262875100546215/4918420759242608634834\ 3409580850007031232*c_0110_6^3 + 3225346406825562391797562719247120\ 3917962173/16394735864142028782781136526950002343744*c_0110_6^2 - 4750805532079468723953436400467643867821921/49184207592426086348343\ 409580850007031232*c_0110_6 - 2904590741402022734733170137675252819\ 824693/16394735864142028782781136526950002343744, c_0011_0 - 1, c_0011_5 - 445591642057136169003763618920099537970/25616774787721919973\ 0955258233593786621*c_0110_6^20 + 312514753286940683345850264365810\ 27197/256167747877219199730955258233593786621*c_0110_6^19 + 5334353520379866170236641417259756256189/25616774787721919973095525\ 8233593786621*c_0110_6^18 + 217491538917819050617206710858296835264\ 41/256167747877219199730955258233593786621*c_0110_6^17 + 19086394234048012565239304199607587911404/2561677478772191997309552\ 58233593786621*c_0110_6^16 + 25139442276563672611305000432738199929\ 019/256167747877219199730955258233593786621*c_0110_6^15 + 123881512419039039302677306195440951760105/256167747877219199730955\ 258233593786621*c_0110_6^14 + 3785265743411519753683274551129132161\ 5961/256167747877219199730955258233593786621*c_0110_6^13 - 45618370992430558304977435028928825110518/2561677478772191997309552\ 58233593786621*c_0110_6^12 - 40199964064351181282760082314041613387\ 111/256167747877219199730955258233593786621*c_0110_6^11 - 181771242614638606519373104550615951946263/256167747877219199730955\ 258233593786621*c_0110_6^10 + 1264017777242763622632061071721627575\ 68831/256167747877219199730955258233593786621*c_0110_6^9 - 118879320156365039871851263871177246187932/256167747877219199730955\ 258233593786621*c_0110_6^8 - 10812433793051848167715380966103605165\ 915/256167747877219199730955258233593786621*c_0110_6^7 + 238071309306683860229856577098941038748994/256167747877219199730955\ 258233593786621*c_0110_6^6 - 45113014788130067633369470339372125435\ 831/256167747877219199730955258233593786621*c_0110_6^5 - 95824518086410974443041737459050399656095/2561677478772191997309552\ 58233593786621*c_0110_6^4 + 173633133197596278591443176897868806531\ 20/256167747877219199730955258233593786621*c_0110_6^3 + 11844558116799659895431033166594331324055/2561677478772191997309552\ 58233593786621*c_0110_6^2 - 169966030400604519112936308999549879931\ 5/256167747877219199730955258233593786621*c_0110_6 + 290029701263900909246669793094148603/256167747877219199730955258233\ 593786621, c_0101_0 - 337720009654980673376854569834439530255/25616774787721919973\ 0955258233593786621*c_0110_6^20 - 143099184806125534736543491166288\ 685047/256167747877219199730955258233593786621*c_0110_6^19 + 3978330421964345097796279019788938298182/25616774787721919973095525\ 8233593786621*c_0110_6^18 + 184510696416473813946448891039130850634\ 62/256167747877219199730955258233593786621*c_0110_6^17 + 23502507090254494140162034949986129632554/2561677478772191997309552\ 58233593786621*c_0110_6^16 + 30330234750854963194452922552498479269\ 269/256167747877219199730955258233593786621*c_0110_6^15 + 108512707432691438879143849732070738820439/256167747877219199730955\ 258233593786621*c_0110_6^14 + 8201363841371731154034950928462920213\ 1879/256167747877219199730955258233593786621*c_0110_6^13 + 4415621993028023694720847608770904992202/25616774787721919973095525\ 8233593786621*c_0110_6^12 - 291245240552801654711507291926443496582\ 98/256167747877219199730955258233593786621*c_0110_6^11 - 150525142195650134786331517700659549208219/256167747877219199730955\ 258233593786621*c_0110_6^10 + 2368623039023131277037394706366677593\ 2685/256167747877219199730955258233593786621*c_0110_6^9 - 74937217531597809360102948508885728935056/2561677478772191997309552\ 58233593786621*c_0110_6^8 - 457223800409530123566770560063826016995\ 68/256167747877219199730955258233593786621*c_0110_6^7 + 157309425601399842126865990030401044473199/256167747877219199730955\ 258233593786621*c_0110_6^6 + 43962101303162946015900023592737321583\ 634/256167747877219199730955258233593786621*c_0110_6^5 - 54831532150088152307561563111798678927036/2561677478772191997309552\ 58233593786621*c_0110_6^4 - 156162726772669758658468649952272232363\ 53/256167747877219199730955258233593786621*c_0110_6^3 + 3706748176088903798037623127891500156100/25616774787721919973095525\ 8233593786621*c_0110_6^2 + 1887002907665137911487497058154771743645\ /256167747877219199730955258233593786621*c_0110_6 + 404941278633390832992228068024257716595/256167747877219199730955258\ 233593786621, c_0101_1 - 232527709438583574190683207040070712565/25616774787721919973\ 0955258233593786621*c_0110_6^20 - 359692073193849218840013611425083\ 160736/256167747877219199730955258233593786621*c_0110_6^19 + 2684998654871560020851809169598676498356/25616774787721919973095525\ 8233593786621*c_0110_6^18 + 157954165266342610695290838915162350494\ 45/256167747877219199730955258233593786621*c_0110_6^17 + 29778653526387681246430182194802595624069/2561677478772191997309552\ 58233593786621*c_0110_6^16 + 36076998668875560198185494302364556880\ 753/256167747877219199730955258233593786621*c_0110_6^15 + 94759983859427372885889804502859983120892/2561677478772191997309552\ 58233593786621*c_0110_6^14 + 13607438972700674714071211323410557533\ 5051/256167747877219199730955258233593786621*c_0110_6^13 + 49281297076771877604688754391767828946893/2561677478772191997309552\ 58233593786621*c_0110_6^12 - 27252176674713070688075934392206072665\ 098/256167747877219199730955258233593786621*c_0110_6^11 - 123898146091910822515132668148000150432193/256167747877219199730955\ 258233593786621*c_0110_6^10 - 9457790074211935848689631321512276020\ 8605/256167747877219199730955258233593786621*c_0110_6^9 - 8866236531530338546226469426469032570065/25616774787721919973095525\ 8233593786621*c_0110_6^8 - 9757043104642371122170539374685558067155\ 8/256167747877219199730955258233593786621*c_0110_6^7 + 85090842873519414041263965631313891764772/2561677478772191997309552\ 58233593786621*c_0110_6^6 + 158186910790194699532774675088239982014\ 917/256167747877219199730955258233593786621*c_0110_6^5 - 31940716806033201570013112053103360064521/2561677478772191997309552\ 58233593786621*c_0110_6^4 - 565112046198450720160047424022582606520\ 39/256167747877219199730955258233593786621*c_0110_6^3 + 1990454704692583325989522050307561076769/25616774787721919973095525\ 8233593786621*c_0110_6^2 + 5615545786915800528374393918292353316395\ /256167747877219199730955258233593786621*c_0110_6 + 388101360450724121537299659715960378954/256167747877219199730955258\ 233593786621, c_0101_3 - 872222004878471821244954678141319807610/25616774787721919973\ 0955258233593786621*c_0110_6^20 - 169978149312668348657958580945483\ 260784/256167747877219199730955258233593786621*c_0110_6^19 + 10330078724821524917168481796377084611699/2561677478772191997309552\ 58233593786621*c_0110_6^18 + 45260432678184315539044810502164429563\ 704/256167747877219199730955258233593786621*c_0110_6^17 + 50121384274550422840880573907435102551589/2561677478772191997309552\ 58233593786621*c_0110_6^16 + 66375004042786920305535947671773399106\ 823/256167747877219199730955258233593786621*c_0110_6^15 + 266006690282909392120246145698205255370688/256167747877219199730955\ 258233593786621*c_0110_6^14 + 1526697445865671668911528220924989248\ 46828/256167747877219199730955258233593786621*c_0110_6^13 - 24394240901977061767183193501193441991588/2561677478772191997309552\ 58233593786621*c_0110_6^12 - 60444142880476744420184744602951136064\ 124/256167747877219199730955258233593786621*c_0110_6^11 - 361709322825735073402158967174561393751639/256167747877219199730955\ 258233593786621*c_0110_6^10 + 1512907102755960503873147927398383510\ 61167/256167747877219199730955258233593786621*c_0110_6^9 - 220859110985663748265294099431978919055917/256167747877219199730955\ 258233593786621*c_0110_6^8 - 83728914201288321516165505430503435890\ 015/256167747877219199730955258233593786621*c_0110_6^7 + 426881105127169441234859405745203778706970/256167747877219199730955\ 258233593786621*c_0110_6^6 + 87772308314793503446401238839320678391\ 60/256167747877219199730955258233593786621*c_0110_6^5 - 159545161786672960641296938911068490290840/256167747877219199730955\ 258233593786621*c_0110_6^4 + 72006598354835124249125672075094344327\ 97/256167747877219199730955258233593786621*c_0110_6^3 + 19298572197774898457186718094208381375088/2561677478772191997309552\ 58233593786621*c_0110_6^2 - 123939682545273104003332177371223506630\ 9/256167747877219199730955258233593786621*c_0110_6 - 343076658214806026139568840473287382902/256167747877219199730955258\ 233593786621, c_0101_4 + 736526928202371610975105456511528235765/25616774787721919973\ 0955258233593786621*c_0110_6^20 + 535560508113722592076600082355990\ 85666/256167747877219199730955258233593786621*c_0110_6^19 - 8720081543264409908354698875903108693946/25616774787721919973095525\ 8233593786621*c_0110_6^18 - 371869424806350792003058598559722005473\ 25/256167747877219199730955258233593786621*c_0110_6^17 - 37904575022843834158634540076847026905267/2561677478772191997309552\ 58233593786621*c_0110_6^16 - 51504603471897697448821020347646054027\ 015/256167747877219199730955258233593786621*c_0110_6^15 - 217003776819634664492352435819696388347485/256167747877219199730955\ 258233593786621*c_0110_6^14 - 1007463742594504375577284472915661122\ 49971/256167747877219199730955258233593786621*c_0110_6^13 + 33505802166581615785230213628424673442978/2561677478772191997309552\ 58233593786621*c_0110_6^12 + 57078459635686063365145995910901330361\ 134/256167747877219199730955258233593786621*c_0110_6^11 + 307433501457076661171730090114386825981859/256167747877219199730955\ 258233593786621*c_0110_6^10 - 1613635236888906755455939115414735341\ 03303/256167747877219199730955258233593786621*c_0110_6^9 + 210529800915427239999900781795692654638370/256167747877219199730955\ 258233593786621*c_0110_6^8 + 29748067502193487408903753151814577315\ 289/256167747877219199730955258233593786621*c_0110_6^7 - 357354848202103373657621596701304856265125/256167747877219199730955\ 258233593786621*c_0110_6^6 + 25724066783197215640374804557220186018\ 247/256167747877219199730955258233593786621*c_0110_6^5 + 122860518324207248000330828862611777395679/256167747877219199730955\ 258233593786621*c_0110_6^4 - 72973079277501686685328632378177287208\ 46/256167747877219199730955258233593786621*c_0110_6^3 - 13044284673376997981822082563446661773911/2561677478772191997309552\ 58233593786621*c_0110_6^2 - 21210746909333862314887125344284232029/\ 256167747877219199730955258233593786621*c_0110_6 + 319489556606775671194236183540528538907/256167747877219199730955258\ 233593786621, c_0110_6^21 + 2/5*c_0110_6^20 - 12*c_0110_6^19 - 272/5*c_0110_6^18 - 329/5*c_0110_6^17 - 386/5*c_0110_6^16 - 307*c_0110_6^15 - 1098/5*c_0110_6^14 + 56*c_0110_6^13 + 616/5*c_0110_6^12 + 2173/5*c_0110_6^11 - 501/5*c_0110_6^10 + 669/5*c_0110_6^9 + 821/5*c_0110_6^8 - 2587/5*c_0110_6^7 - 693/5*c_0110_6^6 + 270*c_0110_6^5 + 251/5*c_0110_6^4 - 271/5*c_0110_6^3 - 39/5*c_0110_6^2 + 19/5*c_0110_6 + 2/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB