Magma V2.19-8 Wed Aug 21 2013 01:05:38 on localhost [Seed = 3103694852] Type ? for help. Type -D to quit. Loading file "L14n26990__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n26990 geometric_solution 11.96494495 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 2103 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 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.795052041323 0.710452674187 0 0 5 4 0132 2103 0132 0132 1 0 1 1 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 1 0 3 -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.419310377595 0.484323005557 6 5 7 0 0132 2103 0132 0132 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 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.806255930100 0.539408266254 5 8 0 9 2310 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 0 0 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 1 -1 0 0 -1 1 -3 0 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223249603669 0.903900693960 6 7 1 8 2103 3120 0132 2310 1 0 0 1 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 2 -2 0 0 0 4 -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.434944341676 1.629041741761 6 2 3 1 1230 2103 3201 0132 1 0 1 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 -1 -1 2 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292327531757 0.671448304641 2 5 4 10 0132 3012 2103 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635355239400 0.407727154901 10 4 8 2 0132 3120 0132 0132 1 0 0 1 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 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615824253076 0.363097828646 4 3 9 7 3201 0132 0132 0132 1 0 1 0 0 0 0 0 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076602224026 1.355634545918 11 12 3 8 0132 0132 0132 0132 1 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 -1 1 0 1 0 -1 0 -4 0 0 4 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101644454322 1.064937436531 7 12 6 12 0132 3201 0132 2103 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 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.911182819439 0.930545018096 9 11 11 12 0132 1230 3012 2310 0 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 -1 4 -3 -1 0 1 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 0.394956754464 0.786803420540 11 9 10 10 3201 0132 2310 2103 1 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 1 -1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101644454322 1.064937436531 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_1001_3']), 'c_1001_7' : d['c_1001_3'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : d['c_1001_12'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_1001_12']), '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' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], '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_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_12'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_1100_0'], '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_10'], '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_11']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : d['c_0101_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_12']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_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_11, c_0011_2, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_1001_12, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 138560459098948957126651/1662885940251265112*c_1100_0^14 + 372481697162672879403279/1662885940251265112*c_1100_0^13 + 163678223754249341734479/415721485062816278*c_1100_0^12 + 428254130120791083604661/831442970125632556*c_1100_0^11 + 613269656589047208201107/1662885940251265112*c_1100_0^10 + 232229511060229625261857/1662885940251265112*c_1100_0^9 + 20313916845250059941602/207860742531408139*c_1100_0^8 + 265782887787497619446941/1662885940251265112*c_1100_0^7 + 38054561633865016539615/207860742531408139*c_1100_0^6 + 202317549790683613912933/1662885940251265112*c_1100_0^5 + 49124279403788047779829/1662885940251265112*c_1100_0^4 - 7748915417680553642453/415721485062816278*c_1100_0^3 - 16157621301081049168875/831442970125632556*c_1100_0^2 - 13204294124701459324093/1662885940251265112*c_1100_0 - 1314939401692431951823/831442970125632556, c_0011_0 - 1, c_0011_10 - c_1100_0, c_0011_11 + 3390915353444434/466640346379*c_1100_0^14 + 7656132615418854/466640346379*c_1100_0^13 + 15262318964147449/466640346379*c_1100_0^12 + 20597435272090817/466640346379*c_1100_0^11 + 17752359317458337/466640346379*c_1100_0^10 + 13615208034468836/466640346379*c_1100_0^9 + 10607434603370400/466640346379*c_1100_0^8 + 9829147383371214/466640346379*c_1100_0^7 + 9487360732925580/466640346379*c_1100_0^6 + 7426267483340144/466640346379*c_1100_0^5 + 4560895013412594/466640346379*c_1100_0^4 + 2147319940293907/466640346379*c_1100_0^3 + 764845249663884/466640346379*c_1100_0^2 + 190774733682815/466640346379*c_1100_0 + 39874962493691/466640346379, c_0011_2 + 352480553525550/466640346379*c_1100_0^14 + 816412164094598/466640346379*c_1100_0^13 + 1608609105659122/466640346379*c_1100_0^12 + 2190279225707059/466640346379*c_1100_0^11 + 1883121923986637/466640346379*c_1100_0^10 + 1421063346186287/466640346379*c_1100_0^9 + 1114173711533359/466640346379*c_1100_0^8 + 1033611831968794/466640346379*c_1100_0^7 + 1003059357126846/466640346379*c_1100_0^6 + 785032395321714/466640346379*c_1100_0^5 + 476555321032595/466640346379*c_1100_0^4 + 221578109809962/466640346379*c_1100_0^3 + 78532698849748/466640346379*c_1100_0^2 + 19196469893553/466640346379*c_1100_0 + 4088199918111/466640346379, c_0011_3 - 1313044205807361/466640346379*c_1100_0^14 - 3032021349614884/466640346379*c_1100_0^13 - 6028622210947711/466640346379*c_1100_0^12 - 8221971682700797/466640346379*c_1100_0^11 - 7160296720258683/466640346379*c_1100_0^10 - 5484903495049813/466640346379*c_1100_0^9 - 4268059589460277/466640346379*c_1100_0^8 - 3932921303585089/466640346379*c_1100_0^7 - 3803901739747895/466640346379*c_1100_0^6 - 2996624174763451/466640346379*c_1100_0^5 - 1853201665238907/466640346379*c_1100_0^4 - 876991828125300/466640346379*c_1100_0^3 - 314231972714399/466640346379*c_1100_0^2 - 78363520840944/466640346379*c_1100_0 - 16023703805432/466640346379, c_0011_4 - 352480553525550/466640346379*c_1100_0^14 - 816412164094598/466640346379*c_1100_0^13 - 1608609105659122/466640346379*c_1100_0^12 - 2190279225707059/466640346379*c_1100_0^11 - 1883121923986637/466640346379*c_1100_0^10 - 1421063346186287/466640346379*c_1100_0^9 - 1114173711533359/466640346379*c_1100_0^8 - 1033611831968794/466640346379*c_1100_0^7 - 1003059357126846/466640346379*c_1100_0^6 - 785032395321714/466640346379*c_1100_0^5 - 476555321032595/466640346379*c_1100_0^4 - 221578109809962/466640346379*c_1100_0^3 - 78532698849748/466640346379*c_1100_0^2 - 19196469893553/466640346379*c_1100_0 - 4088199918111/466640346379, c_0101_0 - 1, c_0101_10 - 76551992337998/466640346379*c_1100_0^14 - 167051783307870/466640346379*c_1100_0^13 - 319451580227831/466640346379*c_1100_0^12 - 419469075027846/466640346379*c_1100_0^11 - 327295050793774/466640346379*c_1100_0^10 - 235388693627196/466640346379*c_1100_0^9 - 193437919994153/466640346379*c_1100_0^8 - 187020759704140/466640346379*c_1100_0^7 - 182734775995560/466640346379*c_1100_0^6 - 134347926366659/466640346379*c_1100_0^5 - 73440172614107/466640346379*c_1100_0^4 - 31388010427360/466640346379*c_1100_0^3 - 10481506979551/466640346379*c_1100_0^2 - 2345230988364/466640346379*c_1100_0 - 598293447561/466640346379, c_0101_11 + 1037115644619809/466640346379*c_1100_0^14 + 2382660968828156/466640346379*c_1100_0^13 + 4739464685516420/466640346379*c_1100_0^12 + 6451161532021584/466640346379*c_1100_0^11 + 5604469847065820/466640346379*c_1100_0^10 + 4299228842490722/466640346379*c_1100_0^9 + 3347323797921071/466640346379*c_1100_0^8 + 3086330231320435/466640346379*c_1100_0^7 + 2983577158616609/466640346379*c_1100_0^6 + 2345939705808396/466640346379*c_1100_0^5 + 1450086516820419/466640346379*c_1100_0^4 + 686801728742698/466640346379*c_1100_0^3 + 246180780844202/466640346379*c_1100_0^2 + 61512281935755/466640346379*c_1100_0 + 12533797334882/466640346379, c_0101_12 - 1945577860985066/466640346379*c_1100_0^14 - 4427115958738259/466640346379*c_1100_0^13 - 8816476088148170/466640346379*c_1100_0^12 - 11950015002743828/466640346379*c_1100_0^11 - 10336568071464769/466640346379*c_1100_0^10 - 7937994319527280/466640346379*c_1100_0^9 - 6181370480403054/466640346379*c_1100_0^8 - 5709948211907426/466640346379*c_1100_0^7 - 5515977122250027/466640346379*c_1100_0^6 - 4327853336684787/466640346379*c_1100_0^5 - 2667805405907844/466640346379*c_1100_0^4 - 1260448857818664/466640346379*c_1100_0^3 - 451296630775835/466640346379*c_1100_0^2 - 112570872532391/466640346379*c_1100_0 - 23469393515110/466640346379, c_1001_12 - 2370408745026110/466640346379*c_1100_0^14 - 5400342309244364/466640346379*c_1100_0^13 - 10757581645537911/466640346379*c_1100_0^12 - 14582509246416500/466640346379*c_1100_0^11 - 12622440007576342/466640346379*c_1100_0^10 - 9682824596924061/466640346379*c_1100_0^9 - 7528336006930210/466640346379*c_1100_0^8 - 6961489888058546/466640346379*c_1100_0^7 - 6728830351100874/466640346379*c_1100_0^6 - 5279943894700573/466640346379*c_1100_0^5 - 3252760768695743/466640346379*c_1100_0^4 - 1533216033296846/466640346379*c_1100_0^3 - 546694442844806/466640346379*c_1100_0^2 - 135904847448294/466640346379*c_1100_0 - 28245488558269/466640346379, c_1001_3 + 352480553525550/466640346379*c_1100_0^14 + 816412164094598/466640346379*c_1100_0^13 + 1608609105659122/466640346379*c_1100_0^12 + 2190279225707059/466640346379*c_1100_0^11 + 1883121923986637/466640346379*c_1100_0^10 + 1421063346186287/466640346379*c_1100_0^9 + 1114173711533359/466640346379*c_1100_0^8 + 1033611831968794/466640346379*c_1100_0^7 + 1003059357126846/466640346379*c_1100_0^6 + 785032395321714/466640346379*c_1100_0^5 + 476555321032595/466640346379*c_1100_0^4 + 221578109809962/466640346379*c_1100_0^3 + 78532698849748/466640346379*c_1100_0^2 + 18729829547174/466640346379*c_1100_0 + 4088199918111/466640346379, c_1100_0^15 + 313/101*c_1100_0^14 + 647/101*c_1100_0^13 + 997/101*c_1100_0^12 + 1047/101*c_1100_0^11 + 853/101*c_1100_0^10 + 659/101*c_1100_0^9 + 560/101*c_1100_0^8 + 530/101*c_1100_0^7 + 460/101*c_1100_0^6 + 323/101*c_1100_0^5 + 179/101*c_1100_0^4 + 77/101*c_1100_0^3 + 25/101*c_1100_0^2 + 6/101*c_1100_0 + 1/101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.700 Total time: 0.900 seconds, Total memory usage: 32.09MB