Magma V2.19-8 Tue Aug 20 2013 23:38:23 on localhost [Seed = 2345529262] Type ? for help. Type -D to quit. Loading file "K14n14251__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14251 geometric_solution 8.53669857 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1023 0132 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 -2 1 1 0 0 2 -2 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.025624052060 0.424161196807 0 4 5 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.803558177824 0.804337253493 6 0 0 7 0132 0132 1023 0132 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 2 -2 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.803445466510 0.469491574613 8 1 0 4 0132 1302 0132 1023 0 0 0 0 0 0 -1 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 -1 1 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 1.410319098212 0.550074286028 5 1 9 3 2103 0132 0132 1023 0 0 0 0 0 0 -1 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 -2 2 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.737242228152 0.271087601498 8 7 4 1 3120 2031 2103 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 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.339106321423 1.209195030958 2 8 9 7 0132 1230 1302 2031 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684669114981 0.355064276637 5 6 2 9 1302 1302 0132 1302 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 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.397796534016 0.908951476474 3 9 6 5 0132 3120 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.101542948716 0.975040766418 6 8 7 4 2031 3120 2031 0132 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 0 0 0 0 -1 -1 2 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.628401360154 0.777158164120 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0011_0']), 's_2_8' : d['1'], 's_2_9' : 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_2_7' : 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_1100_9' : d['c_0101_9'], 'c_1100_8' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0110_4']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_0101_9'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0011_5']), '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'], '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' : d['c_0011_5'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_7'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_9, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1565541395040984203/1553094433106707480*c_0110_4^13 + 1791526048156716671/1553094433106707480*c_0110_4^12 - 6129242361605619193/388273608276676870*c_0110_4^11 - 14302285378123081623/776547216553353740*c_0110_4^10 + 2376173461786306713/141190403009700680*c_0110_4^9 - 53222721398166527131/1553094433106707480*c_0110_4^8 - 82154922417687403121/1553094433106707480*c_0110_4^7 + 13157500703041005857/194136804138338435*c_0110_4^6 + 4748825243716651731/310618886621341496*c_0110_4^5 - 100245597180861900843/1553094433106707480*c_0110_4^4 + 21613222738158762049/1553094433106707480*c_0110_4^3 + 19028618348932853171/1553094433106707480*c_0110_4^2 - 44731212318958865517/1553094433106707480*c_0110_4 + 17283247173980125033/776547216553353740, c_0011_0 - 1, c_0011_3 - 7098717929/188800132396*c_0110_4^13 + 945281899/47200033099*c_0110_4^12 + 103798435033/188800132396*c_0110_4^11 - 13140095451/47200033099*c_0110_4^10 - 2807307883/188800132396*c_0110_4^9 + 190845917281/94400066198*c_0110_4^8 - 227549080967/94400066198*c_0110_4^7 + 96092289291/188800132396*c_0110_4^6 + 243456608063/188800132396*c_0110_4^5 - 174304645715/47200033099*c_0110_4^4 + 311352583955/94400066198*c_0110_4^3 - 223160397131/94400066198*c_0110_4^2 + 67358462099/94400066198*c_0110_4 - 193920218769/188800132396, c_0011_5 - 9365770223/188800132396*c_0110_4^13 + 3773814123/188800132396*c_0110_4^12 + 33787130204/47200033099*c_0110_4^11 - 27717272663/94400066198*c_0110_4^10 + 20769737433/188800132396*c_0110_4^9 + 554478760601/188800132396*c_0110_4^8 - 499234675887/188800132396*c_0110_4^7 + 124868258967/94400066198*c_0110_4^6 + 447592543511/188800132396*c_0110_4^5 - 678242002705/188800132396*c_0110_4^4 + 952548491301/188800132396*c_0110_4^3 - 590944436263/188800132396*c_0110_4^2 + 543193648147/188800132396*c_0110_4 - 151165574621/94400066198, c_0011_7 + 29348431059/377600264792*c_0110_4^13 - 1517813745/94400066198*c_0110_4^12 - 450345789373/377600264792*c_0110_4^11 + 10117233103/47200033099*c_0110_4^10 + 351577766173/377600264792*c_0110_4^9 - 789483996105/188800132396*c_0110_4^8 + 103842060611/47200033099*c_0110_4^7 + 480582916559/377600264792*c_0110_4^6 - 1301936172343/377600264792*c_0110_4^5 + 567721518497/188800132396*c_0110_4^4 - 970667823015/188800132396*c_0110_4^3 + 157063229197/47200033099*c_0110_4^2 - 253954005065/188800132396*c_0110_4 + 442875974025/377600264792, c_0101_0 + 37817986527/377600264792*c_0110_4^13 - 15019860451/188800132396*c_0110_4^12 - 575553890975/377600264792*c_0110_4^11 + 113703291411/94400066198*c_0110_4^10 + 398404630909/377600264792*c_0110_4^9 - 622832983801/94400066198*c_0110_4^8 + 1074159563063/188800132396*c_0110_4^7 + 718976586565/377600264792*c_0110_4^6 - 2668301275023/377600264792*c_0110_4^5 + 251272662562/47200033099*c_0110_4^4 - 241205683048/47200033099*c_0110_4^3 + 974200344995/188800132396*c_0110_4^2 - 124695169697/47200033099*c_0110_4 + 436054725511/377600264792, c_0101_1 - 29962012981/377600264792*c_0110_4^13 + 784986459/47200033099*c_0110_4^12 + 458741921347/377600264792*c_0110_4^11 - 9256420075/47200033099*c_0110_4^10 - 342943403827/377600264792*c_0110_4^9 + 737686999009/188800132396*c_0110_4^8 - 113207205921/47200033099*c_0110_4^7 - 501455579613/377600264792*c_0110_4^6 + 1266789428893/377600264792*c_0110_4^5 - 516410082515/188800132396*c_0110_4^4 + 713466218623/188800132396*c_0110_4^3 - 135287313012/47200033099*c_0110_4^2 + 342364939041/188800132396*c_0110_4 - 544647338823/377600264792, c_0101_2 - 9304645107/377600264792*c_0110_4^13 - 1463789917/47200033099*c_0110_4^12 + 138506508889/377600264792*c_0110_4^11 + 23998611500/47200033099*c_0110_4^10 - 48978511301/377600264792*c_0110_4^9 + 105066183883/188800132396*c_0110_4^8 + 126871098297/94400066198*c_0110_4^7 - 23717003035/377600264792*c_0110_4^6 - 350956912097/377600264792*c_0110_4^5 + 107230216341/188800132396*c_0110_4^4 + 239456894153/188800132396*c_0110_4^3 + 4732869873/94400066198*c_0110_4^2 - 180503116853/188800132396*c_0110_4 - 69954166013/377600264792, c_0101_4 + 656122753/188800132396*c_0110_4^13 - 5116973035/188800132396*c_0110_4^12 - 10385559713/94400066198*c_0110_4^11 + 40514416543/94400066198*c_0110_4^10 + 172069364869/188800132396*c_0110_4^9 - 129939051621/188800132396*c_0110_4^8 + 169875763151/188800132396*c_0110_4^7 + 119542368674/47200033099*c_0110_4^6 - 378853998709/188800132396*c_0110_4^5 - 3290267867/188800132396*c_0110_4^4 + 221337562439/188800132396*c_0110_4^3 + 46774220271/188800132396*c_0110_4^2 + 108736526229/188800132396*c_0110_4 - 28967561309/47200033099, c_0101_9 - 12142920115/377600264792*c_0110_4^13 + 11160312267/188800132396*c_0110_4^12 + 180797131047/377600264792*c_0110_4^11 - 85119763457/94400066198*c_0110_4^10 - 74901134393/377600264792*c_0110_4^9 + 236823856791/94400066198*c_0110_4^8 - 683406213845/188800132396*c_0110_4^7 + 289758553303/377600264792*c_0110_4^6 + 1416321472007/377600264792*c_0110_4^5 - 354323368479/94400066198*c_0110_4^4 + 116625343323/47200033099*c_0110_4^3 - 395835416793/188800132396*c_0110_4^2 + 90286537661/47200033099*c_0110_4 - 182428599479/377600264792, c_0110_4^14 - c_0110_4^13 - 15*c_0110_4^12 + 15*c_0110_4^11 + 7*c_0110_4^10 - 65*c_0110_4^9 + 74*c_0110_4^8 - 7*c_0110_4^7 - 66*c_0110_4^6 + 79*c_0110_4^5 - 84*c_0110_4^4 + 78*c_0110_4^3 - 50*c_0110_4^2 + 29*c_0110_4 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB