Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 4071845524] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s743 geometric_solution 5.27099017 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508651352686 0.478891102361 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558284579485 0.681250710636 4 3 0 1 2310 3201 0132 1302 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 0 0 0 0 0 0 0 0 -1 1 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.558284579485 0.681250710636 1 5 2 5 0132 0132 2310 1023 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 -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.859660020441 1.253193327274 4 1 2 4 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831285034699 0.743159092405 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.466834048201 0.190223583608 ==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' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_1, c_0101_1, c_0101_2, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 37687065725280/11995124821*c_0110_5^18 - 197031049206229/11995124821*c_0110_5^17 - 29930971802013/631322359*c_0110_5^16 + 5035554893780615/11995124821*c_0110_5^15 - 11191044566235082/11995124821*c_0110_5^14 + 5121080106413114/11995124821*c_0110_5^13 + 31107358845346367/11995124821*c_0110_5^12 - 88268483171742054/11995124821*c_0110_5^11 + 120085516408622961/11995124821*c_0110_5^10 - 94346550412105186/11995124821*c_0110_5^9 + 33849636857558661/11995124821*c_0110_5^8 + 5845585538219116/11995124821*c_0110_5^7 - 6285995579084098/11995124821*c_0110_5^6 - 1762946546270529/11995124821*c_0110_5^5 + 358206010298314/11995124821*c_0110_5^4 + 2274327944004927/11995124821*c_0110_5^3 - 1599411780595471/11995124821*c_0110_5^2 + 425368206419513/11995124821*c_0110_5 - 41675123711377/11995124821, c_0011_0 - 1, c_0011_1 + 210745678013/18369257*c_0110_5^18 - 1157995012353/18369257*c_0110_5^17 - 152792927725/966803*c_0110_5^16 + 29090320230711/18369257*c_0110_5^15 - 69814760234349/18369257*c_0110_5^14 + 43150621072966/18369257*c_0110_5^13 + 170746067742361/18369257*c_0110_5^12 - 541111805611161/18369257*c_0110_5^11 + 788941178037361/18369257*c_0110_5^10 - 670931705482527/18369257*c_0110_5^9 + 285755433509563/18369257*c_0110_5^8 + 12536208930374/18369257*c_0110_5^7 - 50716596916489/18369257*c_0110_5^6 - 5124382598204/18369257*c_0110_5^5 + 6248446106451/18369257*c_0110_5^4 + 13468018878719/18369257*c_0110_5^3 - 12166237467657/18369257*c_0110_5^2 + 3769585868042/18369257*c_0110_5 - 418268264682/18369257, c_0101_1 - 207522586669/18369257*c_0110_5^18 + 1140868897726/18369257*c_0110_5^17 + 150309489320/966803*c_0110_5^16 - 28655512521404/18369257*c_0110_5^15 + 68820493672422/18369257*c_0110_5^14 - 42630413154389/18369257*c_0110_5^13 - 168120216460779/18369257*c_0110_5^12 + 533326750604792/18369257*c_0110_5^11 - 778019070348758/18369257*c_0110_5^10 + 662002023211898/18369257*c_0110_5^9 - 282223460995994/18369257*c_0110_5^8 - 12219827417621/18369257*c_0110_5^7 + 50097893881959/18369257*c_0110_5^6 + 5020192644131/18369257*c_0110_5^5 - 6194438411989/18369257*c_0110_5^4 - 13275572197150/18369257*c_0110_5^3 + 12009887475004/18369257*c_0110_5^2 - 3722785104355/18369257*c_0110_5 + 413096778778/18369257, c_0101_2 - 56395182648327/11995124821*c_0110_5^18 + 311819594471618/11995124821*c_0110_5^17 + 40368033184485/631322359*c_0110_5^16 - 7815390567025921/11995124821*c_0110_5^15 + 18937588142198844/11995124821*c_0110_5^14 - 12083917995925984/11995124821*c_0110_5^13 - 45518635062971663/11995124821*c_0110_5^12 + 146448546087700569/11995124821*c_0110_5^11 - 215419702224414940/11995124821*c_0110_5^10 + 185010551069203873/11995124821*c_0110_5^9 - 80351888703307584/11995124821*c_0110_5^8 - 2361622093883969/11995124821*c_0110_5^7 + 14113576910870824/11995124821*c_0110_5^6 + 1129267481796059/11995124821*c_0110_5^5 - 1823474875877831/11995124821*c_0110_5^4 - 3609467250073764/11995124821*c_0110_5^3 + 3378417240561329/11995124821*c_0110_5^2 - 1069302705180964/11995124821*c_0110_5 + 120905110166120/11995124821, c_0101_4 - 154306802825018/11995124821*c_0110_5^18 + 849696568662946/11995124821*c_0110_5^17 + 111407117042857/631322359*c_0110_5^16 - 21330300894208680/11995124821*c_0110_5^15 + 51350225699963265/11995124821*c_0110_5^14 - 32053989661479448/11995124821*c_0110_5^13 - 124929947874758900/11995124821*c_0110_5^12 + 397727192009832319/11995124821*c_0110_5^11 - 581385698766000229/11995124821*c_0110_5^10 + 495764654982126045/11995124821*c_0110_5^9 - 212242086294827283/11995124821*c_0110_5^8 - 8563361275410858/11995124821*c_0110_5^7 + 37616608919294305/11995124821*c_0110_5^6 + 3612927397541074/11995124821*c_0110_5^5 - 4703807715641044/11995124821*c_0110_5^4 - 9887072366671707/11995124821*c_0110_5^3 + 9007840685564068/11995124821*c_0110_5^2 - 2803550773996724/11995124821*c_0110_5 + 312211604647638/11995124821, c_0110_5^19 - 6*c_0110_5^18 - 11*c_0110_5^17 + 145*c_0110_5^16 - 401*c_0110_5^15 + 372*c_0110_5^14 + 707*c_0110_5^13 - 2977*c_0110_5^12 + 5040*c_0110_5^11 - 5073*c_0110_5^10 + 2962*c_0110_5^9 - 624*c_0110_5^8 - 271*c_0110_5^7 + 97*c_0110_5^6 + 42*c_0110_5^5 + 49*c_0110_5^4 - 90*c_0110_5^3 + 47*c_0110_5^2 - 11*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB