Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 2160139694] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2593 geometric_solution 5.88418945 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 0213 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 1 1 -2 0 0 0 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.080452931029 1.373733169847 0 0 5 4 0132 0213 0132 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 -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.820843359969 1.278347243650 4 0 6 6 0213 0132 3201 0132 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 0 1 1 0 -1 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.166030282975 0.550125480131 5 4 0 4 2310 1302 0132 0321 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 2 -1 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.098928546216 1.094064741547 2 3 1 3 0213 0321 0132 2031 0 0 0 0 0 -1 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 0 0 0 0 1 0 -1 -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.570803816711 0.443908391735 5 5 3 1 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153731391961 0.778403955621 2 6 2 6 2310 2310 0132 3201 0 0 0 0 0 -1 1 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 1 -1 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 -1.059020675183 0.786583561987 ==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' : negation(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' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1001_4'], 'c_1100_3' : d['c_1001_4'], 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_4'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(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_0011_5, c_0011_6, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 20466488428890464608427/119181662879354677120*c_1001_4^17 - 50647494868336433597397/119181662879354677120*c_1001_4^16 + 161963079675332443401149/59590831439677338560*c_1001_4^15 + 2110627287605972473025/23836332575870935424*c_1001_4^14 - 228345614645454517151307/23836332575870935424*c_1001_4^13 + 100839056903826221216365/5959083143967733856*c_1001_4^12 - 2990908588199415924164311/119181662879354677120*c_1001_4^11 + 703870119292206737706109/119181662879354677120*c_1001_4^10 + 44406315755598768876203/931106741244958415*c_1001_4^9 - 2089857349245675136011077/29795415719838669280*c_1001_4^8 + 565057715251600533261441/7448853929959667320*c_1001_4^7 - 5899762113458884062775041/119181662879354677120*c_1001_4^6 - 1854430698504414648008603/59590831439677338560*c_1001_4^5 + 5938087322994051142427007/119181662879354677120*c_1001_4^4 - 1243043078255987402218847/59590831439677338560*c_1001_4^3 + 464369561082208369891509/119181662879354677120*c_1001_4^2 + 229709408683630305432381/59590831439677338560*c_1001_4 + 8594395029699016942731/5959083143967733856, c_0011_0 - 1, c_0011_3 + 152016665312162687/931106741244958415*c_1001_4^17 + 471284352973753784/931106741244958415*c_1001_4^16 - 2031276473232547591/931106741244958415*c_1001_4^15 - 1070480623287762078/931106741244958415*c_1001_4^14 + 1370948150981594965/186221348248991683*c_1001_4^13 - 2321469435717996738/186221348248991683*c_1001_4^12 + 18173398180430399726/931106741244958415*c_1001_4^11 + 1240107445736131272/931106741244958415*c_1001_4^10 - 33741294537851265208/931106741244958415*c_1001_4^9 + 44402525438660082109/931106741244958415*c_1001_4^8 - 55269380514563803748/931106741244958415*c_1001_4^7 + 5244675749454442815/186221348248991683*c_1001_4^6 + 21567693385802956957/931106741244958415*c_1001_4^5 - 24817884833286056186/931106741244958415*c_1001_4^4 + 14377127014557511617/931106741244958415*c_1001_4^3 - 352147421943648548/186221348248991683*c_1001_4^2 - 982970301904367366/931106741244958415*c_1001_4 - 209783268577725457/931106741244958415, c_0011_4 + 35065867615575627/931106741244958415*c_1001_4^17 + 122513577873213513/931106741244958415*c_1001_4^16 - 443649393136086672/931106741244958415*c_1001_4^15 - 503595512292776439/931106741244958415*c_1001_4^14 + 329750639140580660/186221348248991683*c_1001_4^13 - 361095596964032368/186221348248991683*c_1001_4^12 + 2596876159577671636/931106741244958415*c_1001_4^11 + 2929253088310508454/931106741244958415*c_1001_4^10 - 8897582673955959826/931106741244958415*c_1001_4^9 + 5989976990586234536/931106741244958415*c_1001_4^8 - 6301630418085214057/931106741244958415*c_1001_4^7 - 2113265351803355732/931106741244958415*c_1001_4^6 + 10577434165650188244/931106741244958415*c_1001_4^5 - 3852483650164975974/931106741244958415*c_1001_4^4 - 120602652930343397/931106741244958415*c_1001_4^3 + 2203653309379120298/931106741244958415*c_1001_4^2 + 400135134519211261/931106741244958415*c_1001_4 - 589399455631630421/931106741244958415, c_0011_5 + 399591362104677939/1862213482489916830*c_1001_4^17 + 586673895032416253/931106741244958415*c_1001_4^16 - 5605457294085590369/1862213482489916830*c_1001_4^15 - 2152712198004522953/1862213482489916830*c_1001_4^14 + 1922896400670088755/186221348248991683*c_1001_4^13 - 6588386472372597225/372442696497983366*c_1001_4^12 + 50295482559382551167/1862213482489916830*c_1001_4^11 - 8476489435181466/931106741244958415*c_1001_4^10 - 95954624441227662627/1862213482489916830*c_1001_4^9 + 65250790556455818496/931106741244958415*c_1001_4^8 - 76677550720041267957/931106741244958415*c_1001_4^7 + 76254067824936255951/1862213482489916830*c_1001_4^6 + 65402655361438868063/1862213482489916830*c_1001_4^5 - 85556505686347936723/1862213482489916830*c_1001_4^4 + 46153425818209521881/1862213482489916830*c_1001_4^3 - 3853851607224576619/1862213482489916830*c_1001_4^2 - 3509672583829702213/1862213482489916830*c_1001_4 - 183243805280478166/931106741244958415, c_0011_6 + 144216341440380729/1862213482489916830*c_1001_4^17 + 248956426446287822/931106741244958415*c_1001_4^16 - 1759266111353089341/1862213482489916830*c_1001_4^15 - 324968681941232007/372442696497983366*c_1001_4^14 + 616638313265694644/186221348248991683*c_1001_4^13 - 1818477529802467461/372442696497983366*c_1001_4^12 + 13373662827593232197/1862213482489916830*c_1001_4^11 + 3676254503988001081/931106741244958415*c_1001_4^10 - 32757855364237896983/1862213482489916830*c_1001_4^9 + 16882869590244432583/931106741244958415*c_1001_4^8 - 19252925219692022526/931106741244958415*c_1001_4^7 + 6139481762560046317/1862213482489916830*c_1001_4^6 + 33548718441655758867/1862213482489916830*c_1001_4^5 - 23400458891174469969/1862213482489916830*c_1001_4^4 + 10134834924628192073/1862213482489916830*c_1001_4^3 + 343150485716910507/1862213482489916830*c_1001_4^2 - 2595513794219410219/1862213482489916830*c_1001_4 + 9223749985308894/186221348248991683, c_0101_6 + 204353233995585997/1862213482489916830*c_1001_4^17 + 358568626630397774/931106741244958415*c_1001_4^16 - 2474183382519381857/1862213482489916830*c_1001_4^15 - 2577386595997857589/1862213482489916830*c_1001_4^14 + 862187946681989245/186221348248991683*c_1001_4^13 - 2331255976376452331/372442696497983366*c_1001_4^12 + 17984671079757084011/1862213482489916830*c_1001_4^11 + 5664673223662365942/931106741244958415*c_1001_4^10 - 43951922144056802021/1862213482489916830*c_1001_4^9 + 19781877216509193323/931106741244958415*c_1001_4^8 - 24643535943503981156/931106741244958415*c_1001_4^7 + 6568436552493486743/1862213482489916830*c_1001_4^6 + 41035566556570776259/1862213482489916830*c_1001_4^5 - 17420206858862241859/1862213482489916830*c_1001_4^4 + 3502538575196497323/1862213482489916830*c_1001_4^3 + 5856958900383501313/1862213482489916830*c_1001_4^2 - 2407642427902528989/1862213482489916830*c_1001_4 - 721639569866430168/931106741244958415, c_1001_4^18 + 2*c_1001_4^17 - 17*c_1001_4^16 + 7*c_1001_4^15 + 56*c_1001_4^14 - 125*c_1001_4^13 + 193*c_1001_4^12 - 104*c_1001_4^11 - 261*c_1001_4^10 + 540*c_1001_4^9 - 636*c_1001_4^8 + 499*c_1001_4^7 + 43*c_1001_4^6 - 375*c_1001_4^5 + 259*c_1001_4^4 - 81*c_1001_4^3 - 11*c_1001_4^2 + 2*c_1001_4 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB