Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1831661984] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0348 geometric_solution 4.37421634 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 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 0 -1 1 0 1 0 0 -1 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.165882560165 1.191986960138 0 3 2 4 0132 2310 1023 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 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.695167240821 0.394241978860 0 0 1 3 2310 0132 1023 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114532100246 0.822996521603 4 2 0 1 3120 0321 0132 3201 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 1 -1 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.088436519188 0.617272135381 5 5 1 3 0132 2310 0132 3120 0 0 0 0 0 0 0 0 -1 0 1 0 -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 1 0 -1 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.476815069267 0.299707644079 4 6 6 4 0132 0132 1023 3201 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 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.571093299446 0.214513322317 6 5 5 6 3201 0132 1023 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 2.177509481110 0.171800920670 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_1'], '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_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0101_1']})} 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_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 11830032316070239/7713229640483738*c_0101_6^13 + 9000987307738338/550944974320267*c_0101_6^12 - 252294326203210710/3856614820241869*c_0101_6^11 + 1027046567031972481/7713229640483738*c_0101_6^10 + 113986284916156847/7713229640483738*c_0101_6^9 + 1319158627231746496/3856614820241869*c_0101_6^8 + 1808280109227733851/3856614820241869*c_0101_6^7 + 1387940449877026469/3856614820241869*c_0101_6^6 + 1987297963336510663/3856614820241869*c_0101_6^5 + 764697691594590791/7713229640483738*c_0101_6^4 + 499634390633165670/3856614820241869*c_0101_6^3 - 6724737309263373/202979727381151*c_0101_6^2 + 42282272662083434/3856614820241869*c_0101_6 - 64129274895744536/3856614820241869, c_0011_0 - 1, c_0011_3 + 18866807254191/57994207823186*c_0101_6^13 - 189063817026679/57994207823186*c_0101_6^12 + 682882763585599/57994207823186*c_0101_6^11 - 1181845181889413/57994207823186*c_0101_6^10 - 508520593851030/28997103911593*c_0101_6^9 - 2348514674001576/28997103911593*c_0101_6^8 - 8596944347198305/57994207823186*c_0101_6^7 - 4576927430406945/28997103911593*c_0101_6^6 - 5473685976982791/28997103911593*c_0101_6^5 - 6895721920518511/57994207823186*c_0101_6^4 - 4517257950684933/57994207823186*c_0101_6^3 - 1699923132679273/57994207823186*c_0101_6^2 - 392381562975906/28997103911593*c_0101_6 - 29910303585661/28997103911593, c_0011_4 - 3946734912619/28997103911593*c_0101_6^13 + 41107176478200/28997103911593*c_0101_6^12 - 159028044387580/28997103911593*c_0101_6^11 + 309090044976666/28997103911593*c_0101_6^10 + 97062442956769/28997103911593*c_0101_6^9 + 1848202867587951/57994207823186*c_0101_6^8 + 2925639527063617/57994207823186*c_0101_6^7 + 2696425983182859/57994207823186*c_0101_6^6 + 1859827140154364/28997103911593*c_0101_6^5 + 1672591732189795/57994207823186*c_0101_6^4 + 1409403543807355/57994207823186*c_0101_6^3 + 372225705153983/57994207823186*c_0101_6^2 + 156110612544731/57994207823186*c_0101_6 + 1433972109435/57994207823186, c_0101_1 - 21140522967977/28997103911593*c_0101_6^13 + 429155016731507/57994207823186*c_0101_6^12 - 794325428299498/28997103911593*c_0101_6^11 + 2882859373152417/57994207823186*c_0101_6^10 + 899627824461443/28997103911593*c_0101_6^9 + 5245627258429905/28997103911593*c_0101_6^8 + 9012785572921562/28997103911593*c_0101_6^7 + 18935573283097045/57994207823186*c_0101_6^6 + 23438118240046991/57994207823186*c_0101_6^5 + 13779007206964471/57994207823186*c_0101_6^4 + 5027562912412051/28997103911593*c_0101_6^3 + 3559176971924699/57994207823186*c_0101_6^2 + 898779065781849/28997103911593*c_0101_6 + 99338033972639/28997103911593, c_0101_2 - 1, c_0101_5 + 2924636743815/28997103911593*c_0101_6^13 - 58272961709357/57994207823186*c_0101_6^12 + 206876319329671/57994207823186*c_0101_6^11 - 169632645713204/28997103911593*c_0101_6^10 - 392826113419511/57994207823186*c_0101_6^9 - 1378156703237235/57994207823186*c_0101_6^8 - 1327308406081088/28997103911593*c_0101_6^7 - 2794448699993799/57994207823186*c_0101_6^6 - 1575763690316336/28997103911593*c_0101_6^5 - 2123823853251259/57994207823186*c_0101_6^4 - 678389251528942/28997103911593*c_0101_6^3 - 261793817288033/28997103911593*c_0101_6^2 - 308960833823333/57994207823186*c_0101_6 - 14535307698795/57994207823186, c_0101_6^14 - 10*c_0101_6^13 + 36*c_0101_6^12 - 62*c_0101_6^11 - 55*c_0101_6^10 - 250*c_0101_6^9 - 463*c_0101_6^8 - 502*c_0101_6^7 - 608*c_0101_6^6 - 402*c_0101_6^5 - 275*c_0101_6^4 - 120*c_0101_6^3 - 54*c_0101_6^2 - 12*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB