Magma V2.19-8 Tue Aug 20 2013 23:38:15 on localhost [Seed = 2430006448] Type ? for help. Type -D to quit. Loading file "K11n96__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n96 geometric_solution 9.04699573 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 3 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.602549217735 0.958453575354 0 4 6 5 0132 0132 0132 0132 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 0 0 0 0 -3 0 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.337357883852 0.254504144365 6 0 3 6 2103 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.012316551380 1.159666962491 5 2 0 0 0132 1230 1230 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 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.619653524592 0.349555323484 7 1 7 8 0132 0132 1023 0132 0 0 0 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 0 0 0 0 0 3 -2 -1 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.948035136192 0.718417174499 3 9 1 9 0132 0132 0132 1230 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 3 -3 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.458635355339 1.043359296321 2 8 2 1 3012 0132 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 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.805467754975 1.304693770978 4 8 4 9 0132 1302 1023 3012 0 0 0 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 0 0 0 0 0 -3 2 1 -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.351974005437 0.687063676735 9 6 4 7 3012 0132 0132 2031 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 -1 1 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 0 0 0 0.859692957775 0.564625732950 5 5 7 8 3012 0132 1230 1230 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 0 0 0 0 -3 0 3 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.391817843594 0.755141277898 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_1001_1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_4'], 'c_1100_8' : d['c_0101_9'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0011_0']), 's_3_1' : d['1'], 's_3_0' : negation(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' : 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_3'], 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_3'], '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_0101_7'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_1']})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_7, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 78933805302920846240689613900427176/1787353796677303817727270943869\ 951*c_1001_1^11 + 129695013726933567271023476779048760/178735379667\ 7303817727270943869951*c_1001_1^10 + 300352473303792429354998817202879082/178735379667730381772727094386\ 9951*c_1001_1^9 + 530370328566857161015711702270873114/178735379667\ 7303817727270943869951*c_1001_1^8 - 3109999195878639727040475112723754929/17873537966773038177272709438\ 69951*c_1001_1^7 - 1959432181842285088946105043307172683/7149415186\ 709215270909083775479804*c_1001_1^6 + 2204374030803303704122849062233429/564457223015096737005296366294*c\ _1001_1^5 - 2686626946701187534640111801279604657/47662767911394768\ 47272722516986536*c_1001_1^4 - 121762885163700103670115977322870748\ 25/3574707593354607635454541887739902*c_1001_1^3 + 428143868793034486187582228819317941/595784598892434605909090314623\ 317*c_1001_1^2 + 4230891812858179775635176466664835607/476627679113\ 9476847272722516986536*c_1001_1 + 435022014065858970427601181674163\ 8573/14298830373418430541818167550959608, c_0011_0 - 1, c_0011_3 - 13277035113965284267987304000/282228611507548368502648183147\ *c_1001_1^11 + 47209749727342276177848101728/2822286115075483685026\ 48183147*c_1001_1^10 + 23300496202324539118846445520/28222861150754\ 8368502648183147*c_1001_1^9 - 3570163653284430696725169512/28222861\ 1507548368502648183147*c_1001_1^8 - 758204264159451366446037302104/282228611507548368502648183147*c_100\ 1_1^7 + 718079090615894095085886389618/2822286115075483685026481831\ 47*c_1001_1^6 + 1581832251551393168045775115971/2822286115075483685\ 02648183147*c_1001_1^5 - 1685089204503122705324288406726/2822286115\ 07548368502648183147*c_1001_1^4 - 1120880219964049709548656470591/2\ 82228611507548368502648183147*c_1001_1^3 + 1266375018120204408420275953393/282228611507548368502648183147*c_10\ 01_1^2 + 16146819776537144772933538628/2822286115075483685026481831\ 47*c_1001_1 - 113306928995340444151180133190/2822286115075483685026\ 48183147, c_0011_6 + 46261957634356889497312820384/282228611507548368502648183147\ *c_1001_1^11 - 78684554104256973523915614560/2822286115075483685026\ 48183147*c_1001_1^10 - 142081274003252540153768362328/2822286115075\ 48368502648183147*c_1001_1^9 - 314708776000198048732736740664/28222\ 8611507548368502648183147*c_1001_1^8 + 1735577973440214407256595730920/282228611507548368502648183147*c_10\ 01_1^7 - 165611706535056214406916530833/282228611507548368502648183\ 147*c_1001_1^6 - 3425251167505614989266060726094/282228611507548368\ 502648183147*c_1001_1^5 + 1572023815474732602709697624973/282228611\ 507548368502648183147*c_1001_1^4 + 2474104960389583306572943969051/282228611507548368502648183147*c_10\ 01_1^3 - 1537920336434417114065980177387/28222861150754836850264818\ 3147*c_1001_1^2 - 339020733843621941300401074969/282228611507548368\ 502648183147*c_1001_1 - 135409332350772001487033869435/282228611507\ 548368502648183147, c_0101_0 - 19966718022163442415116551936/282228611507548368502648183147\ *c_1001_1^11 - 2541156825031173184505530784/28222861150754836850264\ 8183147*c_1001_1^10 + 126945648830475704824495904960/28222861150754\ 8368502648183147*c_1001_1^9 + 243362107377909219321185146808/282228\ 611507548368502648183147*c_1001_1^8 - 508623847698724322744463465600/282228611507548368502648183147*c_100\ 1_1^7 - 1336571025291048493814903169672/282228611507548368502648183\ 147*c_1001_1^6 + 1721730788203556300759257445209/282228611507548368\ 502648183147*c_1001_1^5 + 2023161387989285227781153258897/282228611\ 507548368502648183147*c_1001_1^4 - 2387988370029259130383694481403/282228611507548368502648183147*c_10\ 01_1^3 - 1351363037025948618348902827244/28222861150754836850264818\ 3147*c_1001_1^2 + 1421965257536094629143975637075/28222861150754836\ 8502648183147*c_1001_1 + 396109689657903434189045271572/28222861150\ 7548368502648183147, c_0101_1 + 18935685428748642000585410496/282228611507548368502648183147\ *c_1001_1^11 - 30113425422308516882201670720/2822286115075483685026\ 48183147*c_1001_1^10 - 82663015400676614716460339696/28222861150754\ 8368502648183147*c_1001_1^9 - 128320821283898861829721046704/282228\ 611507548368502648183147*c_1001_1^8 + 777576087266351147252302058360/282228611507548368502648183147*c_100\ 1_1^7 + 264228412463194401096750785506/2822286115075483685026481831\ 47*c_1001_1^6 - 1887320053086501579783134577180/2822286115075483685\ 02648183147*c_1001_1^5 - 193886766221504210956732038279/28222861150\ 7548368502648183147*c_1001_1^4 + 1870593558234959503601900305896/28\ 2228611507548368502648183147*c_1001_1^3 + 195856139639965201369929385177/282228611507548368502648183147*c_100\ 1_1^2 - 548640736901764923882023573691/2822286115075483685026481831\ 47*c_1001_1 - 410368384317423413986322251125/2822286115075483685026\ 48183147, c_0101_2 - 30675487168732324672507295136/282228611507548368502648183147\ *c_1001_1^11 + 71403562937669075905643555200/2822286115075483685026\ 48183147*c_1001_1^10 + 70688793249036686666863075608/28222861150754\ 8368502648183147*c_1001_1^9 + 140028404207484822006518543488/282228\ 611507548368502648183147*c_1001_1^8 - 1318189639370848043926216215496/282228611507548368502648183147*c_10\ 01_1^7 + 744798101909757077799704935921/282228611507548368502648183\ 147*c_1001_1^6 + 2503381601446692476920639374401/282228611507548368\ 502648183147*c_1001_1^5 - 2253979577556094482081347463198/282228611\ 507548368502648183147*c_1001_1^4 - 1587148697879743887701698168103/282228611507548368502648183147*c_10\ 01_1^3 + 1869495990164638264789264251504/28222861150754836850264818\ 3147*c_1001_1^2 - 100792911690908286753030162476/282228611507548368\ 502648183147*c_1001_1 - 11779183770589032571780088492/2822286115075\ 48368502648183147, c_0101_4 + 65706237944960071190547972352/282228611507548368502648183147\ *c_1001_1^11 - 123234786816067931391334224256/282228611507548368502\ 648183147*c_1001_1^10 - 222106506495232917181856876320/282228611507\ 548368502648183147*c_1001_1^9 - 381296659598692683742203555456/2822\ 28611507548368502648183147*c_1001_1^8 + 2686376630568000997347899398696/282228611507548368502648183147*c_10\ 01_1^7 - 217567841876816473199328369616/282228611507548368502648183\ 147*c_1001_1^6 - 5902059904697739752584217571220/282228611507548368\ 502648183147*c_1001_1^5 + 2190308768009404021248911983755/282228611\ 507548368502648183147*c_1001_1^4 + 4666206543502414188118837909940/282228611507548368502648183147*c_10\ 01_1^3 - 1937510608633641500502595407235/28222861150754836850264818\ 3147*c_1001_1^2 - 693452166279835040321672800058/282228611507548368\ 502648183147*c_1001_1 - 366444752277850975515528925276/282228611507\ 548368502648183147, c_0101_7 - 53968258086234619874517131424/282228611507548368502648183147\ *c_1001_1^11 + 76560604521009803881245422752/2822286115075483685026\ 48183147*c_1001_1^10 + 212709706230502799037064843832/2822286115075\ 48368502648183147*c_1001_1^9 + 401131870163070405007302994632/28222\ 8611507548368502648183147*c_1001_1^8 - 2011476358319760992044266400784/282228611507548368502648183147*c_10\ 01_1^7 - 625248842934703040557852941295/282228611507548368502648183\ 147*c_1001_1^6 + 4593303766522472130078452583292/282228611507548368\ 502648183147*c_1001_1^5 - 17569225144344537601604199474/28222861150\ 7548368502648183147*c_1001_1^4 - 4339183095097097493909790311720/28\ 2228611507548368502648183147*c_1001_1^3 + 424085091394603811633935195952/282228611507548368502648183147*c_100\ 1_1^2 + 1343826499149962017785922418701/282228611507548368502648183\ 147*c_1001_1 + 374650281872505505885177884020/282228611507548368502\ 648183147, c_0101_9 + 6992401316379014978771624288/282228611507548368502648183147*\ c_1001_1^11 - 27916642827742194665391524384/28222861150754836850264\ 8183147*c_1001_1^10 - 39613925616009821999532033544/282228611507548\ 368502648183147*c_1001_1^9 + 21749582735843542025111971128/28222861\ 1507548368502648183147*c_1001_1^8 + 543315182733476459127280988832/282228611507548368502648183147*c_100\ 1_1^7 - 117650038940940265182424003815/2822286115075483685026481831\ 47*c_1001_1^6 - 1560168017141669890463116874126/2822286115075483685\ 02648183147*c_1001_1^5 + 125511665974678833834868151770/28222861150\ 7548368502648183147*c_1001_1^4 + 1912853967427861244401653432777/28\ 2228611507548368502648183147*c_1001_1^3 + 133379355845289581047812574126/282228611507548368502648183147*c_100\ 1_1^2 - 830240368201977119032213962944/2822286115075483685026481831\ 47*c_1001_1 - 331113898951706306334491866141/2822286115075483685026\ 48183147, c_1001_1^12 - 3*c_1001_1^11 - 41/28*c_1001_1^10 - 45/28*c_1001_1^9 + 1347/28*c_1001_1^8 - 10867/224*c_1001_1^7 - 10555/112*c_1001_1^6 + 4341/32*c_1001_1^5 + 6161/112*c_1001_1^4 - 27527/224*c_1001_1^3 + 1179/224*c_1001_1^2 + 1163/56*c_1001_1 + 2111/224 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB