Magma V2.19-8 Thu Sep 12 2013 22:29:42 on localhost [Seed = 2730657863] Type ? for help. Type -D to quit. Loading file "m010__sl3_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation m010 geometric_solution 2.66674478 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 3 1 2 1 2 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 -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 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.500000000000 1.322875655532 0 0 2 2 0132 3201 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 -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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375000000000 0.330718913883 1 0 1 0 2310 0132 0132 1023 0 0 0 0 0 1 0 -1 -1 0 1 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 -1 0 0 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.500000000000 1.322875655532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_1'], 'c_1020_0' : d['c_0120_2'] * d['u'] ** 2, 'c_1020_1' : d['c_0120_2'] * d['u'] ** 2, 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0120_2'] * d['u'] ** 2, 'c_0201_2' : d['c_0201_0'], 'c_2100_0' : d['c_0012_0'] * d['u'] ** 1, 'c_2100_1' : d['c_0012_1'] * d['u'] ** 2, 'c_2100_2' : d['c_0012_1'], 'c_2010_2' : d['c_0120_2'] * d['u'] ** 2, 'c_2010_0' : d['c_0102_1'], 'c_2010_1' : d['c_0102_1'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_0'], 'c_1101_0' : d['c_1011_1'], 'c_1101_1' : negation(d['c_0111_2']) * d['u'] ** 1, 'c_1101_2' : d['c_1101_2'], 'c_1200_2' : d['c_0012_0'] * d['u'] ** 1, 'c_1200_0' : d['c_0012_1'], 'c_1200_1' : d['c_0012_0'] * d['u'] ** 2, 'c_1110_2' : negation(d['c_1110_0']) * d['u'] ** 2, 'c_1110_0' : d['c_1110_0'], 'c_1110_1' : d['c_1101_2'] * d['u'] ** 2, 'c_0120_0' : d['c_0102_1'] * d['u'] ** 2, 'c_0120_1' : d['c_0102_0'] * d['u'] ** 2, 'c_0120_2' : d['c_0120_2'], 'c_2001_0' : d['c_0120_2'] * d['u'] ** 2, 'c_2001_1' : d['c_0102_0'], 'c_2001_2' : d['c_0102_1'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']), 'c_0111_2' : d['c_0111_2'], 'c_0210_2' : d['c_0102_1'] * d['u'] ** 2, 'c_0210_0' : d['c_0120_2'], 'c_0210_1' : d['c_0201_0'] * d['u'] ** 1, 'c_1002_2' : d['c_0120_2'] * d['u'] ** 2, 'c_1002_0' : d['c_0102_1'], 'c_1002_1' : d['c_0201_0'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0021_2' : d['c_0012_0']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 1924.760 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0120_2, c_0201_0, c_1011_0, c_1011_1, c_1101_2, c_1110_0, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 24060763540679538899/78528873149339031*c_1110_0^15*u + 52359946622520107824/549702112045373217*c_1110_0^15 + 174358089885728664896/549702112045373217*c_1110_0^12*u + 433155389138600928043/549702112045373217*c_1110_0^12 + 347521097130947820331/549702112045373217*c_1110_0^9*u + 331939284588775919864/549702112045373217*c_1110_0^9 + 206685188928268747754/549702112045373217*c_1110_0^6*u + 257491258951635691138/549702112045373217*c_1110_0^6 + 85101069479931530957/549702112045373217*c_1110_0^3*u + 5282498137684548907/78528873149339031*c_1110_0^3 + 11037262819362044539/549702112045373217*u + 11069758701839899958/549702112045373217, c_0012_0 - 1, c_0012_1 - 2104193009847241/26202493543323*c_1110_0^17*u - 10353622665364580/78607480629969*c_1110_0^17 + 15953742871993303/78607480629969*c_1110_0^14*u - 4143612374945000/26202493543323*c_1110_0^14 + 12371528524363445/78607480629969*c_1110_0^11*u - 2086186387507491/8734164514441*c_1110_0^11 + 2221477158894595/26202493543323*c_1110_0^8*u - 11266616172916715/78607480629969*c_1110_0^8 - 302179428428768/78607480629969*c_1110_0^5*u - 641851744868974/8734164514441*c_1110_0^5 + 12520732820762/78607480629969*c_1110_0^2*u - 81360890984473/26202493543323*c_1110_0^2, c_0102_0 - 504340805660368/78607480629969*c_1110_0^16*u - 400156094424560/26202493543323*c_1110_0^16 + 2370864528813518/78607480629969*c_1110_0^13*u - 113092927189400/26202493543323*c_1110_0^13 + 821319461277905/78607480629969*c_1110_0^10*u - 1935012830430538/78607480629969*c_1110_0^10 + 309300285787528/78607480629969*c_1110_0^7*u - 814783754090918/78607480629969*c_1110_0^7 - 73279600124419/26202493543323*c_1110_0^4*u - 421509634965643/78607480629969*c_1110_0^4 - 60716809543976/78607480629969*c_1110_0*u + 46653482110328/26202493543323*c_1110_0, c_0102_1 - 2501615112948904/235822441889907*c_1110_0^17*u + 12268690141938133/235822441889907*c_1110_0^17 - 43248442115169994/235822441889907*c_1110_0^14*u - 14037274210387106/235822441889907*c_1110_0^14 - 48705425738033270/235822441889907*c_1110_0^11*u - 10360417945367770/235822441889907*c_1110_0^11 - 30526821840006334/235822441889907*c_1110_0^8*u - 4528646024781734/235822441889907*c_1110_0^8 - 9704304977542525/235822441889907*c_1110_0^5*u + 2448748088625793/235822441889907*c_1110_0^5 - 1112914533444602/235822441889907*c_1110_0^2*u + 418046645223551/235822441889907*c_1110_0^2, c_0111_0 - 1, c_0111_2 + 8818364298816436/78607480629969*c_1110_0^17*u + 8883964796490280/78607480629969*c_1110_0^17 - 2068655359504690/26202493543323*c_1110_0^14*u + 20732064476409263/78607480629969*c_1110_0^14 - 140372839108407/8734164514441*c_1110_0^11*u + 24699750674051890/78607480629969*c_1110_0^11 - 397171237006877/78607480629969*c_1110_0^8*u + 14638434623298760/78607480629969*c_1110_0^8 + 292278631251986/8734164514441*c_1110_0^5*u + 6123308244790547/78607480629969*c_1110_0^5 + 2506264650581/8734164514441*c_1110_0^2*u + 329006512705096/78607480629969*c_1110_0^2, c_0120_2 + 4749748046048881/235822441889907*c_1110_0^15*u - 192697472181574/235822441889907*c_1110_0^15 + 11362614853813735/235822441889907*c_1110_0^12*u + 14606706022970492/235822441889907*c_1110_0^12 + 12906675350024012/235822441889907*c_1110_0^9*u + 12652617301588876/235822441889907*c_1110_0^9 + 7174945200022429/235822441889907*c_1110_0^6*u + 7197637508430008/235822441889907*c_1110_0^6 + 2828364016910386/235822441889907*c_1110_0^3*u + 1211539454054750/235822441889907*c_1110_0^3 + 21867869718545/235822441889907*u + 39726018344707/235822441889907, c_0201_0 - 504340805660368/78607480629969*c_1110_0^16*u - 400156094424560/26202493543323*c_1110_0^16 + 2370864528813518/78607480629969*c_1110_0^13*u - 113092927189400/26202493543323*c_1110_0^13 + 821319461277905/78607480629969*c_1110_0^10*u - 1935012830430538/78607480629969*c_1110_0^10 + 309300285787528/78607480629969*c_1110_0^7*u - 814783754090918/78607480629969*c_1110_0^7 - 73279600124419/26202493543323*c_1110_0^4*u - 421509634965643/78607480629969*c_1110_0^4 - 60716809543976/78607480629969*c_1110_0*u + 46653482110328/26202493543323*c_1110_0, c_1011_0 + 13175685748139411/235822441889907*c_1110_0^16*u - 112565874010946/235822441889907*c_1110_0^16 + 31420498743466814/235822441889907*c_1110_0^13*u + 40203341558638261/235822441889907*c_1110_0^13 + 36978450172348024/235822441889907*c_1110_0^10*u + 38868781248229679/235822441889907*c_1110_0^10 + 20809542349055756/235822441889907*c_1110_0^7*u + 21906678282920950/235822441889907*c_1110_0^7 + 8675562832281575/235822441889907*c_1110_0^4*u + 4985221351975039/235822441889907*c_1110_0^4 + 346289439464071/235822441889907*c_1110_0*u + 438159087781328/235822441889907*c_1110_0, c_1011_1 - 35532191481359150/235822441889907*c_1110_0^17*u - 20685334093394530/235822441889907*c_1110_0^17 - 20637035246878346/235822441889907*c_1110_0^14*u - 95393698769621329/235822441889907*c_1110_0^14 - 33322449392011207/235822441889907*c_1110_0^11*u - 99737526918598577/235822441889907*c_1110_0^11 - 17146835127803108/235822441889907*c_1110_0^8*u - 57081036927487225/235822441889907*c_1110_0^8 - 12081471661571804/235822441889907*c_1110_0^5*u - 18452644958464714/235822441889907*c_1110_0^5 + 393439539370718/235822441889907*c_1110_0^2*u - 1354390194323036/235822441889907*c_1110_0^2, c_1101_2 - 2974849102447951/235822441889907*c_1110_0^15*u - 1635045141961709/235822441889907*c_1110_0^15 - 2238383268231646/235822441889907*c_1110_0^12*u - 6886701267625643/235822441889907*c_1110_0^12 - 7253409093573683/235822441889907*c_1110_0^9*u - 10045280842560727/235822441889907*c_1110_0^9 - 5135409789967579/235822441889907*c_1110_0^6*u - 5845345041678938/235822441889907*c_1110_0^6 - 2840714620069822/235822441889907*c_1110_0^3*u - 2009029137947444/235822441889907*c_1110_0^3 - 277725068388086/235822441889907*u + 14816148614411/235822441889907, c_1110_0^18 - 155098/50653*c_1110_0^15*u - 31236/50653*c_1110_0^15 - 161513/50653*c_1110_0^12*u - 12742/50653*c_1110_0^12 - 98285/50653*c_1110_0^9*u - 6988/50653*c_1110_0^9 - 26866/50653*c_1110_0^6*u + 12129/50653*c_1110_0^6 - 3773/50653*c_1110_0^3*u + 344/50653*c_1110_0^3 - 71/50653*u + 181/50653, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 1924.760 Total time: 1924.960 seconds, Total memory usage: 499.75MB