Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 2598045372] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s106 geometric_solution 3.97164928 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.666039670683 0.083742860746 2 0 2 0 0132 2310 1023 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 -1 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.855914206770 0.102095635165 1 3 1 3 0132 0132 1023 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 1 -1 -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 0 0 0 0.802485296014 0.293836244467 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 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.442519317501 0.865380234642 3 5 5 5 0132 1230 0213 2310 0 0 0 0 0 0 0 0 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 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.529352859708 0.865236640259 4 4 4 3 3201 0213 3012 0132 0 0 0 0 0 0 0 0 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 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.529352859708 0.865236640259 ==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' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], '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' : negation(d['c_0011_1']), '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_0011_1'], '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 3552104294215420477910977/54100636044996598204637*c_0101_3^16 - 34893600839391989014760529/54100636044996598204637*c_0101_3^15 + 61313636219017060470180831/54100636044996598204637*c_0101_3^14 + 231162142404101041082708456/54100636044996598204637*c_0101_3^13 - 516859395497265626958872040/54100636044996598204637*c_0101_3^12 - 564721037237959195945851842/54100636044996598204637*c_0101_3^11 + 11117969521703530305581053/7728662292142371172091*c_0101_3^10 + 1764965966736399758791733530/54100636044996598204637*c_0101_3^9 + 229125828437460984551296948/7728662292142371172091*c_0101_3^8 - 3873749468760555271329550072/54100636044996598204637*c_0101_3^7 + 3414829769540203855133328026/54100636044996598204637*c_0101_3^6 - 1915749019666316067857153098/54100636044996598204637*c_0101_3^5 - 1252436040440304186158082550/54100636044996598204637*c_0101_3^4 + 1086258481958475096408423319/54100636044996598204637*c_0101_3^3 + 219311688364766434301079282/54100636044996598204637*c_0101_3^2 - 92651801787221565992744548/54100636044996598204637*c_0101_3 - 10613608915523924080733087/54100636044996598204637, c_0011_0 - 1, c_0011_1 - 15331137900855989783182/54100636044996598204637*c_0101_3^16 + 144254044859086518140819/54100636044996598204637*c_0101_3^15 - 203818737891870906587918/54100636044996598204637*c_0101_3^14 - 1094181729600889358735564/54100636044996598204637*c_0101_3^13 + 1810615009637626293661192/54100636044996598204637*c_0101_3^12 + 3234457260645795701265024/54100636044996598204637*c_0101_3^11 + 106893233967944790704666/7728662292142371172091*c_0101_3^10 - 7294810155616328939218309/54100636044996598204637*c_0101_3^9 - 1380961483348409597349890/7728662292142371172091*c_0101_3^8 + 13356174680543191680147548/54100636044996598204637*c_0101_3^7 - 9344520688030392159405088/54100636044996598204637*c_0101_3^6 + 2413513017676813102774676/54100636044996598204637*c_0101_3^5 + 8615349310826439883792180/54100636044996598204637*c_0101_3^4 - 3129470934575166273748795/54100636044996598204637*c_0101_3^3 - 1782833338788743211726898/54100636044996598204637*c_0101_3^2 + 215823486258208272748828/54100636044996598204637*c_0101_3 + 78510651593404938478084/54100636044996598204637, c_0011_5 + 4665759787133950916585/54100636044996598204637*c_0101_3^16 - 53380577972657148590046/54100636044996598204637*c_0101_3^15 + 155329236350034127167693/54100636044996598204637*c_0101_3^14 + 165282678711743609821810/54100636044996598204637*c_0101_3^13 - 1142990488932808482550408/54100636044996598204637*c_0101_3^12 + 374361947071711243581679/54100636044996598204637*c_0101_3^11 + 156802651774438040813973/7728662292142371172091*c_0101_3^10 + 2250640545424978599491443/54100636044996598204637*c_0101_3^9 - 192451900554811196611207/7728662292142371172091*c_0101_3^8 - 8063093787764490081789664/54100636044996598204637*c_0101_3^7 + 12325913770569503872700665/54100636044996598204637*c_0101_3^6 - 11370370670916974298014680/54100636044996598204637*c_0101_3^5 + 4376007162675962803325093/54100636044996598204637*c_0101_3^4 + 2158839857176962563672626/54100636044996598204637*c_0101_3^3 - 1424491092461821387917063/54100636044996598204637*c_0101_3^2 - 78768524403215570636935/54100636044996598204637*c_0101_3 + 53301661528149439648349/54100636044996598204637, c_0101_0 + 7401617075312589499026/54100636044996598204637*c_0101_3^16 - 79362767651970375074514/54100636044996598204637*c_0101_3^15 + 194540278963763266009200/54100636044996598204637*c_0101_3^14 + 352793786166645035177432/54100636044996598204637*c_0101_3^13 - 1483679771638717430871596/54100636044996598204637*c_0101_3^12 - 124417741665530776841272/54100636044996598204637*c_0101_3^11 + 144656527362166948174785/7728662292142371172091*c_0101_3^10 + 3370137276712986090213159/54100636044996598204637*c_0101_3^9 + 4042612245862562839139/7728662292142371172091*c_0101_3^8 - 10503725669079027219030062/54100636044996598204637*c_0101_3^7 + 14859515469979352446690624/54100636044996598204637*c_0101_3^6 - 11770812620702240288903190/54100636044996598204637*c_0101_3^5 + 2891163527476345939169690/54100636044996598204637*c_0101_3^4 + 3346449444776999790274428/54100636044996598204637*c_0101_3^3 - 1558817709707188565550359/54100636044996598204637*c_0101_3^2 - 260518423395200347801100/54100636044996598204637*c_0101_3 + 56604997703137332091441/54100636044996598204637, c_0101_1 + 1238568568193471055293/54100636044996598204637*c_0101_3^16 - 6597009424327383577713/54100636044996598204637*c_0101_3^15 - 35040130967244795681340/54100636044996598204637*c_0101_3^14 + 194279735961684981732979/54100636044996598204637*c_0101_3^13 + 144717627312793353492439/54100636044996598204637*c_0101_3^12 - 1101179078881638016824218/54100636044996598204637*c_0101_3^11 - 80844782446836131045503/7728662292142371172091*c_0101_3^10 + 873712693867128057310747/54100636044996598204637*c_0101_3^9 + 460002950675222215546837/7728662292142371172091*c_0101_3^8 + 367711394236365988257914/54100636044996598204637*c_0101_3^7 - 5279058728424627480525890/54100636044996598204637*c_0101_3^6 + 6746119607652052849061772/54100636044996598204637*c_0101_3^5 - 6047186603752663983596648/54100636044996598204637*c_0101_3^4 + 470214267574854435678585/54100636044996598204637*c_0101_3^3 + 1432552078113116865550518/54100636044996598204637*c_0101_3^2 - 116531461947357251716979/54100636044996598204637*c_0101_3 - 14767935482393717342513/54100636044996598204637, c_0101_3^17 - 10*c_0101_3^16 + 19*c_0101_3^15 + 62*c_0101_3^14 - 157*c_0101_3^13 - 133*c_0101_3^12 + 50*c_0101_3^11 + 492*c_0101_3^10 + 362*c_0101_3^9 - 1170*c_0101_3^8 + 1158*c_0101_3^7 - 707*c_0101_3^6 - 256*c_0101_3^5 + 368*c_0101_3^4 + 8*c_0101_3^3 - 40*c_0101_3^2 + c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB