Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 812756183] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1837 geometric_solution 5.48874299 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 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.159957720680 0.907640967607 0 5 5 4 0132 0132 1023 0213 0 0 0 0 0 1 0 -1 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.362179686387 0.330913098839 6 0 6 4 0132 0132 1023 2031 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 0 0 0 0 0 -1 1 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.956620575448 0.683705383437 4 3 3 0 0213 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.063950429907 0.753293952978 3 2 0 1 0213 1302 0132 0213 0 0 0 0 0 0 -1 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 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.465288243484 0.418399987709 5 1 1 5 3012 0132 1023 1230 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 1.692762718999 0.992347488964 2 6 2 6 0132 2310 1023 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 1 -1 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.711821868586 0.276902988677 ==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_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' : d['1'], 's_1_1' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_6']})} 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_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 284245965423129/32411630621875*c_0101_6^17 + 452533499004141/6482326124375*c_0101_6^16 + 4880925640872859/32411630621875*c_0101_6^15 + 69632992523684/6482326124375*c_0101_6^14 - 308933645906218/6482326124375*c_0101_6^13 + 19794060944847697/32411630621875*c_0101_6^12 + 10436416545280768/32411630621875*c_0101_6^11 - 45972380003567481/32411630621875*c_0101_6^10 - 1812866733861477/32411630621875*c_0101_6^9 + 73663087306603399/32411630621875*c_0101_6^8 - 6418605751928798/6482326124375*c_0101_6^7 - 84122380967780711/32411630621875*c_0101_6^6 + 44971962213202396/32411630621875*c_0101_6^5 + 405201742176866/297354409375*c_0101_6^4 - 38671636722439557/32411630621875*c_0101_6^3 - 11747062361778107/32411630621875*c_0101_6^2 + 14477970947188916/32411630621875*c_0101_6 + 745555870457886/6482326124375, c_0011_0 - 1, c_0011_3 - 28782779438/66828104375*c_0101_6^17 - 48613364992/13365620875*c_0101_6^16 - 615363232073/66828104375*c_0101_6^15 - 73179985028/13365620875*c_0101_6^14 - 26505655134/13365620875*c_0101_6^13 - 2229811434659/66828104375*c_0101_6^12 - 2249716104096/66828104375*c_0101_6^11 + 3284772144332/66828104375*c_0101_6^10 + 1106996783819/66828104375*c_0101_6^9 - 7081806160253/66828104375*c_0101_6^8 + 94436918066/13365620875*c_0101_6^7 + 8170445391967/66828104375*c_0101_6^6 - 1832972741762/66828104375*c_0101_6^5 - 40692312752/613101875*c_0101_6^4 + 2747735079904/66828104375*c_0101_6^3 + 1804659594229/66828104375*c_0101_6^2 - 712482164627/66828104375*c_0101_6 - 50776088342/13365620875, c_0011_4 + 467172664/2673124175*c_0101_6^17 + 771604786/534624835*c_0101_6^16 + 9385508194/2673124175*c_0101_6^15 + 961974044/534624835*c_0101_6^14 + 205157142/534624835*c_0101_6^13 + 32192343777/2673124175*c_0101_6^12 + 30094119563/2673124175*c_0101_6^11 - 53638528696/2673124175*c_0101_6^10 - 22317595482/2673124175*c_0101_6^9 + 102264942509/2673124175*c_0101_6^8 + 341807347/534624835*c_0101_6^7 - 123669258451/2673124175*c_0101_6^6 + 11346382611/2673124175*c_0101_6^5 + 702690956/24524075*c_0101_6^4 - 29239152987/2673124175*c_0101_6^3 - 33735266112/2673124175*c_0101_6^2 + 12219605006/2673124175*c_0101_6 + 1239610336/534624835, c_0101_0 + 69587316212/66828104375*c_0101_6^17 + 116783446358/13365620875*c_0101_6^16 + 1449250129702/66828104375*c_0101_6^15 + 151689176872/13365620875*c_0101_6^14 + 40559967066/13365620875*c_0101_6^13 + 5370108922666/66828104375*c_0101_6^12 + 4995123603204/66828104375*c_0101_6^11 - 8595127906643/66828104375*c_0101_6^10 - 2108092513381/66828104375*c_0101_6^9 + 17387694130522/66828104375*c_0101_6^8 - 533756283984/13365620875*c_0101_6^7 - 19636797723883/66828104375*c_0101_6^6 + 5824572179463/66828104375*c_0101_6^5 + 92802863598/613101875*c_0101_6^4 - 7187072922171/66828104375*c_0101_6^3 - 3765927518471/66828104375*c_0101_6^2 + 1967831951098/66828104375*c_0101_6 + 111662496133/13365620875, c_0101_2 - 1047864719/13365620875*c_0101_6^17 - 1913098391/2673124175*c_0101_6^16 - 27168869449/13365620875*c_0101_6^15 - 3785314429/2673124175*c_0101_6^14 + 1209399343/2673124175*c_0101_6^13 - 77957763967/13365620875*c_0101_6^12 - 124027316048/13365620875*c_0101_6^11 + 146611244966/13365620875*c_0101_6^10 + 150898456922/13365620875*c_0101_6^9 - 341619761814/13365620875*c_0101_6^8 - 24159934012/2673124175*c_0101_6^7 + 466312525696/13365620875*c_0101_6^6 + 34905850669/13365620875*c_0101_6^5 - 3162594026/122620375*c_0101_6^4 + 69291454252/13365620875*c_0101_6^3 + 164526426402/13365620875*c_0101_6^2 - 38990633976/13365620875*c_0101_6 - 6063342196/2673124175, c_0101_5 - 83721787864/66828104375*c_0101_6^17 - 139153085496/13365620875*c_0101_6^16 - 1697199398244/66828104375*c_0101_6^15 - 168613630724/13365620875*c_0101_6^14 - 55466905142/13365620875*c_0101_6^13 - 6373617997327/66828104375*c_0101_6^12 - 5574266415013/66828104375*c_0101_6^11 + 10161885475371/66828104375*c_0101_6^10 + 1969095179057/66828104375*c_0101_6^9 - 20066349835559/66828104375*c_0101_6^8 + 731155742253/13365620875*c_0101_6^7 + 22361145851626/66828104375*c_0101_6^6 - 6923512531936/66828104375*c_0101_6^5 - 104526810106/613101875*c_0101_6^4 + 8203059635287/66828104375*c_0101_6^3 + 4336987511562/66828104375*c_0101_6^2 - 2189413184556/66828104375*c_0101_6 - 135870770326/13365620875, c_0101_6^18 + 9*c_0101_6^17 + 26*c_0101_6^16 + 24*c_0101_6^15 + 10*c_0101_6^14 + 78*c_0101_6^13 + 119*c_0101_6^12 - 76*c_0101_6^11 - 109*c_0101_6^10 + 224*c_0101_6^9 + 124*c_0101_6^8 - 299*c_0101_6^7 - 102*c_0101_6^6 + 197*c_0101_6^5 - 4*c_0101_6^4 - 120*c_0101_6^3 - 8*c_0101_6^2 + 26*c_0101_6 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB