Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 3103335524] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0867 geometric_solution 4.77735069 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -1.982135225225 0.621770322546 0 0 2 2 2310 0132 3201 0132 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 1 -1 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.190207124289 0.132354709270 1 3 1 4 2310 0132 0132 0132 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 -1 0 0 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.019436963271 1.699015607641 4 2 4 5 3201 0132 3012 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379256009704 1.162298704740 5 3 2 3 3201 1230 0132 2310 0 0 0 0 0 -1 1 0 -1 0 0 1 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 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.379256009704 1.162298704740 6 6 3 4 0132 2310 0132 2310 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486717898298 1.032182903011 5 6 6 5 0132 3201 2310 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.790576665052 0.501271501833 ==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_5']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 214335964798896671086771199/943550875680868465870183*c_0101_3^24 + 408968334332273643673527186/943550875680868465870183*c_0101_3^23 - 213109768384069958549723863/943550875680868465870183*c_0101_3^22 - 581855909028440039628039450/943550875680868465870183*c_0101_3^21 + 1815181699569067325603564035/943550875680868465870183*c_0101_3^20 - 5916652293218768247959839361/943550875680868465870183*c_0101_3^19 + 9650782365996895930396266335/943550875680868465870183*c_0101_3^18 + 2138870876776230514694330845/943550875680868465870183*c_0101_3^17 - 24193794504098290105696866266/943550875680868465870183*c_0101_3^16 + 33348448553813862565897970399/943550875680868465870183*c_0101_3^15 - 17957174504073504960896777548/943550875680868465870183*c_0101_3^14 + 14075763329907686029424926071/943550875680868465870183*c_0101_3^13 + 34568505234066785554602434787/943550875680868465870183*c_0101_3^12 - 146299518613931196244123530046/943550875680868465870183*c_0101_3^11 + 149353674087822115635798538215/943550875680868465870183*c_0101_3^\ 10 + 112900169534165686586335974307/943550875680868465870183*c_0101\ _3^9 - 340069447253395756904294212683/943550875680868465870183*c_01\ 01_3^8 + 19173697869659629814130521527/943550875680868465870183*c_0\ 101_3^7 + 263978261446871287267645001177/943550875680868465870183*c\ _0101_3^6 - 33441451902717976159277352698/943550875680868465870183*\ c_0101_3^5 - 87549508725824622132067771384/943550875680868465870183\ *c_0101_3^4 + 3174559362027160732695910019/943550875680868465870183\ *c_0101_3^3 + 10809581038135351477422893066/94355087568086846587018\ 3*c_0101_3^2 + 1005511645856606883703533134/94355087568086846587018\ 3*c_0101_3 - 241232441049817516944135505/943550875680868465870183, c_0011_0 - 1, c_0011_2 - 590622207011593503215976/943550875680868465870183*c_0101_3^2\ 4 + 1190672513153076327336749/943550875680868465870183*c_0101_3^23 - 857921757214675993179527/943550875680868465870183*c_0101_3^22 - 1369286659744545644841821/943550875680868465870183*c_0101_3^21 + 5186137190825942947204030/943550875680868465870183*c_0101_3^20 - 17366162992942546010457928/943550875680868465870183*c_0101_3^19 + 29433938351139979159450079/943550875680868465870183*c_0101_3^18 - 441101986912817528773256/943550875680868465870183*c_0101_3^17 - 63402989634075855995322278/943550875680868465870183*c_0101_3^16 + 104810979175442690833527663/943550875680868465870183*c_0101_3^15 - 75493450410786731009593198/943550875680868465870183*c_0101_3^14 + 59934328868019666362709702/943550875680868465870183*c_0101_3^13 + 89571319669638654183502406/943550875680868465870183*c_0101_3^12 - 411870603011297604991802363/943550875680868465870183*c_0101_3^11 + 494835653937691969412592865/943550875680868465870183*c_0101_3^10 + 175979247733911297598280947/943550875680868465870183*c_0101_3^9 - 917646233707348902802798469/943550875680868465870183*c_0101_3^8 + 281347857554272239860655235/943550875680868465870183*c_0101_3^7 + 530667812090730535976858631/943550875680868465870183*c_0101_3^6 - 245067040685826576692173644/943550875680868465870183*c_0101_3^5 - 95153309556757278021348477/943550875680868465870183*c_0101_3^4 + 56713977553447640029239822/943550875680868465870183*c_0101_3^3 + 997456228148126181311826/943550875680868465870183*c_0101_3^2 - 4032846282736951078170783/943550875680868465870183*c_0101_3 - 16123946880656836582817/943550875680868465870183, c_0011_4 + 862327876491925657732564/943550875680868465870183*c_0101_3^2\ 4 - 1373778247110360472745722/943550875680868465870183*c_0101_3^23 + 608435402062182007708735/943550875680868465870183*c_0101_3^22 + 2287127096210257946029400/943550875680868465870183*c_0101_3^21 - 6408748587123970540644183/943550875680868465870183*c_0101_3^20 + 22120414117840893518345140/943550875680868465870183*c_0101_3^19 - 32964610485120472578769776/943550875680868465870183*c_0101_3^18 - 14401344190434893000045204/943550875680868465870183*c_0101_3^17 + 86192665133849032526901682/943550875680868465870183*c_0101_3^16 - 108774189487201859404738431/943550875680868465870183*c_0101_3^15 + 50737087666546994178095021/943550875680868465870183*c_0101_3^14 - 59733465910656785808874539/943550875680868465870183*c_0101_3^13 - 143650234057284844623757515/943550875680868465870183*c_0101_3^12 + 518778848386338273413590560/943550875680868465870183*c_0101_3^11 - 460693000967566336514864114/943550875680868465870183*c_0101_3^10 - 511628631590574548395347944/943550875680868465870183*c_0101_3^9 + 1122498902850420070807311888/943550875680868465870183*c_0101_3^8 + 205330977620751267874448911/943550875680868465870183*c_0101_3^7 - 853195503152101229432195528/943550875680868465870183*c_0101_3^6 - 72949930088290038585517390/943550875680868465870183*c_0101_3^5 + 279006465861859810861599927/943550875680868465870183*c_0101_3^4 + 27536263759555047973641095/943550875680868465870183*c_0101_3^3 - 39345519403223500104904720/943550875680868465870183*c_0101_3^2 - 3240009793063769283741866/943550875680868465870183*c_0101_3 + 1834448691010200837950358/943550875680868465870183, c_0011_5 + 1041434573999126677268150/943550875680868465870183*c_0101_3^\ 24 - 1809778567054027210459047/943550875680868465870183*c_0101_3^23 + 1028892171067881819226423/943550875680868465870183*c_0101_3^22 + 2613733907327217081588735/943550875680868465870183*c_0101_3^21 - 8201350067006108965443021/943550875680868465870183*c_0101_3^20 + 28118943327103812285954669/943550875680868465870183*c_0101_3^19 - 44128045462322207164802639/943550875680868465870183*c_0101_3^18 - 10477257019662056478551010/943550875680868465870183*c_0101_3^17 + 105880682182251168067545125/943550875680868465870183*c_0101_3^16 - 150173640961789325135938048/943550875680868465870183*c_0101_3^15 + 87979607186379076389904557/943550875680868465870183*c_0101_3^14 - 86832998351523623268570687/943550875680868465870183*c_0101_3^13 - 165897414985771368638043653/943550875680868465870183*c_0101_3^12 + 657305006372298021615205567/943550875680868465870183*c_0101_3^11 - 670215357900192929400025526/943550875680868465870183*c_0101_3^10 - 498493632230959874355711452/943550875680868465870183*c_0101_3^9 + 1431976692349086019797335136/943550875680868465870183*c_0101_3^8 - 17240013761255316967369241/943550875680868465870183*c_0101_3^7 - 977095035496624299151754106/943550875680868465870183*c_0101_3^6 + 95571081580900231669102252/943550875680868465870183*c_0101_3^5 + 279541792315457472613594143/943550875680868465870183*c_0101_3^4 - 13611087443285356691428715/943550875680868465870183*c_0101_3^3 - 36920312981763689573359675/943550875680868465870183*c_0101_3^2 - 1222058518658029856872352/943550875680868465870183*c_0101_3 + 1855098417060175253976642/943550875680868465870183, c_0101_0 - 1389980880979201977786328/943550875680868465870183*c_0101_3^\ 24 + 3087672815017601091057625/943550875680868465870183*c_0101_3^23 - 1910597084314216915087462/943550875680868465870183*c_0101_3^22 - 3704738223370643626282207/943550875680868465870183*c_0101_3^21 + 13089456166255471854746973/943550875680868465870183*c_0101_3^20 - 41280112608719063042862677/943550875680868465870183*c_0101_3^19 + 72691490178277038468417908/943550875680868465870183*c_0101_3^18 + 1431940595299871336035341/943550875680868465870183*c_0101_3^17 - 170404417980045608297734041/943550875680868465870183*c_0101_3^16 + 258302561392684131359590121/943550875680868465870183*c_0101_3^15 - 158673330027398178679318201/943550875680868465870183*c_0101_3^14 + 98101656678037286427071384/943550875680868465870183*c_0101_3^13 + 206972830553212242092747290/943550875680868465870183*c_0101_3^12 - 1041202097148084072142806834/943550875680868465870183*c_0101_3^11 + 1208664604795646048035047207/943550875680868465870183*c_0101_3^10 + 583611918456438443747915892/943550875680868465870183*c_0101_3^9 - 2546877286373240950652152816/943550875680868465870183*c_0101_3^8 + 622520558061107218205316006/943550875680868465870183*c_0101_3^7 + 1971439606767554912082252006/943550875680868465870183*c_0101_3^6 - 608399510361581993058885761/943550875680868465870183*c_0101_3^5 - 682055907722825347895507598/943550875680868465870183*c_0101_3^4 + 140228401052919343636586570/943550875680868465870183*c_0101_3^3 + 93374648819362731704416882/943550875680868465870183*c_0101_3^2 - 7188840537842060387043672/943550875680868465870183*c_0101_3 - 3073108557618391195269609/943550875680868465870183, c_0101_1 + 1521852974654589531010547/943550875680868465870183*c_0101_3^\ 24 - 3109546937854102286249196/943550875680868465870183*c_0101_3^23 + 2220025272521234134737697/943550875680868465870183*c_0101_3^22 + 3480396582107043960666174/943550875680868465870183*c_0101_3^21 - 13177075305732746273736162/943550875680868465870183*c_0101_3^20 + 44458261100185180292294424/943550875680868465870183*c_0101_3^19 - 76310875785634341983310151/943550875680868465870183*c_0101_3^18 + 2063873331294323410018937/943550875680868465870183*c_0101_3^17 + 162352687671955866868875163/943550875680868465870183*c_0101_3^16 - 264039504598736046950298287/943550875680868465870183*c_0101_3^15 + 185687082726335852898377845/943550875680868465870183*c_0101_3^14 - 153942279497791639052909435/943550875680868465870183*c_0101_3^13 - 209321602726536027488425210/943550875680868465870183*c_0101_3^12 + 1039151872271517487705347967/943550875680868465870183*c_0101_3^11 - 1249394155230787852454777789/943550875680868465870183*c_0101_3^10 - 491192806135280025652009168/943550875680868465870183*c_0101_3^9 + 2364315701848060873515560554/943550875680868465870183*c_0101_3^8 - 609917655347122432804013054/943550875680868465870183*c_0101_3^7 - 1536777965324930983539207612/943550875680868465870183*c_0101_3^6 + 564411409048909352008472516/943550875680868465870183*c_0101_3^5 + 415023951396838381659373870/943550875680868465870183*c_0101_3^4 - 135521064479104953997337734/943550875680868465870183*c_0101_3^3 - 41395721259077877033554922/943550875680868465870183*c_0101_3^2 + 8299466558416378242395184/943550875680868465870183*c_0101_3 + 694851304367375504605241/943550875680868465870183, c_0101_3^25 - 2*c_0101_3^24 + c_0101_3^23 + 3*c_0101_3^22 - 9*c_0101_3^21 + 28*c_0101_3^20 - 46*c_0101_3^19 - 11*c_0101_3^18 + 123*c_0101_3^17 - 167*c_0101_3^16 + 79*c_0101_3^15 - 41*c_0101_3^14 - 179*c_0101_3^13 + 715*c_0101_3^12 - 737*c_0101_3^11 - 586*c_0101_3^10 + 1791*c_0101_3^9 - 191*c_0101_3^8 - 1511*c_0101_3^7 + 373*c_0101_3^6 + 579*c_0101_3^5 - 140*c_0101_3^4 - 96*c_0101_3^3 + 20*c_0101_3^2 + 5*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB