Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 290491861] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2176 geometric_solution 5.64181935 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.064478012836 1.090808983664 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.808416433569 0.936898919608 4 3 0 1 2310 3201 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808416433569 0.936898919608 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817028497352 0.465478002014 6 1 2 6 0132 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398211176093 0.634701092436 5 3 5 3 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.761418567620 0.196937562983 4 6 6 4 0132 1230 3012 1023 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 0 0 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.853819234093 0.662044648405 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], '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_6' : 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_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), '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' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 624551987241364652100339348053626/1066743225822357102821351605*c_01\ 01_6^26 - 5314057336608997750959039569349934/1066743225822357102821\ 351605*c_0101_6^25 + 6128358956648171246372273394320992/10667432258\ 22357102821351605*c_0101_6^24 + 73618297086183820168199823129062606\ /1066743225822357102821351605*c_0101_6^23 - 399162428669327533695746542703831317/1066743225822357102821351605*c\ _0101_6^22 + 1156771315081159326432343300756410312/1066743225822357\ 102821351605*c_0101_6^21 - 1968618950744024011067828013917520243/10\ 66743225822357102821351605*c_0101_6^20 - 658463693641666604685495938692154721/1066743225822357102821351605*c\ _0101_6^19 + 3043690703322050798679011094291810459/2133486451644714\ 20564270321*c_0101_6^18 - 4550985778674420938940954420985536948/969\ 76656892941554801941055*c_0101_6^17 + 103730385408125419978873449934753641729/106674322582235710282135160\ 5*c_0101_6^16 - 159184529923799649089622792944065153556/10667432258\ 22357102821351605*c_0101_6^15 + 17345449216518098357018951842636740\ 292/96976656892941554801941055*c_0101_6^14 - 181347521213681276193528845210849533798/106674322582235710282135160\ 5*c_0101_6^13 + 132595844084829593663534900582760379539/10667432258\ 22357102821351605*c_0101_6^12 - 65574158426469131655079334629064051\ 386/1066743225822357102821351605*c_0101_6^11 + 1525645074187111942972746981911575555/213348645164471420564270321*c\ _0101_6^10 + 25107998652430296880003470786415321776/106674322582235\ 7102821351605*c_0101_6^9 - 31767442710096090392879100741729300676/1\ 066743225822357102821351605*c_0101_6^8 + 21925005892001667476059663565482879338/1066743225822357102821351605\ *c_0101_6^7 - 8987352033930674552759877241685585478/106674322582235\ 7102821351605*c_0101_6^6 + 1411506722948430036213898138352069623/10\ 66743225822357102821351605*c_0101_6^5 + 636813773415970378439995722262577306/1066743225822357102821351605*c\ _0101_6^4 - 93415566789402224757974834751158623/2133486451644714205\ 64270321*c_0101_6^3 + 26907994484450962296652410936945939/213348645\ 164471420564270321*c_0101_6^2 - 19819729637228530769865123567686529\ /1066743225822357102821351605*c_0101_6 + 1230414983459083622296812692981403/1066743225822357102821351605, c_0011_0 - 1, c_0011_1 + 17123888541018457538937/5673399803626237*c_0101_6^26 - 146499099732238219646325/5673399803626237*c_0101_6^25 + 174553635176218226515970/5673399803626237*c_0101_6^24 + 2012832274282962366095382/5673399803626237*c_0101_6^23 - 11040283016942128715373265/5673399803626237*c_0101_6^22 + 32194261546454834067718275/5673399803626237*c_0101_6^21 - 55292812110141545002801108/5673399803626237*c_0101_6^20 - 15983076991258902595122470/5673399803626237*c_0101_6^19 + 418804735387700089101303008/5673399803626237*c_0101_6^18 - 1391509306612629886669039486/5673399803626237*c_0101_6^17 + 2901676898417109837143931655/5673399803626237*c_0101_6^16 - 4477620964858024720851928308/5673399803626237*c_0101_6^15 + 5396490390608745730585579750/5673399803626237*c_0101_6^14 - 5160023380375949150625048399/5673399803626237*c_0101_6^13 + 3803486559841145641252846225/5673399803626237*c_0101_6^12 - 1910246273963923858990512871/5673399803626237*c_0101_6^11 + 254677872264250592020091136/5673399803626237*c_0101_6^10 + 694243519286566775294060226/5673399803626237*c_0101_6^9 - 901180883952325352273192951/5673399803626237*c_0101_6^8 + 631509699456073772104197470/5673399803626237*c_0101_6^7 - 264104713641628411255393878/5673399803626237*c_0101_6^6 + 44151318234758477598900157/5673399803626237*c_0101_6^5 + 17525289662687165972492291/5673399803626237*c_0101_6^4 - 13603111135590065025452690/5673399803626237*c_0101_6^3 + 4014459038523048426354812/5673399803626237*c_0101_6^2 - 603767574764229343132589/5673399803626237*c_0101_6 + 38270783420443152776221/5673399803626237, c_0101_0 + 3883829932258828031260957335526/1763211943508028269126201*c_\ 0101_6^26 - 33121340844474921216042465450786/1763211943508028269126\ 201*c_0101_6^25 + 38744176235769518568920447887485/1763211943508028\ 269126201*c_0101_6^24 + 457131859971392868750646313218938/176321194\ 3508028269126201*c_0101_6^23 - 2491249111999130209657124689915337/1\ 763211943508028269126201*c_0101_6^22 + 7240837461396848544109211181426041/1763211943508028269126201*c_0101\ _6^21 - 12376047356275034576139985826679807/17632119435080282691262\ 01*c_0101_6^20 - 3874679272333022687522614756402556/176321194350802\ 8269126201*c_0101_6^19 + 94750134739929490433800759916722583/176321\ 1943508028269126201*c_0101_6^18 - 313150913928115225694200326666656\ 583/1763211943508028269126201*c_0101_6^17 + 650896792170472463865668919063019383/1763211943508028269126201*c_01\ 01_6^16 - 1001667047427481405142132074389902523/1763211943508028269\ 126201*c_0101_6^15 + 1204057630902667771073495024089418424/17632119\ 43508028269126201*c_0101_6^14 - 11481042984214328598920917280219302\ 27/1763211943508028269126201*c_0101_6^13 + 843184952119993896751886805369011710/1763211943508028269126201*c_01\ 01_6^12 - 420625253514635012484894593480133621/17632119435080282691\ 26201*c_0101_6^11 + 53006903632123306542928862042005678/17632119435\ 08028269126201*c_0101_6^10 + 156382931587618161242368012252074112/1\ 763211943508028269126201*c_0101_6^9 - 200708743580980952545021517356106205/1763211943508028269126201*c_01\ 01_6^8 + 139721133001056445108873980822439995/176321194350802826912\ 6201*c_0101_6^7 - 57957629300744773345347958560181895/1763211943508\ 028269126201*c_0101_6^6 + 9465754588513917082044335073301479/176321\ 1943508028269126201*c_0101_6^5 + 3942318223205777767840669840365266\ /1763211943508028269126201*c_0101_6^4 - 2995307225487903185302570111856221/1763211943508028269126201*c_0101\ _6^3 + 876654149309504315296211269490540/1763211943508028269126201*\ c_0101_6^2 - 131004352351742937757498036563956/17632119435080282691\ 26201*c_0101_6 + 8255357006460370541816407913380/176321194350802826\ 9126201, c_0101_1 - 18669939955989075443666541301401/1763211943508028269126201*c\ _0101_6^26 + 159043254078745544881261881790691/17632119435080282691\ 26201*c_0101_6^25 - 184836204881567588253716781256766/1763211943508\ 028269126201*c_0101_6^24 - 2198607143443033073121906164853913/17632\ 11943508028269126201*c_0101_6^23 + 11954671241814021413768238361901201/1763211943508028269126201*c_010\ 1_6^22 - 34704668604174492305191026311145850/1763211943508028269126\ 201*c_0101_6^21 + 59212375272900359031764673909634606/1763211943508\ 028269126201*c_0101_6^20 + 19059775334075544861308239412087818/1763\ 211943508028269126201*c_0101_6^19 - 455110719228393308972325060784719759/1763211943508028269126201*c_01\ 01_6^18 + 1501249059546458456468143471303184387/1763211943508028269\ 126201*c_0101_6^17 - 3116641312290920133580057712437970840/17632119\ 43508028269126201*c_0101_6^16 + 47912237729063767022552179500758532\ 46/1763211943508028269126201*c_0101_6^15 - 5753444745168735863143366724343255878/1763211943508028269126201*c_0\ 101_6^14 + 5480061379285993121580515857721996360/176321194350802826\ 9126201*c_0101_6^13 - 4018748116470365611426511905387922763/1763211\ 943508028269126201*c_0101_6^12 + 1999232810357982698524970473988075\ 641/1763211943508028269126201*c_0101_6^11 - 245908052802940428496371800813600087/1763211943508028269126201*c_01\ 01_6^10 - 750194130269462995813727460780750985/17632119435080282691\ 26201*c_0101_6^9 + 958454714228640501314821722874919008/17632119435\ 08028269126201*c_0101_6^8 - 665414881437527981717612052461040992/17\ 63211943508028269126201*c_0101_6^7 + 275064746427460013577800498146655451/1763211943508028269126201*c_01\ 01_6^6 - 44459190930531677463316578343025377/1763211943508028269126\ 201*c_0101_6^5 - 18913018926292037854919761227875645/17632119435080\ 28269126201*c_0101_6^4 + 14236519003055117823753541632817053/176321\ 1943508028269126201*c_0101_6^3 - 4150859591147986537163398378774775\ /1763211943508028269126201*c_0101_6^2 + 618386006745265542232252613078364/1763211943508028269126201*c_0101_\ 6 - 38854087368162383408056275184177/1763211943508028269126201, c_0101_4 + 21146894879424695237284/5673399803626237*c_0101_6^26 - 180814062510731697800727/5673399803626237*c_0101_6^25 + 214738232977747692704799/5673399803626237*c_0101_6^24 + 2486319887403332124133561/5673399803626237*c_0101_6^23 - 13621620752823786403557390/5673399803626237*c_0101_6^22 + 39698243108703349282979367/5673399803626237*c_0101_6^21 - 68121931730925480117595203/5673399803626237*c_0101_6^20 - 19982989491558850255687033/5673399803626237*c_0101_6^19 + 516968300504041774695414571/5673399803626237*c_0101_6^18 - 1716032483926143007336212888/5673399803626237*c_0101_6^17 + 3576320177365724452103024426/5673399803626237*c_0101_6^16 - 5515966068676344883646253545/5673399803626237*c_0101_6^15 + 6644783433865948467668314614/5673399803626237*c_0101_6^14 - 6350446762231317607046075463/5673399803626237*c_0101_6^13 + 4677881185299344356289423500/5673399803626237*c_0101_6^12 - 2346553403941303792262098156/5673399803626237*c_0101_6^11 + 309779522087941136958174516/5673399803626237*c_0101_6^10 + 856321350377309412881650191/5673399803626237*c_0101_6^9 - 1109286673434086808586613556/5673399803626237*c_0101_6^8 + 776415405047458941528679835/5673399803626237*c_0101_6^7 - 324228537645502868229676806/5673399803626237*c_0101_6^6 + 53976933198107552172637730/5673399803626237*c_0101_6^5 + 21612555943993258612722915/5673399803626237*c_0101_6^4 - 16710078477276709972331269/5673399803626237*c_0101_6^3 + 4923921260527903533386667/5673399803626237*c_0101_6^2 - 739683065574763619183539/5673399803626237*c_0101_6 + 46835743383304254063168/5673399803626237, c_0101_5 - 12419583209057222822174640058516/1763211943508028269126201*c\ _0101_6^26 + 106130589508841978121987302445861/17632119435080282691\ 26201*c_0101_6^25 - 125622689609553595240278994156023/1763211943508\ 028269126201*c_0101_6^24 - 1460574007764297439327119753800141/17632\ 11943508028269126201*c_0101_6^23 + 7992549151183053153552606522007124/1763211943508028269126201*c_0101\ _6^22 - 23279170358549898919175192040424747/17632119435080282691262\ 01*c_0101_6^21 + 39911786144370535167265254334484089/17632119435080\ 28269126201*c_0101_6^20 + 11882139290070960741408691619777750/17632\ 11943508028269126201*c_0101_6^19 - 303478230996584939117077894380205675/1763211943508028269126201*c_01\ 01_6^18 + 1006396159855098260484643003626971157/1763211943508028269\ 126201*c_0101_6^17 - 2096154600500528301738006023646134875/17632119\ 43508028269126201*c_0101_6^16 + 32314059379757397858483271777447386\ 35/1763211943508028269126201*c_0101_6^15 - 3890828831541327493014988969520694416/1763211943508028269126201*c_0\ 101_6^14 + 3716589655962823290268164832589282070/176321194350802826\ 9126201*c_0101_6^13 - 2735888844469245489595729202954422293/1763211\ 943508028269126201*c_0101_6^12 + 1370698993481822886490975742454423\ 707/1763211943508028269126201*c_0101_6^11 - 179119213942568853380903662312390562/1763211943508028269126201*c_01\ 01_6^10 - 502303102812702591008399173602255286/17632119435080282691\ 26201*c_0101_6^9 + 649328882769144673321516625767915455/17632119435\ 08028269126201*c_0101_6^8 - 453928241828168771652983337080521983/17\ 63211943508028269126201*c_0101_6^7 + 189274131500761049881713584598296665/1763211943508028269126201*c_01\ 01_6^6 - 31375175242425462906989527931137513/1763211943508028269126\ 201*c_0101_6^5 - 12675127202366522471189563076785271/17632119435080\ 28269126201*c_0101_6^4 + 9760924828849542029815159957943641/1763211\ 943508028269126201*c_0101_6^3 - 2871769346608880931077012231970619/\ 1763211943508028269126201*c_0101_6^2 + 430882204932535371148522024741472/1763211943508028269126201*c_0101_\ 6 - 27252385024990514454891418905110/1763211943508028269126201, c_0101_6^27 - 9*c_0101_6^26 + 14*c_0101_6^25 + 113*c_0101_6^24 - 697*c_0101_6^23 + 2167*c_0101_6^22 - 4066*c_0101_6^21 + 505*c_0101_6^20 + 24869*c_0101_6^19 - 92142*c_0101_6^18 + 205627*c_0101_6^17 - 336948*c_0101_6^16 + 431632*c_0101_6^15 - 441772*c_0101_6^14 + 356444*c_0101_6^13 - 210612*c_0101_6^12 + 64663*c_0101_6^11 + 33861*c_0101_6^10 - 70673*c_0101_6^9 + 60336*c_0101_6^8 - 31874*c_0101_6^7 + 9465*c_0101_6^6 - 131*c_0101_6^5 - 1250*c_0101_6^4 + 589*c_0101_6^3 - 140*c_0101_6^2 + 18*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB