Magma V2.19-8 Tue Aug 20 2013 16:18:36 on localhost [Seed = 3869735891] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2778 geometric_solution 6.01145615 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -1 0 1 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.318410910839 0.246415029484 2 0 3 0 0132 2310 0132 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 -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.717373350269 1.273671948490 1 4 5 6 0132 0132 0132 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618682700346 1.427250028722 6 5 4 1 1023 1023 3201 0132 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 0 0 0.618682700346 1.427250028722 3 2 4 4 2310 0132 2031 1302 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 0 1 -1 0 0 1 -1 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.180598336837 0.445088466256 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314564559967 0.497218357551 6 3 2 6 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.185076610347 0.810584712491 ==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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 44392989702052037286257762876022302001423424135786880/3263930772847\ 57749682181589018764572821280468536557*c_0101_4^17 + 1999042722954379708372433372027219490605372707258151629/32639307728\ 4757749682181589018764572821280468536557*c_0101_4^16 - 5931765843046662167312982961303700522660691720167956001/32639307728\ 4757749682181589018764572821280468536557*c_0101_4^15 - 17311445408471351129524483986989068384888699612731513973/3263930772\ 84757749682181589018764572821280468536557*c_0101_4^14 + 34877658903940413832725208189932186231469669059943250948/3263930772\ 84757749682181589018764572821280468536557*c_0101_4^13 - 4838727130036933582429158582854075102661748288167937501/32639307728\ 4757749682181589018764572821280468536557*c_0101_4^12 - 77991872014363566849245013104684028485024206461610756178/3263930772\ 84757749682181589018764572821280468536557*c_0101_4^11 - 192603175849486512888411688923358996935723178439136542862/326393077\ 284757749682181589018764572821280468536557*c_0101_4^10 + 52726547884959542961986436488077956490704778613033216808/2510715979\ 1135211514013968386058813293944651425889*c_0101_4^9 - 58868017667057308370963231089595917011602242630106709471/3263930772\ 84757749682181589018764572821280468536557*c_0101_4^8 - 2177815584484303409817566233472686239114558040070518113801/32639307\ 7284757749682181589018764572821280468536557*c_0101_4^7 + 78396563869883678114327618450490574631609514146948654560/1419100336\ 0206858681833982131250633600925237762459*c_0101_4^6 + 1360709394275810616861869265181097419417453468195310502409/32639307\ 7284757749682181589018764572821280468536557*c_0101_4^5 - 259736566033529528452850319718053588030038135490511856703/326393077\ 284757749682181589018764572821280468536557*c_0101_4^4 - 652714553059622380716459641683627784226372432483114942031/326393077\ 284757749682181589018764572821280468536557*c_0101_4^3 - 208830880947464044829928955658347117464975729924134152372/326393077\ 284757749682181589018764572821280468536557*c_0101_4^2 - 13752872011357623200276898516668953876097370780106984487/3263930772\ 84757749682181589018764572821280468536557*c_0101_4 + 1001775409230246604417068656635137815990614941473064307/32639307728\ 4757749682181589018764572821280468536557, c_0011_0 - 1, c_0011_1 - 102283456088813193884033748187319424506056563482/10916156430\ 92835283217998625480817969301941366343*c_0101_4^17 - 4600994529961060106571041035089768668084146923427/10916156430928352\ 83217998625480817969301941366343*c_0101_4^16 + 13886931265057648810231001495120285920048526287475/1091615643092835\ 283217998625480817969301941366343*c_0101_4^15 + 39217760190024450067518653810719543406152047855568/1091615643092835\ 283217998625480817969301941366343*c_0101_4^14 - 82215493533886932497298030044844405063640546406578/1091615643092835\ 283217998625480817969301941366343*c_0101_4^13 + 15103766180927776210488822878214011878326968354053/1091615643092835\ 283217998625480817969301941366343*c_0101_4^12 + 178851740321830595807582360168188730348316313075418/109161564309283\ 5283217998625480817969301941366343*c_0101_4^11 + 435328684504469979586061782144316799209148262363567/109161564309283\ 5283217998625480817969301941366343*c_0101_4^10 - 1599970307782608662745848888367169960966828858954489/10916156430928\ 35283217998625480817969301941366343*c_0101_4^9 + 212403220748518309137513053371294140704822009184499/109161564309283\ 5283217998625480817969301941366343*c_0101_4^8 + 5005575684616017746189572244781043604112706843948446/10916156430928\ 35283217998625480817969301941366343*c_0101_4^7 - 4391753862390036127745691972837779325150697727653141/10916156430928\ 35283217998625480817969301941366343*c_0101_4^6 - 2920662191849345777011922346118567712931959481072657/10916156430928\ 35283217998625480817969301941366343*c_0101_4^5 + 728445290147186929577335552276361113549560975862400/109161564309283\ 5283217998625480817969301941366343*c_0101_4^4 + 1472517913115350652582746242944875506100392018660613/10916156430928\ 35283217998625480817969301941366343*c_0101_4^3 + 412692130117173822890328585528465331669493649811846/109161564309283\ 5283217998625480817969301941366343*c_0101_4^2 + 12048988117359975394587597811844274164601633246467/1091615643092835\ 283217998625480817969301941366343*c_0101_4 - 3111751883824496751364646347836826246376696990434/10916156430928352\ 83217998625480817969301941366343, c_0011_3 - 485133620942322919903305320956540154617704965/10916156430928\ 35283217998625480817969301941366343*c_0101_4^17 - 22895483560688158482454210161260422079841739580/1091615643092835283\ 217998625480817969301941366343*c_0101_4^16 + 17968734039527896672718066647468459897616287284/1091615643092835283\ 217998625480817969301941366343*c_0101_4^15 + 347787109778023800275683071220392701860861362887/109161564309283528\ 3217998625480817969301941366343*c_0101_4^14 - 33259954959872223949065370299403798326294902691/1091615643092835283\ 217998625480817969301941366343*c_0101_4^13 - 910226878579792310056780599222351121112392559782/109161564309283528\ 3217998625480817969301941366343*c_0101_4^12 + 1340492046930553126534648970034235928115283962458/10916156430928352\ 83217998625480817969301941366343*c_0101_4^11 + 3768744035559242741250074893999690474797567294319/10916156430928352\ 83217998625480817969301941366343*c_0101_4^10 - 3610816358564623666812367617759164339719602793600/10916156430928352\ 83217998625480817969301941366343*c_0101_4^9 - 17088676625448447677278903499755662289689283031008/1091615643092835\ 283217998625480817969301941366343*c_0101_4^8 + 32090635631607214441099901733771826260377624112192/1091615643092835\ 283217998625480817969301941366343*c_0101_4^7 + 28756343762531166927857039114757674992246117108838/1091615643092835\ 283217998625480817969301941366343*c_0101_4^6 - 76782970121999152160538204683206945747039195615205/1091615643092835\ 283217998625480817969301941366343*c_0101_4^5 - 5519281383301196259068872513682220421664220300395/10916156430928352\ 83217998625480817969301941366343*c_0101_4^4 + 17577280560483971088141321229075792729302119866725/1091615643092835\ 283217998625480817969301941366343*c_0101_4^3 + 12284382983898049926360034300274003936823728292120/1091615643092835\ 283217998625480817969301941366343*c_0101_4^2 + 1020317486717142471799941524482738556475460023615/10916156430928352\ 83217998625480817969301941366343*c_0101_4 + 221620356946489088089777019586679425168106856746/109161564309283528\ 3217998625480817969301941366343, c_0101_0 + 36789403791640551996258932522777059208584991002/109161564309\ 2835283217998625480817969301941366343*c_0101_4^17 + 1656375319229087635382981288414571815203481910377/10916156430928352\ 83217998625480817969301941366343*c_0101_4^16 - 4929037305803819769364090915290252509655721191534/10916156430928352\ 83217998625480817969301941366343*c_0101_4^15 - 14352158792845046269751393439822266820903734001140/1091615643092835\ 283217998625480817969301941366343*c_0101_4^14 + 29149785975679519472810740194151357161912948956620/1091615643092835\ 283217998625480817969301941366343*c_0101_4^13 - 3899466158370246662912532401472788445081492810352/10916156430928352\ 83217998625480817969301941366343*c_0101_4^12 - 65442750374728095378782267184978690237058435214437/1091615643092835\ 283217998625480817969301941366343*c_0101_4^11 - 158762528364050418973581966360902039508104767240956/109161564309283\ 5283217998625480817969301941366343*c_0101_4^10 + 570760348699819510992467361898852924256324597256281/109161564309283\ 5283217998625480817969301941366343*c_0101_4^9 - 49366388452503035049164224502744087746527771736879/1091615643092835\ 283217998625480817969301941366343*c_0101_4^8 - 1820099707557086979056438624947576249006373375131495/10916156430928\ 35283217998625480817969301941366343*c_0101_4^7 + 1513889593610470268224613969965150379821521559726586/10916156430928\ 35283217998625480817969301941366343*c_0101_4^6 + 1160685326617102815932818580959867127514790862747070/10916156430928\ 35283217998625480817969301941366343*c_0101_4^5 - 275525561626351361621901444669030141935166173343638/109161564309283\ 5283217998625480817969301941366343*c_0101_4^4 - 550953621108898449496773777348765064372340626567102/109161564309283\ 5283217998625480817969301941366343*c_0101_4^3 - 160498456616559623775319203202008271865705769736824/109161564309283\ 5283217998625480817969301941366343*c_0101_4^2 - 476365531725867805578135405139940363613896551144/109161564309283528\ 3217998625480817969301941366343*c_0101_4 + 2110647029209591249161349379875511431111778577553/10916156430928352\ 83217998625480817969301941366343, c_0101_1 - 122786669078786224547886594513230192931865909620/10916156430\ 92835283217998625480817969301941366343*c_0101_4^17 - 5537078609336853717425512045948943370351527881696/10916156430928352\ 83217998625480817969301941366343*c_0101_4^16 + 16051746381066730678600327305636212736049095051080/1091615643092835\ 283217998625480817969301941366343*c_0101_4^15 + 49020443530456443393442623982928728146165566878760/1091615643092835\ 283217998625480817969301941366343*c_0101_4^14 - 93636853461227330555015555524802960770870042656780/1091615643092835\ 283217998625480817969301941366343*c_0101_4^13 + 6524890078819059605182740980426983314888048252677/10916156430928352\ 83217998625480817969301941366343*c_0101_4^12 + 218130130748830288118097494757380710123092857913549/109161564309283\ 5283217998625480817969301941366343*c_0101_4^11 + 546056884472340478033095955486985054915783440540130/109161564309283\ 5283217998625480817969301941366343*c_0101_4^10 - 1864482474239694422742437222929737949220239487525514/10916156430928\ 35283217998625480817969301941366343*c_0101_4^9 + 33427891924064486891317038457987962650113942397043/1091615643092835\ 283217998625480817969301941366343*c_0101_4^8 + 6063321663044588077819749089089171860382898370314488/10916156430928\ 35283217998625480817969301941366343*c_0101_4^7 - 4608130233790547382988001507624636906526331568729298/10916156430928\ 35283217998625480817969301941366343*c_0101_4^6 - 4170220395083645083005139338678075426183819822147609/10916156430928\ 35283217998625480817969301941366343*c_0101_4^5 + 568279880833948371067075461891871415761387730368082/109161564309283\ 5283217998625480817969301941366343*c_0101_4^4 + 1882419651614174540286712209772031905702164474919517/10916156430928\ 35283217998625480817969301941366343*c_0101_4^3 + 677882430836037186901517092485680659339795443538010/109161564309283\ 5283217998625480817969301941366343*c_0101_4^2 + 53727934027115089743431047523264218751974605437015/1091615643092835\ 283217998625480817969301941366343*c_0101_4 - 3620326004291976619709668261286429182766127099459/10916156430928352\ 83217998625480817969301941366343, c_0101_3 - 1938151039932497446350338325920383820642003787/1091615643092\ 835283217998625480817969301941366343*c_0101_4^17 - 86641574105555603096182103979400441640769438193/1091615643092835283\ 217998625480817969301941366343*c_0101_4^16 + 287323973719901069022006912407418483894065987641/109161564309283528\ 3217998625480817969301941366343*c_0101_4^15 + 660985269043109768916881544598091713170188802723/109161564309283528\ 3217998625480817969301941366343*c_0101_4^14 - 1738894836357013303011275427738611063019040353650/10916156430928352\ 83217998625480817969301941366343*c_0101_4^13 + 790242565639671657338601223478444674214181205938/109161564309283528\ 3217998625480817969301941366343*c_0101_4^12 + 3152471237798712035579798573748701401508922488980/10916156430928352\ 83217998625480817969301941366343*c_0101_4^11 + 7368872844009515640395005111513461506780489808380/10916156430928352\ 83217998625480817969301941366343*c_0101_4^10 - 32309656726150710161027176399095850165077938316752/1091615643092835\ 283217998625480817969301941366343*c_0101_4^9 + 13262188678227541393229318510413747991772649581270/1091615643092835\ 283217998625480817969301941366343*c_0101_4^8 + 90728873027946496524851302323188957088458731498973/1091615643092835\ 283217998625480817969301941366343*c_0101_4^7 - 108804246853411521209994534893663757710651980322718/109161564309283\ 5283217998625480817969301941366343*c_0101_4^6 - 23309053617770433134248403061778471279397748483199/1091615643092835\ 283217998625480817969301941366343*c_0101_4^5 + 19717819898613837216126421212081890457421036855854/1091615643092835\ 283217998625480817969301941366343*c_0101_4^4 + 21609920310699906338811586754497783089043324702471/1091615643092835\ 283217998625480817969301941366343*c_0101_4^3 + 1655743469130076575562273951218352225480026627052/10916156430928352\ 83217998625480817969301941366343*c_0101_4^2 - 1168476771498951109794755648773104605796043386839/10916156430928352\ 83217998625480817969301941366343*c_0101_4 + 331015359195393864672645456907842664531300597930/109161564309283528\ 3217998625480817969301941366343, c_0101_4^18 + 45*c_0101_4^17 - 135*c_0101_4^16 - 386*c_0101_4^15 + 798*c_0101_4^14 - 132*c_0101_4^13 - 1756*c_0101_4^12 - 4284*c_0101_4^11 + 15578*c_0101_4^10 - 1787*c_0101_4^9 - 49064*c_0101_4^8 + 42132*c_0101_4^7 + 29547*c_0101_4^6 - 6935*c_0101_4^5 - 14581*c_0101_4^4 - 4226*c_0101_4^3 - 129*c_0101_4^2 + 38*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB