Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 4004475403] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0615 geometric_solution 4.61891084 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 1 0 -1 0 0 0 0 0 -1 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285953336541 0.885096143439 0 4 2 4 0132 0132 1302 1023 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 0 0 0 0 0 0 0 2 -1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669480961612 1.023037988466 1 0 5 5 2031 0132 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.896522999707 1.592542902444 0 4 4 0 3201 0213 1302 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 -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.437226806638 0.545779304017 3 1 3 1 2031 0132 0213 1023 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608093621338 0.230920347365 6 2 2 6 0132 3201 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 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.231210828261 0.206514679377 5 5 6 6 0132 2310 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 5.243996331779 2.217204457706 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(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_6' : d['1'], 's_0_4' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0101_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_0']), '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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0110_4'], '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_2, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 211480903813779046991/24322589759161890042*c_0110_4^19 + 975869547264427296001/24322589759161890042*c_0110_4^18 - 652953059424319615837/24322589759161890042*c_0110_4^17 + 352577390293229130283/4053764959860315007*c_0110_4^16 - 184685871845419549313/579109279980045001*c_0110_4^15 - 383142621643672319179/1158218559960090002*c_0110_4^14 - 1066806098135786180528/4053764959860315007*c_0110_4^13 + 25794963763533053364155/24322589759161890042*c_0110_4^12 + 8661587455513886619452/4053764959860315007*c_0110_4^11 + 22688266758241467642755/12161294879580945021*c_0110_4^10 - 1957991860562963038059/4053764959860315007*c_0110_4^9 - 20871491794884817333112/12161294879580945021*c_0110_4^8 - 1010821153108657764339/1158218559960090002*c_0110_4^7 + 2745366224779545379457/24322589759161890042*c_0110_4^6 + 924370667019972175611/8107529919720630014*c_0110_4^5 - 1239106550072704242267/8107529919720630014*c_0110_4^4 - 834456521888895198028/12161294879580945021*c_0110_4^3 + 190593305295949892194/12161294879580945021*c_0110_4^2 + 368288370707981229467/24322589759161890042*c_0110_4 - 276928400187501282809/24322589759161890042, c_0011_0 - 1, c_0011_3 - c_0110_4, c_0011_5 + 4262559100191114/52646298180004091*c_0110_4^19 - 18881921732058862/52646298180004091*c_0110_4^18 + 6028245256489638/52646298180004091*c_0110_4^17 - 21269434103558616/52646298180004091*c_0110_4^16 + 124480979882700647/52646298180004091*c_0110_4^15 + 233372903457018419/52646298180004091*c_0110_4^14 + 18037899528990941/52646298180004091*c_0110_4^13 - 551752583728182201/52646298180004091*c_0110_4^12 - 1108042034883613233/52646298180004091*c_0110_4^11 - 748479892322578570/52646298180004091*c_0110_4^10 + 628607006206372981/52646298180004091*c_0110_4^9 + 1008293692994933895/52646298180004091*c_0110_4^8 + 227062619405607279/52646298180004091*c_0110_4^7 - 256219460156447540/52646298180004091*c_0110_4^6 - 78636884739546790/52646298180004091*c_0110_4^5 - 269454826828790184/52646298180004091*c_0110_4^4 - 104791913064666240/52646298180004091*c_0110_4^3 + 127831893820265376/52646298180004091*c_0110_4^2 + 66491241874802745/52646298180004091*c_0110_4 + 3791512574889258/52646298180004091, c_0101_0 + 13718880199714998/52646298180004091*c_0110_4^19 - 63128145327538878/52646298180004091*c_0110_4^18 + 38847295706250296/52646298180004091*c_0110_4^17 - 123551079640433994/52646298180004091*c_0110_4^16 + 488577850171638528/52646298180004091*c_0110_4^15 + 564670745747962148/52646298180004091*c_0110_4^14 + 305298484187696720/52646298180004091*c_0110_4^13 - 1722687640730013055/52646298180004091*c_0110_4^12 - 3511049643107360811/52646298180004091*c_0110_4^11 - 2630945950634714280/52646298180004091*c_0110_4^10 + 1274873475206569148/52646298180004091*c_0110_4^9 + 3274311094522137067/52646298180004091*c_0110_4^8 + 1286233619984292192/52646298180004091*c_0110_4^7 - 582327712299903792/52646298180004091*c_0110_4^6 - 432662540144421035/52646298180004091*c_0110_4^5 + 211383120478131203/52646298180004091*c_0110_4^4 + 128541787350734809/52646298180004091*c_0110_4^3 - 60126530972339503/52646298180004091*c_0110_4^2 + 52986517915562581/52646298180004091*c_0110_4 + 38602817280835312/52646298180004091, c_0101_2 - 8252624528678886/52646298180004091*c_0110_4^19 + 38847295706250296/52646298180004091*c_0110_4^18 - 27518918242429008/52646298180004091*c_0110_4^17 + 77011444180188588/52646298180004091*c_0110_4^16 - 299618706834082726/52646298180004091*c_0110_4^15 - 312051124799478190/52646298180004091*c_0110_4^14 - 145016417762788285/52646298180004091*c_0110_4^13 + 1029899702998303527/52646298180004091*c_0110_4^12 + 2006035556868955044/52646298180004091*c_0110_4^11 + 1384624516804289132/52646298180004091*c_0110_4^10 - 868790725791792329/52646298180004091*c_0110_4^9 - 1827952185351012354/52646298180004091*c_0110_4^8 - 609765472699333788/52646298180004091*c_0110_4^7 + 363032511439048849/52646298180004091*c_0110_4^6 + 211383120478131203/52646298180004091*c_0110_4^5 - 132116936443850153/52646298180004091*c_0110_4^4 - 60126530972339503/52646298180004091*c_0110_4^3 + 174227217094141662/52646298180004091*c_0110_4^2 + 38602817280835312/52646298180004091*c_0110_4 - 13718880199714998/52646298180004091, c_0101_6 + 38601174314164604/52646298180004091*c_0110_4^19 - 172420258823786588/52646298180004091*c_0110_4^18 + 81202813708948746/52646298180004091*c_0110_4^17 - 306143972589029063/52646298180004091*c_0110_4^16 + 1274204062088855435/52646298180004091*c_0110_4^15 + 1862401347859097892/52646298180004091*c_0110_4^14 + 848460798703949553/52646298180004091*c_0110_4^13 - 4593036574091356326/52646298180004091*c_0110_4^12 - 10514640505529025237/52646298180004091*c_0110_4^11 - 8402003346350543813/52646298180004091*c_0110_4^10 + 2602525162374527468/52646298180004091*c_0110_4^9 + 9444693762530591591/52646298180004091*c_0110_4^8 + 4804910768756451796/52646298180004091*c_0110_4^7 - 160503794192255973/52646298180004091*c_0110_4^6 - 926971555367468078/52646298180004091*c_0110_4^5 - 355689928953817536/52646298180004091*c_0110_4^4 - 61224332551746726/52646298180004091*c_0110_4^3 + 1161437306778827/52646298180004091*c_0110_4^2 + 16466896855148365/52646298180004091*c_0110_4 - 11821123361343836/52646298180004091, c_0110_4^20 - 4*c_0110_4^19 - 7*c_0110_4^17 + 30*c_0110_4^16 + 63*c_0110_4^15 + 45*c_0110_4^14 - 115*c_0110_4^13 - 331*c_0110_4^12 - 338*c_0110_4^11 - 8*c_0110_4^10 + 302*c_0110_4^9 + 227*c_0110_4^8 + 2*c_0110_4^7 - 58*c_0110_4^6 + 19*c_0110_4^4 - 5*c_0110_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB