Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 4223297322] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1355 geometric_solution 5.22351147 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 0 1 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 1 -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.476982760656 0.533629863269 0 3 2 4 0132 0132 1230 0132 0 0 0 0 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 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 1.068890216274 1.041689611371 3 0 4 1 2310 0132 2310 3012 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 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.068890216274 1.041689611371 3 1 2 3 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132367381927 0.584676077139 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681052661893 0.360192155405 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 1.259093546596 0.415023749049 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 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.571253777990 0.206682351536 ==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' : negation(d['1']), 's_2_0' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 32205553687818095389259296304471183/1144816474233723129385619911230\ 590*c_0101_6^20 + 182381962507776737388397555345209899/171722471135\ 0584694078429866845885*c_0101_6^19 + 325539802499890224847556063754946721/686889884540233877631371946738\ 354*c_0101_6^18 - 546403177692823328837522378410786409/312222674791\ 015398923350884881070*c_0101_6^17 - 2550005155824326003252057531003491379/68688988454023387763137194673\ 8354*c_0101_6^16 + 42631848608336073885179008085629386469/343444942\ 2701169388156859733691770*c_0101_6^15 + 23725216555778022198244375583887082258/1717224711350584694078429866\ 845885*c_0101_6^14 - 140082278806763003262070544821150651337/343444\ 9422701169388156859733691770*c_0101_6^13 - 34256533912583208219633262704337407898/1717224711350584694078429866\ 845885*c_0101_6^12 + 96278567180816511695187138273301280164/1717224\ 711350584694078429866845885*c_0101_6^11 + 44220258395428552196129531410855644493/3434449422701169388156859733\ 691770*c_0101_6^10 - 178434733544002592113604422409463233131/343444\ 9422701169388156859733691770*c_0101_6^9 - 5831703329203840652885801849492642338/15611133739550769946167544244\ 0535*c_0101_6^8 + 62794176476810831680051575794990514274/1717224711\ 350584694078429866845885*c_0101_6^7 - 727538625406734573798648716549289829/343444942270116938815685973369\ 1770*c_0101_6^6 - 534059369321329854687614424362395232/114481647423\ 372312938561991123059*c_0101_6^5 + 9699112639133316901205476204349530127/34344494227011693881568597336\ 91770*c_0101_6^4 + 20037792796743327600205105794517217/171722471135\ 0584694078429866845885*c_0101_6^3 + 2128536301194193789353095891652517301/34344494227011693881568597336\ 91770*c_0101_6^2 + 966301026791429873628291414663326381/17172247113\ 50584694078429866845885*c_0101_6 - 213503541218603754994439169689496301/171722471135058469407842986684\ 5885, c_0011_0 - 1, c_0011_4 - 3353441238368217720664254471855/2792235303009080803379560759\ 099*c_0101_6^20 + 12778156571736993396052671963705/2792235303009080\ 803379560759099*c_0101_6^19 + 56076697269029085279172169916995/2792\ 235303009080803379560759099*c_0101_6^18 - 210700286349369997022158381353737/2792235303009080803379560759099*c\ _0101_6^17 - 435632489257010267244450608724659/27922353030090808033\ 79560759099*c_0101_6^16 + 1496964398690667208419805576552531/279223\ 5303009080803379560759099*c_0101_6^15 + 1598168983988410136364308026365778/2792235303009080803379560759099*\ c_0101_6^14 - 4932580881947581789923074218388503/279223530300908080\ 3379560759099*c_0101_6^13 - 2218656020224338757727456759175775/2792\ 235303009080803379560759099*c_0101_6^12 + 6810820959307101126187285203978158/2792235303009080803379560759099*\ c_0101_6^11 + 1315942017411431288532931872814688/279223530300908080\ 3379560759099*c_0101_6^10 - 6313398619830641840212770559789372/2792\ 235303009080803379560759099*c_0101_6^9 - 4247636771576143683502802983090292/2792235303009080803379560759099*\ c_0101_6^8 + 4577567879278604896282930323029876/2792235303009080803\ 379560759099*c_0101_6^7 - 146476913954176124483531126220323/2792235\ 303009080803379560759099*c_0101_6^6 - 608265326220955540978323983516294/2792235303009080803379560759099*c\ _0101_6^5 + 347107463570719646625652397656422/279223530300908080337\ 9560759099*c_0101_6^4 - 8935027240382472509193437022857/27922353030\ 09080803379560759099*c_0101_6^3 + 67596083772918935305163367582030/\ 2792235303009080803379560759099*c_0101_6^2 + 5784786559826184738509404149697/253839573000825527579960069009*c_01\ 01_6 - 17664529146754343575914951303432/279223530300908080337956075\ 9099, c_0101_0 - 56419844848070120550870944497/279223530300908080337956075909\ 9*c_0101_6^20 + 163102589739973329789432555249/27922353030090808033\ 79560759099*c_0101_6^19 + 1099789976126185492663649363524/279223530\ 3009080803379560759099*c_0101_6^18 - 2516299294349180727799206828170/2792235303009080803379560759099*c_0\ 101_6^17 - 9907389481379623191323935591718/279223530300908080337956\ 0759099*c_0101_6^16 + 15783569037847603890613820781388/279223530300\ 9080803379560759099*c_0101_6^15 + 44821374053032785764134677154346/\ 2792235303009080803379560759099*c_0101_6^14 - 39256249403015175538953673593047/2792235303009080803379560759099*c_\ 0101_6^13 - 94776161233222965984537276790625/2792235303009080803379\ 560759099*c_0101_6^12 + 17184121958342703160649923138933/2792235303\ 009080803379560759099*c_0101_6^11 + 101762685981682950471613874049376/2792235303009080803379560759099*c\ _0101_6^10 + 1965808852535570928389175858825/2792235303009080803379\ 560759099*c_0101_6^9 - 151648620767384247781142685626360/2792235303\ 009080803379560759099*c_0101_6^8 - 69157545222192897928558564463480/2792235303009080803379560759099*c_\ 0101_6^7 + 13276416022242043871370167742026/27922353030090808033795\ 60759099*c_0101_6^6 + 49517047539757862396586313902350/279223530300\ 9080803379560759099*c_0101_6^5 + 2066506487915216385886934354447/27\ 92235303009080803379560759099*c_0101_6^4 + 841585810965984948810802694821/2792235303009080803379560759099*c_01\ 01_6^3 + 143662271764711459461943501683/279223530300908080337956075\ 9099*c_0101_6^2 + 351635969304713836524800091525/253839573000825527\ 579960069009*c_0101_6 + 273186902012144353905671347632/279223530300\ 9080803379560759099, c_0101_1 - 119999551007861089117523391673/27922353030090808033795607590\ 99*c_0101_6^20 + 391746755758739490589489006335/2792235303009080803\ 379560759099*c_0101_6^19 + 203362238648124389959848917473/253839573\ 000825527579960069009*c_0101_6^18 - 6367761496178242748484173808880/2792235303009080803379560759099*c_0\ 101_6^17 - 19406600143311102115539801180673/27922353030090808033795\ 60759099*c_0101_6^16 + 3985808327463834212208204038797/253839573000\ 825527579960069009*c_0101_6^15 + 84328704766560361713368806965815/2\ 792235303009080803379560759099*c_0101_6^14 - 12462154428178478299417028196717/253839573000825527579960069009*c_0\ 101_6^13 - 169525310424387401281412569122458/2792235303009080803379\ 560759099*c_0101_6^12 + 176191619645668746779827841526769/279223530\ 3009080803379560759099*c_0101_6^11 + 16142308618469721137640865655173/253839573000825527579960069009*c_0\ 101_6^10 - 177228409990267999974999564725536/2792235303009080803379\ 560759099*c_0101_6^9 - 281259256812503914463606537399012/2792235303\ 009080803379560759099*c_0101_6^8 + 66928446149254080639187986187821/2792235303009080803379560759099*c_\ 0101_6^7 + 69991209190797941779675402207806/27922353030090808033795\ 60759099*c_0101_6^6 - 14384397555240149330655616938408/279223530300\ 9080803379560759099*c_0101_6^5 - 22631040960587384547341848425181/2\ 792235303009080803379560759099*c_0101_6^4 + 17686782885652586679460586326104/2792235303009080803379560759099*c_\ 0101_6^3 + 4556201904337534127450059609195/279223530300908080337956\ 0759099*c_0101_6^2 + 2120523745805538749613237415782/27922353030090\ 80803379560759099*c_0101_6 + 1324269864806154807528904667648/279223\ 5303009080803379560759099, c_0101_2 + 3040773283850190997258594549002/2792235303009080803379560759\ 099*c_0101_6^20 - 11693738232732263200422014498659/2792235303009080\ 803379560759099*c_0101_6^19 - 50446554878063749914849736120621/2792\ 235303009080803379560759099*c_0101_6^18 + 192857254227384205600703915665783/2792235303009080803379560759099*c\ _0101_6^17 + 388424504207655054399847314615847/27922353030090808033\ 79560759099*c_0101_6^16 - 1371480480312118443084102638582403/279223\ 5303009080803379560759099*c_0101_6^15 - 1402691251432637385160173668867615/2792235303009080803379560759099*\ c_0101_6^14 + 4524705569391200066674624649760895/279223530300908080\ 3379560759099*c_0101_6^13 + 1860822846574358630847500708778469/2792\ 235303009080803379560759099*c_0101_6^12 - 6248144499107709327343308507311296/2792235303009080803379560759099*\ c_0101_6^11 - 991074535830783429870029286684938/2792235303009080803\ 379560759099*c_0101_6^10 + 5764056925423058388079058406086596/27922\ 35303009080803379560759099*c_0101_6^9 + 3666932339093606876628173406733956/2792235303009080803379560759099*\ c_0101_6^8 - 4282503873722249280295092016705136/2792235303009080803\ 379560759099*c_0101_6^7 + 258382003095228828660980680566231/2792235\ 303009080803379560759099*c_0101_6^6 + 531075443025513120973659082324291/2792235303009080803379560759099*c\ _0101_6^5 - 331969638603155149517707167163430/279223530300908080337\ 9560759099*c_0101_6^4 + 27493034522544267883989680714263/2792235303\ 009080803379560759099*c_0101_6^3 - 62821723840204301847759930755091/2792235303009080803379560759099*c_\ 0101_6^2 - 55946283411886177774886057494506/27922353030090808033795\ 60759099*c_0101_6 + 15933215289286162906758962888124/27922353030090\ 80803379560759099, c_0101_5 + 3272373600380289447327008041543/2792235303009080803379560759\ 099*c_0101_6^20 - 12479708559527967632443682082007/2792235303009080\ 803379560759099*c_0101_6^19 - 54668025414765036236490253710379/2792\ 235303009080803379560759099*c_0101_6^18 + 205723983761260297815279620490553/2792235303009080803379560759099*c\ _0101_6^17 + 424244185086051949047370292580590/27922353030090808033\ 79560759099*c_0101_6^16 - 1461161190049385921926860063194143/279223\ 5303009080803379560759099*c_0101_6^15 - 1553470754207811343202774530634771/2792235303009080803379560759099*\ c_0101_6^14 + 4811125207753463565069296656717136/279223530300908080\ 3379560759099*c_0101_6^13 + 2145359007351254131665327745685509/2792\ 235303009080803379560759099*c_0101_6^12 - 6627766258148175719739037677495033/2792235303009080803379560759099*\ c_0101_6^11 - 1259231482063546293878094897420817/279223530300908080\ 3379560759099*c_0101_6^10 + 556889596120426754654369321228713/25383\ 9573000825527579960069009*c_0101_6^9 + 4122767612112389083653286645834890/2792235303009080803379560759099*\ c_0101_6^8 - 4443478797220526053048345129440897/2792235303009080803\ 379560759099*c_0101_6^7 + 15769695604038283949319740630142/25383957\ 3000825527579960069009*c_0101_6^6 + 558210678956253209206085220131812/2792235303009080803379560759099*c\ _0101_6^5 - 348824047442994522214574263145211/279223530300908080337\ 9560759099*c_0101_6^4 + 12078450179511749573931951226230/2792235303\ 009080803379560759099*c_0101_6^3 - 65250942036899201641213226176739/2792235303009080803379560759099*c_\ 0101_6^2 - 60398409807313463064392797347028/27922353030090808033795\ 60759099*c_0101_6 + 1543091889190930551584435625898/253839573000825\ 527579960069009, c_0101_6^21 - 4*c_0101_6^20 - 16*c_0101_6^19 + 66*c_0101_6^18 + 118*c_0101_6^17 - 471*c_0101_6^16 - 392*c_0101_6^15 + 1561*c_0101_6^14 + 383*c_0101_6^13 - 2155*c_0101_6^12 - 8*c_0101_6^11 + 1953*c_0101_6^10 + 911*c_0101_6^9 - 1600*c_0101_6^8 + 300*c_0101_6^7 + 168*c_0101_6^6 - 138*c_0101_6^5 + 25*c_0101_6^4 - 22*c_0101_6^3 - 15*c_0101_6^2 + 9*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB