Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 2581071093] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3119 geometric_solution 6.27473965 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 0 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 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.569157420625 0.766473950526 0 3 5 4 0132 0132 0132 0132 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 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.427970160373 0.731088485809 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427970160373 0.731088485809 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 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 0 0 1 0 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.076750144198 1.205690771246 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 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.320564330537 1.519690177580 2 5 5 1 3201 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.453824300175 0.701499654363 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432924518814 0.234746680296 ==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' : 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' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 280856478521664207845522153/1906650777537809627887507*c_0110_6^23 + 1788547009273686098264718419/1906650777537809627887507*c_0110_6^22 + 3567132945212379817007692768/1906650777537809627887507*c_0110_6^21 - 3352626052470234854019180908/1906650777537809627887507*c_0110_6^20 - 31270115027125041152242711144/1906650777537809627887507*c_0110_6^19 - 28375709217035349430545324836/1906650777537809627887507*c_0110_6^\ 18 + 68832428171635198539430381723/1906650777537809627887507*c_0110\ _6^17 + 111112864037325262533072310177/1906650777537809627887507*c_\ 0110_6^16 - 36862295788268639453231405640/1906650777537809627887507\ *c_0110_6^15 - 26844319687003120823941361124/2723786825054013754125\ 01*c_0110_6^14 - 12477712934168443024859003667/19066507775378096278\ 87507*c_0110_6^13 + 202169248906088635198222114550/1906650777537809\ 627887507*c_0110_6^12 - 37038068104296724590235699111/1906650777537\ 809627887507*c_0110_6^11 - 21172504729094235160717475039/2723786825\ 05401375412501*c_0110_6^10 + 86376173152273797642810689920/19066507\ 77537809627887507*c_0110_6^9 + 7960318793265450577837862240/2723786\ 82505401375412501*c_0110_6^8 - 48147563251302519210895151229/190665\ 0777537809627887507*c_0110_6^7 + 16336352464646937219591471865/1906\ 650777537809627887507*c_0110_6^6 + 6031579109765446215035450860/1906650777537809627887507*c_0110_6^5 - 28669572558240381734163166580/1906650777537809627887507*c_0110_6^4 + 1035217581266546319896100936/1906650777537809627887507*c_0110_6^3 + 10391041346559567962897240911/1906650777537809627887507*c_0110_6^2 - 49769116889465503751377140/1906650777537809627887507*c_0110_6 - 880277949367277141771237745/1906650777537809627887507, c_0011_0 - 1, c_0011_4 + 316226347862624117292602/272378682505401375412501*c_0110_6^2\ 3 - 2269931727974941268970207/272378682505401375412501*c_0110_6^22 - 2407272703447000373356654/272378682505401375412501*c_0110_6^21 + 7042060995586850088897510/272378682505401375412501*c_0110_6^20 + 33239431217180912881747437/272378682505401375412501*c_0110_6^19 + 4667253943690270234213116/272378682505401375412501*c_0110_6^18 - 106782044565646911314251823/272378682505401375412501*c_0110_6^17 - 77518826950444274360716484/272378682505401375412501*c_0110_6^16 + 135047526267480892215101089/272378682505401375412501*c_0110_6^15 + 208452472718341806003077814/272378682505401375412501*c_0110_6^14 - 120548140494950973353977122/272378682505401375412501*c_0110_6^13 - 255793157204858374918600000/272378682505401375412501*c_0110_6^12 + 169294818282426032376334191/272378682505401375412501*c_0110_6^11 + 144168926947197686047228680/272378682505401375412501*c_0110_6^10 - 183064541162568867023567867/272378682505401375412501*c_0110_6^9 - 16719002063198375266075866/272378682505401375412501*c_0110_6^8 + 81670806098234196811133772/272378682505401375412501*c_0110_6^7 - 35396708521664858508160905/272378682505401375412501*c_0110_6^6 + 7977123177772545785704989/272378682505401375412501*c_0110_6^5 + 34401763896426828452724944/272378682505401375412501*c_0110_6^4 - 17766280721472031055282631/272378682505401375412501*c_0110_6^3 - 13852152133436742623065587/272378682505401375412501*c_0110_6^2 + 3914653873526033955962604/272378682505401375412501*c_0110_6 + 1917970519649456570616628/272378682505401375412501, c_0101_0 - 186045601372202601496545/272378682505401375412501*c_0110_6^2\ 3 + 1298964540602043363314433/272378682505401375412501*c_0110_6^22 + 1549812505589941203869550/272378682505401375412501*c_0110_6^21 - 3021222122012516740049121/272378682505401375412501*c_0110_6^20 - 18965072189168149055028575/272378682505401375412501*c_0110_6^19 - 7986005966494638550990969/272378682505401375412501*c_0110_6^18 + 48821020091597621357819736/272378682505401375412501*c_0110_6^17 + 46799950674603120378052500/272378682505401375412501*c_0110_6^16 - 43075009544886659922042400/272378682505401375412501*c_0110_6^15 - 96686516649223959008052757/272378682505401375412501*c_0110_6^14 + 36207452906560313497142172/272378682505401375412501*c_0110_6^13 + 98547241352452030330841248/272378682505401375412501*c_0110_6^12 - 70965288285563502532380396/272378682505401375412501*c_0110_6^11 - 42591454471232864805159274/272378682505401375412501*c_0110_6^10 + 66054026880180836678211583/272378682505401375412501*c_0110_6^9 - 3477028655112919986342904/272378682505401375412501*c_0110_6^8 - 16608851527626582047344491/272378682505401375412501*c_0110_6^7 + 16751408850641896257409018/272378682505401375412501*c_0110_6^6 - 7696536016070933556084432/272378682505401375412501*c_0110_6^5 - 11356099293116152198843424/272378682505401375412501*c_0110_6^4 + 4097314913537627856629972/272378682505401375412501*c_0110_6^3 + 2906379496648250345451476/272378682505401375412501*c_0110_6^2 + 152924023509858205187139/272378682505401375412501*c_0110_6 - 196546347209644036646543/272378682505401375412501, c_0101_1 - 19778437019445263677908/272378682505401375412501*c_0110_6^23 + 118377279097155490240111/272378682505401375412501*c_0110_6^22 + 336476330674399159904935/272378682505401375412501*c_0110_6^21 - 378008324278539911936020/272378682505401375412501*c_0110_6^20 - 2710377691216442272147469/272378682505401375412501*c_0110_6^19 - 2592619455108031935076844/272378682505401375412501*c_0110_6^18 + 7613981212517549125370983/272378682505401375412501*c_0110_6^17 + 13232169701786225047334603/272378682505401375412501*c_0110_6^16 - 5086620766146035044120727/272378682505401375412501*c_0110_6^15 - 22724936173316092909548273/272378682505401375412501*c_0110_6^14 - 4460768568169493766690643/272378682505401375412501*c_0110_6^13 + 25765666792072796978136266/272378682505401375412501*c_0110_6^12 + 20901124423132458536174/272378682505401375412501*c_0110_6^11 - 23471990865046543365191346/272378682505401375412501*c_0110_6^10 + 13383937669594663613438253/272378682505401375412501*c_0110_6^9 + 9491064307872889903549122/272378682505401375412501*c_0110_6^8 - 11194653401309786703808867/272378682505401375412501*c_0110_6^7 + 4115417888320980624344954/272378682505401375412501*c_0110_6^6 + 1988236849577971469225100/272378682505401375412501*c_0110_6^5 - 5092147903816870862171950/272378682505401375412501*c_0110_6^4 + 356228609100202832504423/272378682505401375412501*c_0110_6^3 + 1687872554487630019997535/272378682505401375412501*c_0110_6^2 - 33709171099929825085248/272378682505401375412501*c_0110_6 - 47747570796708242394486/272378682505401375412501, c_0101_2 + 460110586270282815008553/272378682505401375412501*c_0110_6^2\ 3 - 3105792191352673452691553/272378682505401375412501*c_0110_6^22 - 4672582277568461292103919/272378682505401375412501*c_0110_6^21 + 7365954482337245117208248/272378682505401375412501*c_0110_6^20 + 48710288332353818301372477/272378682505401375412501*c_0110_6^19 + 27382225524452025647707538/272378682505401375412501*c_0110_6^18 - 126026079517955039724804426/272378682505401375412501*c_0110_6^17 - 136238181055179154487072021/272378682505401375412501*c_0110_6^16 + 122401732288136960550658305/272378682505401375412501*c_0110_6^15 + 280072545697835265229973953/272378682505401375412501*c_0110_6^14 - 90329365455112087217443749/272378682505401375412501*c_0110_6^13 - 331225566132189619322165522/272378682505401375412501*c_0110_6^12 + 168602228511817434221067500/272378682505401375412501*c_0110_6^11 + 209099906128019743079567634/272378682505401375412501*c_0110_6^10 - 204613692773253764769488849/272378682505401375412501*c_0110_6^9 - 40311184512613657330584763/272378682505401375412501*c_0110_6^8 + 96959600694708770916788598/272378682505401375412501*c_0110_6^7 - 42581056090419360721669856/272378682505401375412501*c_0110_6^6 + 1525980626848553624597954/272378682505401375412501*c_0110_6^5 + 43803091139444205260369340/272378682505401375412501*c_0110_6^4 - 16182196213161498469353230/272378682505401375412501*c_0110_6^3 - 16975047530752901117830207/272378682505401375412501*c_0110_6^2 + 3802821998349276204296977/272378682505401375412501*c_0110_6 + 2171562589708115562414556/272378682505401375412501, c_0101_5 - 412497499082451912050858/272378682505401375412501*c_0110_6^2\ 3 + 2383448390822393901462841/272378682505401375412501*c_0110_6^22 + 6751102343962946965283727/272378682505401375412501*c_0110_6^21 - 1710322702634050665455203/272378682505401375412501*c_0110_6^20 - 47599187418678601449127027/272378682505401375412501*c_0110_6^19 - 67688928025640916566277842/272378682505401375412501*c_0110_6^18 + 71652578641806781283936743/272378682505401375412501*c_0110_6^17 + 206674321940758514298852631/272378682505401375412501*c_0110_6^16 + 37008311374108050695930133/272378682505401375412501*c_0110_6^15 - 275106793104753214975300020/272378682505401375412501*c_0110_6^14 - 146751786644295372308801123/272378682505401375412501*c_0110_6^13 + 264658646940776575719531748/272378682505401375412501*c_0110_6^12 + 68147823693537154479559801/272378682505401375412501*c_0110_6^11 - 233179468923749485975233097/272378682505401375412501*c_0110_6^10 + 40804618231767907593830092/272378682505401375412501*c_0110_6^9 + 123125965304052003814506435/272378682505401375412501*c_0110_6^8 - 41197484711184661434239975/272378682505401375412501*c_0110_6^7 + 7354773325391313001356879/272378682505401375412501*c_0110_6^6 + 22379541475071520071842534/272378682505401375412501*c_0110_6^5 - 39943372086716565071100497/272378682505401375412501*c_0110_6^4 - 14324041948128390328737971/272378682505401375412501*c_0110_6^3 + 13152462540805259986197889/272378682505401375412501*c_0110_6^2 + 3560719992159836638355100/272378682505401375412501*c_0110_6 - 366471109737838025574193/272378682505401375412501, c_0110_6^24 - 6*c_0110_6^23 - 15*c_0110_6^22 + 7*c_0110_6^21 + 115*c_0110_6^20 + 142*c_0110_6^19 - 203*c_0110_6^18 - 478*c_0110_6^17 - 19*c_0110_6^16 + 698*c_0110_6^15 + 282*c_0110_6^14 - 683*c_0110_6^13 - 118*c_0110_6^12 + 559*c_0110_6^11 - 118*c_0110_6^10 - 296*c_0110_6^9 + 97*c_0110_6^8 - 2*c_0110_6^7 - 42*c_0110_6^6 + 92*c_0110_6^5 + 32*c_0110_6^4 - 36*c_0110_6^3 - 12*c_0110_6^2 + 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB