Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 4206585392] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1643 geometric_solution 5.38563024 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -1 1 0 -1 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.282103760106 0.184029824084 0 0 2 2 0132 2310 2310 0132 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 1 -1 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 1.722379085098 1.512435228538 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 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.623563955163 0.375684124602 2 5 4 6 0132 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 0 0 0 -1 0 1 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.341052024436 1.033631431931 3 6 2 5 2310 0132 0132 1023 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 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.341052024436 1.033631431931 5 3 5 4 2031 0132 1302 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 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.524111636146 0.392147731104 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 -0.287877964564 0.872476019533 ==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' : negation(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' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], '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_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 152714377890164955239608785102/758606815493435066089409*c_0110_5^27 - 4095667721654798548296547967235/758606815493435066089409*c_0110_5\ ^25 + 60345026767298196327137774813001/758606815493435066089409*c_0\ 110_5^23 - 712952812111067073378133243630954/7586068154934350660894\ 09*c_0110_5^21 + 5377182612691918039804848348851171/758606815493435\ 066089409*c_0110_5^19 - 23454128103648167167504124914132258/7586068\ 15493435066089409*c_0110_5^17 + 55468790586632582475315953744474447\ /758606815493435066089409*c_0110_5^15 - 70411760200053431071021468359947725/758606815493435066089409*c_0110\ _5^13 + 48522506236493898394752003810778781/75860681549343506608940\ 9*c_0110_5^11 - 18912360748754987362123177841993010/758606815493435\ 066089409*c_0110_5^9 + 4207837703666658174243394513685264/758606815\ 493435066089409*c_0110_5^7 - 523516127633643344557449447593324/7586\ 06815493435066089409*c_0110_5^5 + 33559495535244870629548780681381/\ 758606815493435066089409*c_0110_5^3 - 853647660483456942909491345006/758606815493435066089409*c_0110_5, c_0011_0 - 1, c_0011_2 - 1610834539495604654246921141/758606815493435066089409*c_0110\ _5^26 + 43198043645487724332450990442/758606815493435066089409*c_01\ 10_5^24 - 636436434662212586137541532785/758606815493435066089409*c\ _0110_5^22 + 7519003447525007341189709905702/7586068154934350660894\ 09*c_0110_5^20 - 56704026006593375930766970985998/75860681549343506\ 6089409*c_0110_5^18 + 247284795808953388319530170767289/75860681549\ 3435066089409*c_0110_5^16 - 584609944356152391863579809493380/75860\ 6815493435066089409*c_0110_5^14 + 741593570522042493204623127418105\ /758606815493435066089409*c_0110_5^12 - 510440952863715272894562275000223/758606815493435066089409*c_0110_5\ ^10 + 198583733695908743070381625144073/758606815493435066089409*c_\ 0110_5^8 - 44059809142839603207344983162673/75860681549343506608940\ 9*c_0110_5^6 + 5459852287161296634939404807485/75860681549343506608\ 9409*c_0110_5^4 - 348168166369472076712595395802/758606815493435066\ 089409*c_0110_5^2 + 8804624059194907807804367765/758606815493435066\ 089409, c_0011_4 - 1443706149835507029011744839/758606815493435066089409*c_0110\ _5^27 + 38713328380131071169076712369/758606815493435066089409*c_01\ 10_5^25 - 570329833132443283084863731001/758606815493435066089409*c\ _0110_5^23 + 6737793816504592574102309130825/7586068154934350660894\ 09*c_0110_5^21 - 50807960689747849060860248410940/75860681549343506\ 6089409*c_0110_5^19 + 221532168052751379312946140548992/75860681549\ 3435066089409*c_0110_5^17 - 523543477896911049748167267310898/75860\ 6815493435066089409*c_0110_5^15 + 663713982078894609675498671215260\ /758606815493435066089409*c_0110_5^13 - 456373609468309824379648613370374/758606815493435066089409*c_0110_5\ ^11 + 177309290349983739775329695943480/758606815493435066089409*c_\ 0110_5^9 - 39276314993598223484802100778436/75860681549343506608940\ 9*c_0110_5^7 + 4859914093067837120370931629365/75860681549343506608\ 9409*c_0110_5^5 - 309674513578242930143571672291/758606815493435066\ 089409*c_0110_5^3 + 7836734995838794551638333354/758606815493435066\ 089409*c_0110_5, c_0101_0 + 1579924842873314975552179852/758606815493435066089409*c_0110\ _5^27 - 42372485636493275241273202735/758606815493435066089409*c_01\ 10_5^25 + 624313659103354568435387135849/758606815493435066089409*c\ _0110_5^23 - 7376039420797245675358387517927/7586068154934350660894\ 09*c_0110_5^21 + 55631465880754725677460033967413/75860681549343506\ 6089409*c_0110_5^19 - 242656133830691941808463148761410/75860681549\ 3435066089409*c_0110_5^17 + 573894524740095517153295251293394/75860\ 6815493435066089409*c_0110_5^15 - 728527240961672236124122196639444\ /758606815493435066089409*c_0110_5^13 + 502067031298635043954907896802142/758606815493435066089409*c_0110_5\ ^11 - 195685597170299845790203816293042/758606815493435066089409*c_\ 0110_5^9 + 43531336758330280659031003592546/75860681549343506608940\ 9*c_0110_5^7 - 5413367958235023200504614501130/75860681549343506608\ 9409*c_0110_5^5 + 346736125449525992742063388014/758606815493435066\ 089409*c_0110_5^3 - 8815899753864612202894048539/758606815493435066\ 089409*c_0110_5, c_0101_1 + 886670611372750540360536624/758606815493435066089409*c_0110_\ 5^26 - 23778503738481053856312218174/758606815493435066089409*c_011\ 0_5^24 + 350334470932453132808817051483/758606815493435066089409*c_\ 0110_5^22 - 4138968732158818906519811020835/75860681549343506608940\ 9*c_0110_5^20 + 31214567706525607129452412701278/758606815493435066\ 089409*c_0110_5^18 - 136133195994648265417931096460244/758606815493\ 435066089409*c_0110_5^16 + 321868763166017537445336613948886/758606\ 815493435066089409*c_0110_5^14 - 408379193151123597471181991882596/\ 758606815493435066089409*c_0110_5^12 + 281184814960755183852318200990298/758606815493435066089409*c_0110_5\ ^10 - 109451494628372775379142641295628/758606815493435066089409*c_\ 0110_5^8 + 24303861873234545370829708028267/75860681549343506608940\ 9*c_0110_5^6 - 3015361675471310683792298728524/75860681549343506608\ 9409*c_0110_5^4 + 192625706655707163570942797039/758606815493435066\ 089409*c_0110_5^2 - 4883341220181700600124754347/758606815493435066\ 089409, c_0101_3 + 1244091834835745929127529990/758606815493435066089409*c_0110\ _5^26 - 33363156917331169978326173013/758606815493435066089409*c_01\ 10_5^24 + 491540531469247519610618080018/758606815493435066089409*c\ _0110_5^22 - 5807179397323781899791017277684/7586068154934350660894\ 09*c_0110_5^20 + 43794622038392342841589190992927/75860681549343506\ 6089409*c_0110_5^18 - 190988883902881621754440109905884/75860681549\ 3435066089409*c_0110_5^16 + 451527414721833576232682845763818/75860\ 6815493435066089409*c_0110_5^14 - 572791113577353624348892535340244\ /758606815493435066089409*c_0110_5^12 + 394270524712304926160219815738642/758606815493435066089409*c_0110_5\ ^10 - 153395474901336680874668863897090/758606815493435066089409*c_\ 0110_5^8 + 34034984060111743266020283611985/75860681549343506608940\ 9*c_0110_5^6 - 4217487750523177634951900542205/75860681549343506608\ 9409*c_0110_5^4 + 268911267333744546599112936484/758606815493435066\ 089409*c_0110_5^2 - 6798887962182439415032206833/758606815493435066\ 089409, c_0110_5^28 - 27*c_0110_5^26 + 400*c_0110_5^24 - 4740*c_0110_5^22 + 36055*c_0110_5^20 - 159949*c_0110_5^18 + 390989*c_0110_5^16 - 526729*c_0110_5^14 + 401049*c_0110_5^12 - 181216*c_0110_5^10 + 49893*c_0110_5^8 - 8391*c_0110_5^6 + 836*c_0110_5^4 - 45*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB