Magma V2.19-8 Tue Aug 20 2013 23:56:36 on localhost [Seed = 4038498559] Type ? for help. Type -D to quit. Loading file "L14n23994__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n23994 geometric_solution 10.44753982 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 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 1 -1 3 0 0 -3 1 -3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.763560361181 1.186762991824 0 2 4 5 0132 0213 0213 0132 1 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 0 0 0 0 0 0 0 0 -3 0 3 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.609706707312 0.262642348918 4 0 1 6 0213 0132 0213 0132 1 1 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 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161468283641 0.810458789128 7 8 7 0 0132 0132 2310 0132 1 1 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 1 0 -1 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.276018251327 1.164726447599 2 1 0 8 0213 0213 0132 2310 1 1 1 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 0 1 -1 0 0 3 -3 0 -3 0 3 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161468283641 0.810458789128 7 7 1 6 2103 0321 0132 2103 1 1 1 1 0 0 0 0 1 0 0 -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 2 0 0 -2 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.384945712601 0.619292479649 9 10 2 5 0132 0132 0132 2103 1 1 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 0 0 0 0 0 0 0 -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.413938492908 0.715537428649 3 3 5 5 0132 3201 2103 0321 1 1 1 1 0 0 0 0 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 0 0 -2 2 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.398267711554 0.269070677360 4 3 11 9 3201 0132 0132 0132 1 1 1 1 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 1 0 -3 0 3 0 1 0 0 -1 3 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413938492908 0.715537428649 6 10 8 11 0132 0213 0132 3120 1 1 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 0 0 0 0 0 0 0 2 0 0 -2 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.052495911279 0.516999342917 11 6 9 11 2031 0132 0213 0321 1 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 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.516697918368 0.534861489910 9 10 10 8 3120 0321 1302 0132 1 1 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 0 0 0 0 0 1 -1 2 0 1 -3 -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.516697918368 0.534861489910 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_9'], 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_1001_0'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : 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_9']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0110_5']), 'c_1100_6' : negation(d['c_0110_5']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_5']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_10'], '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' : negation(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' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_7' : negation(d['c_0011_5']), 'c_1100_8' : d['c_0011_10']})} 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_5, c_0101_0, c_0101_6, c_0101_9, c_0110_5, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 56401676139402318757745297849221932127194067/3510111917887809953753\ 288871781728256*c_1001_10^14 - 744390298950107834896168585040812752\ 6842315/219381994867988122109580554486358016*c_1001_10^13 - 117069132388761677421400547056836097355182731/351011191788780995375\ 3288871781728256*c_1001_10^12 - 30853441583591625623850836879119670\ 9592967691/3510111917887809953753288871781728256*c_1001_10^11 - 1157309903875095723346671077728620914115/14504594702015743610550780\ 461907968*c_1001_10^10 - 591235088898068628284122765431693470849121\ 1/250722279849129282410949205127266304*c_1001_10^9 + 11551185161230494666044007631049506875201821/5014445596982585648218\ 98410254532608*c_1001_10^8 - 31325951117761144735118495093064480239\ 705805/1755055958943904976876644435890864128*c_1001_10^7 + 50251793990509787021841190235185827849646115/3510111917887809953753\ 288871781728256*c_1001_10^6 - 1900718987356309696581261072587102458\ 360499/438763989735976244219161108972716032*c_1001_10^5 + 2688692465109972216448129993746246512094657/50144455969825856482189\ 8410254532608*c_1001_10^4 - 182511756628804851317345600131389089862\ 9349/501444559698258564821898410254532608*c_1001_10^3 + 910698743294160061760406603585640599543041/438763989735976244219161\ 108972716032*c_1001_10^2 - 1042632307167479481688488929689815399492\ 571/1755055958943904976876644435890864128*c_1001_10 + 335134830045602257105581085473824886698961/351011191788780995375328\ 8871781728256, c_0011_0 - 1, c_0011_10 - 2097846194078516342867047245921/143059141660772625877323535\ 36*c_1001_10^14 + 2423296258872249775367956022045/71529570830386312\ 93866176768*c_1001_10^13 + 3652396490394860054952580286475/14305914\ 166077262587732353536*c_1001_10^12 + 10263902511595850329020908215033/14305914166077262587732353536*c_10\ 01_10^11 - 336536987694914508362093595479/1788239270759657823466544\ 192*c_1001_10^10 + 35694580091797270232921906335/255462752965665403\ 352363456*c_1001_10^9 - 532069007013280269424213381349/204370202372\ 5323226818907648*c_1001_10^8 + 1382424715269621431640900408147/7152\ 957083038631293866176768*c_1001_10^7 - 1902640087123907255526227148389/14305914166077262587732353536*c_100\ 1_10^6 + 423621966588487477056711067103/715295708303863129386617676\ 8*c_1001_10^5 - 94808120339342092210095715017/204370202372532322681\ 8907648*c_1001_10^4 + 80422818006548129596576407743/204370202372532\ 3226818907648*c_1001_10^3 - 153636647904495583627876165797/71529570\ 83038631293866176768*c_1001_10^2 + 11682799870168567062781622285/1788239270759657823466544192*c_1001_1\ 0 - 16660119804203236377912184193/14305914166077262587732353536, c_0011_11 + 4164514670971563579152738423779/572236566643090503509294141\ 44*c_1001_10^14 - 394307057703099385927287361335/178823927075965782\ 3466544192*c_1001_10^13 - 1081122145303781337383404333243/572236566\ 64309050350929414144*c_1001_10^12 - 13452601224792469957029410315163/57223656664309050350929414144*c_10\ 01_10^11 + 10694085180640770137668408867165/28611828332154525175464\ 707072*c_1001_10^10 - 293680837287965793555376171035/40874040474506\ 46453637815296*c_1001_10^9 + 1365499398733813951619747487613/817480\ 8094901292907275630592*c_1001_10^8 - 4834441775853269458479431294581/28611828332154525175464707072*c_100\ 1_10^7 + 6929821799463254718842445211331/57223656664309050350929414\ 144*c_1001_10^6 - 405686529451846693328394323807/715295708303863129\ 3866176768*c_1001_10^5 + 252491739607993666251424072449/81748080949\ 01292907275630592*c_1001_10^4 - 273873592411388282714067251205/8174\ 808094901292907275630592*c_1001_10^3 + 149795650753205979314930290065/7152957083038631293866176768*c_1001_\ 10^2 - 214237843132686146031700106115/28611828332154525175464707072\ *c_1001_10 + 72277425645643952395325743201/572236566643090503509294\ 14144, c_0011_3 - 3356922225016674405465743570115/1430591416607726258773235353\ 6*c_1001_10^14 + 2693987431523019461102293319709/715295708303863129\ 3866176768*c_1001_10^13 + 10783504966568956446397454257405/14305914\ 166077262587732353536*c_1001_10^12 + 21819022682033197655960760945963/14305914166077262587732353536*c_10\ 01_10^11 + 2046683180750835665665111505443/357647854151931564693308\ 8384*c_1001_10^10 + 89470440022547205452158236463/51092550593133080\ 6704726912*c_1001_10^9 - 697992038391518309233637785443/20437020237\ 25323226818907648*c_1001_10^8 + 52046012100104524057061459169/71529\ 57083038631293866176768*c_1001_10^7 - 1260609671200149668561638420327/14305914166077262587732353536*c_100\ 1_10^6 - 174769215624951578249723536121/715295708303863129386617676\ 8*c_1001_10^5 - 94404588582138364994056828351/204370202372532322681\ 8907648*c_1001_10^4 + 44419599605365488270070760973/204370202372532\ 3226818907648*c_1001_10^3 + 4336652284405524999968884819/7152957083\ 038631293866176768*c_1001_10^2 - 10846205231838578083139365485/3576\ 478541519315646933088384*c_1001_10 + 20023257052340310986873363689/14305914166077262587732353536, c_0011_5 - 39811922188576173179463460060167/572236566643090503509294141\ 44*c_1001_10^14 + 9665593993267893050617625588341/71529570830386312\ 93866176768*c_1001_10^13 + 98499397163189912826766422992663/5722365\ 6664309050350929414144*c_1001_10^12 + 230558113555208320634827015305247/57223656664309050350929414144*c_1\ 001_10^11 + 14860906280240502098116444984867/2861182833215452517546\ 4707072*c_1001_10^10 + 3113486311466096747430652564755/408740404745\ 0646453637815296*c_1001_10^9 - 8608154998116685746913126358577/8174\ 808094901292907275630592*c_1001_10^8 + 14527284736500064320612904279737/28611828332154525175464707072*c_10\ 01_10^7 - 27878585046861293489116438360167/572236566643090503509294\ 14144*c_1001_10^6 + 175613741534853294119293205825/1788239270759657\ 823466544192*c_1001_10^5 - 1601530118008996264819144084389/81748080\ 94901292907275630592*c_1001_10^4 + 1041277265950007442033368970449/8174808094901292907275630592*c_1001\ _10^3 - 99941403373458711167099935009/1788239270759657823466544192*\ c_1001_10^2 + 362852189693324948030559538803/2861182833215452517546\ 4707072*c_1001_10 - 49895679155153436287232165109/57223656664309050\ 350929414144, c_0101_0 - 1, c_0101_6 + c_1001_10, c_0101_9 - 835736846486811728418092552283/14305914166077262587732353536\ *c_1001_10^14 + 213038397072748512692011781139/89411963537982891173\ 3272096*c_1001_10^13 - 1455233834117431134990403450517/143059141660\ 77262587732353536*c_1001_10^12 + 459509990623084433999956910083/143\ 05914166077262587732353536*c_1001_10^11 - 4732711243406538403537378429701/7152957083038631293866176768*c_1001\ _10^10 + 6225937878086632828501086231/1021851011862661613409453824*\ c_1001_10^9 - 374391987187547082096199229029/2043702023725323226818\ 907648*c_1001_10^8 + 1796743318786823644006163079569/71529570830386\ 31293866176768*c_1001_10^7 - 1770129470656182561326577178547/143059\ 14166077262587732353536*c_1001_10^6 + 19470197541794388700472873147/223529908844957227933318024*c_1001_10\ ^5 - 69623097693412385189652612425/2043702023725323226818907648*c_1\ 001_10^4 + 86447047443778986844779806853/20437020237253232268189076\ 48*c_1001_10^3 - 24348761417921831836773229495/89411963537982891173\ 3272096*c_1001_10^2 + 67399928239625309597152177795/715295708303863\ 1293866176768*c_1001_10 - 25068379694477565752659094305/14305914166\ 077262587732353536, c_0110_5 - 3356922225016674405465743570115/1430591416607726258773235353\ 6*c_1001_10^14 + 2693987431523019461102293319709/715295708303863129\ 3866176768*c_1001_10^13 + 10783504966568956446397454257405/14305914\ 166077262587732353536*c_1001_10^12 + 21819022682033197655960760945963/14305914166077262587732353536*c_10\ 01_10^11 + 2046683180750835665665111505443/357647854151931564693308\ 8384*c_1001_10^10 + 89470440022547205452158236463/51092550593133080\ 6704726912*c_1001_10^9 - 697992038391518309233637785443/20437020237\ 25323226818907648*c_1001_10^8 + 52046012100104524057061459169/71529\ 57083038631293866176768*c_1001_10^7 - 1260609671200149668561638420327/14305914166077262587732353536*c_100\ 1_10^6 - 174769215624951578249723536121/715295708303863129386617676\ 8*c_1001_10^5 - 94404588582138364994056828351/204370202372532322681\ 8907648*c_1001_10^4 + 44419599605365488270070760973/204370202372532\ 3226818907648*c_1001_10^3 + 4336652284405524999968884819/7152957083\ 038631293866176768*c_1001_10^2 - 10846205231838578083139365485/3576\ 478541519315646933088384*c_1001_10 + 20023257052340310986873363689/14305914166077262587732353536, c_1001_0 - 835736846486811728418092552283/14305914166077262587732353536\ *c_1001_10^14 + 213038397072748512692011781139/89411963537982891173\ 3272096*c_1001_10^13 - 1455233834117431134990403450517/143059141660\ 77262587732353536*c_1001_10^12 + 459509990623084433999956910083/143\ 05914166077262587732353536*c_1001_10^11 - 4732711243406538403537378429701/7152957083038631293866176768*c_1001\ _10^10 + 6225937878086632828501086231/1021851011862661613409453824*\ c_1001_10^9 - 374391987187547082096199229029/2043702023725323226818\ 907648*c_1001_10^8 + 1796743318786823644006163079569/71529570830386\ 31293866176768*c_1001_10^7 - 1770129470656182561326577178547/143059\ 14166077262587732353536*c_1001_10^6 + 19470197541794388700472873147/223529908844957227933318024*c_1001_10\ ^5 - 69623097693412385189652612425/2043702023725323226818907648*c_1\ 001_10^4 + 86447047443778986844779806853/20437020237253232268189076\ 48*c_1001_10^3 - 24348761417921831836773229495/89411963537982891173\ 3272096*c_1001_10^2 + 67399928239625309597152177795/715295708303863\ 1293866176768*c_1001_10 - 25068379694477565752659094305/14305914166\ 077262587732353536, c_1001_1 - 315148172316232834630956377229/1788239270759657823466544192*\ c_1001_10^14 + 989680254941031359566199070597/715295708303863129386\ 6176768*c_1001_10^13 + 6119369400343193790693928853961/715295708303\ 8631293866176768*c_1001_10^12 + 2669939086426264152745100504485/178\ 8239270759657823466544192*c_1001_10^11 + 8826077604908209734867601440587/7152957083038631293866176768*c_1001\ _10^10 + 172714942167007778075815386695/102185101186266161340945382\ 4*c_1001_10^9 - 161800025601985613568719278207/10218510118626616134\ 09453824*c_1001_10^8 - 109043581667919944996818851275/4470598176899\ 14455866636048*c_1001_10^7 + 127379949864008223191234689555/3576478\ 541519315646933088384*c_1001_10^6 - 797815536962372016664855476825/7152957083038631293866176768*c_1001_\ 10^5 - 12390745444362989902202107963/1021851011862661613409453824*c\ _1001_10^4 - 5253430979801687321838630735/2554627529656654033523634\ 56*c_1001_10^3 + 199126743627780179694154720779/7152957083038631293\ 866176768*c_1001_10^2 - 89092338703302465763430908765/7152957083038\ 631293866176768*c_1001_10 + 22545818373408938369766228997/715295708\ 3038631293866176768, c_1001_10^15 - 13457/5497*c_1001_10^14 - 7505/5497*c_1001_10^13 - 26232/5497*c_1001_10^12 + 10087/5497*c_1001_10^11 - 8060/5497*c_1001_10^10 + 10591/5497*c_1001_10^9 - 8759/5497*c_1001_10^8 + 6951/5497*c_1001_10^7 - 3129/5497*c_1001_10^6 + 2333/5497*c_1001_10^5 - 1862/5497*c_1001_10^4 + 1129/5497*c_1001_10^3 - 442/5497*c_1001_10^2 + 101/5497*c_1001_10 - 11/5497 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.390 seconds, Total memory usage: 32.09MB