Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 728414202] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1269 geometric_solution 5.16583510 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 -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.976256607614 1.007016301120 3 4 3 0 0132 0132 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 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.742465689151 0.644659093654 4 3 0 3 2310 3201 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742465689151 0.644659093654 1 1 2 2 0132 3201 2310 1023 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 -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.629718695009 0.322817341586 5 1 2 5 0132 0132 3201 3201 0 0 0 0 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 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.703309755050 0.486169328553 4 4 6 6 0132 2310 2310 0132 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 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.862238797557 0.934683833124 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.674114643587 0.159681441956 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_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' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(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_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_1'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 687305371497394222034254679957372195349829/528438951866843677830946\ 052543663581849602*c_0101_5^20 + 2139992695143515933016114922783069\ 98995589/9785906516052660700573075047104881145363*c_0101_5^19 + 1151452534427319203942308791318080949209659/83879198709022806004912\ 07183232755267454*c_0101_5^18 + 10203202078099821286367046519575237\ 9951081449/264219475933421838915473026271831790924801*c_0101_5^17 - 546171612148634570667282751356478336477914/978590651605266070057307\ 5047104881145363*c_0101_5^16 - 117214288050556722638214737741772463\ 5642293276/264219475933421838915473026271831790924801*c_0101_5^15 - 160884601722569166584272531132824306418290999/978590651605266070057\ 3075047104881145363*c_0101_5^14 - 874925982595649965324018151653032\ 386689582421/29357719548157982101719225141314643436089*c_0101_5^13 - 11204045348903315491393715609919970744007364673/5284389518668436778\ 30946052543663581849602*c_0101_5^12 + 7229848875149290571594002038816169854332076328/26421947593342183891\ 5473026271831790924801*c_0101_5^11 + 45242789262536717525217074824759411208232488977/5284389518668436778\ 30946052543663581849602*c_0101_5^10 + 47079000782728419175994591949120696507259546201/5284389518668436778\ 30946052543663581849602*c_0101_5^9 + 417292850034703333581460969904168102695864954/155423221137306964067\ 92530957166575936753*c_0101_5^8 - 859414701534109178234893698292576\ 2104194203514/264219475933421838915473026271831790924801*c_0101_5^7 - 2844219415170875544042901028858259422420327671/754912788381205254\ 04420864649094797407086*c_0101_5^6 - 755720317934044233621318506300571320356116481/587154390963159642034\ 38450282629286872178*c_0101_5^5 + 723724935239372834034607325130144\ 944328223283/264219475933421838915473026271831790924801*c_0101_5^4 + 125573668676496945158195333255307461000749601/310846442274613928135\ 85061914333151873506*c_0101_5^3 + 133851842328429829189859877076770\ 433630257329/88073158644473946305157675423943930308267*c_0101_5^2 + 1941346942490275423091703402218845516203397/12581879806353420900736\ 810774849132901181*c_0101_5 - 8749590406591742622740708310943940339\ 94469/25163759612706841801473621549698265802362, c_0011_0 - 1, c_0011_1 - 20211280029073847309196504342902129/378140829091257803646704\ 859040336997*c_0101_5^20 - 355122461945203001589766979457863134/378\ 140829091257803646704859040336997*c_0101_5^19 - 2388449201279373547745909759288121208/37814082909125780364670485904\ 0336997*c_0101_5^18 - 7588000964922751100182683067988094631/3781408\ 29091257803646704859040336997*c_0101_5^17 - 3563832283113115386480968664783291094/37814082909125780364670485904\ 0336997*c_0101_5^16 + 69574352968007949732660678868642949402/378140\ 829091257803646704859040336997*c_0101_5^15 + 305904363521353059530312106070465301175/378140829091257803646704859\ 040336997*c_0101_5^14 + 650148694101687652423700683817784918197/378\ 140829091257803646704859040336997*c_0101_5^13 + 674620164583184336405669880619705774509/378140829091257803646704859\ 040336997*c_0101_5^12 - 150357913265167759096176416174188022381/378\ 140829091257803646704859040336997*c_0101_5^11 - 1558027055144226940035187146850756636557/37814082909125780364670485\ 9040336997*c_0101_5^10 - 2257620381471831860362710776507894885602/3\ 78140829091257803646704859040336997*c_0101_5^9 - 84408076178788884718387894000228595471/2224357818183869433215910935\ 5313941*c_0101_5^8 - 3560357011687510487945040814359999973/37814082\ 9091257803646704859040336997*c_0101_5^7 + 651172537768703421769554646041785490370/378140829091257803646704859\ 040336997*c_0101_5^6 + 436126040542032015056837741079574868604/3781\ 40829091257803646704859040336997*c_0101_5^5 + 93879962765947375214627173776496215190/3781408290912578036467048590\ 40336997*c_0101_5^4 - 1546327513344895462733069931300813807/2224357\ 8181838694332159109355313941*c_0101_5^3 - 21450072509825806688686491462284448414/3781408290912578036467048590\ 40336997*c_0101_5^2 - 4752097787775888266006177305402752912/3781408\ 29091257803646704859040336997*c_0101_5 + 276671500344174614142697563304341985/378140829091257803646704859040\ 336997, c_0011_6 - 25701641805551308959343636619918480/378140829091257803646704\ 859040336997*c_0101_5^20 - 448362025006230323251579972441512862/378\ 140829091257803646704859040336997*c_0101_5^19 - 2992259473071384265099143770629281093/37814082909125780364670485904\ 0336997*c_0101_5^18 - 9459842859219526825306015831405563996/3781408\ 29091257803646704859040336997*c_0101_5^17 - 4478498592565503810175779579177830465/37814082909125780364670485904\ 0336997*c_0101_5^16 + 86004278728381801725482546114637858397/378140\ 829091257803646704859040336997*c_0101_5^15 + 379369039557330868770763089734805277051/378140829091257803646704859\ 040336997*c_0101_5^14 + 816389524230156121342877568545997839044/378\ 140829091257803646704859040336997*c_0101_5^13 + 886058279082608754837364282280956063735/378140829091257803646704859\ 040336997*c_0101_5^12 - 76346814186731721508637047779461401849/3781\ 40829091257803646704859040336997*c_0101_5^11 - 1824204897781420871908239321110883596660/37814082909125780364670485\ 9040336997*c_0101_5^10 - 2859650122035323855250139286683270785627/3\ 78140829091257803646704859040336997*c_0101_5^9 - 122720143099811441093423455490759824976/222435781818386943321591093\ 55313941*c_0101_5^8 - 363735892270042881669028742991183339515/37814\ 0829091257803646704859040336997*c_0101_5^7 + 668355538704726335271592081015325939954/378140829091257803646704859\ 040336997*c_0101_5^6 + 625683863397339376348572583619482130326/3781\ 40829091257803646704859040336997*c_0101_5^5 + 228539994221935156662516985566421756568/378140829091257803646704859\ 040336997*c_0101_5^4 + 458443289786033094278324086805621742/2224357\ 8181838694332159109355313941*c_0101_5^3 - 28198891140848960758741848262064651656/3781408290912578036467048590\ 40336997*c_0101_5^2 - 11825078672546765346849240416539087432/378140\ 829091257803646704859040336997*c_0101_5 - 1826338405289818739363879058481257320/37814082909125780364670485904\ 0336997, c_0101_0 + 39329280456463933726857416011385969280/139798664515038010008\ 1867863872125877909*c_0101_5^20 + 634793122244542082940066666604417\ 531441/1397986645150380100081867863872125877909*c_0101_5^19 + 3738196136810094558777307926964218841485/13979866451503801000818678\ 63872125877909*c_0101_5^18 + 94155938978795563766078786772349114028\ 72/1397986645150380100081867863872125877909*c_0101_5^17 - 6299202794442803697465062814039177309461/13979866451503801000818678\ 63872125877909*c_0101_5^16 - 12434631422917841959105618569874973065\ 5032/1397986645150380100081867863872125877909*c_0101_5^15 - 410445267763584995779015827703998842923949/139798664515038010008186\ 7863872125877909*c_0101_5^14 - 674396019859309884019844071086602066\ 662749/1397986645150380100081867863872125877909*c_0101_5^13 - 409778212623379604324666834316732994021249/139798664515038010008186\ 7863872125877909*c_0101_5^12 + 621196139720522074841629231524313587\ 308644/1397986645150380100081867863872125877909*c_0101_5^11 + 1651854702102352694147184205861872240004924/13979866451503801000818\ 67863872125877909*c_0101_5^10 + 16500206535213164639781732243241191\ 50603153/1397986645150380100081867863872125877909*c_0101_5^9 + 47991053662956809997422525471060369988293/8223450853825765294599222\ 7286595639877*c_0101_5^8 + 1537307215057044354551673095634833354181\ 88/1397986645150380100081867863872125877909*c_0101_5^7 - 98509421010336563938189560468403695802541/1397986645150380100081867\ 863872125877909*c_0101_5^6 - 21905507687386464956673817327896755072\ 9179/1397986645150380100081867863872125877909*c_0101_5^5 - 191370013218523074060340879911741041768452/139798664515038010008186\ 7863872125877909*c_0101_5^4 - 4102707334742875464165255019832377093\ 170/82234508538257652945992227286595639877*c_0101_5^3 - 3177824438134143810676507557563548878510/13979866451503801000818678\ 63872125877909*c_0101_5^2 + 724907042262295166752266818620917333787\ 8/1397986645150380100081867863872125877909*c_0101_5 + 4903289241949428541224000799775560824291/13979866451503801000818678\ 63872125877909, c_0101_1 - 28788776281442284413065803729354971715/139798664515038010008\ 1867863872125877909*c_0101_5^20 - 486544539258158731908017334082428\ 924294/1397986645150380100081867863872125877909*c_0101_5^19 - 3084282683628594890334444992697434943484/13979866451503801000818678\ 63872125877909*c_0101_5^18 - 88817326007729957201323556800864409521\ 10/1397986645150380100081867863872125877909*c_0101_5^17 - 30035884188040975766081298392346209066/1397986645150380100081867863\ 872125877909*c_0101_5^16 + 9641739056275889509709901863141455942502\ 7/1397986645150380100081867863872125877909*c_0101_5^15 + 370607463883092246061419445866946312592439/139798664515038010008186\ 7863872125877909*c_0101_5^14 + 705260718339694261012865605838860893\ 343840/1397986645150380100081867863872125877909*c_0101_5^13 + 599831314406211098579055928293626793829544/139798664515038010008186\ 7863872125877909*c_0101_5^12 - 393397037546171230366026897980645252\ 728382/1397986645150380100081867863872125877909*c_0101_5^11 - 1747677741512538518753290478991337993769935/13979866451503801000818\ 67863872125877909*c_0101_5^10 - 21400082891719759194252033329958551\ 28325181/1397986645150380100081867863872125877909*c_0101_5^9 - 68603696981477345262756223343450651091386/8223450853825765294599222\ 7286595639877*c_0101_5^8 + 4046956006163617933232044306671754696758\ 4/1397986645150380100081867863872125877909*c_0101_5^7 + 481853597375160393426451965985053079844323/139798664515038010008186\ 7863872125877909*c_0101_5^6 + 3461570121013106515914771676777101851\ 54962/1397986645150380100081867863872125877909*c_0101_5^5 + 128417490211061032499254680441933300988721/139798664515038010008186\ 7863872125877909*c_0101_5^4 + 4270965500645294615204610282130806154\ 74/82234508538257652945992227286595639877*c_0101_5^3 - 16233890487426653584991406405231505064049/1397986645150380100081867\ 863872125877909*c_0101_5^2 - 52312440502140030857799046217314840614\ 30/1397986645150380100081867863872125877909*c_0101_5 - 1324565299079898228360687447742317930409/13979866451503801000818678\ 63872125877909, c_0101_4 + 106941663517701299447893478/2787705535541820785625544697*c_0\ 101_5^20 + 1801457768058373985840305430/278770553554182078562554469\ 7*c_0101_5^19 + 11395986961008165503118085656/278770553554182078562\ 5544697*c_0101_5^18 + 32968177538931850342662852842/278770553554182\ 0785625544697*c_0101_5^17 + 1712137386948646870647940376/2787705535\ 541820785625544697*c_0101_5^16 - 350365304531108946064290968804/278\ 7705535541820785625544697*c_0101_5^15 - 1366725666380098770847434735046/2787705535541820785625544697*c_0101\ _5^14 - 2663682428797673216868715474835/278770553554182078562554469\ 7*c_0101_5^13 - 2439883711740889469765416480183/2787705535541820785\ 625544697*c_0101_5^12 + 1078776411640030199347264307706/27877055355\ 41820785625544697*c_0101_5^11 + 6280453548957018947946042015855/278\ 7705535541820785625544697*c_0101_5^10 + 8409451843035608706167693618958/2787705535541820785625544697*c_0101\ _5^9 + 315142727286410856339181925028/163982678561283575625032041*c\ _0101_5^8 + 612362230907452005521071933386/278770553554182078562554\ 4697*c_0101_5^7 - 1773229562193617181201711876470/27877055355418207\ 85625544697*c_0101_5^6 - 1592596323811626559040243384722/2787705535\ 541820785625544697*c_0101_5^5 - 653108669149796889469290176080/2787\ 705535541820785625544697*c_0101_5^4 - 4136271698298017225792699150/163982678561283575625032041*c_0101_5^3 + 69952144494792276819115443691/2787705535541820785625544697*c_0101\ _5^2 + 33742704522094372593379986292/2787705535541820785625544697*c\ _0101_5 + 8122514817610381235707082383/2787705535541820785625544697\ , c_0101_5^21 + 18*c_0101_5^20 + 126*c_0101_5^19 + 431*c_0101_5^18 + 369*c_0101_5^17 - 3271*c_0101_5^16 - 16587*c_0101_5^15 - 39609*c_0101_5^14 - 51103*c_0101_5^13 - 14881*c_0101_5^12 + 72469*c_0101_5^11 + 147451*c_0101_5^10 + 138322*c_0101_5^9 + 57535*c_0101_5^8 - 15547*c_0101_5^7 - 35577*c_0101_5^6 - 21641*c_0101_5^5 - 5963*c_0101_5^4 + 417*c_0101_5^3 + 987*c_0101_5^2 + 357*c_0101_5 + 63 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB