Magma V2.19-8 Tue Aug 20 2013 23:47:43 on localhost [Seed = 2581590984] Type ? for help. Type -D to quit. Loading file "L11n128__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n128 geometric_solution 11.03618138 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 1 1 0 1 -1 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 2 -3 1 0 0 0 0 0 -1 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.210440136084 1.055889055352 0 5 4 6 0132 0132 0213 0132 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 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111212095663 0.469655054203 7 0 8 8 0132 0132 2103 0132 0 1 1 1 0 -1 1 0 0 0 0 0 -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 -2 2 0 1 0 0 -1 -6 0 0 6 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427416230694 1.356521157462 9 7 6 0 0132 0321 0213 0132 0 0 1 1 0 -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 0 0 0 -3 0 3 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.967914007717 0.411618143844 10 1 0 10 0132 0213 0132 1302 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 -1 1 -1 0 0 1 -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.811591935773 0.680720564675 7 1 9 8 1023 0132 0132 2031 0 0 1 1 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 6 -5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.103654253071 0.832581162157 9 3 1 11 2103 0213 0132 0132 0 0 0 1 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 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367960415195 0.630563802435 2 5 9 3 0132 1023 0213 0321 0 1 1 1 0 0 -1 1 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 -3 3 -1 0 1 0 -5 0 0 5 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322978025049 1.031587698803 2 5 2 11 2103 1302 0132 1230 0 1 0 1 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 1 -1 -2 0 0 2 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788704278010 0.670604195107 3 7 6 5 0132 0213 2103 0132 0 0 1 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 3 -3 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.666404968432 0.782386985425 4 11 4 11 0132 3120 2031 1023 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 1 -1 0 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.377663540605 1.364502839472 8 10 6 10 3012 3120 0132 1023 0 0 1 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 1 -1 0 0 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377663540605 1.364502839472 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_11'], 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0110_5'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : negation(d['1']), 's_3_10' : negation(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_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1010_4'], 'c_1100_1' : d['c_1010_4'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : d['c_1010_4'], 'c_1100_10' : negation(d['c_1010_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_11']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_1100_8' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0110_5, c_1001_3, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 2672033057652848306940418677460/18642489562939207981656539481*c_101\ 0_4^10 - 19706875173716862111678740712850/6214163187646402660552179\ 827*c_1010_4^9 - 393507630173747814658413621928283/6214163187646402\ 660552179827*c_1010_4^8 - 7887574138473779920388746027318459/186424\ 89562939207981656539481*c_1010_4^7 - 9769608082311558211542752463831245/18642489562939207981656539481*c_\ 1010_4^6 - 1528101421312005954525937729165510/621416318764640266055\ 2179827*c_1010_4^5 - 14035245916250043910897581868389001/1864248956\ 2939207981656539481*c_1010_4^4 - 6407973170724831399762323578220500\ /18642489562939207981656539481*c_1010_4^3 - 1609365965258075057027331227402902/18642489562939207981656539481*c_\ 1010_4^2 - 543873560739918518380032366690458/1864248956293920798165\ 6539481*c_1010_4 + 61205388104677341420238212130234/186424895629392\ 07981656539481, c_0011_0 - 1, c_0011_10 - 8639364395354377891889108/117248362031064201142493959*c_101\ 0_4^10 - 173137583965938920586418634/117248362031064201142493959*c_\ 1010_4^9 - 3451256404281960513866390143/117248362031064201142493959\ *c_1010_4^8 - 18213383558039793263741776024/11724836203106420114249\ 3959*c_1010_4^7 + 8237344544408059330081375134/11724836203106420114\ 2493959*c_1010_4^6 - 22435095826449820422267161887/1172483620310642\ 01142493959*c_1010_4^5 - 4711011914896039775785161341/1172483620310\ 64201142493959*c_1010_4^4 - 887043484719861551389926870/11724836203\ 1064201142493959*c_1010_4^3 - 1911205361231278349558346910/11724836\ 2031064201142493959*c_1010_4^2 - 52463431750593569049231337/1172483\ 62031064201142493959*c_1010_4 - 101227482950744907979377336/1172483\ 62031064201142493959, c_0011_11 + 4846039157619125656896652/351745086093192603427481877*c_101\ 0_4^10 + 31254224575840973303437902/117248362031064201142493959*c_1\ 010_4^9 + 622945450746155886611919605/117248362031064201142493959*c\ _1010_4^8 + 8879828308018574635823778661/35174508609319260342748187\ 7*c_1010_4^7 - 11621389254821110180496683747/3517450860931926034274\ 81877*c_1010_4^6 + 5408804790814768434635883513/1172483620310642011\ 42493959*c_1010_4^5 - 5749825536237874747498435196/3517450860931926\ 03427481877*c_1010_4^4 - 1146188700644846186841026330/3517450860931\ 92603427481877*c_1010_4^3 + 1514074026168980154427848631/3517450860\ 93192603427481877*c_1010_4^2 - 884653688431794150465848578/35174508\ 6093192603427481877*c_1010_4 + 95680111329904425044460830/351745086\ 093192603427481877, c_0011_3 + 47377699402026825907285912/351745086093192603427481877*c_101\ 0_4^10 + 319427286054084566045685612/117248362031064201142493959*c_\ 1010_4^9 + 6369215143828571271674778082/117248362031064201142493959\ *c_1010_4^8 + 103493119958767802471487178198/3517450860931926034274\ 81877*c_1010_4^7 - 24733467488656369012756177726/351745086093192603\ 427481877*c_1010_4^6 + 41503327838702390920410781744/11724836203106\ 4201142493959*c_1010_4^5 + 44159812633021816640496521449/3517450860\ 93192603427481877*c_1010_4^4 + 21867621851610323280486431080/351745\ 086093192603427481877*c_1010_4^3 + 13670262272885642823354447136/351745086093192603427481877*c_1010_4^\ 2 + 2656025750175539879379633944/351745086093192603427481877*c_1010\ _4 + 1782056756412193143700025831/351745086093192603427481877, c_0011_6 - 5365735822228360419596/226786000060085495440027*c_1010_4^10 - 105539312823914841062146/226786000060085495440027*c_1010_4^9 - 2103841400494702170775991/226786000060085495440027*c_1010_4^8 - 10521352312559182718133605/226786000060085495440027*c_1010_4^7 + 9207133325487546395919758/226786000060085495440027*c_1010_4^6 - 16423446357381620074228501/226786000060085495440027*c_1010_4^5 + 2435383037217678657496118/226786000060085495440027*c_1010_4^4 - 408445990665778623210206/226786000060085495440027*c_1010_4^3 - 1166793235571826404632275/226786000060085495440027*c_1010_4^2 + 317313518130127222660638/226786000060085495440027*c_1010_4 - 231867820320816194896720/226786000060085495440027, c_0011_8 + 4846039157619125656896652/351745086093192603427481877*c_1010\ _4^10 + 31254224575840973303437902/117248362031064201142493959*c_10\ 10_4^9 + 622945450746155886611919605/117248362031064201142493959*c_\ 1010_4^8 + 8879828308018574635823778661/351745086093192603427481877\ *c_1010_4^7 - 11621389254821110180496683747/35174508609319260342748\ 1877*c_1010_4^6 + 5408804790814768434635883513/11724836203106420114\ 2493959*c_1010_4^5 - 5749825536237874747498435196/35174508609319260\ 3427481877*c_1010_4^4 - 1146188700644846186841026330/35174508609319\ 2603427481877*c_1010_4^3 + 1514074026168980154427848631/35174508609\ 3192603427481877*c_1010_4^2 - 884653688431794150465848578/351745086\ 093192603427481877*c_1010_4 + 95680111329904425044460830/3517450860\ 93192603427481877, c_0101_0 - 1, c_0101_10 - 9713905787901306172271900/351745086093192603427481877*c_101\ 0_4^10 - 64827733171021999105474314/117248362031064201142493959*c_1\ 010_4^9 - 1292425400381167662167217967/117248362031064201142493959*\ c_1010_4^8 - 20414220358850069483732322920/351745086093192603427481\ 877*c_1010_4^7 + 9442278856702379349876992312/351745086093192603427\ 481877*c_1010_4^6 - 8850859590396372137242856496/117248362031064201\ 142493959*c_1010_4^5 - 4262457057575297667179282504/351745086093192\ 603427481877*c_1010_4^4 - 2196476745220188724951328870/351745086093\ 192603427481877*c_1010_4^3 - 2476983156982674189432681035/351745086\ 093192603427481877*c_1010_4^2 + 141276633411598666986864260/3517450\ 86093192603427481877*c_1010_4 - 224851764093176712620751538/3517450\ 86093192603427481877, c_0101_11 + 512160367678453500718016/10658942002824018285681269*c_1010_\ 4^10 + 10249925839661074164843984/10658942002824018285681269*c_1010\ _4^9 + 204351254582056772079888840/10658942002824018285681269*c_101\ 0_4^8 + 1074814731370505299360502352/10658942002824018285681269*c_1\ 010_4^7 - 504047153124153983923445350/10658942002824018285681269*c_\ 1010_4^6 + 1416804720959056780769335943/10658942002824018285681269*\ c_1010_4^5 + 208192463242596100904996555/10658942002824018285681269\ *c_1010_4^4 + 120570161653544260535017591/1065894200282401828568126\ 9*c_1010_4^3 + 140604067773267483362769625/106589420028240182856812\ 69*c_1010_4^2 + 1525646685836513323930576/1065894200282401828568126\ 9*c_1010_4 + 14512403150583594391833334/10658942002824018285681269, c_0110_5 - 31460430676357704889928644/351745086093192603427481877*c_101\ 0_4^10 - 209296109913466585204070970/117248362031064201142493959*c_\ 1010_4^9 - 4172547839018931045943703635/117248362031064201142493959\ *c_1010_4^8 - 65324255917422505556316561313/35174508609319260342748\ 1877*c_1010_4^7 + 34734828234368945689831875238/3517450860931926034\ 27481877*c_1010_4^6 - 29340766512939364624319891425/117248362031064\ 201142493959*c_1010_4^5 - 8464573847472763833258905449/351745086093\ 192603427481877*c_1010_4^4 - 6686301939835950279185311267/351745086\ 093192603427481877*c_1010_4^3 - 7999453898270335405571812246/351745\ 086093192603427481877*c_1010_4^2 + 371519056971880747679938591/351745086093192603427481877*c_1010_4 - 918208356480542196132749402/351745086093192603427481877, c_1001_3 - 6617874746142357161213492/351745086093192603427481877*c_1010\ _4^10 - 42989804463115446685579042/117248362031064201142493959*c_10\ 10_4^9 - 856913015780667851026255659/117248362031064201142493959*c_\ 1010_4^8 - 12497079269805461090478260459/35174508609319260342748187\ 7*c_1010_4^7 + 13898091062225164545450729959/3517450860931926034274\ 81877*c_1010_4^6 - 7095052953277271910093395217/1172483620310642011\ 42493959*c_1010_4^5 + 6355605429094989918650331757/3517450860931926\ 03427481877*c_1010_4^4 + 654828960606639714169356661/35174508609319\ 2603427481877*c_1010_4^3 - 1190210892501817947415751801/35174508609\ 3192603427481877*c_1010_4^2 + 693322189185975299584010969/351745086\ 093192603427481877*c_1010_4 - 154252672208200173545322034/351745086\ 093192603427481877, c_1010_4^11 + 41/2*c_1010_4^10 + 1635/4*c_1010_4^9 + 2293*c_1010_4^8 + 81/2*c_1010_4^7 + 4603/2*c_1010_4^6 + 6973/4*c_1010_4^5 + 967/2*c_1010_4^4 + 1529/4*c_1010_4^3 + 531/4*c_1010_4^2 + 34*c_1010_4 + 53/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB