Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 4021187369] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0282 geometric_solution 4.32600593 oriented_manifold CS_known -0.0000000000000002 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.565339439899 0.079085661383 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699762609010 0.163610216900 1 3 1 4 0132 0132 1023 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 -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.471118345837 1.032221984324 5 2 4 4 0132 0132 3012 1230 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 0 0 1 0 0 -1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.712253702593 1.596419867963 3 3 2 5 3012 1230 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.712253702593 1.596419867963 3 4 6 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 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.154870156129 0.455135167221 6 5 6 5 2310 2310 3201 0132 0 0 0 0 0 1 -1 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 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.839636763333 1.172620273923 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), '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' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_4'], '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_6'], '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' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 46786429263707811266590657195818566370148001669978/8096353349217033\ 979327812196674149807137612866981*c_0101_3^20 - 738758076234280847605762597150607303047188850767871/809635334921703\ 3979327812196674149807137612866981*c_0101_3^19 - 314541855924720526200771274797032275358560374324392/899594816579670\ 442147534688519349978570845874109*c_0101_3^18 - 1132408860268781652876809241474373977777755343913147/11566219070310\ 04854189687456667735686733944695283*c_0101_3^17 - 4798770601171495646942326884362663790282268345211242/26987844497390\ 11326442604065558049935712537622327*c_0101_3^16 - 4693433587926276848719958330846725999143890910498695/80963533492170\ 33979327812196674149807137612866981*c_0101_3^15 + 4502105747169313279285861553053329043670452176651574/80963533492170\ 33979327812196674149807137612866981*c_0101_3^14 + 24888304609375507167503600431094489486447621883983287/2698784449739\ 011326442604065558049935712537622327*c_0101_3^13 + 4758124267781569756936558995133987327627408810302190/89959481657967\ 0442147534688519349978570845874109*c_0101_3^12 + 68781613334382700415896649137144907190879863494413872/8096353349217\ 033979327812196674149807137612866981*c_0101_3^11 - 463754302067850849484032515885680932096011276290520/385540635677001\ 618063229152222578562244648231761*c_0101_3^10 - 30969783703857356465209191955744893301068911721527735/8096353349217\ 033979327812196674149807137612866981*c_0101_3^9 + 60678895581333077007599757319518201769229497063909502/8096353349217\ 033979327812196674149807137612866981*c_0101_3^8 - 75075402309366776960193928546525314072145802958727367/2698784449739\ 011326442604065558049935712537622327*c_0101_3^7 - 112629881962246032770209982353368244953257212177845290/809635334921\ 7033979327812196674149807137612866981*c_0101_3^6 - 50131583699334354628355509179420277650839490528245989/8096353349217\ 033979327812196674149807137612866981*c_0101_3^5 + 102091121621338845245631020449498071292191437948470219/809635334921\ 7033979327812196674149807137612866981*c_0101_3^4 - 7865832327764393412086197206861967168123979231288649/89959481657967\ 0442147534688519349978570845874109*c_0101_3^3 - 23164364104815080883996089794133735577482896932302860/8096353349217\ 033979327812196674149807137612866981*c_0101_3^2 + 26325335889519976576754433100111829865870388760148616/8096353349217\ 033979327812196674149807137612866981*c_0101_3 - 4257330295708884599804769798292884463177277630385370/80963533492170\ 33979327812196674149807137612866981, c_0011_0 - 1, c_0011_1 - 264723778605774990746508800381638911087936278/16762636333782\ 679046227354444459937488897749207*c_0101_3^20 - 4296307695171075065992066003590872382692623723/16762636333782679046\ 227354444459937488897749207*c_0101_3^19 - 5975163071729588188269622963514060575460977962/55875454445942263487\ 42451481486645829632583069*c_0101_3^18 - 53044950654553504413755620317133975700859565333/1676263633378267904\ 6227354444459937488897749207*c_0101_3^17 - 35317655367397529318471281146111013118394691126/5587545444594226348\ 742451481486645829632583069*c_0101_3^16 - 76425203506271487018802569257530312704798090650/1676263633378267904\ 6227354444459937488897749207*c_0101_3^15 - 13994708294684085469490604249641638674411980060/1676263633378267904\ 6227354444459937488897749207*c_0101_3^14 + 138307065044124125288835196014059042911078786426/558754544459422634\ 8742451481486645829632583069*c_0101_3^13 + 142284916833486024450280799360169919974038583008/558754544459422634\ 8742451481486645829632583069*c_0101_3^12 + 609934737853904439775551807700259848508610609302/167626363337826790\ 46227354444459937488897749207*c_0101_3^11 + 76126827032071042886775920341445543267786673546/5587545444594226348\ 742451481486645829632583069*c_0101_3^10 - 44272309766873672511847294725650034394549077311/1676263633378267904\ 6227354444459937488897749207*c_0101_3^9 + 312263446138034655338330829658906277277348918563/167626363337826790\ 46227354444459937488897749207*c_0101_3^8 - 383621810192139612454635730134657486976377168745/558754544459422634\ 8742451481486645829632583069*c_0101_3^7 - 1120045165120319372792865916790508866321651049995/16762636333782679\ 046227354444459937488897749207*c_0101_3^6 - 878411642623868906472646627650259735558898649022/167626363337826790\ 46227354444459937488897749207*c_0101_3^5 + 157907415481071162684471341188050438366994293358/167626363337826790\ 46227354444459937488897749207*c_0101_3^4 - 123832794079509199066100933048082326611380256789/558754544459422634\ 8742451481486645829632583069*c_0101_3^3 - 231310167440670817520967497524107346039536054727/167626363337826790\ 46227354444459937488897749207*c_0101_3^2 + 19330791014270406384447522095673986249664961507/1676263633378267904\ 6227354444459937488897749207*c_0101_3 - 18104426907911151219629972674181578306259279950/1676263633378267904\ 6227354444459937488897749207, c_0011_4 - 184576008222085138315181932983803433543395420/16762636333782\ 679046227354444459937488897749207*c_0101_3^20 - 2987343010000408162120123719639834038526228190/16762636333782679046\ 227354444459937488897749207*c_0101_3^19 - 4123549539422647173245601612701753507681090857/55875454445942263487\ 42451481486645829632583069*c_0101_3^18 - 36517542702201813811225111439091816647383399195/1676263633378267904\ 6227354444459937488897749207*c_0101_3^17 - 24191213450445096869313248991981941548225005714/5587545444594226348\ 742451481486645829632583069*c_0101_3^16 - 50987619442444605302584733090734991813967160745/1676263633378267904\ 6227354444459937488897749207*c_0101_3^15 - 9277252497014701043687824688432567141667678839/16762636333782679046\ 227354444459937488897749207*c_0101_3^14 + 96225770794514313750140425177547904615627331263/5587545444594226348\ 742451481486645829632583069*c_0101_3^13 + 94757253140054094660531855575673388382183953086/5587545444594226348\ 742451481486645829632583069*c_0101_3^12 + 419570297316610197514225184108609723859807057968/167626363337826790\ 46227354444459937488897749207*c_0101_3^11 + 48321255946864704085825661476047769271857547797/5587545444594226348\ 742451481486645829632583069*c_0101_3^10 - 27666470889321801986978619580613057648397959663/1676263633378267904\ 6227354444459937488897749207*c_0101_3^9 + 224543856943030114750822290980472408771573094160/167626363337826790\ 46227354444459937488897749207*c_0101_3^8 - 269459896331073357130595480777452857506427123612/558754544459422634\ 8742451481486645829632583069*c_0101_3^7 - 732178111268627417946097907001390898222642296302/167626363337826790\ 46227354444459937488897749207*c_0101_3^6 - 603768750725778737543264452076347231023981119203/167626363337826790\ 46227354444459937488897749207*c_0101_3^5 + 120680720588211163253382141640474505455234739869/167626363337826790\ 46227354444459937488897749207*c_0101_3^4 - 87587433527807475918252840301579617544722271316/5587545444594226348\ 742451481486645829632583069*c_0101_3^3 - 153068455284117601689702621779232228541427808244/167626363337826790\ 46227354444459937488897749207*c_0101_3^2 + 3112221671821911885591715959745819425167704306/16762636333782679046\ 227354444459937488897749207*c_0101_3 - 18680287710354453427000856487138423399863367301/1676263633378267904\ 6227354444459937488897749207, c_0011_6 + 67939729785839896819081566701641206070049067/558754544459422\ 6348742451481486645829632583069*c_0101_3^20 + 1103263036054729074085934646717642761329585514/55875454445942263487\ 42451481486645829632583069*c_0101_3^19 + 4611450984050542043216059309275470729074539806/55875454445942263487\ 42451481486645829632583069*c_0101_3^18 + 13667445509243933198123242087143173548943038101/5587545444594226348\ 742451481486645829632583069*c_0101_3^17 + 27377136240780833224904612304854946093520357719/5587545444594226348\ 742451481486645829632583069*c_0101_3^16 + 20051511262769062257290643345646371448160854243/5587545444594226348\ 742451481486645829632583069*c_0101_3^15 + 4188780420868385581081113325026815525168606575/55875454445942263487\ 42451481486645829632583069*c_0101_3^14 - 105957558109844612813314877376688258777331317218/558754544459422634\ 8742451481486645829632583069*c_0101_3^13 - 110452338812975672982347489961307332154728183114/558754544459422634\ 8742451481486645829632583069*c_0101_3^12 - 158551267470413674115964674899459820508676463903/558754544459422634\ 8742451481486645829632583069*c_0101_3^11 - 62738166536144383587274769356762328066560518626/5587545444594226348\ 742451481486645829632583069*c_0101_3^10 + 8775838431635815457444518784842411983110739193/55875454445942263487\ 42451481486645829632583069*c_0101_3^9 - 81556084936708967803425318442594261425690484108/5587545444594226348\ 742451481486645829632583069*c_0101_3^8 + 294907316917584065266693511542794914621525057195/558754544459422634\ 8742451481486645829632583069*c_0101_3^7 + 290990806233413870663219203178257640588219407957/558754544459422634\ 8742451481486645829632583069*c_0101_3^6 + 226788094042687346170028806382763063305938817081/558754544459422634\ 8742451481486645829632583069*c_0101_3^5 - 31608434722807358606035969826782021149380913990/5587545444594226348\ 742451481486645829632583069*c_0101_3^4 + 95236920717116903169495200160565164794194581793/5587545444594226348\ 742451481486645829632583069*c_0101_3^3 + 59092357779616648143113044346021600477579823852/5587545444594226348\ 742451481486645829632583069*c_0101_3^2 - 3355532800040421482545278353146709071289952786/55875454445942263487\ 42451481486645829632583069*c_0101_3 + 5470147759174904800100717480387106491086135338/55875454445942263487\ 42451481486645829632583069, c_0101_0 - 96721871895556894499294480094508657341551915/167626363337826\ 79046227354444459937488897749207*c_0101_3^20 - 1559435144696259443737848013674315285429544660/16762636333782679046\ 227354444459937488897749207*c_0101_3^19 - 2135014196625775818261840272437360611435085147/55875454445942263487\ 42451481486645829632583069*c_0101_3^18 - 19060754169636688827770523515615115849233417440/1676263633378267904\ 6227354444459937488897749207*c_0101_3^17 - 12767226908606741192036845834473851529451942548/5587545444594226348\ 742451481486645829632583069*c_0101_3^16 - 28785292543914267882933046058346287154335329538/1676263633378267904\ 6227354444459937488897749207*c_0101_3^15 - 12448901715221487337124503882499627868624983390/1676263633378267904\ 6227354444459937488897749207*c_0101_3^14 + 47785058604048788430199101586616033489154821643/5587545444594226348\ 742451481486645829632583069*c_0101_3^13 + 45863703842698591377555860672334110572696822360/5587545444594226348\ 742451481486645829632583069*c_0101_3^12 + 241776900827198153146104936400041628049759751380/167626363337826790\ 46227354444459937488897749207*c_0101_3^11 + 35568992244142790513600685830664966213095987682/5587545444594226348\ 742451481486645829632583069*c_0101_3^10 + 32889117055520552251405405422198268531517141299/1676263633378267904\ 6227354444459937488897749207*c_0101_3^9 + 147495220246591846746843062294458596437964388853/167626363337826790\ 46227354444459937488897749207*c_0101_3^8 - 145623884877028299535921699844596131201199785471/558754544459422634\ 8742451481486645829632583069*c_0101_3^7 - 341573378237887505706413752323490351874092334816/167626363337826790\ 46227354444459937488897749207*c_0101_3^6 - 366724492797467716171766806250570064933141303568/167626363337826790\ 46227354444459937488897749207*c_0101_3^5 - 37806117123145734753434108141218894734906533213/1676263633378267904\ 6227354444459937488897749207*c_0101_3^4 - 72548875697995527237459378526750832379642437013/5587545444594226348\ 742451481486645829632583069*c_0101_3^3 - 67987246731756995745222218318774432053389604786/1676263633378267904\ 6227354444459937488897749207*c_0101_3^2 - 2538182237140585513917528075708750775763361293/16762636333782679046\ 227354444459937488897749207*c_0101_3 - 20713297164644923863704214395926811734946673607/1676263633378267904\ 6227354444459937488897749207, c_0101_1 - 35614024036412264914780330457666071797012190/558754544459422\ 6348742451481486645829632583069*c_0101_3^20 - 581862747718777211244272335118464968778233706/558754544459422634874\ 2451481486645829632583069*c_0101_3^19 - 2475216201516876900836191980040254306888165657/55875454445942263487\ 42451481486645829632583069*c_0101_3^18 - 7413622362996299281581071438986867056214570716/55875454445942263487\ 42451481486645829632583069*c_0101_3^17 - 15108621273411825221252393125445625703384176062/5587545444594226348\ 742451481486645829632583069*c_0101_3^16 - 12079560237491355048836467286275250377432841973/5587545444594226348\ 742451481486645829632583069*c_0101_3^15 - 3559398552543360860845230179052665870357559406/55875454445942263487\ 42451481486645829632583069*c_0101_3^14 + 54991676020832345686231337306714459429025953775/5587545444594226348\ 742451481486645829632583069*c_0101_3^13 + 63375698101580734718220455105657193482643574369/5587545444594226348\ 742451481486645829632583069*c_0101_3^12 + 89800468103339203007327992340326119107594295492/5587545444594226348\ 742451481486645829632583069*c_0101_3^11 + 43337639907403174577889319397267050908417133843/5587545444594226348\ 742451481486645829632583069*c_0101_3^10 + 296552138764955104397597050745367821753974657/558754544459422634874\ 2451481486645829632583069*c_0101_3^9 + 44223902678574885812885669864211103798771759969/5587545444594226348\ 742451481486645829632583069*c_0101_3^8 - 151721307963877002243223450651571044543141479167/558754544459422634\ 8742451481486645829632583069*c_0101_3^7 - 168890624683121160462584050339827154436516512565/558754544459422634\ 8742451481486645829632583069*c_0101_3^6 - 136487701780283904606632310709946880440313706110/558754544459422634\ 8742451481486645829632583069*c_0101_3^5 - 2943730955304297678620597825464556278750024220/55875454445942263487\ 42451481486645829632583069*c_0101_3^4 - 47709213322223992950287391714073599869347706107/5587545444594226348\ 742451481486645829632583069*c_0101_3^3 - 36016902243375051766655289046136538442803506881/5587545444594226348\ 742451481486645829632583069*c_0101_3^2 + 1179490721063873172403180194080076463827178419/55875454445942263487\ 42451481486645829632583069*c_0101_3 - 1640970862122767116611045543185501626112184444/55875454445942263487\ 42451481486645829632583069, c_0101_3^21 + 16*c_0101_3^20 + 64*c_0101_3^19 + 185*c_0101_3^18 + 355*c_0101_3^17 + 199*c_0101_3^16 - 9*c_0101_3^15 - 1576*c_0101_3^14 - 1254*c_0101_3^13 - 1948*c_0101_3^12 - 359*c_0101_3^11 + 355*c_0101_3^10 - 1235*c_0101_3^9 + 4633*c_0101_3^8 + 3223*c_0101_3^7 + 2368*c_0101_3^6 - 1270*c_0101_3^5 + 1487*c_0101_3^4 + 560*c_0101_3^3 - 277*c_0101_3^2 + 112*c_0101_3 - 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB