Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 880126161] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0606 geometric_solution 4.61466522 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 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 1 -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.334720654572 0.061021138593 0 2 0 2 0132 0132 1023 2310 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 0 -1 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 -2.299786934598 1.994091844445 1 1 3 4 3201 0132 0132 0132 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 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.348740522953 0.516082204136 5 4 4 2 0132 3012 2031 0132 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 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.867723592182 0.666422385020 3 5 2 3 1230 3201 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.867723592182 0.666422385020 3 6 4 6 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.879909739131 1.012195220564 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 1 -1 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448331467419 0.319178313362 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 949946159762846154454031062038768887/268906086691698200341659467019\ 33289*c_0110_6^20 + 3447225746127897278879944257838613034/268906086\ 69169820034165946701933289*c_0110_6^19 - 664390866771732185667464431327404100/268906086691698200341659467019\ 33289*c_0110_6^18 - 7669729762060134141770510044014858527/268906086\ 69169820034165946701933289*c_0110_6^17 + 100602255887714722872661547757909684934/268906086691698200341659467\ 01933289*c_0110_6^16 - 285978096879875407361555680532649848960/2689\ 0608669169820034165946701933289*c_0110_6^15 + 105736373066819638408039003798947501284/268906086691698200341659467\ 01933289*c_0110_6^14 + 240779133071851730846927376357721593291/2689\ 0608669169820034165946701933289*c_0110_6^13 - 1654880672199885179829663037937568819453/26890608669169820034165946\ 701933289*c_0110_6^12 + 2151989159729867558682328964683198668474/26\ 890608669169820034165946701933289*c_0110_6^11 + 2224728815746096133369297985118915156814/26890608669169820034165946\ 701933289*c_0110_6^10 - 2421247753328806425485623283470547920931/26\ 890608669169820034165946701933289*c_0110_6^9 - 1625682097722488833259165072617298661777/26890608669169820034165946\ 701933289*c_0110_6^8 - 648115441559705147157011705459330588540/2689\ 0608669169820034165946701933289*c_0110_6^7 + 1565072411631749816223466524770043147238/26890608669169820034165946\ 701933289*c_0110_6^6 + 791238680403017388999164733759901161447/2689\ 0608669169820034165946701933289*c_0110_6^5 - 373935097165953030015390613604784481489/268906086691698200341659467\ 01933289*c_0110_6^4 - 155885606943791409342899506551773198783/26890\ 608669169820034165946701933289*c_0110_6^3 + 18249713308104310641872842778214241950/2689060866916982003416594670\ 1933289*c_0110_6^2 + 5585172066839131141830015945362554203/26890608\ 669169820034165946701933289*c_0110_6 - 2276792687175649126914861630810059781/26890608669169820034165946701\ 933289, c_0011_0 - 1, c_0011_3 - 7035361711914538656389250444199635/2689060866916982003416594\ 6701933289*c_0110_6^20 + 25763354266754498809395609820015907/268906\ 08669169820034165946701933289*c_0110_6^19 - 5517694528271630659029636185276514/26890608669169820034165946701933\ 289*c_0110_6^18 - 57940372237641131903750066352266030/2689060866916\ 9820034165946701933289*c_0110_6^17 + 748504928757319277291986431066891321/268906086691698200341659467019\ 33289*c_0110_6^16 - 2140805823630736516676626586198923361/268906086\ 69169820034165946701933289*c_0110_6^15 + 824068801089154811076663979932268359/268906086691698200341659467019\ 33289*c_0110_6^14 + 1873918917372143614644561731311368837/268906086\ 69169820034165946701933289*c_0110_6^13 - 12456985805172876064501482043578431003/2689060866916982003416594670\ 1933289*c_0110_6^12 + 16318205812994251133591378889082824908/268906\ 08669169820034165946701933289*c_0110_6^11 + 16457104180778934286693881058056759338/2689060866916982003416594670\ 1933289*c_0110_6^10 - 19718368603217736362913330972510573811/268906\ 08669169820034165946701933289*c_0110_6^9 - 11213701129470540688082805522800430811/2689060866916982003416594670\ 1933289*c_0110_6^8 - 2889052887859640186187908086704494026/26890608\ 669169820034165946701933289*c_0110_6^7 + 11511959888241335430956305363126142685/2689060866916982003416594670\ 1933289*c_0110_6^6 + 5153095655371885693270815788206472340/26890608\ 669169820034165946701933289*c_0110_6^5 - 3846149774814991746691379121549893710/26890608669169820034165946701\ 933289*c_0110_6^4 - 873034148894069177001677069772582694/2689060866\ 9169820034165946701933289*c_0110_6^3 + 489551324368586254088179469205426429/268906086691698200341659467019\ 33289*c_0110_6^2 + 38618425372383819453741647390286729/268906086691\ 69820034165946701933289*c_0110_6 - 30500128958899738399441967910711137/2689060866916982003416594670193\ 3289, c_0101_0 + 10129957734568717701912985196050385/268906086691698200341659\ 46701933289*c_0110_6^20 - 35912896523519350170905400906463634/26890\ 608669169820034165946701933289*c_0110_6^19 + 3525621050848507313453241812346780/26890608669169820034165946701933\ 289*c_0110_6^18 + 84111219206144181010366143799158291/2689060866916\ 9820034165946701933289*c_0110_6^17 - 1066221904640213815439110910633130704/26890608669169820034165946701\ 933289*c_0110_6^16 + 2955980850839395220532239352587340443/26890608\ 669169820034165946701933289*c_0110_6^15 - 821261379758815635038075102525257950/268906086691698200341659467019\ 33289*c_0110_6^14 - 2805066103495105465928968484974500138/268906086\ 69169820034165946701933289*c_0110_6^13 + 17480910083730534155736102177044014857/2689060866916982003416594670\ 1933289*c_0110_6^12 - 21350219944933779480517143296759903864/268906\ 08669169820034165946701933289*c_0110_6^11 - 26487904218804561818153707415497702470/2689060866916982003416594670\ 1933289*c_0110_6^10 + 24892080657659846808062307859236128834/268906\ 08669169820034165946701933289*c_0110_6^9 + 20648582644971889180931999333758063682/2689060866916982003416594670\ 1933289*c_0110_6^8 + 7182532372750244219924062456900666210/26890608\ 669169820034165946701933289*c_0110_6^7 - 16885075777616651059511328197550092074/2689060866916982003416594670\ 1933289*c_0110_6^6 - 10161684318266565645199741252659276801/2689060\ 8669169820034165946701933289*c_0110_6^5 + 4011124442613941840791102678433334098/26890608669169820034165946701\ 933289*c_0110_6^4 + 2371934808508386645919883464273746880/268906086\ 69169820034165946701933289*c_0110_6^3 - 280683309455018981347511311454862088/268906086691698200341659467019\ 33289*c_0110_6^2 - 171016425985388284509816538863311298/26890608669\ 169820034165946701933289*c_0110_6 + 29235547889195162660694501307446534/2689060866916982003416594670193\ 3289, c_0101_1 - 6064454136016908355011987426485669/2689060866916982003416594\ 6701933289*c_0110_6^20 + 20980424510767518023215810099117607/268906\ 08669169820034165946701933289*c_0110_6^19 - 423249406053416182403107828455163/268906086691698200341659467019332\ 89*c_0110_6^18 - 50104012776092427819368980993845473/26890608669169\ 820034165946701933289*c_0110_6^17 + 634232798504103755468448898191688780/268906086691698200341659467019\ 33289*c_0110_6^16 - 1715981655527900058558258521384095871/268906086\ 69169820034165946701933289*c_0110_6^15 + 355610206486360607713759780788160212/268906086691698200341659467019\ 33289*c_0110_6^14 + 1687685806081563332722558988372894779/268906086\ 69169820034165946701933289*c_0110_6^13 - 10330693826850258617647224486183936871/2689060866916982003416594670\ 1933289*c_0110_6^12 + 11913422031440452970373942857670657821/268906\ 08669169820034165946701933289*c_0110_6^11 + 16703905926155980149275473434269391583/2689060866916982003416594670\ 1933289*c_0110_6^10 - 13388127635256649151647342321639617199/268906\ 08669169820034165946701933289*c_0110_6^9 - 13177422968870387909579509921981613808/2689060866916982003416594670\ 1933289*c_0110_6^8 - 5349841356520806920145015139892113259/26890608\ 669169820034165946701933289*c_0110_6^7 + 9572780166674013515074917673862167648/26890608669169820034165946701\ 933289*c_0110_6^6 + 6621679624571356176468116332056232844/268906086\ 69169820034165946701933289*c_0110_6^5 - 1949931311199971923392402195610826980/26890608669169820034165946701\ 933289*c_0110_6^4 - 1549332307222531166702916360846391184/268906086\ 69169820034165946701933289*c_0110_6^3 + 48853317140966436662406006616778690/2689060866916982003416594670193\ 3289*c_0110_6^2 + 137585020548441738966709288829821540/268906086691\ 69820034165946701933289*c_0110_6 + 4479270880741589140322573299473744/26890608669169820034165946701933\ 289, c_0101_3 - 2390171348823127198565674661161247/2689060866916982003416594\ 6701933289*c_0110_6^20 + 10191539631921092855076653766796976/268906\ 08669169820034165946701933289*c_0110_6^19 - 7435680709315816617414702359360433/26890608669169820034165946701933\ 289*c_0110_6^18 - 17597805445180792091762844068909504/2689060866916\ 9820034165946701933289*c_0110_6^17 + 266084028311484982698228121967546901/268906086691698200341659467019\ 33289*c_0110_6^16 - 882154193054059068248581145520450043/2689060866\ 9169820034165946701933289*c_0110_6^15 + 748185545656300058688459115435169183/268906086691698200341659467019\ 33289*c_0110_6^14 + 389436971118276611985521914309697470/2689060866\ 9169820034165946701933289*c_0110_6^13 - 4590614950153318653155268017705575995/26890608669169820034165946701\ 933289*c_0110_6^12 + 8124746050942078401546575104426778422/26890608\ 669169820034165946701933289*c_0110_6^11 + 1762288880948082379712484268275505210/26890608669169820034165946701\ 933289*c_0110_6^10 - 9537790930149696163869304820244353844/26890608\ 669169820034165946701933289*c_0110_6^9 + 773406098322423685808835367006812391/268906086691698200341659467019\ 33289*c_0110_6^8 + 1063434678942996124202516716482885242/2689060866\ 9169820034165946701933289*c_0110_6^7 + 4399206382459063096238486271498147198/26890608669169820034165946701\ 933289*c_0110_6^6 - 1045993475216997032146631047822280047/268906086\ 69169820034165946701933289*c_0110_6^5 - 2291653385662783166079123938181260921/26890608669169820034165946701\ 933289*c_0110_6^4 + 532497527253946170311740536400878939/2689060866\ 9169820034165946701933289*c_0110_6^3 + 377779848398166842525526514574529347/268906086691698200341659467019\ 33289*c_0110_6^2 - 25648356732731282891090212667466513/268906086691\ 69820034165946701933289*c_0110_6 - 16252134005069670255795955429144795/2689060866916982003416594670193\ 3289, c_0101_4 + 3305747633801785935061857291063396/2689060866916982003416594\ 6701933289*c_0110_6^20 - 12681559719003432450401887056080394/268906\ 08669169820034165946701933289*c_0110_6^19 + 4809672862066475927440576809718829/26890608669169820034165946701933\ 289*c_0110_6^18 + 26415166755213635744506986575370762/2689060866916\ 9820034165946701933289*c_0110_6^17 - 356390210086670006043335131794861721/268906086691698200341659467019\ 33289*c_0110_6^16 + 1067738522714748479773517877333206107/268906086\ 69169820034165946701933289*c_0110_6^15 - 573582773103119671838510050441338920/268906086691698200341659467019\ 33289*c_0110_6^14 - 783495027247789995762596000900368908/2689060866\ 9169820034165946701933289*c_0110_6^13 + 5993974325027553315568478433134651533/26890608669169820034165946701\ 933289*c_0110_6^12 - 8689754279287652099437196679442752783/26890608\ 669169820034165946701933289*c_0110_6^11 - 6227909085494881525784618119099091873/26890608669169820034165946701\ 933289*c_0110_6^10 + 10416012042081986045784782138235693826/2689060\ 8669169820034165946701933289*c_0110_6^9 + 3494183659133672021564299890832325155/26890608669169820034165946701\ 933289*c_0110_6^8 + 441563177430804647624643730957824159/2689060866\ 9169820034165946701933289*c_0110_6^7 - 5567513929668210844568252041648717222/26890608669169820034165946701\ 933289*c_0110_6^6 - 1272996174046766862620720182919357916/268906086\ 69169820034165946701933289*c_0110_6^5 + 2180475787005576009010889937811617712/26890608669169820034165946701\ 933289*c_0110_6^4 + 126488004373709570816202528016591059/2689060866\ 9169820034165946701933289*c_0110_6^3 - 359446909757278897977705473238635983/268906086691698200341659467019\ 33289*c_0110_6^2 + 40340936026363464874735382259811133/268906086691\ 69820034165946701933289*c_0110_6 + 21721692721540117602694983911014358/2689060866916982003416594670193\ 3289, c_0110_6^21 - 4*c_0110_6^20 + 2*c_0110_6^19 + 8*c_0110_6^18 - 109*c_0110_6^17 + 340*c_0110_6^16 - 218*c_0110_6^15 - 228*c_0110_6^14 + 1847*c_0110_6^13 - 2903*c_0110_6^12 - 1586*c_0110_6^11 + 3555*c_0110_6^10 + 828*c_0110_6^9 - 107*c_0110_6^8 - 1927*c_0110_6^7 - 231*c_0110_6^6 + 787*c_0110_6^5 + 27*c_0110_6^4 - 109*c_0110_6^3 + 3*c_0110_6^2 + 6*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB