Magma V2.19-8 Tue Aug 20 2013 16:17:10 on localhost [Seed = 1781266106] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1412 geometric_solution 5.25054405 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.505928671118 0.152565417755 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682265633845 0.393793997187 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 2 -1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.947181935215 1.218096584793 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 1 -1 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.547221396673 0.450204436539 3 6 2 5 3120 0132 0132 1023 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 1 0 -1 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.547221396673 0.450204436539 3 5 5 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910211240345 0.896579953690 6 4 6 3 2031 0132 1302 0132 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 0 -1 1 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.601043075748 0.343083467792 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0011_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], '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_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 241555679259970035076178517009354841/504121398490653667854434156920\ 286*c_1001_3^17 - 973042662003744129494314276580726245/252060699245\ 326833927217078460143*c_1001_3^16 + 6347096311511757288152700152151860205/25206069924532683392721707846\ 0143*c_1001_3^15 - 2892256661306480905078540124958936379/5041213984\ 90653667854434156920286*c_1001_3^14 - 54952965675913351803076327055773473078/2520606992453268339272170784\ 60143*c_1001_3^13 - 280168702513123104120063563646879406697/5041213\ 98490653667854434156920286*c_1001_3^12 + 225756218842454376671113894989870553099/504121398490653667854434156\ 920286*c_1001_3^11 + 322687118684743016527220695646401084129/252060\ 699245326833927217078460143*c_1001_3^10 - 101041533684148699949661947932220870921/252060699245326833927217078\ 460143*c_1001_3^9 + 191246717286586468666625437909480464678/2520606\ 99245326833927217078460143*c_1001_3^8 - 218601574464210529662813837423580422000/252060699245326833927217078\ 460143*c_1001_3^7 - 490786649197621126931662619303647321642/2520606\ 99245326833927217078460143*c_1001_3^6 + 404013898116754918583919127332661563896/252060699245326833927217078\ 460143*c_1001_3^5 + 121951816997246317577553579264973416387/2520606\ 99245326833927217078460143*c_1001_3^4 - 143639801133833444528808090114151327956/252060699245326833927217078\ 460143*c_1001_3^3 + 32707194741350333756051738289647531383/50412139\ 8490653667854434156920286*c_1001_3^2 + 13159934580588038604135785512858134009/5041213984906536678544341569\ 20286*c_1001_3 - 1101205416880955331807609204873985394/252060699245\ 326833927217078460143, c_0011_0 - 1, c_0011_1 + 620349332566185112795766096589227/25206069924532683392721707\ 8460143*c_1001_3^17 + 10274580753167638794655500125688545/504121398\ 490653667854434156920286*c_1001_3^16 - 31424863943763225290852761787538703/2520606992453268339272170784601\ 43*c_1001_3^15 + 541193344450038067339906088409807/2520606992453268\ 33927217078460143*c_1001_3^14 + 56278085721355565091269241516557198\ 1/504121398490653667854434156920286*c_1001_3^13 + 782439507152038934448953361903355581/252060699245326833927217078460\ 143*c_1001_3^12 - 789109188120867114337048446502605189/504121398490\ 653667854434156920286*c_1001_3^11 - 3433621537548106836771904173182930745/50412139849065366785443415692\ 0286*c_1001_3^10 + 129683413392092564484255048868546520/25206069924\ 5326833927217078460143*c_1001_3^9 - 1012589964997006444377245938113294738/25206069924532683392721707846\ 0143*c_1001_3^8 + 879831375682290044667637860319114773/252060699245\ 326833927217078460143*c_1001_3^7 + 2682023125033431645287709053492946494/25206069924532683392721707846\ 0143*c_1001_3^6 - 1456869701438513425388032645853048735/25206069924\ 5326833927217078460143*c_1001_3^5 - 857363746882516658987947105996146518/252060699245326833927217078460\ 143*c_1001_3^4 + 527641942725785546544926069607089465/2520606992453\ 26833927217078460143*c_1001_3^3 - 364872708867718190594844597517545\ 9/252060699245326833927217078460143*c_1001_3^2 - 53695249426162014226379995104848867/5041213984906536678544341569202\ 86*c_1001_3 + 5372960586042348888674763533473963/504121398490653667\ 854434156920286, c_0011_4 + 5533573087032780850565980374853/1008242796981307335708868313\ 840572*c_1001_3^17 - 108981702190866230493290257279495/100824279698\ 1307335708868313840572*c_1001_3^16 - 403787544784285233629650670392677/252060699245326833927217078460143\ *c_1001_3^15 + 7393927977448854744400490163871315/10082427969813073\ 35708868313840572*c_1001_3^14 + 4920888697204313895060758954074869/\ 1008242796981307335708868313840572*c_1001_3^13 - 62539805877006106472291926505091197/1008242796981307335708868313840\ 572*c_1001_3^12 - 111281861652389389790554782730835557/504121398490\ 653667854434156920286*c_1001_3^11 + 9519568482671398736057792349881461/10082427969813073357088683138405\ 72*c_1001_3^10 + 110533541831598676786869451907342421/2520606992453\ 26833927217078460143*c_1001_3^9 + 275478938061789152594443723648693\ 83/252060699245326833927217078460143*c_1001_3^8 + 73893470324799524853565411093946173/2520606992453268339272170784601\ 43*c_1001_3^7 - 25196499661308089185098936078983190/252060699245326\ 833927217078460143*c_1001_3^6 - 36661504606899293874848645220365645\ 1/504121398490653667854434156920286*c_1001_3^5 + 27388777875271953850856696507711114/2520606992453268339272170784601\ 43*c_1001_3^4 + 66868540480930867103368164159837032/252060699245326\ 833927217078460143*c_1001_3^3 - 41079487954017388547030160747242029\ /1008242796981307335708868313840572*c_1001_3^2 - 7247004288324963807566851750742675/50412139849065366785443415692028\ 6*c_1001_3 + 1524526039576634572192020758480401/1008242796981307335\ 708868313840572, c_0101_0 - 119752913705555314893010621479973/10082427969813073357088683\ 13840572*c_1001_3^17 - 838958357812874098521148346633449/1008242796\ 981307335708868313840572*c_1001_3^16 + 1846893581847049496653330188265223/25206069924532683392721707846014\ 3*c_1001_3^15 - 7357338112072923381545778171210547/1008242796981307\ 335708868313840572*c_1001_3^14 - 5688173740711931593448822884470954\ 1/1008242796981307335708868313840572*c_1001_3^13 - 82608818804188346410088010078123487/1008242796981307335708868313840\ 572*c_1001_3^12 + 147088982726190244959682526365571199/504121398490\ 653667854434156920286*c_1001_3^11 + 313651782115814686495372428610438979/100824279698130733570886831384\ 0572*c_1001_3^10 - 114550787233570881012182742511094583/25206069924\ 5326833927217078460143*c_1001_3^9 + 16428375168711745766562528211003377/2520606992453268339272170784601\ 43*c_1001_3^8 - 115106838691720865608343276619344496/25206069924532\ 6833927217078460143*c_1001_3^7 - 1007465008473351873125981826615384\ 78/252060699245326833927217078460143*c_1001_3^6 + 494331225388175858627969995255697905/504121398490653667854434156920\ 286*c_1001_3^5 + 17701916715207096423037987607415395/25206069924532\ 6833927217078460143*c_1001_3^4 - 8981383612473190287227153935718479\ 6/252060699245326833927217078460143*c_1001_3^3 + 32752529369085342650607799649624265/1008242796981307335708868313840\ 572*c_1001_3^2 + 11061580276607528809527126898524173/50412139849065\ 3667854434156920286*c_1001_3 - 1803338575669616436464126756723137/1\ 008242796981307335708868313840572, c_0101_3 - 835995724145747056110458090630591/50412139849065366785443415\ 6920286*c_1001_3^17 - 3455833529908929703184860428673878/2520606992\ 45326833927217078460143*c_1001_3^16 + 21221573585137595624492785495795222/2520606992453268339272170784601\ 43*c_1001_3^15 - 1313422213749497074020337251915017/504121398490653\ 667854434156920286*c_1001_3^14 - 1895852708242251195754243698068618\ 09/252060699245326833927217078460143*c_1001_3^13 - 1049246261428946750221733628437324579/50412139849065366785443415692\ 0286*c_1001_3^12 + 545933618877685058621495066375715895/50412139849\ 0653667854434156920286*c_1001_3^11 + 1152873170924353877827185966789768072/25206069924532683392721707846\ 0143*c_1001_3^10 - 102934706283996853581831584851689085/25206069924\ 5326833927217078460143*c_1001_3^9 + 684338493473089243403977674174319101/252060699245326833927217078460\ 143*c_1001_3^8 - 601879202182245020653521105863636219/2520606992453\ 26833927217078460143*c_1001_3^7 - 179854657918383239821062693494085\ 5010/252060699245326833927217078460143*c_1001_3^6 + 1005149948112169420180936988005006824/25206069924532683392721707846\ 0143*c_1001_3^5 + 562820118611070083509283152095503965/252060699245\ 326833927217078460143*c_1001_3^4 - 363943436265994904674417508056692010/252060699245326833927217078460\ 143*c_1001_3^3 + 14711247663758956829971912304965353/50412139849065\ 3667854434156920286*c_1001_3^2 + 3727801922402248242072019758825872\ 1/504121398490653667854434156920286*c_1001_3 - 1953029047217845155823751277761551/25206069924532683392721707846014\ 3, c_0101_5 - 734431383488311491034958090806837/10082427969813073357088683\ 13840572*c_1001_3^17 - 6027554768878385960640694431478097/100824279\ 6981307335708868313840572*c_1001_3^16 + 9419446282385988927355429881176684/25206069924532683392721707846014\ 3*c_1001_3^15 - 3199893081298562260572358146328231/1008242796981307\ 335708868313840572*c_1001_3^14 - 3341330593923683821516021655078529\ 77/1008242796981307335708868313840572*c_1001_3^13 - 902193533126367222684310582496093175/100824279698130733570886831384\ 0572*c_1001_3^12 + 272967944798476630083004213733908969/50412139849\ 0653667854434156920286*c_1001_3^11 + 2032135605512119061385153526942830119/10082427969813073357088683138\ 40572*c_1001_3^10 - 75231682449265064237370596994922111/25206069924\ 5326833927217078460143*c_1001_3^9 + 286469465528467425243109467670666481/252060699245326833927217078460\ 143*c_1001_3^8 - 290200596209042351865818685735603737/2520606992453\ 26833927217078460143*c_1001_3^7 - 786444437270854481736712284109884\ 105/252060699245326833927217078460143*c_1001_3^6 + 983338140122536794783594170096864239/504121398490653667854434156920\ 286*c_1001_3^5 + 248597750742134376493591721084741656/2520606992453\ 26833927217078460143*c_1001_3^4 - 173999288412597057721107313461655\ 445/252060699245326833927217078460143*c_1001_3^3 + 12137823768877307598111340197363361/1008242796981307335708868313840\ 572*c_1001_3^2 + 16721407943318261982775596231932919/50412139849065\ 3667854434156920286*c_1001_3 - 3396652422553417034431192508015577/1\ 008242796981307335708868313840572, c_1001_3^18 + 8*c_1001_3^17 - 53*c_1001_3^16 + 15*c_1001_3^15 + 454*c_1001_3^14 + 1134*c_1001_3^13 - 997*c_1001_3^12 - 2609*c_1001_3^11 + 987*c_1001_3^10 - 1652*c_1001_3^9 + 1892*c_1001_3^8 + 3952*c_1001_3^7 - 3570*c_1001_3^6 - 786*c_1001_3^5 + 1244*c_1001_3^4 - 221*c_1001_3^3 - 45*c_1001_3^2 + 15*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB