Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 1410713738] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1133 geometric_solution 4.99803238 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3012 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 -1 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.422123477190 1.218862179198 0 4 5 2 0132 0132 0132 1023 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 0 0 0 0 0 0.234815180616 0.935195277701 3 0 4 1 0132 0132 3120 1023 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.073489862375 0.292350618393 2 5 0 0 0132 2031 1230 0132 0 0 0 0 0 1 -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 -1 0 1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422123477190 1.218862179198 5 1 2 6 2031 0132 3120 0132 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 -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.264808109209 0.040292227515 3 6 4 1 1302 0132 1302 0132 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 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.737357732033 0.552754957640 6 5 4 6 3201 0132 0132 2310 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 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 1.028115813204 0.132650821347 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_3'])})} 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_5, c_0101_1, c_0101_3, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 613438066594607040/42280471081543511*c_1001_1^11 + 546283549748000208/42280471081543511*c_1001_1^10 + 156253195752951664/1838281351371457*c_1001_1^9 - 4321368955365689596/42280471081543511*c_1001_1^8 - 6991637344130051836/42280471081543511*c_1001_1^7 + 6452257087087992957/42280471081543511*c_1001_1^6 + 190960395036809713/1838281351371457*c_1001_1^5 - 6103058293131900638/42280471081543511*c_1001_1^4 - 4790984474146589804/42280471081543511*c_1001_1^3 - 187352363679230469/42280471081543511*c_1001_1^2 + 205027253335584179/1838281351371457*c_1001_1 + 3243246421462901127/42280471081543511, c_0011_0 - 1, c_0011_5 + 192575934334096/1838281351371457*c_1001_1^11 - 614051600836544/1838281351371457*c_1001_1^10 - 130570132496156/1838281351371457*c_1001_1^9 + 3027468486289152/1838281351371457*c_1001_1^8 - 3658646032001895/1838281351371457*c_1001_1^7 - 1293593216988457/1838281351371457*c_1001_1^6 + 5364326415243217/1838281351371457*c_1001_1^5 - 1070159830227804/1838281351371457*c_1001_1^4 - 1817005153943647/1838281351371457*c_1001_1^3 + 407373314853545/1838281351371457*c_1001_1^2 + 202732060459081/1838281351371457*c_1001_1 + 1432176361511980/1838281351371457, c_0101_1 + 240593740477536/1838281351371457*c_1001_1^11 - 272464293247488/1838281351371457*c_1001_1^10 - 1246909025474680/1838281351371457*c_1001_1^9 + 1821863364558496/1838281351371457*c_1001_1^8 + 2006571122131778/1838281351371457*c_1001_1^7 - 2336224176860206/1838281351371457*c_1001_1^6 - 1049632976157227/1838281351371457*c_1001_1^5 + 3415534055466237/1838281351371457*c_1001_1^4 - 504772416443813/1838281351371457*c_1001_1^3 - 496986021745120/1838281351371457*c_1001_1^2 + 57393602763588/1838281351371457*c_1001_1 - 712323135741029/1838281351371457, c_0101_3 - 663729999416848/1838281351371457*c_1001_1^11 + 976587087434832/1838281351371457*c_1001_1^10 + 3155653479348476/1838281351371457*c_1001_1^9 - 6325984144704620/1838281351371457*c_1001_1^8 - 3052811611765921/1838281351371457*c_1001_1^7 + 7415572146383398/1838281351371457*c_1001_1^6 - 893167154869614/1838281351371457*c_1001_1^5 - 4206673224071392/1838281351371457*c_1001_1^4 - 1740326072379467/1838281351371457*c_1001_1^3 - 1156414782708874/1838281351371457*c_1001_1^2 + 3592753965935900/1838281351371457*c_1001_1 + 804337551100595/1838281351371457, c_0101_4 - 436686109460096/1838281351371457*c_1001_1^11 + 1024389229188256/1838281351371457*c_1001_1^10 + 1482917925679664/1838281351371457*c_1001_1^9 - 5686338324038664/1838281351371457*c_1001_1^8 + 1481005250674524/1838281351371457*c_1001_1^7 + 5290899007914150/1838281351371457*c_1001_1^6 - 3053245536713761/1838281351371457*c_1001_1^5 - 1574440255871710/1838281351371457*c_1001_1^4 + 72059588949135/1838281351371457*c_1001_1^3 + 1295482774817271/1838281351371457*c_1001_1^2 + 2727146607380223/1838281351371457*c_1001_1 - 1060156476461952/1838281351371457, c_0101_6 - 282636286629040/1838281351371457*c_1001_1^11 + 126665974359600/1838281351371457*c_1001_1^10 + 1740249746632580/1838281351371457*c_1001_1^9 - 1232725430105812/1838281351371457*c_1001_1^8 - 4143425429629007/1838281351371457*c_1001_1^7 + 1459966236099414/1838281351371457*c_1001_1^6 + 4067750877404713/1838281351371457*c_1001_1^5 - 2749961501569461/1838281351371457*c_1001_1^4 - 4407498120231429/1838281351371457*c_1001_1^3 - 64294221686680/1838281351371457*c_1001_1^2 + 1628702187178438/1838281351371457*c_1001_1 + 1409557846315145/1838281351371457, c_1001_1^12 - c_1001_1^11 - 23/4*c_1001_1^10 + 31/4*c_1001_1^9 + 169/16*c_1001_1^8 - 97/8*c_1001_1^7 - 23/4*c_1001_1^6 + 93/8*c_1001_1^5 + 107/16*c_1001_1^4 - c_1001_1^3 - 115/16*c_1001_1^2 - 57/16*c_1001_1 + 23/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB