Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 391547709] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0073 geometric_solution 3.62446495 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.275195024540 0.049586774656 0 2 2 0 0132 0132 3201 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 0 1 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 -1.540101096802 0.312299556030 1 1 3 3 2310 0132 0132 3201 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 1 0 -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.165358070811 0.065728170031 4 2 4 2 0132 2310 2310 0132 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 0 0 0 1 0 -1 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.978037447246 1.392074535108 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 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.062991861203 1.940569055464 6 6 6 4 1302 1023 2031 0132 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 -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.502846233779 0.506389513511 5 5 4 5 1023 2031 0132 1302 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 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.502846233779 0.506389513511 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 43601949400263/643242469640*c_0101_3^22 + 45340738509929/32162123482*c_0101_3^21 - 8058178505443727/643242469640*c_0101_3^20 + 3889525281266015/64324246964*c_0101_3^19 - 103360431479135221/643242469640*c_0101_3^18 + 13565812111123742/80405308705*c_0101_3^17 + 165161758082682547/643242469640*c_0101_3^16 - 15529090018619844/16081061741*c_0101_3^15 + 199358956157687169/321621234820*c_0101_3^14 + 446655997187075889/321621234820*c_0101_3^13 - 285082689144913323/128648493928*c_0101_3^12 - 87151529090095131/160810617410*c_0101_3^11 + 456934117758523421/160810617410*c_0101_3^10 - 392753387161613827/643242469640*c_0101_3^9 - 1227040509204117911/643242469640*c_0101_3^8 + 509353710879866699/643242469640*c_0101_3^7 + 212276889167702291/321621234820*c_0101_3^6 - 55981761582247857/160810617410*c_0101_3^5 - 6630375909673998/80405308705*c_0101_3^4 + 35768759231489811/643242469640*c_0101_3^3 - 1002643850898291/643242469640*c_0101_3^2 - 823513481475981/321621234820*c_0101_3 + 316290308234533/643242469640, c_0011_0 - 1, c_0011_3 + 5760719059/80405308705*c_0101_3^22 - 23903341047/16081061741*c_0101_3^21 + 1041506661401/80405308705*c_0101_3^20 - 956530607665/16081061741*c_0101_3^19 + 11192479355603/80405308705*c_0101_3^18 - 5526980557818/80405308705*c_0101_3^17 - 35836007820836/80405308705*c_0101_3^16 + 15048774648360/16081061741*c_0101_3^15 + 8104116970266/80405308705*c_0101_3^14 - 177919377946559/80405308705*c_0101_3^13 + 22301189763916/16081061741*c_0101_3^12 + 210637009983347/80405308705*c_0101_3^11 - 221781515582427/80405308705*c_0101_3^10 - 144632365126974/80405308705*c_0101_3^9 + 200910962099463/80405308705*c_0101_3^8 + 57935997413518/80405308705*c_0101_3^7 - 91581125020836/80405308705*c_0101_3^6 - 7732790514346/80405308705*c_0101_3^5 + 19007415561687/80405308705*c_0101_3^4 - 2058727427838/80405308705*c_0101_3^3 - 1142532805852/80405308705*c_0101_3^2 + 282842580866/80405308705*c_0101_3 - 53623279249/80405308705, c_0011_5 - 16870395054/80405308705*c_0101_3^22 + 68129894257/16081061741*c_0101_3^21 - 2910471000011/80405308705*c_0101_3^20 + 2652718942148/16081061741*c_0101_3^19 - 31751354009118/80405308705*c_0101_3^18 + 21721873881773/80405308705*c_0101_3^17 + 80081064479606/80405308705*c_0101_3^16 - 39247916135347/16081061741*c_0101_3^15 + 34656395315169/80405308705*c_0101_3^14 + 381201354451259/80405308705*c_0101_3^13 - 68131298602682/16081061741*c_0101_3^12 - 346483663365317/80405308705*c_0101_3^11 + 536666424011152/80405308705*c_0101_3^10 + 148409045723589/80405308705*c_0101_3^9 - 414760357151408/80405308705*c_0101_3^8 - 14310327982193/80405308705*c_0101_3^7 + 161941239046996/80405308705*c_0101_3^6 - 14739409531459/80405308705*c_0101_3^5 - 25789787670772/80405308705*c_0101_3^4 + 5574999812118/80405308705*c_0101_3^3 + 761498976267/80405308705*c_0101_3^2 - 471752251286/80405308705*c_0101_3 + 58559803044/80405308705, c_0101_0 - 5304195822/80405308705*c_0101_3^22 + 24333075872/16081061741*c_0101_3^21 - 1214036495553/80405308705*c_0101_3^20 + 1354356988038/16081061741*c_0101_3^19 - 22106562693154/80405308705*c_0101_3^18 + 36867421924999/80405308705*c_0101_3^17 + 1525293638408/80405308705*c_0101_3^16 - 26130923717321/16081061741*c_0101_3^15 + 196877570666307/80405308705*c_0101_3^14 + 67466279432497/80405308705*c_0101_3^13 - 90058692917248/16081061741*c_0101_3^12 + 235409376340294/80405308705*c_0101_3^11 + 461239977007506/80405308705*c_0101_3^10 - 471644006683798/80405308705*c_0101_3^9 - 240552988094979/80405308705*c_0101_3^8 + 390328867992756/80405308705*c_0101_3^7 + 54850285938763/80405308705*c_0101_3^6 - 160305718952917/80405308705*c_0101_3^5 + 3006991174534/80405308705*c_0101_3^4 + 28132892831874/80405308705*c_0101_3^3 - 2673537810524/80405308705*c_0101_3^2 - 1478346341928/80405308705*c_0101_3 + 248395006642/80405308705, c_0101_1 + 17247129754/80405308705*c_0101_3^22 - 67678541636/16081061741*c_0101_3^21 + 2794996136081/80405308705*c_0101_3^20 - 2437193632382/16081061741*c_0101_3^19 + 27056222464888/80405308705*c_0101_3^18 - 12034204503823/80405308705*c_0101_3^17 - 82096166420986/80405308705*c_0101_3^16 + 32841749293952/16081061741*c_0101_3^15 + 16995987248351/80405308705*c_0101_3^14 - 362969245491729/80405308705*c_0101_3^13 + 45427891676340/16081061741*c_0101_3^12 + 394642684099467/80405308705*c_0101_3^11 - 422617971952012/80405308705*c_0101_3^10 - 242211103919979/80405308705*c_0101_3^9 + 359041660802098/80405308705*c_0101_3^8 + 83727136968798/80405308705*c_0101_3^7 - 155122631956801/80405308705*c_0101_3^6 - 9095505897136/80405308705*c_0101_3^5 + 30256211656962/80405308705*c_0101_3^4 - 2945850546668/80405308705*c_0101_3^3 - 2035766273752/80405308705*c_0101_3^2 + 588297838686/80405308705*c_0101_3 + 21995702246/80405308705, c_0101_2 + 2036779013/16081061741*c_0101_3^22 - 42223532527/16081061741*c_0101_3^21 + 374396335685/16081061741*c_0101_3^20 - 1806156937812/16081061741*c_0101_3^19 + 4811937141936/16081061741*c_0101_3^18 - 5129336557761/16081061741*c_0101_3^17 - 7473018322907/16081061741*c_0101_3^16 + 29003327209064/16081061741*c_0101_3^15 - 19813839368341/16081061741*c_0101_3^14 - 40309605692745/16081061741*c_0101_3^13 + 68761286855048/16081061741*c_0101_3^12 + 11550013639295/16081061741*c_0101_3^11 - 86880138425927/16081061741*c_0101_3^10 + 25750899239800/16081061741*c_0101_3^9 + 57043569266219/16081061741*c_0101_3^8 - 30367553405612/16081061741*c_0101_3^7 - 18858388219383/16081061741*c_0101_3^6 + 13692904771689/16081061741*c_0101_3^5 + 1941217513614/16081061741*c_0101_3^4 - 2434422294067/16081061741*c_0101_3^3 + 150313383325/16081061741*c_0101_3^2 + 113971293962/16081061741*c_0101_3 - 17024107856/16081061741, c_0101_3^23 - 21*c_0101_3^22 + 189*c_0101_3^21 - 929*c_0101_3^20 + 2547*c_0101_3^19 - 2949*c_0101_3^18 - 3337*c_0101_3^17 + 15069*c_0101_3^16 - 11946*c_0101_3^15 - 18950*c_0101_3^14 + 37041*c_0101_3^13 + 1823*c_0101_3^12 - 44246*c_0101_3^11 + 17317*c_0101_3^10 + 27218*c_0101_3^9 - 17560*c_0101_3^8 - 7971*c_0101_3^7 + 7340*c_0101_3^6 + 382*c_0101_3^5 - 1165*c_0101_3^4 + 164*c_0101_3^3 + 47*c_0101_3^2 - 15*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB