Magma V2.19-8 Wed Aug 21 2013 01:09:36 on localhost [Seed = 913321897] Type ? for help. Type -D to quit. Loading file "L14n47040__sl2_c7.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n47040 geometric_solution 12.36221152 oriented_manifold CS_known -0.0000000000000003 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 2 0 2 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 0 1 0 -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.265039379166 1.079502071494 0 5 5 6 0132 0132 0321 0132 1 0 0 2 0 0 0 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 -1 0 1 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.138577196016 0.797015933660 7 0 9 8 0132 0132 0132 0132 2 2 0 2 0 0 -1 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 0 0 0 -1 -3 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 0 0 0.240845299908 1.146034485643 10 11 11 0 0132 0132 1302 0132 2 0 0 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 0 0 1 -1 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.585289271542 0.746372031406 6 11 0 6 1302 0321 0132 2103 2 0 1 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 0 0 0 0 0 1 -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 0 0 0.585289271542 0.746372031406 7 1 1 8 1023 0132 0321 2103 1 2 2 0 0 0 0 0 1 0 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 0 -1 4 0 0 -4 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.138577196016 0.797015933660 12 4 1 4 0132 2031 0132 2103 1 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 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.568832320257 1.023751027562 2 5 12 9 0132 1023 3012 2031 2 2 2 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 -4 1 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 0 0 0 0.824380168920 0.835666641023 10 10 2 5 1023 0321 0132 2103 2 2 1 0 0 1 -1 0 -1 0 0 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 4 -4 0 -4 0 0 4 7 -8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788250089359 1.217863094241 9 7 9 2 2031 1302 1302 0132 2 2 2 2 0 0 -1 1 1 0 -1 0 1 -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 -3 3 3 0 -3 0 3 -3 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399080444261 0.259988477219 3 8 12 8 0132 1023 0132 0321 2 0 1 0 0 1 0 -1 -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 4 0 -4 0 0 0 0 -1 -7 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625450542925 0.578686849387 3 3 12 4 2031 0132 0321 0321 2 2 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 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349414551154 0.829638960884 6 7 11 10 0132 1230 0321 0132 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 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.785492322117 0.873687085123 ==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_0101_7'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : negation(d['c_0110_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_0110_8'], 's_0_10' : d['1'], 's_0_11' : 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_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_2_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_8']), 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : d['c_0101_11'], 'c_1100_3' : d['c_0101_11'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_1001_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0110_8']), 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_0110_8'], 'c_1100_8' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_0'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_12'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_9']), 'c_0101_8' : d['c_0101_7'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_11'])})} 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_4, c_0011_9, c_0101_0, c_0101_11, c_0101_2, c_0101_7, c_0110_4, c_0110_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 192656621285221969685615/126787617929956654144*c_1001_12^9 - 1220579573048298023037417/31098849680932764224*c_1001_12^8 - 258707326623797883287189547/824119516544718251936*c_1001_12^7 + 1105370778555448399768826601/1648239033089436503872*c_1001_12^6 - 5837010027236374289311623/15549424840466382112*c_1001_12^5 - 61306522278647670883073879/1648239033089436503872*c_1001_12^4 + 320307850671042017377765/5625389191431523904*c_1001_12^3 + 17449927258600783232586527/824119516544718251936*c_1001_12^2 - 354526849128227709420068/25753734892022445373*c_1001_12 - 222113171322933150498643/412059758272359125968, c_0011_0 - 1, c_0011_10 + 190869777044300399747/31696904482489163536*c_1001_12^9 + 186578337781939673177/1196109603112798624*c_1001_12^8 + 79618638097078116121497/63393808964978327072*c_1001_12^7 - 81061045073325388060955/31696904482489163536*c_1001_12^6 + 1614628234637794859449/1196109603112798624*c_1001_12^5 + 5373583161486124059255/31696904482489163536*c_1001_12^4 - 43224270222766243077/216361122747366304*c_1001_12^3 - 5018344129808096708151/63393808964978327072*c_1001_12^2 + 730991183650181713293/15848452241244581768*c_1001_12 + 20578402938483451893/15848452241244581768, c_0011_12 - 23880059705435750661/31696904482489163536*c_1001_12^9 - 23570428839034374099/1196109603112798624*c_1001_12^8 - 10287751096071026698825/63393808964978327072*c_1001_12^7 + 4346461415822092584019/15848452241244581768*c_1001_12^6 - 167470288890803812281/1196109603112798624*c_1001_12^5 - 32919252735923840083/15848452241244581768*c_1001_12^4 + 3028312638729981189/216361122747366304*c_1001_12^3 + 354050974994650231563/63393808964978327072*c_1001_12^2 - 71958399979582941123/15848452241244581768*c_1001_12 + 12528775984960377859/15848452241244581768, c_0011_4 + 38837622798783712813/63393808964978327072*c_1001_12^9 + 9217664169408883897/598054801556399312*c_1001_12^8 + 7336955805272854825003/63393808964978327072*c_1001_12^7 - 22868168677630265507075/63393808964978327072*c_1001_12^6 + 344899290372625414015/1196109603112798624*c_1001_12^5 - 1142300305777322276427/63393808964978327072*c_1001_12^4 - 5260191280668086659/108180561373683152*c_1001_12^3 - 437340325555579999773/63393808964978327072*c_1001_12^2 + 104991407976555050011/7924226120622290884*c_1001_12 - 2061889189694232441/15848452241244581768, c_0011_9 + 161251940550264785/15848452241244581768*c_1001_12^9 + 69257033760256193/598054801556399312*c_1001_12^8 - 53652817658765773419/31696904482489163536*c_1001_12^7 - 550911915968584175283/15848452241244581768*c_1001_12^6 + 41227108275926489941/598054801556399312*c_1001_12^5 - 436207890478416527005/15848452241244581768*c_1001_12^4 - 989346839487222549/108180561373683152*c_1001_12^3 + 59312519117978553217/31696904482489163536*c_1001_12^2 + 18134904962202026795/7924226120622290884*c_1001_12 + 35187631003454321/7924226120622290884, c_0101_0 - 1, c_0101_11 + 11944153195822851653/31696904482489163536*c_1001_12^9 + 11669351198384294157/1196109603112798624*c_1001_12^8 + 4974482210609078002315/63393808964978327072*c_1001_12^7 - 2549222617530963429393/15848452241244581768*c_1001_12^6 + 105781057947016763107/1196109603112798624*c_1001_12^5 - 22861956333075916337/15848452241244581768*c_1001_12^4 - 1401564399884202067/216361122747366304*c_1001_12^3 - 211059582339846128453/63393808964978327072*c_1001_12^2 + 16722629797872948553/15848452241244581768*c_1001_12 - 9686872277274014757/15848452241244581768, c_0101_2 - 24095033565339114937/31696904482489163536*c_1001_12^9 - 23810882022303586217/1196109603112798624*c_1001_12^8 - 10402973016586910570637/63393808964978327072*c_1001_12^7 + 8832918884213232173075/31696904482489163536*c_1001_12^6 - 84997850294317239085/1196109603112798624*c_1001_12^5 - 1796121174274102932627/31696904482489163536*c_1001_12^4 + 1816095597135201917/216361122747366304*c_1001_12^3 + 844879717070792534055/63393808964978327072*c_1001_12^2 - 31414201064615799551/15848452241244581768*c_1001_12 + 539613520508629239/15848452241244581768, c_0101_7 - 40699809373405345631/63393808964978327072*c_1001_12^9 - 9952041047782137881/598054801556399312*c_1001_12^8 - 8508500415614814571265/63393808964978327072*c_1001_12^7 + 17059908868597691024927/63393808964978327072*c_1001_12^6 - 181164258234488666985/1196109603112798624*c_1001_12^5 + 668683318698377965347/63393808964978327072*c_1001_12^4 + 1126849622072682103/108180561373683152*c_1001_12^3 + 92626847086129352553/63393808964978327072*c_1001_12^2 - 26865465362048155581/7924226120622290884*c_1001_12 + 16139342648360902573/15848452241244581768, c_0110_4 - 199786415943635664091/63393808964978327072*c_1001_12^9 - 96915546059647470849/1196109603112798624*c_1001_12^8 - 10167633475009962110895/15848452241244581768*c_1001_12^7 + 92766506829863141548357/63393808964978327072*c_1001_12^6 - 296520152107923372429/299027400778199656*c_1001_12^5 + 2643110134332726411273/63393808964978327072*c_1001_12^4 + 29742158688468902795/216361122747366304*c_1001_12^3 + 816375508066522758289/31696904482489163536*c_1001_12^2 - 607405344963708943607/15848452241244581768*c_1001_12 + 20772153245645016925/7924226120622290884, c_0110_8 + 1, c_1001_0 + 792321515716874429/7924226120622290884*c_1001_12^9 + 1552677044761536799/598054801556399312*c_1001_12^8 + 41547507602952293809/1981056530155572721*c_1001_12^7 - 83630234144169634949/1981056530155572721*c_1001_12^6 + 3549834417283409459/299027400778199656*c_1001_12^5 + 203422628528375275985/7924226120622290884*c_1001_12^4 - 91535620543266836/6761285085855197*c_1001_12^3 - 112910442917972737069/31696904482489163536*c_1001_12^2 + 7699154710121446601/3962113060311145442*c_1001_12 + 5858932414058574883/7924226120622290884, c_1001_12^10 + 4356/169*c_1001_12^9 + 34678/169*c_1001_12^8 - 76456/169*c_1001_12^7 + 46011/169*c_1001_12^6 + 1416/169*c_1001_12^5 - 6306/169*c_1001_12^4 - 1988/169*c_1001_12^3 + 1617/169*c_1001_12^2 - 32/169*c_1001_12 + 4/169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB