Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 3330759170] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0450 geometric_solution 4.49148421 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 1 0 -1 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 0 0 2.430472357003 0.167307112427 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 1 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.804335049061 0.378096271397 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 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 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.277423053355 0.230689920243 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 1 -1 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 -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 0 0 0 0 0 0 0.979868491130 0.768489598915 3 6 5 5 0132 0132 3012 1230 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 -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 1.248279167382 1.145571766752 4 4 6 3 3012 1230 0132 0132 0 0 0 0 0 -1 0 1 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 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 0 0 0 1.248279167382 1.145571766752 6 4 6 5 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400401231412 0.610184427750 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 5283969202879627469422852326352756500486519210005623507783235/52926\ 63112211821822328870641072071750115006951140162460432896*c_0101_5^3\ 5 + 24632707869750765045480958476522709252774389254384295327758819/\ 441055259350985151860739220089339312509583912595013538369408*c_0101\ _5^33 - 71736481137568059645992970298302124133972246914398183231434\ 97955/5292663112211821822328870641072071750115006951140162460432896\ *c_0101_5^31 + 3305672517101497734217793201597383846925289940135555\ 0708542933305/17642210374039406074429568803573572500383356503800541\ 53477632*c_0101_5^29 - 29035428311622570921331301418272514101203477\ 9596661455307129112273/17642210374039406074429568803573572500383356\ 50380054153477632*c_0101_5^27 + 85469058556552435865089973256369749\ 0648669243661846312538866948701/88211051870197030372147844017867862\ 5019167825190027076738816*c_0101_5^25 - 2095541680588319168071600232353297342512420065811501546785321431392\ 1/5292663112211821822328870641072071750115006951140162460432896*c_0\ 101_5^23 + 87321280022829146490161924934098654175974956720573326887\ 6175727551/73509209891830858643456536681556552084930652099168923061\ 568*c_0101_5^21 - 2463226097001394450901544057457835684482608906400\ 4271467097104641067/88211051870197030372147844017867862501916782519\ 0027076738816*c_0101_5^19 + 141577850208391569604704704571974344080\ 429836125377856752050847494609/264633155610591091116443532053603587\ 5057503475570081230216448*c_0101_5^17 - 4258139127269360554662791242762459787926691339938830541795323973013\ 89/5292663112211821822328870641072071750115006951140162460432896*c_\ 0101_5^15 + 2845702226441762574598993994801503604819948992060134873\ 8210331781567/33079144451323886389555441506700448438218793444626015\ 3777056*c_0101_5^13 - 160519102109258846959360175500634389423804654\ 250127914865821888921221/264633155610591091116443532053603587505750\ 3475570081230216448*c_0101_5^11 + 221395982259001098729706732484801\ 5396787081389086676862095364788219/82697861128309715973888603766751\ 121095546983611565038444264*c_0101_5^9 - 3654293324793638111545696601863278389128499004196677132877720416797\ 9/5292663112211821822328870641072071750115006951140162460432896*c_0\ 101_5^7 + 118025572979659759657676790163632401817088164813816501028\ 9445376529/13231657780529554555822176602680179375287517377850406151\ 08224*c_0101_5^5 - 259034412781561875679421253553165523867713745429\ 5673261589663505/82697861128309715973888603766751121095546983611565\ 038444264*c_0101_5^3 - 15825131558951603866363543974787075203986584\ 0967477832475747529/82697861128309715973888603766751121095546983611\ 565038444264*c_0101_5, c_0011_0 - 1, c_0011_3 - 10270136911817616491221613054527079319222025965984013044647/\ 220527629675492575930369610044669656254791956297506769184704*c_0101\ _5^34 + 23778039076142194821165877211743862964686972146568939836145\ /9188651236478857330432067085194569010616331512396115382696*c_0101_\ 5^32 - 137301717848359898735406000964698242497826944921920483797632\ 39/220527629675492575930369610044669656254791956297506769184704*c_0\ 101_5^30 + 62556667096099296721213743710653441083757347982908961363\ 893713/73509209891830858643456536681556552084930652099168923061568*\ c_0101_5^28 - 54143124572585270461663146866612473925728614368306091\ 6641948473/73509209891830858643456536681556552084930652099168923061\ 568*c_0101_5^26 + 1563415192669352313111459626133640657653389215299\ 355218936449719/367546049459154293217282683407782760424653260495844\ 61530784*c_0101_5^24 - 37404158109430593438217241172213310491005302\ 419015918328073210533/220527629675492575930369610044669656254791956\ 297506769184704*c_0101_5^22 + 9105795579150321125068680621549197192\ 930728918004833548624340595/183773024729577146608641341703891380212\ 32663024792230765392*c_0101_5^20 - 41764075512127384513983868187934075070972288400224500085529990935/3\ 6754604945915429321728268340778276042465326049584461530784*c_0101_5\ ^18 + 2343548646906105822114500782714747524837471026522045894210838\ 25865/110263814837746287965184805022334828127395978148753384592352*\ c_0101_5^16 - 67957273649990114663604884648350162000154056556024982\ 4498055618209/22052762967549257593036961004466965625479195629750676\ 9184704*c_0101_5^14 + 170223289290902671717168557147278266615705690\ 231712541850425943795/551319074188731439825924025111674140636979890\ 74376692296176*c_0101_5^12 - 21991295307955123320255938707807938190\ 7467268595541766638710335977/11026381483774628796518480502233482812\ 7395978148753384592352*c_0101_5^10 + 22131018362056417756177053140684837292674030419273334601892333895/2\ 7565953709436571991296201255583707031848994537188346148088*c_0101_5\ ^8 - 42728752900495878971843155584884778345737624436704419210088743\ 823/220527629675492575930369610044669656254791956297506769184704*c_\ 0101_5^6 + 71466032104456382315251803698926938168918041898290421943\ 0275827/27565953709436571991296201255583707031848994537188346148088\ *c_0101_5^4 - 11101215993545066972190333653625067976415112733398434\ 771625781/689148842735914299782405031389592675796224863429708653702\ 2*c_0101_5^2 + 9873054573098376392497624053185949997028646866841685\ 0551148/3445744213679571498912025156947963378981124317148543268511, c_0011_5 + 2621704554379534872552819915470642770905220949373527051353/7\ 3509209891830858643456536681556552084930652099168923061568*c_0101_5\ ^34 - 18227490455378890071391862736697720456606003792389086460087/9\ 188651236478857330432067085194569010616331512396115382696*c_0101_5^\ 32 + 3512782795158750992913024483427884787609016318810413452494169/\ 73509209891830858643456536681556552084930652099168923061568*c_0101_\ 5^30 - 480939064424053623811520847734983893840055973229516946508840\ 61/73509209891830858643456536681556552084930652099168923061568*c_01\ 01_5^28 + 417161586141153389067259146266928229885594894912025611104\ 573989/73509209891830858643456536681556552084930652099168923061568*\ c_0101_5^26 - 12080449202662892393009313756795409391911899967932136\ 68374501059/3675460494591542932172826834077827604246532604958446153\ 0784*c_0101_5^24 + 966992901105508954301173070194777285959987628353\ 5895599356392635/73509209891830858643456536681556552084930652099168\ 923061568*c_0101_5^22 - 7091417288718414613625101436877086251365782\ 042162188622000944195/183773024729577146608641341703891380212326630\ 24792230765392*c_0101_5^20 + 32652322226872538586648634893700515150\ 869788902723375202223896731/367546049459154293217282683407782760424\ 65326049584461530784*c_0101_5^18 - 61312252410071966122821541639921754715039278367514481665804283271/3\ 6754604945915429321728268340778276042465326049584461530784*c_0101_5\ ^16 + 1788732637620517261555925725732575570239925943765532411900259\ 18335/73509209891830858643456536681556552084930652099168923061568*c\ _0101_5^14 - 453131547909299825971016977595985066380116993829314908\ 60814038697/1837730247295771466086413417038913802123266302479223076\ 5392*c_0101_5^12 + 595046383584463471710103743288010017422676457094\ 47925543328536023/3675460494591542932172826834077827604246532604958\ 4461530784*c_0101_5^10 - 610909881190799560470983671218190835234669\ 5554999144734341398117/91886512364788573304320670851945690106163315\ 12396115382696*c_0101_5^8 + 120591908859477531816915981301379950471\ 02901263420720996670831729/7350920989183085864345653668155655208493\ 0652099168923061568*c_0101_5^6 - 2064551100181119753970104942235049\ 08918683897384402886897052615/9188651236478857330432067085194569010\ 616331512396115382696*c_0101_5^4 + 3285153021640674111557052168485276376853972049366917458041389/22971\ 62809119714332608016771298642252654082878099028845674*c_0101_5^2 - 29450100475244265562103486513944122372142519095496474016964/1148581\ 404559857166304008385649321126327041439049514422837, c_0101_0 - 8903693189491745565866198730975317070132494833610248180777/4\ 41055259350985151860739220089339312509583912595013538369408*c_0101_\ 5^35 + 20524248007202297587984698526337543746286070693585686079399/\ 18377302472957714660864134170389138021232663024792230765392*c_0101_\ 5^33 - 117839814883032333811857734869353430066700513671898562523419\ 77/441055259350985151860739220089339312509583912595013538369408*c_0\ 101_5^31 + 53284226472198973324157152204528149908367395320556430240\ 067423/147018419783661717286913073363113104169861304198337846123136\ *c_0101_5^29 - 4565667675849145450421093279467482623450009093517316\ 29585957255/1470184197836617172869130733631131041698613041983378461\ 23136*c_0101_5^27 + 13007331676357405636022171593660848685301266821\ 73918794658421857/7350920989183085864345653668155655208493065209916\ 8923061568*c_0101_5^25 - 305715812746739245368040350749894874276008\ 80619682221305913110523/4410552593509851518607392200893393125095839\ 12595013538369408*c_0101_5^23 + 72940480478671969269311222587968572\ 23930497097875607988441495717/3675460494591542932172826834077827604\ 2465326049584461530784*c_0101_5^21 - 32806746984200047931886013408352690757156746126691604887614026417/7\ 3509209891830858643456536681556552084930652099168923061568*c_0101_5\ ^19 + 1804663978738872689889120131399601180486797545065265732851336\ 74983/220527629675492575930369610044669656254791956297506769184704*\ c_0101_5^17 - 50675580499393814780819728833463384662156331059779096\ 9329303487471/44105525935098515186073922008933931250958391259501353\ 8369408*c_0101_5^15 + 119162484313007445805030753211124812483303254\ 229100577691727007829/110263814837746287965184805022334828127395978\ 148753384592352*c_0101_5^13 - 1391288389158834594527128421599899937\ 10566044656738852906257294991/2205276296754925759303696100446696562\ 54791956297506769184704*c_0101_5^11 + 12110698496870851375853256224788383582842347635562413104333996785/5\ 5131907418873143982592402511167414063697989074376692296176*c_0101_5\ ^9 - 19019363343465896466714945637796453607472446331162150907791317\ 985/441055259350985151860739220089339312509583912595013538369408*c_\ 0101_5^7 + 22778056607639012594235463805186528815179779288624128384\ 7481973/55131907418873143982592402511167414063697989074376692296176\ *c_0101_5^5 - 26780697198717823759679861018588902840607053612008798\ 17944169/2756595370943657199129620125558370703184899453718834614808\ 8*c_0101_5^3 - 5134388708283601436936682799957814007411608071553092\ 4956441/6891488427359142997824050313895926757962248634297086537022*\ c_0101_5, c_0101_1 - 191705331250655863988980587147140711437188474220962689011/22\ 0527629675492575930369610044669656254791956297506769184704*c_0101_5\ ^34 + 430699266457680407865377530258635177867426973987176602411/918\ 8651236478857330432067085194569010616331512396115382696*c_0101_5^32 - 238939116302688545448298114502835687939036919749309006636515/2205\ 27629675492575930369610044669656254791956297506769184704*c_0101_5^3\ 0 + 1030421419322778434514959128537905064482891199651781491861973/7\ 3509209891830858643456536681556552084930652099168923061568*c_0101_5\ ^28 - 8263879874645808350623672988798902187129141540931850638961389\ /73509209891830858643456536681556552084930652099168923061568*c_0101\ _5^26 + 21399356349759676173579398312511192316436651259539412955586\ 659/36754604945915429321728268340778276042465326049584461530784*c_0\ 101_5^24 - 43710252780335950502099015449929296775390160901691351822\ 3500057/22052762967549257593036961004466965625479195629750676918470\ 4*c_0101_5^22 + 868700389956570351014051908603526411527292755219870\ 15525280667/1837730247295771466086413417038913802123266302479223076\ 5392*c_0101_5^20 - 317145344083343517826907930030032408992726587495\ 817236777368187/367546049459154293217282683407782760424653260495844\ 61530784*c_0101_5^18 + 13388833667411918543552356535538910732620455\ 99165749925686727725/1102638148377462879651848050223348281273959781\ 48753384592352*c_0101_5^16 - 18605687731619366941128551272126666648\ 22356447665564896404165493/2205276296754925759303696100446696562547\ 91956297506769184704*c_0101_5^14 - 441494937229264650231124540744071120102072178664494308465610957/551\ 31907418873143982592402511167414063697989074376692296176*c_0101_5^1\ 2 + 204012528709220799600380368877053158191725027283362841126794549\ 9/110263814837746287965184805022334828127395978148753384592352*c_01\ 01_5^10 - 344144837590799485205674267348340458888088360505229073003\ 867513/27565953709436571991296201255583707031848994537188346148088*\ c_0101_5^8 + 841815564746633966546819069232001433037844363224763099\ 358992613/220527629675492575930369610044669656254791956297506769184\ 704*c_0101_5^6 - 13715863270222840408844904452704770848549591152504\ 512271683959/275659537094365719912962012555837070318489945371883461\ 48088*c_0101_5^4 + 152784620309205600248326096231813304985141571326\ 448491910435/137829768547182859956481006277918535159244972685941730\ 74044*c_0101_5^2 + 231059277243189433683648066886005800621503867103\ 3443600208/34457442136795714989120251569479633789811243171485432685\ 11, c_0101_2 - 189236333273793587284293779031035035592285840315756190767/44\ 1055259350985151860739220089339312509583912595013538369408*c_0101_5\ ^35 + 726670728533224179558628573064682563499120747759238455293/367\ 54604945915429321728268340778276042465326049584461530784*c_0101_5^3\ 3 - 153769979338804571918677520077910145288116783755438185729343/44\ 1055259350985151860739220089339312509583912595013538369408*c_0101_5\ ^31 + 362418777894073895109804907547781123618833417965073038193717/\ 147018419783661717286913073363113104169861304198337846123136*c_0101\ _5^29 + 72525634778613648147403377040863997465437061470494034497872\ 3/147018419783661717286913073363113104169861304198337846123136*c_01\ 01_5^27 - 169319784468410447723369994242030445883470057984889240035\ 84731/73509209891830858643456536681556552084930652099168923061568*c\ _0101_5^25 + 869169468320972052502936073991012910237552007326594796\ 445933947/441055259350985151860739220089339312509583912595013538369\ 408*c_0101_5^23 - 8460929022950662790759943905833021133710815994709\ 9508750208339/91886512364788573304320670851945690106163315123961153\ 82696*c_0101_5^21 + 21111003812744938025147604867257866470115960623\ 19825374288532257/7350920989183085864345653668155655208493065209916\ 8923061568*c_0101_5^19 - 149841657440708262520229801283203603850192\ 55178899191346540312915/2205276296754925759303696100446696562547919\ 56297506769184704*c_0101_5^17 + 57740596363865361055167431545289487\ 726327441976988713428329322575/441055259350985151860739220089339312\ 509583912595013538369408*c_0101_5^15 - 10612567661825545769148957504580845963587770290315235611440716003/5\ 5131907418873143982592402511167414063697989074376692296176*c_0101_5\ ^13 + 4053102582501532175798628828886644921245644724113842196067052\ 2831/220527629675492575930369610044669656254791956297506769184704*c\ _0101_5^11 - 286525696019319900521856175075089876319711893213079338\ 1412907161/27565953709436571991296201255583707031848994537188346148\ 088*c_0101_5^9 + 14516225437897650967194545488572915795737382193924\ 075484218697449/441055259350985151860739220089339312509583912595013\ 538369408*c_0101_5^7 - 59255353314382378631190710434061313425053149\ 5503284670816033937/11026381483774628796518480502233482812739597814\ 8753384592352*c_0101_5^5 + 1059033553357984504965474850209197660734\ 4985186133265382741773/27565953709436571991296201255583707031848994\ 537188346148088*c_0101_5^3 - 33480863059697520558877895798210086442\ 742112074644226076096/344574421367957149891202515694796337898112431\ 7148543268511*c_0101_5, c_0101_5^36 - 56*c_0101_5^34 + 1361*c_0101_5^32 - 18853*c_0101_5^30 + 166077*c_0101_5^28 - 981894*c_0101_5^26 + 4037507*c_0101_5^24 - 12215308*c_0101_5^22 + 28998870*c_0101_5^20 - 56177918*c_0101_5^18 + 85868919*c_0101_5^16 - 94824996*c_0101_5^14 + 71342990*c_0101_5^12 - 35599528*c_0101_5^10 + 11521337*c_0101_5^8 - 2324920*c_0101_5^6 + 270000*c_0101_5^4 - 15168*c_0101_5^2 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB