Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 1242289767] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s207 geometric_solution 4.33539761 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 3 0132 2310 0132 0132 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 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 1.676623166634 2.000917471719 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.560846113798 0.261761898328 3 3 4 0 1302 1023 0132 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 1 -1 0 1 0 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.262629301653 0.753970695664 2 2 0 4 1023 2031 0132 3201 0 0 0 0 0 -1 1 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 -1 0 1 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.262629301653 0.753970695664 5 3 5 2 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548548405558 0.946327045690 4 5 4 5 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493586089016 0.144523056077 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1077888071816/20376849375*c_0101_4^13 + 48080852569/754698125*c_0101_4^12 + 24454015706947/20376849375*c_0101_4^11 - 7750551276857/6792283125*c_0101_4^10 - 193006333681453/20376849375*c_0101_4^9 + 4251853225631/754698125*c_0101_4^8 + 186124201347776/6792283125*c_0101_4^7 - 37844417230697/4075369875*c_0101_4^6 - 115039929088087/4075369875*c_0101_4^5 + 9509423439506/2264094375*c_0101_4^4 + 16373098468859/2264094375*c_0101_4^3 - 17947720801553/20376849375*c_0101_4^2 - 461328491971/754698125*c_0101_4 + 1982537720848/20376849375, c_0011_0 - 1, c_0011_2 + 51998047/271691325*c_0101_4^13 - 199867/30187925*c_0101_4^12 - 1237926104/271691325*c_0101_4^11 - 94254488/90563775*c_0101_4^10 + 10290929591/271691325*c_0101_4^9 + 129297433/6037585*c_0101_4^8 - 2058644591/18112755*c_0101_4^7 - 25048250836/271691325*c_0101_4^6 + 31402433302/271691325*c_0101_4^5 + 3756960527/30187925*c_0101_4^4 - 566874184/30187925*c_0101_4^3 - 11097870344/271691325*c_0101_4^2 - 2185278/30187925*c_0101_4 + 879228772/271691325, c_0011_4 - 621132817/1358456625*c_0101_4^13 + 48827879/150939625*c_0101_4^12 + 14361626414/1358456625*c_0101_4^11 - 2086924429/452818875*c_0101_4^10 - 115609173386/1358456625*c_0101_4^9 + 933836926/150939625*c_0101_4^8 + 112405206007/452818875*c_0101_4^7 + 12763924154/271691325*c_0101_4^6 - 13523808472/54338265*c_0101_4^5 - 15452104738/150939625*c_0101_4^4 + 7332313573/150939625*c_0101_4^3 + 44378794964/1358456625*c_0101_4^2 - 442035671/150939625*c_0101_4 - 3112171294/1358456625, c_0101_0 - 761207141/1358456625*c_0101_4^13 + 114200962/150939625*c_0101_4^12 + 17053067647/1358456625*c_0101_4^1\ 1 - 6280401062/452818875*c_0101_4^10 - 132045784828/1358456625*c_0101_4^9 + 11027684658/150939625*c_0101_4^8 + 122672157356/452818875*c_0101_4^7 - 7338943702/54338265*c_0101_4^6 - 69256318126/271691325*c_0101_4^5 + 12326443291/150939625*c_0101_4^4 + 6427128719/150939625*c_0101_4^3 - 30069393578/1358456625*c_0101_4^2 - 284378773/150939625*c_0101_4 + 3008734693/1358456625, c_0101_1 - 1193885267/1358456625*c_0101_4^13 + 145915044/150939625*c_0101_4^12 + 27185203564/1358456625*c_0101_4^1\ 1 - 7632419969/452818875*c_0101_4^10 - 215292911611/1358456625*c_0101_4^9 + 11609244396/150939625*c_0101_4^8 + 207426817622/452818875*c_0101_4^7 - 5820060976/54338265*c_0101_4^6 - 126300911527/271691325*c_0101_4^5 + 3989543692/150939625*c_0101_4^4 + 16152953603/150939625*c_0101_4^3 - 13683546911/1358456625*c_0101_4^2 - 1020733451/150939625*c_0101_4 + 2127611641/1358456625, c_0101_4^14 - c_0101_4^13 - 23*c_0101_4^12 + 17*c_0101_4^11 + 185*c_0101_4^10 - 71*c_0101_4^9 - 552*c_0101_4^8 + 74*c_0101_4^7 + 605*c_0101_4^6 + 26*c_0101_4^5 - 189*c_0101_4^4 - 14*c_0101_4^3 + 23*c_0101_4^2 + c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB