Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 3153733531] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s263 geometric_solution 4.42637588 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 0321 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 1 0 -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 0 0 0 0 0.861479147653 0.809748641029 0 0 2 3 0132 0321 3120 1302 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 1 -1 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.383706539473 0.579285979814 2 0 1 2 3012 0132 3120 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 -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.724990102589 1.094580507927 4 4 1 0 0132 3201 2031 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.234346483804 0.510419929318 3 5 3 5 0132 0132 2310 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 -2.156730520472 2.419732005950 5 4 5 4 2031 0132 1302 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.329953489031 0.073170285919 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_1001_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_1001_1'])})} 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_3, c_0101_0, c_0101_2, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 96562854748801/7179696615996*c_1001_1^17 + 149436927314443/14359393231992*c_1001_1^16 + 149129727108115/14359393231992*c_1001_1^15 + 204840705179083/1794924153999*c_1001_1^14 - 6179855999462033/14359393231992*c_1001_1^13 + 1672702261347763/1595488136888*c_1001_1^12 - 565538685487389/398872034222*c_1001_1^11 + 46865186541821/14359393231992*c_1001_1^10 + 4500562277355508/1794924153999*c_1001_1^9 - 57305981979240127/14359393231992*c_1001_1^8 + 33698234843606113/14359393231992*c_1001_1^7 + 11226163028798497/7179696615996*c_1001_1^6 - 34153579092990965/14359393231992*c_1001_1^5 + 17828338956549139/14359393231992*c_1001_1^4 + 790961590565459/4786464410664*c_1001_1^3 - 13085987310882775/14359393231992*c_1001_1^2 - 17645324758033/4786464410664*c_1001_1 + 1549200199881767/14359393231992, c_0011_0 - 1, c_0011_3 + 4423541124587/598308051333*c_1001_1^17 + 1084858550741/598308051333*c_1001_1^16 + 423698221871/598308051333*c_1001_1^15 - 35331886593512/598308051333*c_1001_1^14 + 106354150791776/598308051333*c_1001_1^13 - 86100112957194/199436017111*c_1001_1^12 + 86536094117478/199436017111*c_1001_1^11 + 127483963993261/598308051333*c_1001_1^10 - 591030948716297/598308051333*c_1001_1^9 + 835627861469317/598308051333*c_1001_1^8 - 233299630270246/598308051333*c_1001_1^7 - 369184953760106/598308051333*c_1001_1^6 + 421354494679802/598308051333*c_1001_1^5 - 206495007478879/598308051333*c_1001_1^4 - 38005066757628/199436017111*c_1001_1^3 + 108529782447541/598308051333*c_1001_1^2 + 2429096615877/199436017111*c_1001_1 - 10977351098489/598308051333, c_0101_0 + 355032801629/598308051333*c_1001_1^17 + 87304914731/598308051333*c_1001_1^16 - 28221201592/598308051333*c_1001_1^15 - 2850737392253/598308051333*c_1001_1^14 + 8537635245662/598308051333*c_1001_1^13 - 6738742983908/199436017111*c_1001_1^12 + 6443176487889/199436017111*c_1001_1^11 + 13816458544864/598308051333*c_1001_1^10 - 50949786557099/598308051333*c_1001_1^9 + 64901783677447/598308051333*c_1001_1^8 - 10298409643417/598308051333*c_1001_1^7 - 40758683312705/598308051333*c_1001_1^6 + 36193386281807/598308051333*c_1001_1^5 - 10444132728787/598308051333*c_1001_1^4 - 4848776259159/199436017111*c_1001_1^3 + 11024748472036/598308051333*c_1001_1^2 + 775173262578/199436017111*c_1001_1 - 2275539822704/598308051333, c_0101_2 + 87304914731/598308051333*c_1001_1^17 - 28221201592/598308051333*c_1001_1^16 - 10474979221/598308051333*c_1001_1^15 - 693217596692/598308051333*c_1001_1^14 + 2505870352532/598308051333*c_1001_1^13 - 2077610751207/199436017111*c_1001_1^12 + 2593633639057/199436017111*c_1001_1^11 + 174936877477/598308051333*c_1001_1^10 - 13915498284191/598308051333*c_1001_1^9 + 23074673709709/598308051333*c_1001_1^8 - 12356059182385/598308051333*c_1001_1^7 - 7120615516931/598308051333*c_1001_1^6 + 14053130583614/598308051333*c_1001_1^5 - 7800705546526/598308051333*c_1001_1^4 - 467133194993/199436017111*c_1001_1^3 + 4100683795879/598308051333*c_1001_1^2 - 484572222507/199436017111*c_1001_1 - 355032801629/598308051333, c_0110_5 - 3369498992589/199436017111*c_1001_1^17 - 1546047683453/199436017111*c_1001_1^16 - 474382593700/199436017111*c_1001_1^15 + 26709639697519/199436017111*c_1001_1^14 - 75309794170100/199436017111*c_1001_1^13 + 179205411892379/199436017111*c_1001_1^12 - 154023185791241/199436017111*c_1001_1^11 - 144074892751513/199436017111*c_1001_1^10 + 439005457751703/199436017111*c_1001_1^9 - 547671788232365/199436017111*c_1001_1^8 + 35033297411826/199436017111*c_1001_1^7 + 341091807227654/199436017111*c_1001_1^6 - 287968689554438/199436017111*c_1001_1^5 + 94671962999835/199436017111*c_1001_1^4 + 130853806473950/199436017111*c_1001_1^3 - 77058665614651/199436017111*c_1001_1^2 - 16998056682940/199436017111*c_1001_1 + 10123574897445/199436017111, c_1001_1^18 - 8*c_1001_1^15 + 26*c_1001_1^14 - 64*c_1001_1^13 + 72*c_1001_1^12 + 17*c_1001_1^11 - 144*c_1001_1^10 + 222*c_1001_1^9 - 94*c_1001_1^8 - 80*c_1001_1^7 + 122*c_1001_1^6 - 69*c_1001_1^5 - 19*c_1001_1^4 + 35*c_1001_1^3 - 5*c_1001_1^2 - 4*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB