Magma V2.19-8 Tue Aug 20 2013 23:29:38 on localhost [Seed = 2564751052] Type ? for help. Type -D to quit. Loading file "K10a81__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a81 geometric_solution 7.71699981 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226493333879 0.718382428959 0 5 4 6 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.334693208422 0.963830576292 7 0 2 2 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594880144476 0.404296638301 8 6 8 0 0132 2103 3012 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 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.239841744798 1.665953320249 1 7 0 8 2310 3201 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 -1 1 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.009113954185 0.468542176803 7 1 6 8 1023 0132 2103 0213 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 13 0 -14 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.811042753876 1.398725703014 5 3 1 7 2103 2103 0132 1023 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 14 0 0 -14 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468631764822 1.809528293283 2 5 4 6 0132 1023 2310 1023 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 -13 -1 14 0 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.111993952573 1.113262512694 3 3 4 5 0132 1230 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.287492334058 0.386298340478 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_8' : d['c_1001_8'], 's_2_8' : d['1'], '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' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : negation(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_8' : negation(d['c_0101_1']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_1001_8']), 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_8']), 'c_1100_3' : negation(d['c_1001_8']), 'c_1100_2' : d['c_0101_2'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_3'], 's_3_1' : negation(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_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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 'c_0110_8' : d['c_0101_3'], '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_0101_7'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 3555710879465897988533320796705473/11989854112051707748405204691986\ 33*c_1001_8^16 - 135339356050159925838304116298656531/2397970822410\ 341549681040938397266*c_1001_8^15 + 479313893628538389382925650849319540/119898541120517077484052046919\ 8633*c_1001_8^14 - 1691225844222433257098483699631412379/1198985411\ 205170774840520469198633*c_1001_8^13 + 4007376985018843546349602971404729502/11989854112051707748405204691\ 98633*c_1001_8^12 - 18299532198875074798773690105416793885/23979708\ 22410341549681040938397266*c_1001_8^11 + 36763404397837323028749236288646320469/2397970822410341549681040938\ 397266*c_1001_8^10 - 59494061212536541583198818489477873893/2397970\ 822410341549681040938397266*c_1001_8^9 + 90434908486900671801960821327598137045/2397970822410341549681040938\ 397266*c_1001_8^8 - 119317863460180301794031797344465980849/2397970\ 822410341549681040938397266*c_1001_8^7 + 64401120390859023006759264582720110996/1198985411205170774840520469\ 198633*c_1001_8^6 - 124037897667910928618241599416287070355/2397970\ 822410341549681040938397266*c_1001_8^5 + 48475214452520523018308407802763918967/1198985411205170774840520469\ 198633*c_1001_8^4 - 57748794408388236645202021887499086517/23979708\ 22410341549681040938397266*c_1001_8^3 + 31396313351407168511164773433335358219/2397970822410341549681040938\ 397266*c_1001_8^2 - 10615380024944510109890316900306799561/23979708\ 22410341549681040938397266*c_1001_8 - 793390799075400849793382328631522781/239797082241034154968104093839\ 7266, c_0011_0 - 1, c_0011_3 + 661798820545163762568548207/207904527692937536819927253199*c\ _1001_8^16 - 11195372988845517943960554930/207904527692937536819927\ 253199*c_1001_8^15 + 64964064765217479287131433581/2079045276929375\ 36819927253199*c_1001_8^14 - 167662920658429030793733950890/2079045\ 27692937536819927253199*c_1001_8^13 + 334938931496122628333754702135/207904527692937536819927253199*c_100\ 1_8^12 - 855896013505131286204989056981/207904527692937536819927253\ 199*c_1001_8^11 + 1371599487831886089063567923686/20790452769293753\ 6819927253199*c_1001_8^10 - 2021103520712641155183351382265/2079045\ 27692937536819927253199*c_1001_8^9 + 3169490539668284722077229211498/207904527692937536819927253199*c_10\ 01_8^8 - 3275477468662353605662394989498/20790452769293753681992725\ 3199*c_1001_8^7 + 3242676994970184363877159148742/20790452769293753\ 6819927253199*c_1001_8^6 - 3047877000060050552867274989836/20790452\ 7692937536819927253199*c_1001_8^5 + 1610473811245819063602827388276/207904527692937536819927253199*c_10\ 01_8^4 - 1017904003769359761933103963195/20790452769293753681992725\ 3199*c_1001_8^3 + 548970614848662432216989979356/207904527692937536\ 819927253199*c_1001_8^2 + 176897184870538558706114732236/2079045276\ 92937536819927253199*c_1001_8 + 119452751999904836799159163877/2079\ 04527692937536819927253199, c_0011_4 - 724372502136227444747396147/415809055385875073639854506398*c\ _1001_8^16 + 12770821517990997389094494313/415809055385875073639854\ 506398*c_1001_8^15 - 40656045740187931508245070748/2079045276929375\ 36819927253199*c_1001_8^14 + 129259713436038286209221657949/2079045\ 27692937536819927253199*c_1001_8^13 - 632866795673651433106588297635/415809055385875073639854506398*c_100\ 1_8^12 + 757572099472859233173839604963/207904527692937536819927253\ 199*c_1001_8^11 - 1363834252646217194127470317488/20790452769293753\ 6819927253199*c_1001_8^10 + 2360582299777025397703243967000/2079045\ 27692937536819927253199*c_1001_8^9 - 3558492035088092173631856170033/207904527692937536819927253199*c_10\ 01_8^8 + 8830292257697096164853749068239/41580905538587507363985450\ 6398*c_1001_8^7 - 9962094808847308701232249768643/41580905538587507\ 3639854506398*c_1001_8^6 + 9382845423067583973521953598157/41580905\ 5385875073639854506398*c_1001_8^5 - 6364076100632039052107078238213/415809055385875073639854506398*c_10\ 01_8^4 + 1924217608047850682747103948228/20790452769293753681992725\ 3199*c_1001_8^3 - 929272855737508319689992266633/207904527692937536\ 819927253199*c_1001_8^2 + 58204736431916350152233792561/20790452769\ 2937536819927253199*c_1001_8 - 74080451061349601021927925085/415809\ 055385875073639854506398, c_0101_0 - 390882630073596045304067293/207904527692937536819927253199*c\ _1001_8^16 + 6830953441381190157342955915/2079045276929375368199272\ 53199*c_1001_8^15 - 42005603047256106341112914843/20790452769293753\ 6819927253199*c_1001_8^14 + 119040959083296790188081202112/20790452\ 7692937536819927253199*c_1001_8^13 - 240891879278347860234175179729/207904527692937536819927253199*c_100\ 1_8^12 + 569063065166566208567225348321/207904527692937536819927253\ 199*c_1001_8^11 - 1001724436363992911764596302093/20790452769293753\ 6819927253199*c_1001_8^10 + 1461776829940182672673142338738/2079045\ 27692937536819927253199*c_1001_8^9 - 2093399936681081136717301531159/207904527692937536819927253199*c_10\ 01_8^8 + 2473663419900010634647864177214/20790452769293753681992725\ 3199*c_1001_8^7 - 2194181221642992176032440598565/20790452769293753\ 6819927253199*c_1001_8^6 + 1883693460943141702801308699886/20790452\ 7692937536819927253199*c_1001_8^5 - 1238209959141209016408723794635/207904527692937536819927253199*c_10\ 01_8^4 + 507745556222902122176070760472/207904527692937536819927253\ 199*c_1001_8^3 - 351087989112489548261048993555/2079045276929375368\ 19927253199*c_1001_8^2 - 95866092372518903153095849221/207904527692\ 937536819927253199*c_1001_8 + 66126199272828180185954318515/2079045\ 27692937536819927253199, c_0101_1 + 185529139622886138115094679/415809055385875073639854506398*c\ _1001_8^16 - 4131778083402582149936012537/4158090553858750736398545\ 06398*c_1001_8^15 + 17736651652573634932375383273/20790452769293753\ 6819927253199*c_1001_8^14 - 76453429340810202511220236400/207904527\ 692937536819927253199*c_1001_8^13 + 400985896181034484858024476481/415809055385875073639854506398*c_100\ 1_8^12 - 457247299160599359399110553272/207904527692937536819927253\ 199*c_1001_8^11 + 1011104233688381071927586362040/20790452769293753\ 6819927253199*c_1001_8^10 - 1715389359009045292511168396774/2079045\ 27692937536819927253199*c_1001_8^9 + 2709778105738834607888773706150/207904527692937536819927253199*c_10\ 01_8^8 - 7707510710235168393483339747841/41580905538587507363985450\ 6398*c_1001_8^7 + 8965591468003633702194027069429/41580905538587507\ 3639854506398*c_1001_8^6 - 9063644317784537895938614286707/41580905\ 5385875073639854506398*c_1001_8^5 + 7873488042044714781992887230485/415809055385875073639854506398*c_10\ 01_8^4 - 2565625267493152184931150058203/20790452769293753681992725\ 3199*c_1001_8^3 + 1292835124569690902286796285877/20790452769293753\ 6819927253199*c_1001_8^2 - 518418237266529183944724955927/207904527\ 692937536819927253199*c_1001_8 + 67653809094351109610319200843/4158\ 09055385875073639854506398, c_0101_2 + 10037451151978381700614961587/415809055385875073639854506398\ *c_1001_8^16 - 169936926845596986116580434325/415809055385875073639\ 854506398*c_1001_8^15 + 496532408670661413992697776211/207904527692\ 937536819927253199*c_1001_8^14 - 1319407951485088737272829820168/20\ 7904527692937536819927253199*c_1001_8^13 + 5493864295398197160858557686249/415809055385875073639854506398*c_10\ 01_8^12 - 6800139610548799619697000922746/2079045276929375368199272\ 53199*c_1001_8^11 + 10938447912469065727644186469608/20790452769293\ 7536819927253199*c_1001_8^10 - 17193862957064734109864204131212/207\ 904527692937536819927253199*c_1001_8^9 + 25090003489602831155678566218441/207904527692937536819927253199*c_1\ 001_8^8 - 54395095053292822851970684733805/415809055385875073639854\ 506398*c_1001_8^7 + 55620686367329647574463015719911/41580905538587\ 5073639854506398*c_1001_8^6 - 46767944404562766879911121777985/4158\ 09055385875073639854506398*c_1001_8^5 + 27029657754363865630553717135779/415809055385875073639854506398*c_1\ 001_8^4 - 8462619335875341793353657170630/2079045276929375368199272\ 53199*c_1001_8^3 + 3530429572979083579134141930822/2079045276929375\ 36819927253199*c_1001_8^2 + 213084481693599383066464991156/20790452\ 7692937536819927253199*c_1001_8 + 802371760414712538300186418019/41\ 5809055385875073639854506398, c_0101_3 - 3511750795245321376263249641/415809055385875073639854506398*\ c_1001_8^16 + 58448240895474462235083959101/41580905538587507363985\ 4506398*c_1001_8^15 - 164931237679483810159924655685/20790452769293\ 7536819927253199*c_1001_8^14 + 407371566882741060197207384112/20790\ 4527692937536819927253199*c_1001_8^13 - 1607161338842303568715967979463/415809055385875073639854506398*c_10\ 01_8^12 + 2042045166241409569439385400757/2079045276929375368199272\ 53199*c_1001_8^11 - 3027599359848422247132273456525/207904527692937\ 536819927253199*c_1001_8^10 + 4614495193717079514733208716111/20790\ 4527692937536819927253199*c_1001_8^9 - 6585678137516082785524735384331/207904527692937536819927253199*c_10\ 01_8^8 + 12664928038587411056758379344427/4158090553858750736398545\ 06398*c_1001_8^7 - 12056949862239998281042513775727/415809055385875\ 073639854506398*c_1001_8^6 + 8703351768542033858953552936713/415809\ 055385875073639854506398*c_1001_8^5 - 3263818410751689615009356284933/415809055385875073639854506398*c_10\ 01_8^4 + 887376951475512086232038142755/207904527692937536819927253\ 199*c_1001_8^3 - 53629644237102066004830044449/20790452769293753681\ 9927253199*c_1001_8^2 - 395401129743144250207170442499/207904527692\ 937536819927253199*c_1001_8 - 145834433371666531553556723021/415809\ 055385875073639854506398, c_0101_7 - 531057050837372395099500862/207904527692937536819927253199*c\ _1001_8^16 + 9363108468540121735508709161/2079045276929375368199272\ 53199*c_1001_8^15 - 58677291038721681974194436155/20790452769293753\ 6819927253199*c_1001_8^14 + 173590426902709562738896703524/20790452\ 7692937536819927253199*c_1001_8^13 - 371087648997254873227121407469/207904527692937536819927253199*c_100\ 1_8^12 + 872530587679940334334968997900/207904527692937536819927253\ 199*c_1001_8^11 - 1551470650831151998720487253904/20790452769293753\ 6819927253199*c_1001_8^10 + 2376816515760248767398960531605/2079045\ 27692937536819927253199*c_1001_8^9 - 3485364264865028915489654697629/207904527692937536819927253199*c_10\ 01_8^8 + 4001621658688698811329053073479/20790452769293753681992725\ 3199*c_1001_8^7 - 4038987782616382090595935704713/20790452769293753\ 6819927253199*c_1001_8^6 + 3400639656150368492810967470203/20790452\ 7692937536819927253199*c_1001_8^5 - 2056368843249830259730807856198/207904527692937536819927253199*c_10\ 01_8^4 + 1221794103461607897411683785617/20790452769293753681992725\ 3199*c_1001_8^3 - 645920126156274661414521051902/207904527692937536\ 819927253199*c_1001_8^2 + 54119035602248604426489774359/20790452769\ 2937536819927253199*c_1001_8 - 149288033871710205007890943015/20790\ 4527692937536819927253199, c_1001_8^17 - 18*c_1001_8^16 + 117*c_1001_8^15 - 368*c_1001_8^14 + 825*c_1001_8^13 - 1935*c_1001_8^12 + 3624*c_1001_8^11 - 5734*c_1001_8^10 + 8646*c_1001_8^9 - 10761*c_1001_8^8 + 11316*c_1001_8^7 - 10606*c_1001_8^6 + 7726*c_1001_8^5 - 4579*c_1001_8^4 + 2498*c_1001_8^3 - 688*c_1001_8^2 + 11*c_1001_8 - 79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB