Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 71669960] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1622 geometric_solution 5.37644196 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 -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.456156954086 0.244790451251 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841774587393 0.668601534313 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726816209874 1.590859536565 4 5 6 1 2310 1023 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726816209874 1.590859536565 5 2 3 6 2103 0132 3201 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306655974528 0.383170588022 3 6 4 2 1023 3012 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.580034039671 0.429498774513 5 3 2 4 1230 3201 0132 2103 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 0 -1 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.306655974528 0.383170588022 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_5' : negation(d['c_0110_4']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0110_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 62241390478859606146744274697/1925158683086962420887917000*c_0110_4\ ^18 + 335477203949104750426588484909/1925158683086962420887917000*c\ _0110_4^17 - 120737036347121921193802629099/96257934154348121044395\ 8500*c_0110_4^16 + 526769379836174477659458638591/19251586830869624\ 2088791700*c_0110_4^15 + 672846482281448747471134219504/24064483538\ 5870302610989625*c_0110_4^14 + 5434233910847949076914105703523/4812\ 89670771740605221979250*c_0110_4^13 + 9219284649040926357286734771593/385031736617392484177583400*c_0110_\ 4^12 + 6720156568104366413019690076087/240644835385870302610989625*\ c_0110_4^11 + 120271203826467555313807735583069/1925158683086962420\ 887917000*c_0110_4^10 + 2406809684368885666572017515486/24064483538\ 5870302610989625*c_0110_4^9 - 2751153406743508729357216828927/96257\ 934154348121044395850*c_0110_4^8 - 45389666792124869381688556482157/1925158683086962420887917000*c_011\ 0_4^7 - 40291465048181690882327834488807/19251586830869624208879170\ 00*c_0110_4^6 + 9293706128093108248229847081243/9625793415434812104\ 43958500*c_0110_4^5 + 18711277077415865463546619556757/192515868308\ 6962420887917000*c_0110_4^4 - 148025494054309949345933814749/240644\ 835385870302610989625*c_0110_4^3 - 61552074722267490291653132093/962579341543481210443958500*c_0110_4^\ 2 - 554054119875474266544253815279/1925158683086962420887917000*c_0\ 110_4 - 208321945228517768173739460867/1925158683086962420887917000\ , c_0011_0 - 1, c_0011_1 + 9790832691891481949949947/19251586830869624208879170*c_0110_\ 4^18 - 25643769227272388866990226/9625793415434812104439585*c_0110_\ 4^17 + 14305250581131512134186506/9625793415434812104439585*c_0110_\ 4^16 - 815453416400840478560296401/19251586830869624208879170*c_011\ 0_4^15 - 488786299228108908102638348/9625793415434812104439585*c_01\ 10_4^14 - 686489638241128015928632173/3850317366173924841775834*c_0\ 110_4^13 - 3825833951125010527303173057/9625793415434812104439585*c\ _0110_4^12 - 4547421715100099158973256836/9625793415434812104439585\ *c_0110_4^11 - 9606145714128514097623882477/96257934154348121044395\ 85*c_0110_4^10 - 4794484105514889856161349537/192515868308696242088\ 79170*c_0110_4^9 + 5333790145616192819902810913/9625793415434812104\ 439585*c_0110_4^8 + 4323760897815565021114256193/962579341543481210\ 4439585*c_0110_4^7 + 1157295537005546139140132381/38503173661739248\ 41775834*c_0110_4^6 - 3083560650515545685337014607/1925158683086962\ 4208879170*c_0110_4^5 - 2005091856978663405804186776/96257934154348\ 12104439585*c_0110_4^4 + 68764688626944213946617381/385031736617392\ 4841775834*c_0110_4^3 + 128969117601686115626846771/385031736617392\ 4841775834*c_0110_4^2 + 7468301121126070929051308/96257934154348121\ 04439585*c_0110_4 - 17231212358299224826188778/96257934154348121044\ 39585, c_0011_3 + c_0110_4, c_0101_0 - 76828950196146084599176557/96257934154348121044395850*c_0110\ _4^18 + 412664364533326469142069889/96257934154348121044395850*c_01\ 10_4^17 - 139744656763137985052025084/48128967077174060522197925*c_\ 0110_4^16 + 1287737629188122410768464531/19251586830869624208879170\ *c_0110_4^15 + 6805273092972245417796383397/96257934154348121044395\ 850*c_0110_4^14 + 26046947439941297308848870537/9625793415434812104\ 4395850*c_0110_4^13 + 11287023666946866984377869359/192515868308696\ 24208879170*c_0110_4^12 + 31855431292242343134393074748/48128967077\ 174060522197925*c_0110_4^11 + 70834159051798741887341855982/4812896\ 7077174060522197925*c_0110_4^10 + 17333948873344083427870633033/962\ 57934154348121044395850*c_0110_4^9 - 17574528136244033879168001707/19251586830869624208879170*c_0110_4^8 - 30177045024231415293793469486/48128967077174060522197925*c_0110_4\ ^7 - 39301896757948859566319889227/96257934154348121044395850*c_011\ 0_4^6 + 15216701716986809507190315318/48128967077174060522197925*c_\ 0110_4^5 + 29568890567873762054657923967/96257934154348121044395850\ *c_0110_4^4 - 5023754685690875178543375837/962579341543481210443958\ 50*c_0110_4^3 - 2039315883711407623719684448/4812896707717406052219\ 7925*c_0110_4^2 - 272640724447221655297695839/962579341543481210443\ 95850*c_0110_4 + 57185175512929341221037254/48128967077174060522197\ 925, c_0101_1 + 10076375672786373064489772/48128967077174060522197925*c_0110\ _4^18 - 113822555555153777177262903/96257934154348121044395850*c_01\ 10_4^17 + 104760884450421758523362301/96257934154348121044395850*c_\ 0110_4^16 - 171683916551470175491756524/9625793415434812104439585*c\ _0110_4^15 - 1315555589596639707798174469/9625793415434812104439585\ 0*c_0110_4^14 - 6453731211149099041873059519/9625793415434812104439\ 5850*c_0110_4^13 - 2616379050522675503111910927/1925158683086962420\ 8879170*c_0110_4^12 - 13025601960337886307933060737/962579341543481\ 21044395850*c_0110_4^11 - 16826452494008530311478402694/48128967077\ 174060522197925*c_0110_4^10 + 2387596146836811194234872297/48128967\ 077174060522197925*c_0110_4^9 + 890804911393704027843105509/3850317\ 366173924841775834*c_0110_4^8 + 9745509239055233171566015119/962579\ 34154348121044395850*c_0110_4^7 + 5265207826181798283584583537/4812\ 8967077174060522197925*c_0110_4^6 - 8737791569751486532090764717/96257934154348121044395850*c_0110_4^5 - 2244252531320451325683441532/48128967077174060522197925*c_0110_4^4 + 2370965532917214129914824969/96257934154348121044395850*c_0110_4^3 - 667035859243722069604757423/96257934154348121044395850*c_0110_4^2 - 6534317990981441371840376/48128967077174060522197925*c_0110_4 + 70460772247716531446517299/96257934154348121044395850, c_0101_3 - 1044436371809290405011587/48128967077174060522197925*c_0110_\ 4^18 + 10700202897932766453590649/48128967077174060522197925*c_0110\ _4^17 - 60711565834142383549842451/96257934154348121044395850*c_011\ 0_4^16 + 20547622984693874715955426/9625793415434812104439585*c_011\ 0_4^15 - 335660390737665851241299998/48128967077174060522197925*c_0\ 110_4^14 - 322582251805803675305143641/96257934154348121044395850*c\ _0110_4^13 - 220857117078652172855963876/9625793415434812104439585*\ c_0110_4^12 - 6508478570201567900171928503/962579341543481210443958\ 50*c_0110_4^11 - 3246526271184574980617703526/481289670771740605221\ 97925*c_0110_4^10 - 10636313055967507794468280522/48128967077174060\ 522197925*c_0110_4^9 - 996198787949168910561873612/9625793415434812\ 104439585*c_0110_4^8 + 5151634471362798838203641671/962579341543481\ 21044395850*c_0110_4^7 + 3089768408234027860609194993/4812896707717\ 4060522197925*c_0110_4^6 + 3968008022755147857151168426/48128967077\ 174060522197925*c_0110_4^5 + 23081217505979710826113069/96257934154\ 348121044395850*c_0110_4^4 - 2668280310654964989314474959/962579341\ 54348121044395850*c_0110_4^3 + 192944820523310578661368989/48128967\ 077174060522197925*c_0110_4^2 + 11975257334555205749428677/96257934\ 154348121044395850*c_0110_4 - 126497287148168853320812119/962579341\ 54348121044395850, c_0110_4^19 - 6*c_0110_4^18 + 7*c_0110_4^17 - 86*c_0110_4^16 - 36*c_0110_4^15 - 282*c_0110_4^14 - 521*c_0110_4^13 - 363*c_0110_4^12 - 1315*c_0110_4^11 + 939*c_0110_4^10 + 1306*c_0110_4^9 + 51*c_0110_4^8 + 2*c_0110_4^7 - 717*c_0110_4^6 - 139*c_0110_4^5 + 315*c_0110_4^4 + 14*c_0110_4^3 - 35*c_0110_4^2 - 2*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB