Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 2951623562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0086 geometric_solution 3.62807639 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 2.004491672969 0.126819421894 0 1 1 0 0132 3201 2310 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.705256966620 0.022287684696 0 3 3 0 3201 0132 1023 0132 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 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.656781434954 0.275859996592 4 2 2 4 0132 0132 1023 3201 0 0 0 0 0 1 0 -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 -1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.329105347024 0.488833793183 3 3 6 5 0132 2310 0132 0132 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 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.003788421131 0.508210629443 6 6 4 6 1230 3012 0132 1302 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 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.995458605745 1.011949601509 5 5 5 4 1230 3012 2031 0132 0 0 0 0 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 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.995458605745 1.011949601509 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_2'], 'c_0011_6' : 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_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 966537082951952828040741072045471233484469756/105507698405545494091\ 29236787045521215639755*c_0101_6^18 - 4272627415945389580728805097460191372450982352/21101539681109098818\ 25847357409104243127951*c_0101_6^17 + 10778757220557637970269423647568219925766062395/7033846560369699606\ 08615785803034747709317*c_0101_6^16 - 98059510269693279835863282120864233982064718389/3516923280184849803\ 043078929015173738546585*c_0101_6^15 - 764325356877494955124889571103907060672579494348/351692328018484980\ 3043078929015173738546585*c_0101_6^14 + 3344124222048930511165321633272491994733406944466/10550769840554549\ 409129236787045521215639755*c_0101_6^13 + 8245252683406070620132909094578009318685338932134/35169232801848498\ 03043078929015173738546585*c_0101_6^12 + 318647595121259547033365992554195502585856528038/703384656036969960\ 608615785803034747709317*c_0101_6^11 - 12693298059111305450039803250303806022424095897192/3516923280184849\ 803043078929015173738546585*c_0101_6^10 + 2832502017216451762356787612325421218874213380499/35169232801848498\ 03043078929015173738546585*c_0101_6^9 + 26925345660904578709519298578133055762964484081614/1055076984055454\ 9409129236787045521215639755*c_0101_6^8 - 6050214410878661875881521385465367319722900425776/35169232801848498\ 03043078929015173738546585*c_0101_6^7 - 2076451385578608930213942851533125659813315786066/35169232801848498\ 03043078929015173738546585*c_0101_6^6 + 184833342012756739879962735296026338553333329923/301450566872987125\ 975121051058443463303993*c_0101_6^5 + 472746787737923074819092648376094935399700882308/105507698405545494\ 09129236787045521215639755*c_0101_6^4 - 662138126776265871516476249818577600308755812479/105507698405545494\ 09129236787045521215639755*c_0101_6^3 - 24560368632975435666231230840047886078871215541/3516923280184849803\ 043078929015173738546585*c_0101_6^2 + 11351243309325757666169504691455512019036585044/1055076984055454940\ 9129236787045521215639755*c_0101_6 + 9709783191885347141723590078956566656559497607/10550769840554549409\ 129236787045521215639755, c_0011_0 - 1, c_0011_2 - 68769135348474599629203144978402840179656/301450566872987125\ 975121051058443463303993*c_0101_6^18 + 493052622988336602816682288977302695644105/100483522290995708658373\ 683686147821101331*c_0101_6^17 - 1061335089813603450234759260176678\ 0976641429/301450566872987125975121051058443463303993*c_0101_6^16 + 14363652061812981855878210878095931941918881/3014505668729871259751\ 21051058443463303993*c_0101_6^15 + 173670933779343317321979111493103555293075592/301450566872987125975\ 121051058443463303993*c_0101_6^14 - 46117357550213289041172342379957658977477563/1004835222909957086583\ 73683686147821101331*c_0101_6^13 - 1870819618031841480334188495860748843117547388/30145056687298712597\ 5121051058443463303993*c_0101_6^12 - 1411930198172305351258196842612899854108012783/30145056687298712597\ 5121051058443463303993*c_0101_6^11 + 2180308616826982680380118032731513716888563848/30145056687298712597\ 5121051058443463303993*c_0101_6^10 + 780632718433289035133365480589256040383759382/301450566872987125975\ 121051058443463303993*c_0101_6^9 - 628983736630289514195251918330317235728372338/100483522290995708658\ 373683686147821101331*c_0101_6^8 + 248088599751552187987783426528816218858694349/301450566872987125975\ 121051058443463303993*c_0101_6^7 + 886626055862343410408214805505464766940112454/301450566872987125975\ 121051058443463303993*c_0101_6^6 - 124035628728056885982204638657791682474814875/301450566872987125975\ 121051058443463303993*c_0101_6^5 - 171145757213993282849869547350902230031923143/301450566872987125975\ 121051058443463303993*c_0101_6^4 - 1754188164967750328513416282559238883513789/30145056687298712597512\ 1051058443463303993*c_0101_6^3 + 3399044623135955119907951984001444\ 337536272/100483522290995708658373683686147821101331*c_0101_6^2 + 2876351603595260962642020829140223225390529/30145056687298712597512\ 1051058443463303993*c_0101_6 + 128190855070230441861918350132757172\ 457339/301450566872987125975121051058443463303993, c_0011_5 + 14168415251015310212676563294079652684152/100483522290995708\ 658373683686147821101331*c_0101_6^18 - 924727878615919598002867133229225970806569/301450566872987125975121\ 051058443463303993*c_0101_6^17 + 6793841432110370409460115420746204\ 867745450/301450566872987125975121051058443463303993*c_0101_6^16 - 10679186573331864178795308186140084068309294/3014505668729871259751\ 21051058443463303993*c_0101_6^15 - 103804985001984422353634029503581368064750176/301450566872987125975\ 121051058443463303993*c_0101_6^14 + 109858459521389994957989386673396274287510777/301450566872987125975\ 121051058443463303993*c_0101_6^13 + 1114643118209754603122140452709969576296765703/30145056687298712597\ 5121051058443463303993*c_0101_6^12 + 609366677685060871543160643768567483385181479/301450566872987125975\ 121051058443463303993*c_0101_6^11 - 1341601469890517736922087432130230348228929098/30145056687298712597\ 5121051058443463303993*c_0101_6^10 - 28935212148022467429142972891623432968467406/3014505668729871259751\ 21051058443463303993*c_0101_6^9 + 102005161010812427336117103120087\ 4817980169917/301450566872987125975121051058443463303993*c_0101_6^8 - 448900522907828399403487996063201040212230061/3014505668729871259\ 75121051058443463303993*c_0101_6^7 - 310856709422613439209979211501667413411927179/301450566872987125975\ 121051058443463303993*c_0101_6^6 + 127222117944180400159680055432864419601050572/301450566872987125975\ 121051058443463303993*c_0101_6^5 + 8645121736694568091492246905586565991407880/10048352229099570865837\ 3683686147821101331*c_0101_6^4 - 3875934868483167127264048865103888\ 159096320/301450566872987125975121051058443463303993*c_0101_6^3 + 24647084406959565386151527863674187488114/1004835222909957086583736\ 83686147821101331*c_0101_6^2 - 122579773155856186253457467940013818\ 81292/100483522290995708658373683686147821101331*c_0101_6 + 23169853873397272487470527409865601830563/3014505668729871259751210\ 51058443463303993, c_0101_0 - 150792552146981636349110375758328428529702/30145056687298712\ 5975121051058443463303993*c_0101_6^18 + 1104019751625415230058764684678493940482080/10048352229099570865837\ 3683686147821101331*c_0101_6^17 - 247723144381392169062091188447895\ 74453320480/301450566872987125975121051058443463303993*c_0101_6^16 + 42605391212602915299181634107617172682345053/3014505668729871259751\ 21051058443463303993*c_0101_6^15 + 362603103056710681667125299172573924362962491/301450566872987125975\ 121051058443463303993*c_0101_6^14 - 156611002286517907015800649257937374470390389/100483522290995708658\ 373683686147821101331*c_0101_6^13 - 3908780194065942768900826928269428415457479423/30145056687298712597\ 5121051058443463303993*c_0101_6^12 - 1305117892004034874673180547956032822604924905/30145056687298712597\ 5121051058443463303993*c_0101_6^11 + 5594726172616730898815204557856729191665441881/30145056687298712597\ 5121051058443463303993*c_0101_6^10 - 620870608968414114338363843499703075896116500/301450566872987125975\ 121051058443463303993*c_0101_6^9 - 1353058813903525258115480641268078781021860756/10048352229099570865\ 8373683686147821101331*c_0101_6^8 + 2266475160644946490888765607094369024775756612/30145056687298712597\ 5121051058443463303993*c_0101_6^7 + 1118292322043833770096923802122143696915554397/30145056687298712597\ 5121051058443463303993*c_0101_6^6 - 780475875174086719396695807287116627802852914/301450566872987125975\ 121051058443463303993*c_0101_6^5 - 128524162601394604458688475363433338320832207/301450566872987125975\ 121051058443463303993*c_0101_6^4 + 62427708041620181489426616848228453183472925/3014505668729871259751\ 21051058443463303993*c_0101_6^3 + 311766268920815463172027804706930\ 5634894732/100483522290995708658373683686147821101331*c_0101_6^2 + 811992176636676045254775933825236539714459/301450566872987125975121\ 051058443463303993*c_0101_6 - 1699509031088125821443139674868801216\ 27653/301450566872987125975121051058443463303993, c_0101_1 - 26857374114408542932331177408536529354906/100483522290995708\ 658373683686147821101331*c_0101_6^18 + 1713826178420115591329753126549208069284537/30145056687298712597512\ 1051058443463303993*c_0101_6^17 - 120165139378589652744299095891777\ 40014229798/301450566872987125975121051058443463303993*c_0101_6^16 + 13749179023576441980139100788907380125025726/3014505668729871259751\ 21051058443463303993*c_0101_6^15 + 208324093723593240153211565888637984687174052/301450566872987125975\ 121051058443463303993*c_0101_6^14 - 114761088264520681245741403662390446545781810/301450566872987125975\ 121051058443463303993*c_0101_6^13 - 2243974933368695481313498950210443199838985548/30145056687298712597\ 5121051058443463303993*c_0101_6^12 - 2166038955614784780105714459448682955170707417/30145056687298712597\ 5121051058443463303993*c_0101_6^11 + 2303874528705625346043739226364603334919898092/30145056687298712597\ 5121051058443463303993*c_0101_6^10 + 1636319478273272340172384095669319232385085787/30145056687298712597\ 5121051058443463303993*c_0101_6^9 - 2129721734454646483149395769137327301526414348/30145056687298712597\ 5121051058443463303993*c_0101_6^8 - 267727887868973429007190093119602162902192628/301450566872987125975\ 121051058443463303993*c_0101_6^7 + 1228937651300809150016546076983539490602959751/30145056687298712597\ 5121051058443463303993*c_0101_6^6 + 75184314469900814919410095511108273833611100/3014505668729871259751\ 21051058443463303993*c_0101_6^5 - 935148461079547602942000338417628\ 62004540486/100483522290995708658373683686147821101331*c_0101_6^4 - 43971732125882816860564823228621387934736786/3014505668729871259751\ 21051058443463303993*c_0101_6^3 + 551075423941734574010400929192959\ 0019665459/100483522290995708658373683686147821101331*c_0101_6^2 + 1890055572576101392074001450842699178340374/10048352229099570865837\ 3683686147821101331*c_0101_6 + 645898407227322427456099983762436570\ 138610/301450566872987125975121051058443463303993, c_0101_3 - 104661717099787635759713793935287953280/14152608773379677275\ 82727939241518607061*c_0101_6^18 + 6870156260314820459348729011417092146585/42457826320139031827481838\ 17724555821183*c_0101_6^17 - 50968306080943382125018129030694469075\ 839/4245782632013903182748183817724555821183*c_0101_6^16 + 83615473319395321438542087209907597168439/4245782632013903182748183\ 817724555821183*c_0101_6^15 + 7682553768238194336125761177242176685\ 07150/4245782632013903182748183817724555821183*c_0101_6^14 - 925001213670385942596170172731907452655443/424578263201390318274818\ 3817724555821183*c_0101_6^13 - 830546755436916721895579200282398089\ 6086552/4245782632013903182748183817724555821183*c_0101_6^12 - 3291177663357020877538114741312639782478057/42457826320139031827481\ 83817724555821183*c_0101_6^11 + 12330387885407789943739400617709182\ 928754974/4245782632013903182748183817724555821183*c_0101_6^10 + 3301041850105566762735839803415281026347/42457826320139031827481838\ 17724555821183*c_0101_6^9 - 979566699971887877306213464278218013879\ 4543/4245782632013903182748183817724555821183*c_0101_6^8 + 4173319326356494042362347964049739853333394/42457826320139031827481\ 83817724555821183*c_0101_6^7 + 356441274225320010556443524424158713\ 0187986/4245782632013903182748183817724555821183*c_0101_6^6 - 1949027108189904116636779975672464305013620/42457826320139031827481\ 83817724555821183*c_0101_6^5 - 194393036691403061755381690668680714\ 330410/1415260877337967727582727939241518607061*c_0101_6^4 + 250983070817129755994312281964993342404139/424578263201390318274818\ 3817724555821183*c_0101_6^3 + 1277362970867021097116830809816002354\ 0898/1415260877337967727582727939241518607061*c_0101_6^2 + 1545631818931323443618555853928264194134/14152608773379677275827279\ 39241518607061*c_0101_6 - 487552130757881367202036603298119903534/4\ 245782632013903182748183817724555821183, c_0101_6^19 - 22*c_0101_6^18 + 165*c_0101_6^17 - 287*c_0101_6^16 - 2405*c_0101_6^15 + 3219*c_0101_6^14 + 25965*c_0101_6^13 + 7541*c_0101_6^12 - 39076*c_0101_6^11 + 4784*c_0101_6^10 + 29070*c_0101_6^9 - 16116*c_0101_6^8 - 8552*c_0101_6^7 + 6266*c_0101_6^6 + 1158*c_0101_6^5 - 705*c_0101_6^4 - 125*c_0101_6^3 + 10*c_0101_6^2 + 9*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB