Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 627357784] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2976 geometric_solution 6.15623896 oriented_manifold CS_known 0.0000000000000006 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 -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 -1 0 1 0 0 -1 1 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.489071479409 0.256417467366 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 -1 1 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.907104329045 0.584458671624 1 4 5 3 0132 0132 0132 2310 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 0 0 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.336449871389 0.855534379883 2 6 4 1 3201 0132 1023 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 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 0 0 0 0.336449871389 0.855534379883 6 2 3 5 0321 0132 1023 3012 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 0 0 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.041665416045 0.599716681746 6 6 4 2 2031 1302 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176248983502 1.527976733036 4 3 5 5 0321 0132 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176248983502 1.527976733036 ==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_0101_5'], 'c_1100_5' : d['c_0011_3'], '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_3'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_5']), '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_0011_3'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 457227789227535357580329/290432880371695990907845*c_0101_5^17 + 4806348632563457583220021/580865760743391981815690*c_0101_5^16 - 8549638042432268688454827/580865760743391981815690*c_0101_5^15 - 4990555857229601119583741/58086576074339198181569*c_0101_5^14 + 74192432848125307869508901/580865760743391981815690*c_0101_5^13 + 142992899796876726405360258/290432880371695990907845*c_0101_5^12 + 7963494523565470261665873/58086576074339198181569*c_0101_5^11 - 99866158929756700288726117/580865760743391981815690*c_0101_5^10 + 119367057742690760101755521/290432880371695990907845*c_0101_5^9 - 32848766053071624174990271/116173152148678396363138*c_0101_5^8 - 6678312365319288108047120/58086576074339198181569*c_0101_5^7 - 101287187444124595980063053/116173152148678396363138*c_0101_5^6 + 70466570604278479440190581/580865760743391981815690*c_0101_5^5 + 83828402884626836180229359/580865760743391981815690*c_0101_5^4 + 81806689435398054725376909/290432880371695990907845*c_0101_5^3 - 490443868456924549623928/290432880371695990907845*c_0101_5^2 - 10300794651793858913467846/290432880371695990907845*c_0101_5 + 6055163968322156852403547/580865760743391981815690, c_0011_0 - 1, c_0011_1 - 27717369408595058623/160904642865205535129*c_0101_5^17 - 157248235986980617006/160904642865205535129*c_0101_5^16 + 221373648229648549253/160904642865205535129*c_0101_5^15 + 1779150049442504958148/160904642865205535129*c_0101_5^14 - 1626351039444095814511/160904642865205535129*c_0101_5^13 - 11195364143732127144008/160904642865205535129*c_0101_5^12 - 6541279296376165496695/160904642865205535129*c_0101_5^11 + 11760900048503481211759/160904642865205535129*c_0101_5^10 + 11079809039804570092132/160904642865205535129*c_0101_5^9 + 6164541307299600806341/160904642865205535129*c_0101_5^8 - 8863969779928746109179/160904642865205535129*c_0101_5^7 - 3240347732870092631343/160904642865205535129*c_0101_5^6 - 1787212632448426077832/160904642865205535129*c_0101_5^5 + 2178552637621493240971/160904642865205535129*c_0101_5^4 + 398810524710972209068/160904642865205535129*c_0101_5^3 - 117693399069658975081/160904642865205535129*c_0101_5^2 - 76665918289132991608/160904642865205535129*c_0101_5 - 165680960369511831171/160904642865205535129, c_0011_3 - 3639493126998328440/160904642865205535129*c_0101_5^17 - 5965278516526968339/160904642865205535129*c_0101_5^16 + 113979351444265243744/160904642865205535129*c_0101_5^15 + 128933886779921990908/160904642865205535129*c_0101_5^14 - 1142145717455413542566/160904642865205535129*c_0101_5^13 - 694903642563283859386/160904642865205535129*c_0101_5^12 + 4911596819457195762839/160904642865205535129*c_0101_5^11 + 5402146233472600244504/160904642865205535129*c_0101_5^10 - 2801802154404578198996/160904642865205535129*c_0101_5^9 - 2133794723098669844252/160904642865205535129*c_0101_5^8 - 3508741993465621429316/160904642865205535129*c_0101_5^7 + 2294883377624565724782/160904642865205535129*c_0101_5^6 + 67877235516289997310/160904642865205535129*c_0101_5^5 + 134021266979811373538/160904642865205535129*c_0101_5^4 - 522347936290402542104/160904642865205535129*c_0101_5^3 - 233678227127085485604/160904642865205535129*c_0101_5^2 + 213062714437373201207/160904642865205535129*c_0101_5 - 51452445168283752443/160904642865205535129, c_0011_5 + c_0101_5, c_0101_0 - 4731244327182612587/160904642865205535129*c_0101_5^17 - 32449703457959316135/160904642865205535129*c_0101_5^16 + 5906929377267319280/160904642865205535129*c_0101_5^15 + 349140175730042545900/160904642865205535129*c_0101_5^14 + 87139760363972732138/160904642865205535129*c_0101_5^13 - 2256117115243407060571/160904642865205535129*c_0101_5^12 - 3456868352445887894482/160904642865205535129*c_0101_5^11 + 846608432389658143953/160904642865205535129*c_0101_5^10 + 4781484826923448366113/160904642865205535129*c_0101_5^9 + 2700244843398849792716/160904642865205535129*c_0101_5^8 - 2300927016287115681953/160904642865205535129*c_0101_5^7 - 2537724533207204940418/160904642865205535129*c_0101_5^6 + 774476862572445996142/160904642865205535129*c_0101_5^5 + 1153020314816513231543/160904642865205535129*c_0101_5^4 + 468438098583009935278/160904642865205535129*c_0101_5^3 - 589047116523415559587/160904642865205535129*c_0101_5^2 - 67564402112738952784/160904642865205535129*c_0101_5 - 9384198783931730530/160904642865205535129, c_0101_1 - 70061858856460407036/160904642865205535129*c_0101_5^17 - 409103745845136936408/160904642865205535129*c_0101_5^16 + 486795819746408473988/160904642865205535129*c_0101_5^15 + 4550264634131358006718/160904642865205535129*c_0101_5^14 - 3324840057057436476616/160904642865205535129*c_0101_5^13 - 28591667637616129067169/160904642865205535129*c_0101_5^12 - 21541768146710363356943/160904642865205535129*c_0101_5^11 + 24763004376273566094577/160904642865205535129*c_0101_5^10 + 30875297582113597226261/160904642865205535129*c_0101_5^9 + 19144730866465643849104/160904642865205535129*c_0101_5^8 - 21601998008595265227868/160904642865205535129*c_0101_5^7 - 9486148151428595518946/160904642865205535129*c_0101_5^6 - 4604379848309525162563/160904642865205535129*c_0101_5^5 + 5919169645113437061461/160904642865205535129*c_0101_5^4 + 831317908458354856353/160904642865205535129*c_0101_5^3 - 250230671158494814930/160904642865205535129*c_0101_5^2 - 170363506066810262056/160904642865205535129*c_0101_5 - 168240276291183441958/160904642865205535129, c_0101_5^18 + 6*c_0101_5^17 - 6*c_0101_5^16 - 66*c_0101_5^15 + 37*c_0101_5^14 + 415*c_0101_5^13 + 373*c_0101_5^12 - 299*c_0101_5^11 - 492*c_0101_5^10 - 349*c_0101_5^9 + 260*c_0101_5^8 + 190*c_0101_5^7 + 87*c_0101_5^6 - 74*c_0101_5^5 - 27*c_0101_5^4 + 2*c_0101_5^3 + 3*c_0101_5^2 + 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB