Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 105356004] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2068 geometric_solution 5.58674181 oriented_manifold CS_known 0.0000000000000000 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 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.419321619349 0.203861443139 2 0 3 0 0132 2310 0132 0132 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 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.651788320591 0.733906354072 1 4 5 3 0132 0132 0132 2310 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 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.062093016265 1.133872040809 2 5 4 1 3201 1023 3201 0132 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 1 0 -1 0 0 0 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.062093016265 1.133872040809 3 2 4 4 2310 0132 1230 3012 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.085935283734 1.341999110458 3 6 6 2 1023 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367458315692 0.451814940468 6 5 5 6 3012 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.790990010451 0.842077284879 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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' : negation(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_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), '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' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], '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' : negation(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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 589397343782837641780928690616138838207697452652033951/649147624274\ 8700450622838604402649122336796392365984*c_0101_6^26 + 28876260250313352813424028251834881356307224065759831843/3245738121\ 374350225311419302201324561168398196182992*c_0101_6^24 - 829635888541856057005514782241484939799886241449837095567/649147624\ 2748700450622838604402649122336796392365984*c_0101_6^22 + 17350025878940773217157288055929346266357707637295691455095/6491476\ 242748700450622838604402649122336796392365984*c_0101_6^20 - 188468342660901964659372964444603996805737691925589949175071/649147\ 6242748700450622838604402649122336796392365984*c_0101_6^18 + 168330106048547922983889952170711590410181368364202481084459/162286\ 9060687175112655709651100662280584199098091496*c_0101_6^16 - 528466846388665933929895260588845785658466006268172968925389/162286\ 9060687175112655709651100662280584199098091496*c_0101_6^14 + 2846405061690386106407091031704739717362618667751264749512609/64914\ 76242748700450622838604402649122336796392365984*c_0101_6^12 - 1306605750557522425804969047012961526294543585702046366503859/32457\ 38121374350225311419302201324561168398196182992*c_0101_6^10 + 1901362197659852240211028485274001301270702318544091669665805/64914\ 76242748700450622838604402649122336796392365984*c_0101_6^8 - 418070559990171579890488863938756465176120376915518589619909/324573\ 8121374350225311419302201324561168398196182992*c_0101_6^6 + 185363037650889257503905336711225029300965730382830323634433/649147\ 6242748700450622838604402649122336796392365984*c_0101_6^4 - 17169232198999570573066992261749336193962323445598270447943/6491476\ 242748700450622838604402649122336796392365984*c_0101_6^2 + 331581161577415254075200912358733684723009406031024170439/649147624\ 2748700450622838604402649122336796392365984, c_0011_0 - 1, c_0011_1 - 1622396065452021579118803657445582151558174619592/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^26 + 158713430662864195193543091903838919975156951584438/202858632585896\ 889081963706387582785073024887261437*c_0101_6^24 - 4516870516062671610476088406532412594093524442528049/40571726517179\ 3778163927412775165570146049774522874*c_0101_6^22 + 94799624695922931094895956273277944986322231000761873/4057172651717\ 93778163927412775165570146049774522874*c_0101_6^20 - 511254393978168258973110384638193620471894794824452009/202858632585\ 896889081963706387582785073024887261437*c_0101_6^18 + 1772322362611552162998788721874824763581638066471313636/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^16 - 5539704620631285390240886674261135243528430902944738070/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^14 + 13928249553962168765164329078406380439443067755734893305/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^12 - 12236216026655850284521701685969789573247315157314965587/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^10 + 4302001611355445156819442091681094960738236394549180610/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^8 - 3305861320358048628202344455628331086380264585919799155/40571726517\ 1793778163927412775165570146049774522874*c_0101_6^6 + 545159212771910204741648980977808335572312200144829081/405717265171\ 793778163927412775165570146049774522874*c_0101_6^4 - 13252977861973508252159954608742854499875659003703333/2028586325858\ 96889081963706387582785073024887261437*c_0101_6^2 + 4096676908285595085314834927347753867152109235051/20285863258589688\ 9081963706387582785073024887261437, c_0011_3 - 7321202316507349631451135214447859717338085880282/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^27 + 1435001147140888600702388226324480140359235749639649/40571726517179\ 3778163927412775165570146049774522874*c_0101_6^25 - 20635501250696984758613999812384418457259355181407845/4057172651717\ 93778163927412775165570146049774522874*c_0101_6^23 + 431375128544184186247797426471231879819149819116396317/405717265171\ 793778163927412775165570146049774522874*c_0101_6^21 - 2344736329276955377386539561005165476516294300456019246/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^19 + 16805696356219186026825210894336205790461920519489033643/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^17 - 52773064208501427210870984651392706998754704743348101847/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^15 + 71514807741265466484322005550457444411742868691749259773/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^13 - 65801509653720936022114440376115004499724529272107242801/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^11 + 47941379328877292858811744682074507941269440324770600785/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^9 - 10616661423155999883889378549461645992958156445344224520/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^7 + 4717151808776207487165334168091171562460666349803497079/40571726517\ 1793778163927412775165570146049774522874*c_0101_6^5 - 210017927904974391468204781286592994091849541154188566/202858632585\ 896889081963706387582785073024887261437*c_0101_6^3 + 5232917967692335808144953099465625821809856502170157/40571726517179\ 3778163927412775165570146049774522874*c_0101_6, c_0101_0 + 10836504280895388804698100443157391554597021612551/202858632\ 585896889081963706387582785073024887261437*c_0101_6^27 - 2121974181708692217501405323721469334229397654854915/40571726517179\ 3778163927412775165570146049774522874*c_0101_6^25 + 15171780218449488420293549028811170872140242400465808/2028586325858\ 96889081963706387582785073024887261437*c_0101_6^23 - 317834883529463687077125917482106205195783032041618740/202858632585\ 896889081963706387582785073024887261437*c_0101_6^21 + 3440788560993581969447498493307150808868627122485327575/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^19 - 12117673854617686139541723958660128479925282997147182912/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^17 + 75936220049596819829987718906223394596852806337163710407/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^15 - 49533807124751427021707903493524743790786056424686949430/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^13 + 44626186135468499261313761378053787524315528406504902440/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^11 - 64007701083719444768642234942511807302682495169607429367/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^9 + 13325415476987930116893390309748355984646569712919645932/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^7 - 2671035393075852979320411834565638619338398392683998965/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^5 + 213499906023623565408069917521597916949608475189743147/202858632585\ 896889081963706387582785073024887261437*c_0101_6^3 - 3525325181048306267757265203432682790489040392998610/20285863258589\ 6889081963706387582785073024887261437*c_0101_6, c_0101_1 + 544145789458115545982359723649053734026037861697/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^26 - 53367085653166535904775047204232109948188337753058/2028586325858968\ 89081963706387582785073024887261437*c_0101_6^24 + 1541363944636548063777430077706928848346965759622061/40571726517179\ 3778163927412775165570146049774522874*c_0101_6^22 - 16084660001047435881228302852173906274528673816060197/2028586325858\ 96889081963706387582785073024887261437*c_0101_6^20 + 175404701119790338215654072741585453005684028863043720/202858632585\ 896889081963706387582785073024887261437*c_0101_6^18 - 636660535957843154889786717842487043326032806137338620/202858632585\ 896889081963706387582785073024887261437*c_0101_6^16 + 2001735623829753203963989068372099796173531603386128213/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^14 - 5568082537506974892443115156025419195246622361025816383/40571726517\ 1793778163927412775165570146049774522874*c_0101_6^12 + 2590908528152718069895600855563611917400575680387589249/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^10 - 1903961296971102579838519050259348604398677240783468287/20285863258\ 5896889081963706387582785073024887261437*c_0101_6^8 + 1743059075514622486343711664709925079930589959966720083/40571726517\ 1793778163927412775165570146049774522874*c_0101_6^6 - 201043293837619967328875708931786816265183553938193774/202858632585\ 896889081963706387582785073024887261437*c_0101_6^4 + 17945305467990938138062370085230308185155331518210211/2028586325858\ 96889081963706387582785073024887261437*c_0101_6^2 - 197711851394805074116823104798072246159741981583035/202858632585896\ 889081963706387582785073024887261437, c_0101_4 + 3058257484997493812153798759444637814327857345388/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^27 - 300100783637615224202057002082959011321614865811686/202858632585896\ 889081963706387582785073024887261437*c_0101_6^25 + 4347330592116336877779518389743074048625423172114098/20285863258589\ 6889081963706387582785073024887261437*c_0101_6^23 - 181252911695386158632392900904652378604630055127515863/405717265171\ 793778163927412775165570146049774522874*c_0101_6^21 + 990567327624700140865011326243458845125261591405826128/202858632585\ 896889081963706387582785073024887261437*c_0101_6^19 - 7258764536679761175572167877073194274455079571989986641/40571726517\ 1793778163927412775165570146049774522874*c_0101_6^17 + 11427919611024084478850039747052532353167707925989443774/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^15 - 16201632484641454446188528977348620548146296770193823355/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^13 + 30519448662506722600453303857302765524333067070576497073/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^11 - 11308797485423080746740176805587745388176988116741155354/2028586325\ 85896889081963706387582785073024887261437*c_0101_6^9 + 10649186003792515069741445721006944973176150734504349223/4057172651\ 71793778163927412775165570146049774522874*c_0101_6^7 - 2580351895979055394309348977066813740476510328096500401/40571726517\ 1793778163927412775165570146049774522874*c_0101_6^5 + 124154660845163210439735182897796985721875918385443760/202858632585\ 896889081963706387582785073024887261437*c_0101_6^3 - 2128459028442736489238689711834087380657542051627161/40571726517179\ 3778163927412775165570146049774522874*c_0101_6, c_0101_6^28 - 98*c_0101_6^26 + 1409*c_0101_6^24 - 29457*c_0101_6^22 + 320185*c_0101_6^20 - 1146956*c_0101_6^18 + 3602812*c_0101_6^16 - 4880591*c_0101_6^14 + 4502722*c_0101_6^12 - 3289299*c_0101_6^10 + 1464734*c_0101_6^8 - 334767*c_0101_6^6 + 33617*c_0101_6^4 - 977*c_0101_6^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB