Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 3482211080] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0250 geometric_solution 4.28451064 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 1 0 -1 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 2.285019796133 0.167256493266 0 2 2 0 0132 0132 3201 3201 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 -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 -1.087253667258 0.749817823399 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -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 1 -1 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.105756989047 0.226768578509 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 -1 1 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 1.635609627967 1.923252946463 3 6 5 5 0132 0132 2310 1230 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 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.166347676896 1.153510218326 4 4 6 3 3012 3201 3201 0132 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 -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.166347676896 1.153510218326 5 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390731817817 0.245800765390 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1469048506602548020094109/13615907677255515739195*c_0101_5^15 + 545253050248287522584209/1237809788841410521745*c_0101_5^14 - 12660622904642500065997303/13615907677255515739195*c_0101_5^13 + 3599618304090374293420016/13615907677255515739195*c_0101_5^12 - 694042303663498257481719/87844565659713004769*c_0101_5^11 - 337571767905456584951430836/13615907677255515739195*c_0101_5^10 + 139748418101553354448041767/2723181535451103147839*c_0101_5^9 + 1694526244084446785912550557/13615907677255515739195*c_0101_5^8 - 1426211287819823076893057426/13615907677255515739195*c_0101_5^7 - 2096034359252634823944296264/13615907677255515739195*c_0101_5^6 + 1108596248437326120792882884/13615907677255515739195*c_0101_5^5 + 1262742223672672409249529901/13615907677255515739195*c_0101_5^4 - 158477836413176183400119316/13615907677255515739195*c_0101_5^3 - 48863209902680180363851197/2723181535451103147839*c_0101_5^2 - 5185415955164542762523029/13615907677255515739195*c_0101_5 + 10210810278665125516104457/13615907677255515739195, c_0011_0 - 1, c_0011_3 - 32391656032227452039/247561957768282104349*c_0101_5^15 - 141539263861878536802/247561957768282104349*c_0101_5^14 + 249582320950603668266/247561957768282104349*c_0101_5^13 + 30521403035067316499/247561957768282104349*c_0101_5^12 + 72978839440367503918/7985869605428454979*c_0101_5^11 + 8191273988522949943371/247561957768282104349*c_0101_5^10 - 13921808054081069838986/247561957768282104349*c_0101_5^9 - 43360921401565972133673/247561957768282104349*c_0101_5^8 + 25484449686137370284677/247561957768282104349*c_0101_5^7 + 62314014017506088016149/247561957768282104349*c_0101_5^6 - 22772345851513427095632/247561957768282104349*c_0101_5^5 - 40468094724275007853428/247561957768282104349*c_0101_5^4 + 4174659387308744942121/247561957768282104349*c_0101_5^3 + 8801957641096870299762/247561957768282104349*c_0101_5^2 - 65430715902407640702/247561957768282104349*c_0101_5 - 359360295304758626076/247561957768282104349, c_0011_5 + 22570340953570764259/247561957768282104349*c_0101_5^15 + 82096182443575884549/247561957768282104349*c_0101_5^14 - 229416757354551285509/247561957768282104349*c_0101_5^13 + 165141650769252694392/247561957768282104349*c_0101_5^12 - 56044121007118547390/7985869605428454979*c_0101_5^11 - 4415715536801619735839/247561957768282104349*c_0101_5^10 + 12583850048775877667282/247561957768282104349*c_0101_5^9 + 19975836563240667284029/247561957768282104349*c_0101_5^8 - 30208317833886944034731/247561957768282104349*c_0101_5^7 - 16445154400797319332982/247561957768282104349*c_0101_5^6 + 23596897119832349456303/247561957768282104349*c_0101_5^5 + 6063769159930013133720/247561957768282104349*c_0101_5^4 - 4338440579914345233833/247561957768282104349*c_0101_5^3 - 348524050006473150818/247561957768282104349*c_0101_5^2 + 113911306574559879658/247561957768282104349*c_0101_5 - 16817640943770049482/247561957768282104349, c_0101_0 + 75364827727560088769/247561957768282104349*c_0101_5^15 + 312112892952810584208/247561957768282104349*c_0101_5^14 - 631521248386020727842/247561957768282104349*c_0101_5^13 + 150153023438667252545/247561957768282104349*c_0101_5^12 - 177263232064169651394/7985869605428454979*c_0101_5^11 - 17681389726064755628058/247561957768282104349*c_0101_5^10 + 34872772905976964808191/247561957768282104349*c_0101_5^9 + 88738051381892719364447/247561957768282104349*c_0101_5^8 - 68735700248248216851555/247561957768282104349*c_0101_5^7 - 109706859760580926902382/247561957768282104349*c_0101_5^6 + 53292848532109536468105/247561957768282104349*c_0101_5^5 + 63100943434796256873544/247561957768282104349*c_0101_5^4 - 5475438535870732293489/247561957768282104349*c_0101_5^3 - 10191651398217453449921/247561957768282104349*c_0101_5^2 - 694526293101769392691/247561957768282104349*c_0101_5 + 354470122161885527838/247561957768282104349, c_0101_1 + 53138200770371249067/247561957768282104349*c_0101_5^15 + 194401739594747036980/247561957768282104349*c_0101_5^14 - 547000822811540234735/247561957768282104349*c_0101_5^13 + 340118659269244930996/247561957768282104349*c_0101_5^12 - 127816880407086528779/7985869605428454979*c_0101_5^11 - 10589133486268337478493/247561957768282104349*c_0101_5^10 + 30280918366735113252755/247561957768282104349*c_0101_5^9 + 49595129658572701989986/247561957768282104349*c_0101_5^8 - 76650404991630944950329/247561957768282104349*c_0101_5^7 - 48455025543981629536873/247561957768282104349*c_0101_5^6 + 71051152770624991226241/247561957768282104349*c_0101_5^5 + 19543394301670581881012/247561957768282104349*c_0101_5^4 - 22086622832826703690653/247561957768282104349*c_0101_5^3 - 1603487186851634669658/247561957768282104349*c_0101_5^2 + 2385124635463144482672/247561957768282104349*c_0101_5 - 104750905346165105804/247561957768282104349, c_0101_2 + 80332434956321051185/247561957768282104349*c_0101_5^15 + 319073830760824434636/247561957768282104349*c_0101_5^14 - 728019538680613502631/247561957768282104349*c_0101_5^13 + 277277779906025861311/247561957768282104349*c_0101_5^12 - 190546635417095037521/7985869605428454979*c_0101_5^11 - 17816986157317881865213/247561957768282104349*c_0101_5^10 + 40220790740637706983747/247561957768282104349*c_0101_5^9 + 88195563514041276051405/247561957768282104349*c_0101_5^8 - 88106914682505885232043/247561957768282104349*c_0101_5^7 - 104597690697634679859011/247561957768282104349*c_0101_5^6 + 73224479803269707704540/247561957768282104349*c_0101_5^5 + 59713238753533586480160/247561957768282104349*c_0101_5^4 - 15685853660269040771423/247561957768282104349*c_0101_5^3 - 10556908414481810403470/247561957768282104349*c_0101_5^2 + 832218868437517365635/247561957768282104349*c_0101_5 + 311548488352933580097/247561957768282104349, c_0101_5^16 + 4*c_0101_5^15 - 9*c_0101_5^14 + 3*c_0101_5^13 - 73*c_0101_5^12 - 224*c_0101_5^11 + 498*c_0101_5^10 + 1123*c_0101_5^9 - 1090*c_0101_5^8 - 1388*c_0101_5^7 + 928*c_0101_5^6 + 837*c_0101_5^5 - 222*c_0101_5^4 - 177*c_0101_5^3 + 19*c_0101_5^2 + 10*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB