Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 509575795] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s816 geometric_solution 5.37931873 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 1 0 -1 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.415116743021 0.220680474969 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 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.706712071444 0.777775299858 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231131902653 1.246571716015 2 5 4 1 3201 1023 3201 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 0 0 0 1 0 -1 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.231131902653 1.246571716015 3 2 4 4 2310 0132 2031 1302 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 0 -1 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.258711083873 1.169999045890 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315378791307 0.604042698905 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 3*c_0101_1^2 - c_0101_1 - 8, c_0011_0 - 1, c_0011_1 - c_0101_1^2 + 1, c_0011_3 + c_0101_1^2 - 1, c_0101_0 + c_0101_1, c_0101_1^3 - c_0101_1^2 - 2*c_0101_1 + 1, c_0101_4 - 1 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 198617941812080822385425323/1338094300757363844228168*c_0101_4^18 - 513730247373835054922143337/446031433585787948076056*c_0101_4^17 - 708669600271983609015389213/669047150378681922114084*c_0101_4^16 + 5730634691941067032384347611/669047150378681922114084*c_0101_4^15 + 41537242823624219128776562483/1338094300757363844228168*c_0101_4^14 + 111591793195338060906548970551/1338094300757363844228168*c_0101_4\ ^13 + 201233097815268689684731994951/1338094300757363844228168*c_01\ 01_4^12 + 31575654955685638234581204701/167261787594670480528521*c_\ 0101_4^11 + 133107711299575001922683556895/669047150378681922114084\ *c_0101_4^10 + 86258839129994509553457632177/6690471503786819221140\ 84*c_0101_4^9 + 21091276522187330507306355419/669047150378681922114\ 084*c_0101_4^8 - 33130641232180783741281813931/13380943007573638442\ 28168*c_0101_4^7 - 10275584748114714932862912547/223015716792893974\ 038028*c_0101_4^6 - 61298836785818617356342711251/13380943007573638\ 44228168*c_0101_4^5 - 1588780075020074209457942275/1338094300757363\ 844228168*c_0101_4^4 - 647090165134889941476915241/2230157167928939\ 74038028*c_0101_4^3 + 5327598136379088012628505341/6690471503786819\ 22114084*c_0101_4^2 - 1412599043248673728990860071/1338094300757363\ 844228168*c_0101_4 - 249353382297125475653002163/446031433585787948\ 076056, c_0011_0 - 1, c_0011_1 - 18760987373274451664738/55753929198223493509507*c_0101_4^18 - 144670446941718998046096/55753929198223493509507*c_0101_4^17 - 126747827838315365717062/55753929198223493509507*c_0101_4^16 + 1089461697202668602650259/55753929198223493509507*c_0101_4^15 + 3868963703622222148251723/55753929198223493509507*c_0101_4^14 + 10341912680490766331753255/55753929198223493509507*c_0101_4^13 + 18500446195369965418264207/55753929198223493509507*c_0101_4^12 + 22975687813029780329825258/55753929198223493509507*c_0101_4^11 + 24110285111352106367114686/55753929198223493509507*c_0101_4^10 + 15347456209743263826033228/55753929198223493509507*c_0101_4^9 + 3506528804603160319848564/55753929198223493509507*c_0101_4^8 - 3054109562738355157604211/55753929198223493509507*c_0101_4^7 - 5545126345948755687934284/55753929198223493509507*c_0101_4^6 - 5652180670880387576036489/55753929198223493509507*c_0101_4^5 - 29682201807765865986021/55753929198223493509507*c_0101_4^4 - 377616345632326762686416/55753929198223493509507*c_0101_4^3 + 1012923739498889327974431/55753929198223493509507*c_0101_4^2 - 128124359036186147774404/55753929198223493509507*c_0101_4 - 51862866349574210906406/55753929198223493509507, c_0011_3 - 75474572603645860527363/111507858396446987019014*c_0101_4^18 - 589081746309024968713491/111507858396446987019014*c_0101_4^17 - 281838103304921061781519/55753929198223493509507*c_0101_4^16 + 2171086367404452417954262/55753929198223493509507*c_0101_4^15 + 15988203907998435658164775/111507858396446987019014*c_0101_4^14 + 43024241620838153852383579/111507858396446987019014*c_0101_4^13 + 78102651811019551644636105/111507858396446987019014*c_0101_4^12 + 49381414919851482494753207/55753929198223493509507*c_0101_4^11 + 52203378090680742872334483/55753929198223493509507*c_0101_4^10 + 34538812310900558521464106/55753929198223493509507*c_0101_4^9 + 9088923079718724747956656/55753929198223493509507*c_0101_4^8 - 11923747368329158130695837/111507858396446987019014*c_0101_4^7 - 11658531928272447539725391/55753929198223493509507*c_0101_4^6 - 23713712982383655841634327/111507858396446987019014*c_0101_4^5 - 1247878566099158339083435/111507858396446987019014*c_0101_4^4 - 542181475360634868816570/55753929198223493509507*c_0101_4^3 + 1947970649807647718539389/55753929198223493509507*c_0101_4^2 - 407687908468067465283503/111507858396446987019014*c_0101_4 - 360519507752759542088269/111507858396446987019014, c_0101_0 - 58948271068067876119077/55753929198223493509507*c_0101_4^18 - 457811750922082538662136/55753929198223493509507*c_0101_4^17 - 422654333407520865623718/55753929198223493509507*c_0101_4^16 + 3406505115684800937497214/55753929198223493509507*c_0101_4^15 + 12352588007605327747525184/55753929198223493509507*c_0101_4^14 + 33131749972387045650462674/55753929198223493509507*c_0101_4^13 + 59761362906057126423716843/55753929198223493509507*c_0101_4^12 + 74941581391113462468027797/55753929198223493509507*c_0101_4^11 + 78896630619228664690999993/55753929198223493509507*c_0101_4^10 + 51259384624546223803394922/55753929198223493509507*c_0101_4^9 + 12602874758583019504944795/55753929198223493509507*c_0101_4^8 - 9445668624418406535717572/55753929198223493509507*c_0101_4^7 - 17711124884688060704571918/55753929198223493509507*c_0101_4^6 - 17826267182984084963176050/55753929198223493509507*c_0101_4^5 - 340657523491514214666699/55753929198223493509507*c_0101_4^4 - 969869334746219257176981/55753929198223493509507*c_0101_4^3 + 3022261699536992851275954/55753929198223493509507*c_0101_4^2 - 436943566597205076746613/55753929198223493509507*c_0101_4 - 279351028966512071668663/55753929198223493509507, c_0101_1 + 42954309836011775463202/55753929198223493509507*c_0101_4^18 + 332964222707446729040040/55753929198223493509507*c_0101_4^17 + 303610100561202352209507/55753929198223493509507*c_0101_4^16 - 2483290337103911726478396/55753929198223493509507*c_0101_4^15 - 8966912018454026787520827/55753929198223493509507*c_0101_4^14 - 24049739713084215612279709/55753929198223493509507*c_0101_4^13 - 43260442650401582391565382/55753929198223493509507*c_0101_4^12 - 54083972236359690047531550/55753929198223493509507*c_0101_4^11 - 56753432476091894681506580/55753929198223493509507*c_0101_4^10 - 36313121528311008277510717/55753929198223493509507*c_0101_4^9 - 8270154739418960427204054/55753929198223493509507*c_0101_4^8 + 7587181941042816379092236/55753929198223493509507*c_0101_4^7 + 13341165636296916633081019/55753929198223493509507*c_0101_4^6 + 12989392799837665064664911/55753929198223493509507*c_0101_4^5 + 62200809814283272838239/55753929198223493509507*c_0101_4^4 + 746520557196362297743875/55753929198223493509507*c_0101_4^3 - 2292315900317924636479537/55753929198223493509507*c_0101_4^2 + 306386573846694995274018/55753929198223493509507*c_0101_4 + 195777101683526535279288/55753929198223493509507, c_0101_4^19 + 8*c_0101_4^18 + 9*c_0101_4^17 - 56*c_0101_4^16 - 223*c_0101_4^15 - 612*c_0101_4^14 - 1148*c_0101_4^13 - 1515*c_0101_4^12 - 1646*c_0101_4^11 - 1192*c_0101_4^10 - 424*c_0101_4^9 + 111*c_0101_4^8 + 345*c_0101_4^7 + 379*c_0101_4^6 + 80*c_0101_4^5 + 21*c_0101_4^4 - 48*c_0101_4^3 - 5*c_0101_4^2 + 6*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB