Magma V2.19-8 Wed Aug 21 2013 01:03:33 on localhost [Seed = 2378929599] Type ? for help. Type -D to quit. Loading file "L14n20391__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20391 geometric_solution 11.37352243 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 1 2 -3 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 -1 1 -1 0 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.539115504274 1.622037119208 0 3 5 4 0132 0213 0132 0213 0 1 1 0 0 0 -1 1 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 0 0 0 1 0 -5 4 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.926653200274 1.016323888226 6 0 5 7 0132 0132 2310 0132 0 1 1 0 0 -1 1 0 1 0 -1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.236332044755 0.673465537769 7 8 1 0 1230 0132 0213 0132 0 1 1 0 0 2 0 -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 -1 0 1 0 0 1 -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.364453039133 0.420506831017 9 8 0 1 0132 2310 0132 0213 0 1 1 0 0 -2 3 -1 0 0 0 0 0 1 0 -1 2 -2 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 4 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.480652139452 0.957416714246 10 2 11 1 0132 3201 0132 0132 0 1 0 1 0 -1 0 1 0 0 -1 1 0 -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 -5 5 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247129228047 0.379704327161 2 7 11 10 0132 1302 2103 2031 1 1 0 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 1 0 -1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742128868207 0.461145427140 9 3 2 6 2031 3012 0132 2031 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 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 0 0 0 0.278194780398 1.783198982167 12 3 12 4 0132 0132 3012 3201 0 1 0 1 0 -2 0 2 1 0 0 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 4 0 0 -4 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.097849550754 0.884694042489 4 12 7 11 0132 1230 1302 1302 1 1 0 1 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 -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.285738130723 1.143040698270 5 6 11 12 0132 1302 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 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.007519370397 0.905339343430 6 10 9 5 2103 3201 2031 0132 0 1 1 1 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 -4 0 -1 5 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923763949035 1.651947303647 8 8 9 10 0132 1230 3012 1023 1 1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 0 4 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565059267762 0.554125498979 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : negation(d['c_0101_2']), 'c_1010_10' : d['c_0101_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_4']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1010_1'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : d['c_1010_1'], 'c_1100_3' : d['c_1010_1'], 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_12']), 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], '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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_7'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0101_5'], 'c_0011_10' : d['c_0011_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' : d['c_0101_12'], 'c_0110_1' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0101_2']})} 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_11, c_0011_12, c_0011_4, c_0011_7, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_5, c_1001_1, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 687836107092996994441132808884/1204485908976500125113377585*c_1010_\ 1^13 + 10238501538660798941994298136828/120448590897650012511337758\ 5*c_1010_1^12 - 53837351908554467754486032646676/120448590897650012\ 5113377585*c_1010_1^11 + 134110699246329268324174893567389/12044859\ 08976500125113377585*c_1010_1^10 - 231024590368513264724273626612427/1204485908976500125113377585*c_10\ 10_1^9 + 48214819219443732928513646335328/2408971817953000250226755\ 17*c_1010_1^8 - 134000062447519049802277008468126/12044859089765001\ 25113377585*c_1010_1^7 - 20790006174052129780625815166702/120448590\ 8976500125113377585*c_1010_1^6 + 100819424978205854259882000972558/\ 1204485908976500125113377585*c_1010_1^5 - 45355246900944363057684784259063/1204485908976500125113377585*c_101\ 0_1^4 - 14305206159412066695817665295636/12044859089765001251133775\ 85*c_1010_1^3 + 22374568214160340811297313118211/120448590897650012\ 5113377585*c_1010_1^2 - 12880643054755344029427502490493/1204485908\ 976500125113377585*c_1010_1 - 871389227207717902183751497183/120448\ 5908976500125113377585, c_0011_0 - 1, c_0011_10 + 578375779561257332/2020775419492081011*c_1010_1^13 - 8773974526185446920/2020775419492081011*c_1010_1^12 + 15920017770126060832/673591806497360337*c_1010_1^11 - 126109330575828131633/2020775419492081011*c_1010_1^10 + 227789520695328527222/2020775419492081011*c_1010_1^9 - 258715057629848530787/2020775419492081011*c_1010_1^8 + 171614525667309098644/2020775419492081011*c_1010_1^7 - 4352994861805396016/673591806497360337*c_1010_1^6 - 85680013210203213145/2020775419492081011*c_1010_1^5 + 18529704832751324099/673591806497360337*c_1010_1^4 + 1133085604343734210/224530602165786779*c_1010_1^3 - 25831667756096593420/2020775419492081011*c_1010_1^2 + 12259776173781902143/2020775419492081011*c_1010_1 - 1436748353045226308/2020775419492081011, c_0011_11 + 888382510549551784/2020775419492081011*c_1010_1^13 - 12922818303253920992/2020775419492081011*c_1010_1^12 + 7249843009942142560/224530602165786779*c_1010_1^11 - 152397513774926271538/2020775419492081011*c_1010_1^10 + 252973020759922340536/2020775419492081011*c_1010_1^9 - 239525769529121352970/2020775419492081011*c_1010_1^8 + 115862619434906145392/2020775419492081011*c_1010_1^7 + 14434796997299633030/673591806497360337*c_1010_1^6 - 101461718430378397571/2020775419492081011*c_1010_1^5 + 8589779319137996869/673591806497360337*c_1010_1^4 + 5367669996691186954/673591806497360337*c_1010_1^3 - 18263605607138084594/2020775419492081011*c_1010_1^2 + 6048315884899472060/2020775419492081011*c_1010_1 - 851961625583279539/2020775419492081011, c_0011_12 - 134137209232926280/2020775419492081011*c_1010_1^13 + 2029338894683142668/2020775419492081011*c_1010_1^12 - 1211597970009431628/224530602165786779*c_1010_1^11 + 27501583148183824942/2020775419492081011*c_1010_1^10 - 45062139326457908083/2020775419492081011*c_1010_1^9 + 42227288188058387341/2020775419492081011*c_1010_1^8 - 10889593550957437262/2020775419492081011*c_1010_1^7 - 8261235278916531842/673591806497360337*c_1010_1^6 + 34722120493769054252/2020775419492081011*c_1010_1^5 - 1207585940386866376/224530602165786779*c_1010_1^4 - 3400536745566166199/673591806497360337*c_1010_1^3 + 6441008023080474584/2020775419492081011*c_1010_1^2 - 738290871922020458/2020775419492081011*c_1010_1 - 938244552756976742/2020775419492081011, c_0011_4 - 797153533257539056/2020775419492081011*c_1010_1^13 + 11732608716842044052/2020775419492081011*c_1010_1^12 - 6699539769419691116/224530602165786779*c_1010_1^11 + 143338198027335453016/2020775419492081011*c_1010_1^10 - 233623916755718244865/2020775419492081011*c_1010_1^9 + 216587667344942793487/2020775419492081011*c_1010_1^8 - 79222837137370503386/2020775419492081011*c_1010_1^7 - 25716720872302459049/673591806497360337*c_1010_1^6 + 129485040234869740997/2020775419492081011*c_1010_1^5 - 3974802782337114396/224530602165786779*c_1010_1^4 - 8500439382117660314/673591806497360337*c_1010_1^3 + 21317287179463217210/2020775419492081011*c_1010_1^2 - 9628272598574321462/2020775419492081011*c_1010_1 - 1012770398122867955/2020775419492081011, c_0011_7 - 1, c_0101_1 + 24671988486215972/224530602165786779*c_1010_1^13 - 1124211296684711116/673591806497360337*c_1010_1^12 + 6098948038454270884/673591806497360337*c_1010_1^11 - 15778424519053368131/673591806497360337*c_1010_1^10 + 27248028528003165503/673591806497360337*c_1010_1^9 - 29239137249018792926/673591806497360337*c_1010_1^8 + 15836048162576943158/673591806497360337*c_1010_1^7 + 996204995761627880/224530602165786779*c_1010_1^6 - 4278289806615967134/224530602165786779*c_1010_1^5 + 6671084138515394273/673591806497360337*c_1010_1^4 + 2012826185529763916/673591806497360337*c_1010_1^3 - 2206033540797919867/673591806497360337*c_1010_1^2 + 2142970503437435134/673591806497360337*c_1010_1 - 694822283536263373/673591806497360337, c_0101_11 + 2081911645727234000/6062326258476243033*c_1010_1^13 - 30653201377091838508/6062326258476243033*c_1010_1^12 + 17646803679392937100/673591806497360337*c_1010_1^11 - 391823762450615927492/6062326258476243033*c_1010_1^10 + 690999825387807957371/6062326258476243033*c_1010_1^9 - 734112744880284743687/6062326258476243033*c_1010_1^8 + 469256368677650039305/6062326258476243033*c_1010_1^7 - 1353237012091221332/2020775419492081011*c_1010_1^6 - 258593270561741582194/6062326258476243033*c_1010_1^5 + 5510796391976798394/224530602165786779*c_1010_1^4 + 1584953825391494587/2020775419492081011*c_1010_1^3 - 80431597064202101455/6062326258476243033*c_1010_1^2 + 43860465562485650530/6062326258476243033*c_1010_1 - 5346554835544431368/6062326258476243033, c_0101_12 - 21481489981905764/224530602165786779*c_1010_1^13 + 911918763807079244/673591806497360337*c_1010_1^12 - 4330143538272370256/673591806497360337*c_1010_1^11 + 8723405438620078987/673591806497360337*c_1010_1^10 - 11705046344562990235/673591806497360337*c_1010_1^9 + 4868774407401514105/673591806497360337*c_1010_1^8 + 7501257380679313052/673591806497360337*c_1010_1^7 - 5111934352351925544/224530602165786779*c_1010_1^6 + 4004475845251202459/224530602165786779*c_1010_1^5 + 543957240304285889/673591806497360337*c_1010_1^4 - 3776172614758528948/673591806497360337*c_1010_1^3 + 1834999750904335769/673591806497360337*c_1010_1^2 - 450078503786842931/673591806497360337*c_1010_1 - 342430276386398083/673591806497360337, c_0101_2 + 310895655535872580/2020775419492081011*c_1010_1^13 - 4477340021589202592/2020775419492081011*c_1010_1^12 + 7420896494098345864/673591806497360337*c_1010_1^11 - 51232052886670175233/2020775419492081011*c_1010_1^10 + 86719658837787838660/2020775419492081011*c_1010_1^9 - 83721330504799349437/2020775419492081011*c_1010_1^8 + 46660722041153899829/2020775419492081011*c_1010_1^7 + 3469639274321066546/673591806497360337*c_1010_1^6 - 38426738857225002164/2020775419492081011*c_1010_1^5 + 7609653015334055681/673591806497360337*c_1010_1^4 - 2300191761082779308/673591806497360337*c_1010_1^3 - 4810681994306421803/2020775419492081011*c_1010_1^2 + 8100127196986258436/2020775419492081011*c_1010_1 - 946403897828520574/2020775419492081011, c_0101_5 + 766923460785158132/6062326258476243033*c_1010_1^13 - 12548388821253375388/6062326258476243033*c_1010_1^12 + 8421782813091299348/673591806497360337*c_1010_1^11 - 222764353477427182157/6062326258476243033*c_1010_1^10 + 404640306674459103995/6062326258476243033*c_1010_1^9 - 492095215714999574828/6062326258476243033*c_1010_1^8 + 299060832432830867566/6062326258476243033*c_1010_1^7 - 1784023981536433976/2020775419492081011*c_1010_1^6 - 210751157556462530953/6062326258476243033*c_1010_1^5 + 4934731947093790763/224530602165786779*c_1010_1^4 + 9691722874645283098/2020775419492081011*c_1010_1^3 - 39135168218599130422/6062326258476243033*c_1010_1^2 + 25749204294513846790/6062326258476243033*c_1010_1 - 235292158305268415/6062326258476243033, c_1001_1 + 50472655140724916/673591806497360337*c_1010_1^13 - 734247962044641640/673591806497360337*c_1010_1^12 + 1223159988049279656/224530602165786779*c_1010_1^11 - 8102620484365501265/673591806497360337*c_1010_1^10 + 11535679529428166318/673591806497360337*c_1010_1^9 - 6907581903088042661/673591806497360337*c_1010_1^8 - 4586658358853077328/673591806497360337*c_1010_1^7 + 4435754864723490322/224530602165786779*c_1010_1^6 - 11485668530305990132/673591806497360337*c_1010_1^5 + 230567102636558303/224530602165786779*c_1010_1^4 + 1349891305608438089/224530602165786779*c_1010_1^3 - 1375892461651140724/673591806497360337*c_1010_1^2 - 133719831561448568/673591806497360337*c_1010_1 + 323926285021736104/673591806497360337, c_1010_1^14 - 15*c_1010_1^13 + 80*c_1010_1^12 - 817/4*c_1010_1^11 + 1439/4*c_1010_1^10 - 1571/4*c_1010_1^9 + 483/2*c_1010_1^8 + c_1010_1^7 - 146*c_1010_1^6 + 83*c_1010_1^5 + 21/2*c_1010_1^4 - 67/2*c_1010_1^3 + 91/4*c_1010_1^2 - 3/2*c_1010_1 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.580 seconds, Total memory usage: 32.09MB