Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 3633923263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s766 geometric_solution 5.31365750 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 1 0 -1 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.494923479347 0.583067092683 3 4 2 0 0132 0132 2031 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 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.561877566700 0.549869431207 4 3 0 1 2310 3201 0132 1302 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 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.561877566700 0.549869431207 1 5 2 5 0132 0132 2310 2310 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 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 1.081329384542 1.341530060314 4 1 2 4 3012 0132 3201 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.090905366613 0.889665967463 3 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.302797497450 0.309359140217 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_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_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_5']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 55389053881070802222586988171382061005970209/6937272473796934685752\ 858506758237923777190*c_0110_5^22 + 9464498926014429090101143422692176894835141/16920176765358377282324\ 0451384347266433590*c_0110_5^21 + 302345516795103876383007272880786\ 021621491931/3468636236898467342876429253379118961888595*c_0110_5^2\ 0 - 1681629988500211950132985569590532998640631204/3468636236898467\ 342876429253379118961888595*c_0110_5^19 - 3448972005643815299479854859139678038053318322/34686362368984673428\ 76429253379118961888595*c_0110_5^18 - 36068887838726254747346413269431000346491605823/6937272473796934685\ 752858506758237923777190*c_0110_5^17 - 59791386231984354181458009102783191492656048263/6937272473796934685\ 752858506758237923777190*c_0110_5^16 + 131172507462656853545530690369729918421636985871/693727247379693468\ 5752858506758237923777190*c_0110_5^15 + 194776649474585680090845183405755790439975067742/346863623689846734\ 2876429253379118961888595*c_0110_5^14 + 82124739778964672365792439207689478880886444585/1387454494759386937\ 150571701351647584755438*c_0110_5^13 + 41438048418948534814336817430269103167101897499/1387454494759386937\ 150571701351647584755438*c_0110_5^12 - 146398272917268626716997382876266255221514956164/346863623689846734\ 2876429253379118961888595*c_0110_5^11 - 584826720158456911784427753912985284676418839557/693727247379693468\ 5752858506758237923777190*c_0110_5^10 - 606949665716844461011148985160806586663936354631/693727247379693468\ 5752858506758237923777190*c_0110_5^9 - 70288934097566240435018484611385791193628902317/6937272473796934685\ 75285850675823792377719*c_0110_5^8 - 447826707057134600722918805466287802159614467043/693727247379693468\ 5752858506758237923777190*c_0110_5^7 - 157178134348431119502718669320857384671653279281/693727247379693468\ 5752858506758237923777190*c_0110_5^6 - 1685108527812281129792240552518006051649679051/16920176765358377282\ 3240451384347266433590*c_0110_5^5 - 696073721832999961862217991889893163076925269/169201767653583772823\ 240451384347266433590*c_0110_5^4 - 3711973008126144791739125794077674857287866196/34686362368984673428\ 76429253379118961888595*c_0110_5^3 - 686862317208139771014909531790463694735735733/138745449475938693715\ 0571701351647584755438*c_0110_5^2 - 906148584732146799499654134893728024104174101/693727247379693468575\ 2858506758237923777190*c_0110_5 - 118438573834598175056991432291992\ 244209307977/6937272473796934685752858506758237923777190, c_0011_0 - 1, c_0011_1 - 95482551619830636806451209563554716890009/846008838267918864\ 11620225692173633216795*c_0110_5^22 + 715773424844780161913251023069674449009402/846008838267918864116202\ 25692173633216795*c_0110_5^21 + 13896102816853083945170970098423856\ 5596910/16920176765358377282324045138434726643359*c_0110_5^20 - 1233473861172311703482926995557923172902682/16920176765358377282324\ 045138434726643359*c_0110_5^19 - 8875149054747073895463844180583254\ 439710416/84600883826791886411620225692173633216795*c_0110_5^18 - 57580940299547867212619867669748740310903756/8460088382679188641162\ 0225692173633216795*c_0110_5^17 - 746312685278415346850120594955255\ 92330772372/84600883826791886411620225692173633216795*c_0110_5^16 + 52940085664723484465480570432761766858682214/1692017676535837728232\ 4045138434726643359*c_0110_5^15 + 543204130288475295194386330692150\ 092790556673/84600883826791886411620225692173633216795*c_0110_5^14 + 430058721877232104411868471258895686830126407/846008838267918864116\ 20225692173633216795*c_0110_5^13 + 132050294352506135116879817259242397309061529/846008838267918864116\ 20225692173633216795*c_0110_5^12 - 114865263377073444480739373619079628486136584/169201767653583772823\ 24045138434726643359*c_0110_5^11 - 723378364733310200637279764214727461628284334/846008838267918864116\ 20225692173633216795*c_0110_5^10 - 668670630842063473958690455428809899309479347/846008838267918864116\ 20225692173633216795*c_0110_5^9 - 870180637507081648860353834972264\ 045197053418/84600883826791886411620225692173633216795*c_0110_5^8 - 334532931717541607804533501407032127659604754/846008838267918864116\ 20225692173633216795*c_0110_5^7 - 871799231616389699862939482312657\ 71664949181/84600883826791886411620225692173633216795*c_0110_5^6 - 80488652591704658661170448389141805473552582/8460088382679188641162\ 0225692173633216795*c_0110_5^5 - 1089199213413098184613197531352865\ 0185842802/84600883826791886411620225692173633216795*c_0110_5^4 - 5204693462192701798867979747574565323490462/84600883826791886411620\ 225692173633216795*c_0110_5^3 - 36824857782744881193545462932342706\ 63640162/84600883826791886411620225692173633216795*c_0110_5^2 + 68710365517040539542330671383929249309012/1692017676535837728232404\ 5138434726643359*c_0110_5 - 152563328229601050991832268109155362216\ 091/84600883826791886411620225692173633216795, c_0101_0 - 136105186117034001015729875865244541851789/84600883826791886\ 411620225692173633216795*c_0110_5^22 + 1028358368618172703635116274013384184588822/84600883826791886411620\ 225692173633216795*c_0110_5^21 + 1857389781717517841475323366847521\ 15084790/16920176765358377282324045138434726643359*c_0110_5^20 - 1768332412185949228338466273065459662533855/16920176765358377282324\ 045138434726643359*c_0110_5^19 - 1211188212919424823073127352572423\ 6108664746/84600883826791886411620225692173633216795*c_0110_5^18 - 81397377473973761272294255859109942027466466/8460088382679188641162\ 0225692173633216795*c_0110_5^17 - 101719931215109792730145380510459\ 175502050812/84600883826791886411620225692173633216795*c_0110_5^16 + 76537854253921752899478679352813580384967300/1692017676535837728232\ 4045138434726643359*c_0110_5^15 + 750133326040608027140814083871797\ 017238668518/84600883826791886411620225692173633216795*c_0110_5^14 + 569335486057267653259874802154439759327419172/846008838267918864116\ 20225692173633216795*c_0110_5^13 + 162398536515179678297427008111895191232516609/846008838267918864116\ 20225692173633216795*c_0110_5^12 - 162986136243937978656212840725076847997891716/169201767653583772823\ 24045138434726643359*c_0110_5^11 - 972051148510214819291448077143002545837577444/846008838267918864116\ 20225692173633216795*c_0110_5^10 - 896198684909441258136573559224868482951823897/846008838267918864116\ 20225692173633216795*c_0110_5^9 - 120151302831647985467641625647570\ 3559488576793/84600883826791886411620225692173633216795*c_0110_5^8 - 426053346472822264199449209214378347918634899/846008838267918864116\ 20225692173633216795*c_0110_5^7 - 120323006512380631558863058751522\ 842386039481/84600883826791886411620225692173633216795*c_0110_5^6 - 126378771157876687140046165883766156420376957/846008838267918864116\ 20225692173633216795*c_0110_5^5 - 183501783004171680173644213630051\ 05019095152/84600883826791886411620225692173633216795*c_0110_5^4 - 9373820545677033605408777843124227999938502/84600883826791886411620\ 225692173633216795*c_0110_5^3 - 58269782472947047350449377785328785\ 29339687/84600883826791886411620225692173633216795*c_0110_5^2 + 60422038286705853551803133636949138829802/1692017676535837728232404\ 5138434726643359*c_0110_5 - 363663226272014890973211438117184916908\ 106/84600883826791886411620225692173633216795, c_0101_1 + 73026494079095351420514240246477242177488/846008838267918864\ 11620225692173633216795*c_0110_5^22 - 542467542566688813662224681435584819051638/846008838267918864116202\ 25692173633216795*c_0110_5^21 - 56754864764024174683432089159926834\ 5581207/84600883826791886411620225692173633216795*c_0110_5^20 + 4672074264385282358364417204014634861867963/84600883826791886411620\ 225692173633216795*c_0110_5^19 + 1421018287773548954113925451748914\ 208230976/16920176765358377282324045138434726643359*c_0110_5^18 + 44574616706357076702752186611907026545308984/8460088382679188641162\ 0225692173633216795*c_0110_5^17 + 120272436325451604772284710724927\ 80262539942/16920176765358377282324045138434726643359*c_0110_5^16 - 197965163927938921285253687056178563319850721/846008838267918864116\ 20225692173633216795*c_0110_5^15 - 428709556239596395511222750224218284231399972/846008838267918864116\ 20225692173633216795*c_0110_5^14 - 360609664880251629307663122489641942510816942/846008838267918864116\ 20225692173633216795*c_0110_5^13 - 127813210403800195090413212077879662430929779/846008838267918864116\ 20225692173633216795*c_0110_5^12 + 430794914205286161591624221447101138070513943/846008838267918864116\ 20225692173633216795*c_0110_5^11 + 583721087844885989555141081304638062783249231/846008838267918864116\ 20225692173633216795*c_0110_5^10 + 555812799370458194904128129553018909266416343/846008838267918864116\ 20225692173633216795*c_0110_5^9 + 704431578566914523342827302580614\ 270512908803/84600883826791886411620225692173633216795*c_0110_5^8 + 304393391452742763764777284026704093890405977/846008838267918864116\ 20225692173633216795*c_0110_5^7 + 907316028824204170268436886699093\ 06675960027/84600883826791886411620225692173633216795*c_0110_5^6 + 65283036108907298679199212458282338261221348/8460088382679188641162\ 0225692173633216795*c_0110_5^5 + 1279524510834519896864583725091523\ 7844180811/84600883826791886411620225692173633216795*c_0110_5^4 + 5699173345452236157123879614969446913679604/84600883826791886411620\ 225692173633216795*c_0110_5^3 + 32422848505812888730879906034568819\ 58551457/84600883826791886411620225692173633216795*c_0110_5^2 + 60642635759112099404349006408090489584971/8460088382679188641162022\ 5692173633216795*c_0110_5 + 166643217841264872646017452561205483944\ 508/84600883826791886411620225692173633216795, c_0101_4 - 73888369105510649527633343210632711362917/846008838267918864\ 11620225692173633216795*c_0110_5^22 + 536468889489412810356233020301696491119566/846008838267918864116202\ 25692173633216795*c_0110_5^21 + 13368795976621116566631162669904372\ 6938405/16920176765358377282324045138434726643359*c_0110_5^20 - 929318242226189590075812541472270215777577/169201767653583772823240\ 45138434726643359*c_0110_5^19 - 79954583188601943314705702544809941\ 75661323/84600883826791886411620225692173633216795*c_0110_5^18 - 46175064473259583161158767910481899413996698/8460088382679188641162\ 0225692173633216795*c_0110_5^17 - 682371080177419378477942182346307\ 01529426301/84600883826791886411620225692173633216795*c_0110_5^16 + 38269493725260867555478952611947711164750675/1692017676535837728232\ 4045138434726643359*c_0110_5^15 + 468904155318144089093750190226825\ 155125289414/84600883826791886411620225692173633216795*c_0110_5^14 + 431990350533548752475414628161603660196814646/846008838267918864116\ 20225692173633216795*c_0110_5^13 + 179528346524861294704596015381867269938306397/846008838267918864116\ 20225692173633216795*c_0110_5^12 - 84707389026654869004679646372932231335725402/1692017676535837728232\ 4045138434726643359*c_0110_5^11 - 667261475258494464251355019790312\ 170528097722/84600883826791886411620225692173633216795*c_0110_5^10 - 649749667365264953526174097150183775887750091/846008838267918864116\ 20225692173633216795*c_0110_5^9 - 793034709389669301940289481862182\ 169545991924/84600883826791886411620225692173633216795*c_0110_5^8 - 412553616560397073374483316931919480210254242/846008838267918864116\ 20225692173633216795*c_0110_5^7 - 124507140437487764439541244833520\ 597933131353/84600883826791886411620225692173633216795*c_0110_5^6 - 73868535092673601916031300234343261765356656/8460088382679188641162\ 0225692173633216795*c_0110_5^5 - 1961510402623902331542469245348810\ 7842688696/84600883826791886411620225692173633216795*c_0110_5^4 - 5888074220717168861736791758714829626189746/84600883826791886411620\ 225692173633216795*c_0110_5^3 - 33861974917415918380751150230160286\ 05066446/84600883826791886411620225692173633216795*c_0110_5^2 - 37897610484296241271547595928291572710974/1692017676535837728232404\ 5138434726643359*c_0110_5 - 135204370908812131907081404372073038921\ 143/84600883826791886411620225692173633216795, c_0110_5^23 - 7*c_0110_5^22 - 11*c_0110_5^21 + 61*c_0110_5^20 + 125*c_0110_5^19 + 649*c_0110_5^18 + 1081*c_0110_5^17 - 2385*c_0110_5^16 - 7064*c_0110_5^15 - 7317*c_0110_5^14 - 3615*c_0110_5^13 + 5307*c_0110_5^12 + 10527*c_0110_5^11 + 10730*c_0110_5^10 + 12593*c_0110_5^9 + 8062*c_0110_5^8 + 2688*c_0110_5^7 + 1347*c_0110_5^6 + 574*c_0110_5^5 + 125*c_0110_5^4 + 71*c_0110_5^3 + 19*c_0110_5^2 + c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB