Magma V2.19-8 Wed Aug 21 2013 01:02:07 on localhost [Seed = 408814522] Type ? for help. Type -D to quit. Loading file "L14n13932__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13932 geometric_solution 11.82996800 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 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 0 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.188832392409 0.841572591256 0 4 6 5 0132 0132 0132 0132 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 -2 2 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.222096513837 0.865183430499 7 0 0 8 0132 0132 0321 0132 1 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 -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.188832392409 0.841572591256 9 6 0 10 0132 0213 0132 0132 1 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 -2 1 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 1.358757449317 0.843576019933 7 1 11 5 1023 0132 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 2 -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.538159113836 1.374991321734 12 4 1 10 0132 0321 0132 0321 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 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 1.542555114148 1.862240429199 9 10 3 1 3120 0321 0213 0132 1 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 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472676496723 0.595133850116 2 4 9 12 0132 1023 0321 0213 0 0 0 0 0 0 -1 1 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 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.493111835303 0.891993893171 10 11 2 11 0321 0213 0132 0321 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 -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.156078027235 1.370776384813 3 11 7 6 0132 3012 0321 3120 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 -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.750341767517 0.768252221305 8 5 3 6 0321 0321 0132 0321 1 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874073623069 0.568465053404 9 8 8 4 1230 0321 0213 0132 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 -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.917999899695 0.720176972006 5 12 12 7 0132 3201 2310 0213 0 0 0 0 0 1 0 -1 0 0 -1 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 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.166227739104 0.635822254605 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_1'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_1001_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1001_4'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_4'], 'c_1100_10' : d['c_1001_2'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_10'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_1001_4'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_1001_0, c_1001_1, c_1001_10, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 182956794949292091/545353163948416*c_1001_4^20 - 1056131792470057779/545353163948416*c_1001_4^19 + 3873199149366390973/545353163948416*c_1001_4^18 - 5570439912489733345/545353163948416*c_1001_4^17 + 2954549062575452313/272676581974208*c_1001_4^16 - 4887403058692219757/272676581974208*c_1001_4^15 + 14908408808126773113/545353163948416*c_1001_4^14 - 13355300181354508005/545353163948416*c_1001_4^13 + 6798263528001935883/545353163948416*c_1001_4^12 - 1821094378630368619/272676581974208*c_1001_4^11 + 2734325275141754199/545353163948416*c_1001_4^10 + 225378032015260523/545353163948416*c_1001_4^9 - 1200818842413396959/545353163948416*c_1001_4^8 - 2037052551403671299/545353163948416*c_1001_4^7 + 27941919046034237/4260571593347*c_1001_4^6 - 6695237985329806/4260571593347*c_1001_4^5 - 81168360003528205/34084572746776*c_1001_4^4 + 15532814610183779/17042286373388*c_1001_4^3 + 388111751123189853/272676581974208*c_1001_4^2 - 189193663443444575/136338290987104*c_1001_4 + 228940731885315849/545353163948416, c_0011_0 - 1, c_0011_10 + 37771989563/7890481568*c_1001_4^20 - 75818399685/3945240784*c_1001_4^19 + 446844622613/23671444704*c_1001_4^18 - 39084207575/1479465294*c_1001_4^17 + 39174770282/739732647*c_1001_4^16 - 742462160557/11835722352*c_1001_4^15 + 1052683108031/23671444704*c_1001_4^14 - 532678975099/11835722352*c_1001_4^13 + 895851400747/23671444704*c_1001_4^12 - 159421759927/23671444704*c_1001_4^11 - 53286420625/11835722352*c_1001_4^10 - 103986229087/7890481568*c_1001_4^9 + 8910936152/739732647*c_1001_4^8 - 35470233581/23671444704*c_1001_4^7 + 183617179595/23671444704*c_1001_4^6 - 55564536073/7890481568*c_1001_4^5 - 83989967641/23671444704*c_1001_4^4 + 50688381437/23671444704*c_1001_4^3 + 103029229853/23671444704*c_1001_4^2 - 63726812633/23671444704*c_1001_4 + 1102045455/3945240784, c_0011_12 - 40488674037/3945240784*c_1001_4^20 + 2712392403/986310196*c_1001_4^19 - 20696571491/3945240784*c_1001_4^18 + 20049519127/986310196*c_1001_4^17 - 51722171717/1972620392*c_1001_4^16 + 11298367221/1972620392*c_1001_4^15 - 55801284673/3945240784*c_1001_4^14 + 45191554491/1972620392*c_1001_4^13 - 19191819209/3945240784*c_1001_4^12 - 20379977467/3945240784*c_1001_4^11 - 2718080001/246577549*c_1001_4^10 + 22803702723/3945240784*c_1001_4^9 + 3056039755/493155098*c_1001_4^8 + 3027611215/3945240784*c_1001_4^7 - 15295976757/3945240784*c_1001_4^6 - 3067017563/3945240784*c_1001_4^5 - 2789559863/3945240784*c_1001_4^4 + 5910918913/3945240784*c_1001_4^3 + 2977785109/3945240784*c_1001_4^2 + 594918141/3945240784*c_1001_4 + 3714589/246577549, c_0011_3 + 18747889587/1972620392*c_1001_4^20 - 194404355607/7890481568*c_1001_4^19 + 56692485777/1972620392*c_1001_4^18 - 358202421499/7890481568*c_1001_4^17 + 301773307111/3945240784*c_1001_4^16 - 170426470911/1972620392*c_1001_4^15 + 296976883561/3945240784*c_1001_4^14 - 553127143461/7890481568*c_1001_4^13 + 12386713847/246577549*c_1001_4^12 - 71281113193/7890481568*c_1001_4^11 - 7833756109/7890481568*c_1001_4^10 - 20976555655/1972620392*c_1001_4^9 + 75307048355/7890481568*c_1001_4^8 - 13118033421/3945240784*c_1001_4^7 + 91252393899/7890481568*c_1001_4^6 - 49076206831/7890481568*c_1001_4^5 - 38181717417/7890481568*c_1001_4^4 + 18816521109/7890481568*c_1001_4^3 + 37267825551/7890481568*c_1001_4^2 - 27502464581/7890481568*c_1001_4 + 5088497937/7890481568, c_0011_6 + 22939/84088*c_1001_4^20 - 5105499/336352*c_1001_4^19 + 5879821/252264*c_1001_4^18 - 26807917/1009056*c_1001_4^17 + 25003429/504528*c_1001_4^16 - 18635287/252264*c_1001_4^15 + 34682315/504528*c_1001_4^14 - 65190259/1009056*c_1001_4^13 + 7053883/126132*c_1001_4^12 - 25816343/1009056*c_1001_4^11 - 1066987/1009056*c_1001_4^10 - 699321/84088*c_1001_4^9 + 11389157/1009056*c_1001_4^8 - 2534495/504528*c_1001_4^7 + 9013189/1009056*c_1001_4^6 - 3872435/336352*c_1001_4^5 - 2727047/1009056*c_1001_4^4 + 5525131/1009056*c_1001_4^3 + 3070129/1009056*c_1001_4^2 - 4662595/1009056*c_1001_4 + 398677/336352, c_0101_0 + 192203625215/7890481568*c_1001_4^20 - 138060067509/3945240784*c_1001_4^19 + 749991234137/23671444704*c_1001_4^18 - 90206262677/1479465294*c_1001_4^17 + 353617725467/2958930588*c_1001_4^16 - 1079168668153/11835722352*c_1001_4^15 + 1233626629739/23671444704*c_1001_4^14 - 887535521071/11835722352*c_1001_4^13 + 1421119502455/23671444704*c_1001_4^12 + 615111172205/23671444704*c_1001_4^11 - 212006845105/11835722352*c_1001_4^10 - 324892459947/7890481568*c_1001_4^9 + 11451690338/739732647*c_1001_4^8 + 435697287967/23671444704*c_1001_4^7 + 388542536327/23671444704*c_1001_4^6 - 172281977485/7890481568*c_1001_4^5 - 279666809173/23671444704*c_1001_4^4 + 170621762897/23671444704*c_1001_4^3 + 277449170513/23671444704*c_1001_4^2 - 113386038677/23671444704*c_1001_4 - 11312857713/3945240784, c_0101_1 + 1100032770739/7890481568*c_1001_4^20 - 1105647854199/3945240784*c_1001_4^19 + 8083928547613/23671444704*c_1001_4^18 - 3192734802799/5917861176*c_1001_4^17 + 1425257294171/1479465294*c_1001_4^16 - 12421664487341/11835722352*c_1001_4^15 + 20341046868223/23671444704*c_1001_4^14 - 10039946997725/11835722352*c_1001_4^13 + 17550785070971/23671444704*c_1001_4^12 - 5156731911443/23671444704*c_1001_4^11 - 592778136371/11835722352*c_1001_4^10 - 1266983960535/7890481568*c_1001_4^9 + 1072709744207/5917861176*c_1001_4^8 - 31035631093/23671444704*c_1001_4^7 + 1445425971247/23671444704*c_1001_4^6 - 1174395768405/7890481568*c_1001_4^5 + 352823546251/23671444704*c_1001_4^4 + 1370939459497/23671444704*c_1001_4^3 + 571700361049/23671444704*c_1001_4^2 - 1390635890077/23671444704*c_1001_4 + 79733979693/3945240784, c_0101_10 - 50039309831/7890481568*c_1001_4^20 + 46434353763/1972620392*c_1001_4^19 - 767557141289/23671444704*c_1001_4^18 + 422926313023/11835722352*c_1001_4^17 - 404790932347/5917861176*c_1001_4^16 + 1126808754217/11835722352*c_1001_4^15 - 1802172178919/23671444704*c_1001_4^14 + 39903522394/739732647*c_1001_4^13 - 1265990089903/23671444704*c_1001_4^12 + 615712103989/23671444704*c_1001_4^11 + 65085884213/5917861176*c_1001_4^10 + 15710039259/7890481568*c_1001_4^9 - 246981645671/11835722352*c_1001_4^8 + 218128962125/23671444704*c_1001_4^7 + 11958474499/23671444704*c_1001_4^6 + 69358794111/7890481568*c_1001_4^5 - 72875071049/23671444704*c_1001_4^4 - 70055481899/23671444704*c_1001_4^3 - 43183302527/23671444704*c_1001_4^2 + 123937220471/23671444704*c_1001_4 - 3344055877/1972620392, c_1001_0 - 1, c_1001_1 - 43337385/336352*c_1001_4^20 + 98911701/336352*c_1001_4^19 - 119116245/336352*c_1001_4^18 + 187897947/336352*c_1001_4^17 - 168500667/168176*c_1001_4^16 + 190780131/168176*c_1001_4^15 - 313629141/336352*c_1001_4^14 + 314796275/336352*c_1001_4^13 - 284007367/336352*c_1001_4^12 + 23110909/84088*c_1001_4^11 + 17823167/336352*c_1001_4^10 + 57375509/336352*c_1001_4^9 - 69091363/336352*c_1001_4^8 - 1383941/336352*c_1001_4^7 - 11076341/168176*c_1001_4^6 + 29842315/168176*c_1001_4^5 - 3823581/168176*c_1001_4^4 - 12330111/168176*c_1001_4^3 - 242000/10511*c_1001_4^2 + 11516553/168176*c_1001_4 - 8194515/336352, c_1001_10 - 5213859/21022*c_1001_4^20 + 5619348/10511*c_1001_4^19 - 13768253/21022*c_1001_4^18 + 43147969/42044*c_1001_4^17 - 19204881/10511*c_1001_4^16 + 21559032/10511*c_1001_4^15 - 17771599/10511*c_1001_4^14 + 70282377/42044*c_1001_4^13 - 15560139/10511*c_1001_4^12 + 10102131/21022*c_1001_4^11 + 889792/10511*c_1001_4^10 + 6498981/21022*c_1001_4^9 - 15448489/42044*c_1001_4^8 + 129566/10511*c_1001_4^7 - 2534677/21022*c_1001_4^6 + 6319909/21022*c_1001_4^5 - 382389/10511*c_1001_4^4 - 5023005/42044*c_1001_4^3 - 1896447/42044*c_1001_4^2 + 2498089/21022*c_1001_4 - 876071/21022, c_1001_2 + 26265687/168176*c_1001_4^20 - 60659193/168176*c_1001_4^19 + 74747459/168176*c_1001_4^18 - 114248403/168176*c_1001_4^17 + 102158729/84088*c_1001_4^16 - 117879345/84088*c_1001_4^15 + 193623127/168176*c_1001_4^14 - 188038839/168176*c_1001_4^13 + 169130205/168176*c_1001_4^12 - 28815407/84088*c_1001_4^11 - 12071571/168176*c_1001_4^10 - 31712723/168176*c_1001_4^9 + 42913467/168176*c_1001_4^8 - 2215037/168176*c_1001_4^7 + 3121343/42044*c_1001_4^6 - 4312827/21022*c_1001_4^5 + 1301765/42044*c_1001_4^4 + 3476615/42044*c_1001_4^3 + 2376325/84088*c_1001_4^2 - 3427415/42044*c_1001_4 + 4879031/168176, c_1001_4^21 - 3*c_1001_4^20 + 94/21*c_1001_4^19 - 19/3*c_1001_4^18 + 227/21*c_1001_4^17 - 304/21*c_1001_4^16 + 289/21*c_1001_4^15 - 37/3*c_1001_4^14 + 242/21*c_1001_4^13 - 146/21*c_1001_4^12 + 26/21*c_1001_4^11 - 6/7*c_1001_4^10 + 53/21*c_1001_4^9 - 4/3*c_1001_4^8 + 10/21*c_1001_4^7 - 11/7*c_1001_4^6 + 25/21*c_1001_4^5 + 1/3*c_1001_4^4 - 5/21*c_1001_4^3 - 13/21*c_1001_4^2 + 4/7*c_1001_4 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.570 Total time: 0.770 seconds, Total memory usage: 32.09MB