Magma V2.19-8 Tue Aug 20 2013 23:42:49 on localhost [Seed = 964648049] Type ? for help. Type -D to quit. Loading file "L13n5921__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5921 geometric_solution 10.45214714 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 3201 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 -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.206400774961 1.255017419154 0 0 4 2 0132 2310 0132 1023 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 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.415380159237 1.308257996963 3 0 5 1 2310 0132 0132 1023 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 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.361829822255 0.516178263075 4 6 2 0 0132 0132 3201 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 0 0 0 0 0 0 0 -5 4 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228786107530 0.676820872450 3 7 6 1 0132 0132 1023 0132 1 1 1 1 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 0 0 -1 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193161567124 0.793138025871 8 7 8 2 0132 3201 3012 0132 1 1 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 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.497820549189 0.633911485760 9 3 4 8 0132 0132 1023 3012 1 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 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.323067130110 1.731639924403 10 4 5 10 0132 0132 2310 2103 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 0 0 0 -1 0 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 0 0.500310694229 0.612756820997 5 5 6 10 0132 1230 1230 3012 1 1 0 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 -1 1 -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.767825646384 0.969242161378 6 10 9 9 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662386073004 1.068682271927 7 9 8 7 0132 0132 1230 2103 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 0 -1 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.500310694229 0.612756820997 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0011_5'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_1001_8'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_10' : 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_9'], 'c_1100_8' : d['c_0101_9'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_1001_8']), 'c_1100_10' : negation(d['c_0101_10']), 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0101_10']), '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'], '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_10']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_10'], '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_10' : negation(d['c_0011_5']), 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_2'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0101_9, c_1001_1, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 28056373704539185680126928055454394405/4018992828579567730273752952\ 4306694284*c_1001_8^14 + 864784805002936677006744599653441741109/60\ 284892428693515954106294286460041426*c_1001_8^13 - 3792157904418356467434710658411463134787/60284892428693515954106294\ 286460041426*c_1001_8^12 + 2963367262852101753807830141205813026611\ 7/120569784857387031908212588572920082852*c_1001_8^11 - 38733554112166026598830021999584144759555/6028489242869351595410629\ 4286460041426*c_1001_8^10 + 148759586491441703300223406378062354254\ 471/120569784857387031908212588572920082852*c_1001_8^9 - 65783765798571354829991434859332276636667/4018992828579567730273752\ 9524306694284*c_1001_8^8 + 1492683130337230408921316442597210221754\ 13/120569784857387031908212588572920082852*c_1001_8^7 - 21882033753342769146746170055667044599727/6028489242869351595410629\ 4286460041426*c_1001_8^6 - 6049662821012492190947571412089794451986\ 9/120569784857387031908212588572920082852*c_1001_8^5 + 65757065494051239295139391186114286039945/1205697848573870319082125\ 88572920082852*c_1001_8^4 - 115672164542972143826232865188773730525\ 71/120569784857387031908212588572920082852*c_1001_8^3 - 1102031269855062439749707591471770584859/20094964142897838651368764\ 762153347142*c_1001_8^2 + 215075719301516779637586663990670323285/4\ 0189928285795677302737529524306694284*c_1001_8 + 16431990194764165584151086876304531637/9274598835183617839093276044\ 070775604, c_0011_0 - 1, c_0011_10 + 3075693564454113098437898132/826327628279537108133881383229\ *c_1001_8^14 - 140705055389909207523985186151/247898288483861132440\ 1644149687*c_1001_8^13 - 136066537671728897907898063267/24789828848\ 38611324401644149687*c_1001_8^12 + 424595334021356347353573913466/2478982884838611324401644149687*c_10\ 01_8^11 - 6039913654171771149900036673073/2478982884838611324401644\ 149687*c_1001_8^10 + 18225655768874419202988914091650/2478982884838\ 611324401644149687*c_1001_8^9 - 40673762566091583553584447491530/24\ 78982884838611324401644149687*c_1001_8^8 + 57008571172105124462612300957960/2478982884838611324401644149687*c_\ 1001_8^7 - 37325664498970274851662055664443/24789828848386113244016\ 44149687*c_1001_8^6 + 4593766202323348289204541419949/8263276282795\ 37108133881383229*c_1001_8^5 + 9068728849693850114862887101089/8263\ 27628279537108133881383229*c_1001_8^4 - 6219714085449207581124717429012/826327628279537108133881383229*c_10\ 01_8^3 + 6920372375090591830231303591325/24789828848386113244016441\ 49687*c_1001_8^2 - 5449403882104564298107551283397/2478982884838611\ 324401644149687*c_1001_8 - 1971922889848093589140895861762/24789828\ 84838611324401644149687, c_0011_5 - 1, c_0101_0 + 16970088547909582205134643546/826327628279537108133881383229\ *c_1001_8^14 - 1012339451345460622911488777180/24789828848386113244\ 01644149687*c_1001_8^13 + 3930529732748622812919994499672/247898288\ 4838611324401644149687*c_1001_8^12 - 15620460745289553556129694335612/2478982884838611324401644149687*c_\ 1001_8^11 + 37701436683726354185709979561465/2478982884838611324401\ 644149687*c_1001_8^10 - 69551947665827172220676495956480/2478982884\ 838611324401644149687*c_1001_8^9 + 84167771286957674138097670403813/2478982884838611324401644149687*c_\ 1001_8^8 - 52774887026040675248531372685700/24789828848386113244016\ 44149687*c_1001_8^7 + 9200307259603243285582015655720/2478982884838\ 611324401644149687*c_1001_8^6 + 14383436883180242851543047236786/82\ 6327628279537108133881383229*c_1001_8^5 - 10691031616768928416426518587163/826327628279537108133881383229*c_1\ 001_8^4 + 6060842131995923481161404540126/8263276282795371081338813\ 83229*c_1001_8^3 - 5221241992873357734251375864047/2478982884838611\ 324401644149687*c_1001_8^2 + 857573235414479176616603419930/2478982\ 884838611324401644149687*c_1001_8 + 706542982408813851773445966937/2478982884838611324401644149687, c_0101_1 - 9825012910727820377869817480/826327628279537108133881383229*\ c_1001_8^14 + 587829049937806882826489155517/2478982884838611324401\ 644149687*c_1001_8^13 - 2296312856811684052988327375083/24789828848\ 38611324401644149687*c_1001_8^12 + 8917053814017257577931670799373/2478982884838611324401644149687*c_1\ 001_8^11 - 21512403685362358890887779598126/24789828848386113244016\ 44149687*c_1001_8^10 + 38061633114484030856116160112421/24789828848\ 38611324401644149687*c_1001_8^9 - 14601146000266277377703801993901/\ 826327628279537108133881383229*c_1001_8^8 + 20859367825871530943288040883904/2478982884838611324401644149687*c_\ 1001_8^7 + 5062525104516918059925059764105/247898288483861132440164\ 4149687*c_1001_8^6 - 28206575358747562772631022299196/2478982884838\ 611324401644149687*c_1001_8^5 + 18747669529110179774590873351460/24\ 78982884838611324401644149687*c_1001_8^4 - 506836593351913974747586438885/2478982884838611324401644149687*c_10\ 01_8^3 + 1077309163687940164166842030882/82632762827953710813388138\ 3229*c_1001_8^2 + 935885468097416901646778160007/826327628279537108\ 133881383229*c_1001_8 - 860312353427804377238091623339/247898288483\ 8611324401644149687, c_0101_10 - 1117494551605100120039571872/826327628279537108133881383229\ *c_1001_8^14 + 102596835142837869274061525219/247898288483861132440\ 1644149687*c_1001_8^13 - 975538602615490973518642648520/24789828848\ 38611324401644149687*c_1001_8^12 + 3841852977146004887586340281472/2478982884838611324401644149687*c_1\ 001_8^11 - 13590463035065328770148157681246/24789828848386113244016\ 44149687*c_1001_8^10 + 31555944731610329482840584138784/24789828848\ 38611324401644149687*c_1001_8^9 - 55138928724399162312609136964282/\ 2478982884838611324401644149687*c_1001_8^8 + 63391013550664639392257365993792/2478982884838611324401644149687*c_\ 1001_8^7 - 37838907030506904339719028442142/24789828848386113244016\ 44149687*c_1001_8^6 + 1007529488791779492461768737005/8263276282795\ 37108133881383229*c_1001_8^5 + 10496612396759117321569608325110/826\ 327628279537108133881383229*c_1001_8^4 - 7952352709590253870492767451176/826327628279537108133881383229*c_10\ 01_8^3 + 11154994733037066574036687264345/2478982884838611324401644\ 149687*c_1001_8^2 - 3096596051129016954183445976059/247898288483861\ 1324401644149687*c_1001_8 - 370558097094263975668214539153/24789828\ 84838611324401644149687, c_0101_2 - 5227194741906229515109563416/826327628279537108133881383229*\ c_1001_8^14 + 348359633067670096978278794885/2478982884838611324401\ 644149687*c_1001_8^13 - 1923025325681791182701662797493/24789828848\ 38611324401644149687*c_1001_8^12 + 7350933334091061399902138549818/2478982884838611324401644149687*c_1\ 001_8^11 - 21741374476399745133714469398059/24789828848386113244016\ 44149687*c_1001_8^10 + 44262633080761220448531148858516/24789828848\ 38611324401644149687*c_1001_8^9 - 21921339412983975457563981741663/\ 826327628279537108133881383229*c_1001_8^8 + 58812923544378080786537555954750/2478982884838611324401644149687*c_\ 1001_8^7 - 20225350901188703340560227852496/24789828848386113244016\ 44149687*c_1001_8^6 - 16899660493342834700257197628165/247898288483\ 8611324401644149687*c_1001_8^5 + 39740939787858443543421423778406/2\ 478982884838611324401644149687*c_1001_8^4 - 15950923252639808230154331594286/2478982884838611324401644149687*c_\ 1001_8^3 + 1518079294240699107229528644487/826327628279537108133881\ 383229*c_1001_8^2 - 681727481570415191962595502074/8263276282795371\ 08133881383229*c_1001_8 - 2105817810492772074989570295623/247898288\ 4838611324401644149687, c_0101_6 + 8302888306360342613547461548/826327628279537108133881383229*\ c_1001_8^14 - 489064688457579304502263981036/2478982884838611324401\ 644149687*c_1001_8^13 + 595652929336687428264588244742/826327628279\ 537108133881383229*c_1001_8^12 - 6926338000069705052548564636352/24\ 78982884838611324401644149687*c_1001_8^11 + 5233820274075991327938144241662/826327628279537108133881383229*c_10\ 01_8^10 - 26036977311886801245542234766866/247898288483861132440164\ 4149687*c_1001_8^9 + 25090255672860342819107497733459/2478982884838\ 611324401644149687*c_1001_8^8 - 601450790757652107975084998930/8263\ 27628279537108133881383229*c_1001_8^7 - 17100313597781571511101827811947/2478982884838611324401644149687*c_\ 1001_8^6 + 30680959100312879567870821888012/24789828848386113244016\ 44149687*c_1001_8^5 - 12534753238776893198832762475139/247898288483\ 8611324401644149687*c_1001_8^4 - 2708219003707814513219820692750/24\ 78982884838611324401644149687*c_1001_8^3 + 2366134492368494508542717657864/2478982884838611324401644149687*c_1\ 001_8^2 - 5883204322231930046621408926862/2478982884838611324401644\ 149687*c_1001_8 + 44631640214892828616224811287/8263276282795371081\ 33881383229, c_0101_9 - 8695530630105787427122252553/826327628279537108133881383229*\ c_1001_8^14 + 540172890436580083073214706940/2478982884838611324401\ 644149687*c_1001_8^13 - 814393314388135728996464233263/826327628279\ 537108133881383229*c_1001_8^12 + 9721348229260659533450350780816/24\ 78982884838611324401644149687*c_1001_8^11 - 8753015101321257739262127010388/826327628279537108133881383229*c_10\ 01_8^10 + 52856386944286585327350615769738/247898288483861132440164\ 4149687*c_1001_8^9 - 76431712362667386117327938047051/2478982884838\ 611324401644149687*c_1001_8^8 + 23490989090503843245255000750989/82\ 6327628279537108133881383229*c_1001_8^7 - 38516299313123999209218613446479/2478982884838611324401644149687*c_\ 1001_8^6 - 8656295118121575829280079133916/247898288483861132440164\ 4149687*c_1001_8^5 + 31613427367710111505204092161197/2478982884838\ 611324401644149687*c_1001_8^4 - 23921733901076732198365591997960/24\ 78982884838611324401644149687*c_1001_8^3 + 14324907624577535902857331065254/2478982884838611324401644149687*c_\ 1001_8^2 - 2495859443686681626294582362648/247898288483861132440164\ 4149687*c_1001_8 + 187819049554055333787026808064/82632762827953710\ 8133881383229, c_1001_1 + 29457916499460952577583795574/826327628279537108133881383229\ *c_1001_8^14 - 1790002542663630380302008887047/24789828848386113244\ 01644149687*c_1001_8^13 + 7460366344185059738838758897816/247898288\ 4838611324401644149687*c_1001_8^12 - 29393070832560474793235349161828/2478982884838611324401644149687*c_\ 1001_8^11 + 74686099155137187060925226652205/2478982884838611324401\ 644149687*c_1001_8^10 - 141781866174630546043163115740339/247898288\ 4838611324401644149687*c_1001_8^9 + 61461448834140203795804153295590/826327628279537108133881383229*c_1\ 001_8^8 - 135734511931424901771491013836560/24789828848386113244016\ 44149687*c_1001_8^7 + 43029554756817959082814699724035/247898288483\ 8611324401644149687*c_1001_8^6 + 64249767754290350078553786603560/2\ 478982884838611324401644149687*c_1001_8^5 - 71952200365192025897739915637228/2478982884838611324401644149687*c_\ 1001_8^4 + 34088020486379186836906982778242/24789828848386113244016\ 44149687*c_1001_8^3 - 4956499575896687564715076608869/8263276282795\ 37108133881383229*c_1001_8^2 + 727261855963112399303925316525/82632\ 7628279537108133881383229*c_1001_8 - 1233590385075218354457283918802/2478982884838611324401644149687, c_1001_8^15 - 61/3*c_1001_8^14 + 86*c_1001_8^13 - 339*c_1001_8^12 + 869*c_1001_8^11 - 4987/3*c_1001_8^10 + 6548/3*c_1001_8^9 - 4898/3*c_1001_8^8 + 493*c_1001_8^7 + 2449/3*c_1001_8^6 - 2836/3*c_1001_8^5 + 1394/3*c_1001_8^4 - 143*c_1001_8^3 - 31/3*c_1001_8^2 + 50/3*c_1001_8 + 37/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB