Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 1612840116] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1389 geometric_solution 5.24081769 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501099322679 0.160370790308 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688697112660 0.418963012680 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.055895963738 1.102583977296 5 2 6 4 0132 0132 0132 2310 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 0 0 0 0 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.050675772115 1.001199575052 3 6 2 5 3201 1023 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050675772115 1.001199575052 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 0 0 -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 0 -1 1 1 0 -1 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.424700661267 0.324953214540 4 6 6 3 1023 3201 2310 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.050425228169 0.996249586479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 60307773275410625214719180704673768656601219636666290618029468853/1\ 655470280636744385871018515327543903553751411777188580653920256*c_0\ 101_6^30 - 51562196756792437951383721410066999431681225674181077868\ 16433878201/8277351403183721929355092576637719517768757058885942903\ 26960128*c_0101_6^28 + 59836329546907629503818889573283121095153324\ 831117753163348765112849/206933785079593048233877314415942987944218\ 926472148572581740032*c_0101_6^26 - 9307540553172468800133753799300408180407157636475370729128712398029\ 675/165547028063674438587101851532754390355375141177718858065392025\ 6*c_0101_6^24 + 165344191000664534584047314922120417635366518768101\ 57773516108724949289/4138675701591860964677546288318859758884378529\ 44297145163480064*c_0101_6^22 - 42714022384900427020323205250821570\ 232754829500647235417473184944835289/413867570159186096467754628831\ 885975888437852944297145163480064*c_0101_6^20 + 5243878010706656673597602752449825062638467477651107323787901278413\ 4865/41386757015918609646775462883188597588843785294429714516348006\ 4*c_0101_6^18 - 859799987718600104017085070398784150419331158034777\ 702665856796310795397/413867570159186096467754628831885975888437852\ 944297145163480064*c_0101_6^16 + 1322200642864121671816129919323599\ 428971031445988422371505619947608506627/206933785079593048233877314\ 415942987944218926472148572581740032*c_0101_6^14 - 1083305232872221852424906183407145674898988254404065377608191491865\ 753373/150497298239704035079183501393413082141250128343380780059447\ 296*c_0101_6^12 + 6077020319302989456970867096383262619014207502885\ 375048261427046348691123/165547028063674438587101851532754390355375\ 1411777188580653920256*c_0101_6^10 - 1976183542062372903825614316678070903811785297139345341006190337785\ 05327/2069337850795930482338773144159429879442189264721485725817400\ 32*c_0101_6^8 + 275202751712653216672983325002272744562768071794268\ 398298116424893824267/165547028063674438587101851532754390355375141\ 1777188580653920256*c_0101_6^6 - 3401418397708251408221170903877489\ 8065488849085944881691384909200334959/16554702806367443858710185153\ 27543903553751411777188580653920256*c_0101_6^4 + 2002395796412923720552739097491828400450373082726733584050500495054\ 021/165547028063674438587101851532754390355375141177718858065392025\ 6*c_0101_6^2 - 1881319639131716667398016424654819029872479618440604\ 2147420167678277/16554702806367443858710185153275439035537514117771\ 88580653920256, c_0011_0 - 1, c_0011_1 + 106736450707894769778354310931003256153606760196423160763841\ /7735842432881983111546815492184784596045567344753217666607104*c_01\ 01_6^30 - 912621742885875026886573622835052080505279707606130735299\ 7255/3867921216440991555773407746092392298022783672376608833303552*\ c_0101_6^28 + 21183987791476688478646003860367623011189585873457375\ 4503223231/19339606082204957778867038730461961490113918361883044166\ 51776*c_0101_6^26 - 16479674050206670213615036708346305269004386619\ 134960377103833915/773584243288198311154681549218478459604556734475\ 3217666607104*c_0101_6^24 + 292954977716346235271513159766918994304\ 25087677336532274504450513/1933960608220495777886703873046196149011\ 391836188304416651776*c_0101_6^22 - 75818489421287670864103290431059387980828178224022442801990159709/1\ 933960608220495777886703873046196149011391836188304416651776*c_0101\ _6^20 + 93338755788586437827212158676552163807335771084437479669735\ 203017/193396060822049577788670387304619614901139183618830441665177\ 6*c_0101_6^18 - 152229728628148882810456688412835364997222843311447\ 8617299702871881/19339606082204957778867038730461961490113918361883\ 04416651776*c_0101_6^16 + 23459945441024757467964143884906420009815\ 06798284419060245466776293/9669803041102478889433519365230980745056\ 95918094152208325888*c_0101_6^14 - 1929429985728240331317401833827864504475766761760541110140659681241\ /703258402989271191958801408380434963276869758613928878782464*c_010\ 1_6^12 + 1088135122460214105895573802206045501566115935595774719203\ 8977648131/77358424328819831115468154921847845960455673447532176666\ 07104*c_0101_6^10 - 35521889349559675435852761118271616926978747696\ 6795954874269927729/96698030411024788894335193652309807450569591809\ 4152208325888*c_0101_6^8 + 4914099541812056826134813611318138501230\ 83251284428489841282367023/7735842432881983111546815492184784596045\ 567344753217666607104*c_0101_6^6 - 60452433221094520402812381785595721188374753433870776922457249343/7\ 735842432881983111546815492184784596045567344753217666607104*c_0101\ _6^4 + 346892751455827181136688266927559491295235915658232871729179\ 0017/7735842432881983111546815492184784596045567344753217666607104*\ c_0101_6^2 - 135913952746983022264617748844578557502025065554404812\ 85065285/7735842432881983111546815492184784596045567344753217666607\ 104, c_0011_4 - 310017477612131088736573959952403308650267864423225532016592\ 1/827735140318372192935509257663771951776875705888594290326960128*c\ _0101_6^31 + 264965393360936964318133609670816385116452661240898948\ 696167353/413867570159186096467754628831885975888437852944297145163\ 480064*c_0101_6^29 - 7679733629710020757138544941656317787311379528\ 20376656166732723/2586672313494913102923466430199287349302736580901\ 8571572717504*c_0101_6^27 + 476960506568425145168136944498226284490\ 049337074865078748503997431/827735140318372192935509257663771951776\ 875705888594290326960128*c_0101_6^25 - 842672416376882085609890737876193837406242073034055141065587886745/\ 206933785079593048233877314415942987944218926472148572581740032*c_0\ 101_6^23 + 21440601659107277028686657231011142586393358169066261228\ 59365022809/2069337850795930482338773144159429879442189264721485725\ 81740032*c_0101_6^21 - 25631054596548309091561088900699435733426197\ 83451204687794818217937/2069337850795930482338773144159429879442189\ 26472148572581740032*c_0101_6^19 + 4403810962934314126205604220530164234394695378236607273003250951037\ 3/206933785079593048233877314415942987944218926472148572581740032*c\ _0101_6^17 - 666216320962596628896682298835871560894544554454114305\ 84942204164641/1034668925397965241169386572079714939721094632360742\ 86290870016*c_0101_6^15 + 52698686559489617086259223924295819620077\ 324154203948355344878300665/752486491198520175395917506967065410706\ 25064171690390029723648*c_0101_6^13 - 2759629272688196281402314062702212714023782269574729428770686675913\ 11/827735140318372192935509257663771951776875705888594290326960128*\ c_0101_6^11 + 79110279982804736558354190917395607538229230672823543\ 43954708961271/1034668925397965241169386572079714939721094632360742\ 86290870016*c_0101_6^9 - 975524681570765940391438929753102239633018\ 2577326773820983076515967/82773514031837219293550925766377195177687\ 5705888594290326960128*c_0101_6^7 + 1037118320522746337242806081940636351109688076447313105554741070475\ /827735140318372192935509257663771951776875705888594290326960128*c_\ 0101_6^5 - 20206013342131583645093560949429237262063664262597023698\ 876942465/827735140318372192935509257663771951776875705888594290326\ 960128*c_0101_6^3 - 15374619064669713665819477414450084693891635774\ 36839952072794519/8277351403183721929355092576637719517768757058885\ 94290326960128*c_0101_6, c_0101_0 - 557294292385903285500307332187460838116037454095303850756087\ /15471684865763966223093630984369569192091134689506435333214208*c_0\ 101_6^31 + 47637711659301553434351781338306614663699932736286706470\ 641195/773584243288198311154681549218478459604556734475321766660710\ 4*c_0101_6^29 - 552507260829711709743809829663639681218277790076327\ 992775424863/193396060822049577788670387304619614901139183618830441\ 6651776*c_0101_6^27 + 858497146876194554614666619607593726253425593\ 79098947648896645145/1547168486576396622309363098436956919209113468\ 9506435333214208*c_0101_6^25 - 152016413614696544093252374053400042\ 844980774438427913895979717791/386792121644099155577340774609239229\ 8022783672376608833303552*c_0101_6^23 + 389225797316096621167463528113667112471164855384642765902426396951/\ 3867921216440991555773407746092392298022783672376608833303552*c_010\ 1_6^21 - 4705624376479058575990862336056173891847783595550573784705\ 68584935/3867921216440991555773407746092392298022783672376608833303\ 552*c_0101_6^19 + 7928394138319773211064863630617115164052264477926\ 695736394491599019/386792121644099155577340774609239229802278367237\ 6608833303552*c_0101_6^17 - 120750092206534659761308848645790368390\ 00399716353719064510171621911/1933960608220495777886703873046196149\ 011391836188304416651776*c_0101_6^15 + 9694237008007433129376303814212992459881443903112359806042349136671\ /1406516805978542383917602816760869926553739517227857757564928*c_01\ 01_6^13 - 523354275661665044056173767251710498565878792965805418503\ 92753212641/1547168486576396622309363098436956919209113468950643533\ 3214208*c_0101_6^11 + 159376382324391083910461452143655865776736684\ 9330279967564018969557/19339606082204957778867038730461961490113918\ 36188304416651776*c_0101_6^9 - 209398082481019922078023609805103461\ 8103097558076082741255709961609/15471684865763966223093630984369569\ 192091134689506435333214208*c_0101_6^7 + 239857196694416293612962514777196123161037367089752668662154416453/\ 15471684865763966223093630984369569192091134689506435333214208*c_01\ 01_6^5 - 9997038149998364655674269313898470643558984922243678961809\ 297431/154716848657639662230936309843695691920911346895064353332142\ 08*c_0101_6^3 - 182572386874689738838887825246818448942475441968777\ 164411058553/154716848657639662230936309843695691920911346895064353\ 33214208*c_0101_6, c_0101_1 - 265817149599746183283271619840089099388198039040864068156807\ /15471684865763966223093630984369569192091134689506435333214208*c_0\ 101_6^30 + 22724705312110385665421234833517496043630297006184556008\ 022123/773584243288198311154681549218478459604556734475321766660710\ 4*c_0101_6^28 - 263643366270688946489458148209571350787140439643309\ 575645156195/193396060822049577788670387304619614901139183618830441\ 6651776*c_0101_6^26 + 409891007953953060122629499989564263172622090\ 49698668659445697961/1547168486576396622309363098436956919209113468\ 9506435333214208*c_0101_6^24 - 727061728576343572721680657929809506\ 74862933896013266579365360767/3867921216440991555773407746092392298\ 022783672376608833303552*c_0101_6^22 + 187056416474319717510204370455920419726513307535638792449203630007/\ 3867921216440991555773407746092392298022783672376608833303552*c_010\ 1_6^20 - 2280717292745926398616567856398509398854760304568893718192\ 21890823/3867921216440991555773407746092392298022783672376608833303\ 552*c_0101_6^18 + 3786104525142442163167456984844456336899224714268\ 475770571032748107/386792121644099155577340774609239229802278367237\ 6608833303552*c_0101_6^16 - 579602322966036470558494049591881927186\ 2426895421644197395350620303/19339606082204957778867038730461961490\ 11391836188304416651776*c_0101_6^14 + 4705560293717037360235254387270052763032409549753293455339457039727\ /1406516805978542383917602816760869926553739517227857757564928*c_01\ 01_6^12 - 259704369692420203851838580689040632349311381431846643494\ 12734681521/1547168486576396622309363098436956919209113468950643533\ 3214208*c_0101_6^10 + 823591006687137693206766112210378575838757384\ 128003655907630039221/193396060822049577788670387304619614901139183\ 6188304416651776*c_0101_6^8 - 1126401971890536400305362467125604425\ 240279333890254307695487378553/154716848657639662230936309843695691\ 92091134689506435333214208*c_0101_6^6 + 135747124381161260695761831053676142051817872095868912133055262869/\ 15471684865763966223093630984369569192091134689506435333214208*c_01\ 01_6^4 - 7305998490309309627219737140700281902032231881271376256278\ 648551/154716848657639662230936309843695691920911346895064353332142\ 08*c_0101_6^2 + 290245055434190936414037704114811981135167242528834\ 42715148215/1547168486576396622309363098436956919209113468950643533\ 3214208, c_0101_3 + 151428781544064269451123554945217393575317608391673941932191\ /413867570159186096467754628831885975888437852944297145163480064*c_\ 0101_6^31 - 1298059342847595217758701909609056978076363795478371754\ 4047299/20693378507959304823387731441594298794421892647214857258174\ 0032*c_0101_6^29 + 151683551996587626215918311185488659434781230140\ 562232953114791/517334462698982620584693286039857469860547316180371\ 43145435008*c_0101_6^27 - 23903939589865585377781685795775538495080\ 135421036518301627865105/413867570159186096467754628831885975888437\ 852944297145163480064*c_0101_6^25 + 44101228402869206692957721603559372313948422507758613766533923103/1\ 03466892539796524116938657207971493972109463236074286290870016*c_01\ 01_6^23 - 125445105356607123925252521819849937870855600340369628342\ 949381783/103466892539796524116938657207971493972109463236074286290\ 870016*c_0101_6^21 + 1774478658824261920229890877116780923441987841\ 31214457078504682439/1034668925397965241169386572079714939721094632\ 36074286290870016*c_0101_6^19 - 22124926099205290700058367953885990\ 71204264324681546191976601281195/1034668925397965241169386572079714\ 93972109463236074286290870016*c_0101_6^17 + 3796939488239943163669336894774101101152038797288846015642825903467\ /51733446269898262058469328603985746986054731618037143145435008*c_0\ 101_6^15 - 37575830918802458258535902412085241715058246018798179009\ 81807439911/3762432455992600876979587534835327053531253208584519501\ 4861824*c_0101_6^13 + 273375937652142099140647666553623771320740246\ 48647413349064261274425/4138675701591860964677546288318859758884378\ 52944297145163480064*c_0101_6^11 - 1170446861880437366364223254812625413285287524223044581485270266125\ /51733446269898262058469328603985746986054731618037143145435008*c_0\ 101_6^9 + 173641280550321208374339183379928665883365178386696108966\ 0666668385/41386757015918609646775462883188597588843785294429714516\ 3480064*c_0101_6^7 - 2085906801256811069591178789806525283384889685\ 54776605451627852317/4138675701591860964677546288318859758884378529\ 44297145163480064*c_0101_6^5 + 157738139089927764970748387553574957\ 19815611320046603852026200799/4138675701591860964677546288318859758\ 88437852944297145163480064*c_0101_6^3 + 1068473643131394065496415167937431105339026743608729816770351761/41\ 3867570159186096467754628831885975888437852944297145163480064*c_010\ 1_6, c_0101_6^32 - 171*c_0101_6^30 + 7938*c_0101_6^28 - 154359*c_0101_6^26 + 1097155*c_0101_6^24 - 2836520*c_0101_6^22 + 3486984*c_0101_6^20 - 57038392*c_0101_6^18 + 175573244*c_0101_6^16 - 198143899*c_0101_6^14 + 101386858*c_0101_6^12 - 26530031*c_0101_6^10 + 4645271*c_0101_6^8 - 578386*c_0101_6^6 + 34996*c_0101_6^4 - 418*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB