Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 526287832] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0245 geometric_solution 4.26875792 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.320915358740 0.176533271503 0 2 3 0 3201 0132 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 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 1.061561395246 0.129586938042 4 1 3 5 0132 0132 1302 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 1 -1 0 1 0 -1 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.792193711620 0.825332713655 2 5 4 1 2031 0132 3120 0132 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 1 0 -1 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.320915358740 0.176533271503 2 6 3 5 0132 0132 3120 1023 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 -1 0 1 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.089112427009 0.726150728679 6 3 2 4 3120 0132 0132 1023 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 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.078716929315 0.430481279839 6 4 6 5 2031 0132 1302 3120 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609657855389 0.260971822285 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_3, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 2476046581277710305063/187632633464309589808*c_1001_1^15 + 850423125243798888049/46908158366077397452*c_1001_1^14 - 78335924174299920157205/187632633464309589808*c_1001_1^13 - 100847540753747201584629/187632633464309589808*c_1001_1^12 + 851241453266800249668573/187632633464309589808*c_1001_1^11 + 439524987638689062079047/93816316732154794904*c_1001_1^10 - 1690768030442980501701295/93816316732154794904*c_1001_1^9 - 1265609273788398359795953/187632633464309589808*c_1001_1^8 + 4011711386028714336608349/187632633464309589808*c_1001_1^7 - 5150758369705396250903/3540238367251124336*c_1001_1^6 - 660210124109686191626161/93816316732154794904*c_1001_1^5 + 1845772230219145228639419/187632633464309589808*c_1001_1^4 - 380606632327439264913665/187632633464309589808*c_1001_1^3 - 1351410740335683544823027/187632633464309589808*c_1001_1^2 + 211864232133370602110069/187632633464309589808*c_1001_1 + 151910592632668175142265/93816316732154794904, c_0011_0 - 1, c_0011_1 + 5837633605947629641/5025874110651149727*c_1001_1^15 + 2381094983077606208/1675291370217049909*c_1001_1^14 - 186556108629423494800/5025874110651149727*c_1001_1^13 - 211395686863091618657/5025874110651149727*c_1001_1^12 + 2062591808076588132620/5025874110651149727*c_1001_1^11 + 1811807637748457739364/5025874110651149727*c_1001_1^10 - 2827011073468452421998/1675291370217049909*c_1001_1^9 - 718686511110570916103/1675291370217049909*c_1001_1^8 + 10529302873598067307864/5025874110651149727*c_1001_1^7 - 24725667264286790656/94827813408512259*c_1001_1^6 - 3471797015814607452521/5025874110651149727*c_1001_1^5 + 4556215783922826435764/5025874110651149727*c_1001_1^4 - 1424343585453422379023/5025874110651149727*c_1001_1^3 - 3422111390585912987048/5025874110651149727*c_1001_1^2 + 807954722905366476893/5025874110651149727*c_1001_1 + 858753979532174950883/5025874110651149727, c_0011_3 - 4070366086853506561/6701165480868199636*c_1001_1^15 - 2297670497632446861/3350582740434099818*c_1001_1^14 + 130250998792010531583/6701165480868199636*c_1001_1^13 + 134910313445890650313/6701165480868199636*c_1001_1^12 - 1442471930965023152125/6701165480868199636*c_1001_1^11 - 280650064935812175259/1675291370217049909*c_1001_1^10 + 2962574989833931797243/3350582740434099818*c_1001_1^9 + 921467895336547155735/6701165480868199636*c_1001_1^8 - 7042913422607190091989/6701165480868199636*c_1001_1^7 + 26926704520477946983/126437084544683012*c_1001_1^6 + 486407172850966561425/1675291370217049909*c_1001_1^5 - 3084885423363978199509/6701165480868199636*c_1001_1^4 + 1225107326056459401221/6701165480868199636*c_1001_1^3 + 2108914587334982824463/6701165480868199636*c_1001_1^2 - 592986793463820529813/6701165480868199636*c_1001_1 - 127537211148523310267/1675291370217049909, c_0101_0 + 22690037733762264559/10051748221302299454*c_1001_1^15 + 4538491072476104451/1675291370217049909*c_1001_1^14 - 725261778662823635389/10051748221302299454*c_1001_1^13 - 804140619060357056117/10051748221302299454*c_1001_1^12 + 8020170522036187929581/10051748221302299454*c_1001_1^11 + 3420358833090434237216/5025874110651149727*c_1001_1^10 - 5492252246296939731345/1675291370217049909*c_1001_1^9 - 2504883600462616065689/3350582740434099818*c_1001_1^8 + 40426317042905422888561/10051748221302299454*c_1001_1^7 - 111772132964852425609/189655626817024518*c_1001_1^6 - 6369746809201618008709/5025874110651149727*c_1001_1^5 + 17570342783598103137713/10051748221302299454*c_1001_1^4 - 5905509437222349784925/10051748221302299454*c_1001_1^3 - 12820297545379682069915/10051748221302299454*c_1001_1^2 + 3181003528541011890293/10051748221302299454*c_1001_1 + 1590811419579685174036/5025874110651149727, c_0101_3 + 7912889433226387340/5025874110651149727*c_1001_1^15 + 3096815817308994844/1675291370217049909*c_1001_1^14 - 253046248461408308900/5025874110651149727*c_1001_1^13 - 273821213289412712890/5025874110651149727*c_1001_1^12 + 2800108101080261195095/5025874110651149727*c_1001_1^11 + 2312319829915383298589/5025874110651149727*c_1001_1^10 - 3835935275148208226645/1675291370217049909*c_1001_1^9 - 776111518007364144511/1675291370217049909*c_1001_1^8 + 13977874145503138054088/5025874110651149727*c_1001_1^7 - 43209055369338934820/94827813408512259*c_1001_1^6 - 4258984584040138210186/5025874110651149727*c_1001_1^5 + 6061973087379157657591/5025874110651149727*c_1001_1^4 - 2155873926128767561429/5025874110651149727*c_1001_1^3 - 4363073488476704699278/5025874110651149727*c_1001_1^2 + 1133866438876200295084/5025874110651149727*c_1001_1 + 1087577606840203944109/5025874110651149727, c_0110_5 + 6946152025973018499/6701165480868199636*c_1001_1^15 + 4303838667981232803/3350582740434099818*c_1001_1^14 - 221846556186034183301/6701165480868199636*c_1001_1^13 - 254880599008951099011/6701165480868199636*c_1001_1^12 + 2450390718218218438079/6701165480868199636*c_1001_1^11 + 547672713749968535591/1675291370217049909*c_1001_1^10 - 5030393038030676537805/3350582740434099818*c_1001_1^9 - 2688167000369075292461/6701165480868199636*c_1001_1^8 + 12515383743861883273791/6701165480868199636*c_1001_1^7 - 27953106049927000461/126437084544683012*c_1001_1^6 - 1042502017274800618479/1675291370217049909*c_1001_1^5 + 5423226461328424822799/6701165480868199636*c_1001_1^4 - 1635039797497969990363/6701165480868199636*c_1001_1^3 - 4077287741293342640853/6701165480868199636*c_1001_1^2 + 938622857856278287623/6701165480868199636*c_1001_1 + 255436251351665115709/1675291370217049909, c_1001_1^16 + 2*c_1001_1^15 - 31*c_1001_1^14 - 61*c_1001_1^13 + 325*c_1001_1^12 + 584*c_1001_1^11 - 1210*c_1001_1^10 - 1491*c_1001_1^9 + 1513*c_1001_1^8 + 1161*c_1001_1^7 - 768*c_1001_1^6 + 325*c_1001_1^5 + 359*c_1001_1^4 - 771*c_1001_1^3 - 311*c_1001_1^2 + 252*c_1001_1 + 112 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB