Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 2783197511] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2035 geometric_solution 5.57195517 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.428583034656 0.501807197270 0 0 4 3 0132 2310 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 0 0 0 -1 0 1 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.108779021542 0.522238152877 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 2.040763977311 0.373928628868 5 6 1 4 0132 0132 0132 1302 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599194569733 0.723706308762 6 5 3 1 2310 2310 2031 0132 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 1 0 0 -1 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.599194569733 0.723706308762 3 6 6 4 0132 2310 3201 3201 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 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.850680531470 1.050912770017 5 3 4 5 2310 0132 3201 3201 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 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.155427868602 0.771685658408 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_1']), '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_0101_2'], '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' : negation(d['c_0011_3']), 'c_0011_6' : negation(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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_2'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 14917149896865981524978675801/13529754628076512675674726*c_0101_5^1\ 5 + 146367958474884760875202340921/13529754628076512675674726*c_010\ 1_5^14 - 9704866853422263232775523301/1229977693461501152334066*c_0\ 101_5^13 - 84581690029692674045202822356/6764877314038256337837363*\ c_0101_5^12 + 3301004122782863179837697270735/450991820935883755855\ 8242*c_0101_5^11 - 15353316854409715851448519560785/135297546280765\ 12675674726*c_0101_5^10 - 3498313040945460666545370441532/225495910\ 4679418779279121*c_0101_5^9 + 52377038728955052959013133731115/1352\ 9754628076512675674726*c_0101_5^8 - 14008055998516931054129036925973/13529754628076512675674726*c_0101_\ 5^7 - 10905306843532035863573803607179/6764877314038256337837363*c_\ 0101_5^6 + 1071824000058053727992507387573/450991820935883755855824\ 2*c_0101_5^5 + 16494338741449927245091496605505/1352975462807651267\ 5674726*c_0101_5^4 - 2348196648808443427912972304937/22549591046794\ 18779279121*c_0101_5^3 + 1710555371062844058807491729825/4509918209\ 358837558558242*c_0101_5^2 - 1007405373371909911513541453825/135297\ 54628076512675674726*c_0101_5 + 79259742760615435179924410519/13529\ 754628076512675674726, c_0011_0 - 1, c_0011_3 - 2293088939429441378800924/204996282243583525389011*c_0101_2*\ c_0101_5^15 + 22551982185814721663888526/204996282243583525389011*c\ _0101_2*c_0101_5^14 - 16904871576910010135767835/204996282243583525\ 389011*c_0101_2*c_0101_5^13 - 25788092212908322440136117/2049962822\ 43583525389011*c_0101_2*c_0101_5^12 + 1522983951871281855685770743/204996282243583525389011*c_0101_2*c_01\ 01_5^11 - 2394477205296134076523912942/204996282243583525389011*c_0\ 101_2*c_0101_5^10 - 3183764423914343300133102013/204996282243583525\ 389011*c_0101_2*c_0101_5^9 + 8139521771486622105949861961/204996282\ 243583525389011*c_0101_2*c_0101_5^8 - 2309159848086249338050944940/204996282243583525389011*c_0101_2*c_01\ 01_5^7 - 3356986520357053131921783859/204996282243583525389011*c_01\ 01_2*c_0101_5^6 + 571837220461955187111985368/204996282243583525389\ 011*c_0101_2*c_0101_5^5 + 2552265618769671155488085598/204996282243\ 583525389011*c_0101_2*c_0101_5^4 - 2219265107742228844862268675/204996282243583525389011*c_0101_2*c_01\ 01_5^3 + 818769453070526157506601729/204996282243583525389011*c_010\ 1_2*c_0101_5^2 - 162505582798270402925187377/2049962822435835253890\ 11*c_0101_2*c_0101_5 + 13256717561101447330217365/20499628224358352\ 5389011*c_0101_2, c_0101_0 - 2192620852073939781550612/204996282243583525389011*c_0101_2*\ c_0101_5^15 + 21528122242436609457722864/204996282243583525389011*c\ _0101_2*c_0101_5^14 - 15834515860234511424852846/204996282243583525\ 389011*c_0101_2*c_0101_5^13 - 24709959455706006912958195/2049962822\ 43583525389011*c_0101_2*c_0101_5^12 + 1455753759665054748318423087/204996282243583525389011*c_0101_2*c_01\ 01_5^11 - 2266110788626919991843765368/204996282243583525389011*c_0\ 101_2*c_0101_5^10 - 3066982854092683122165646399/204996282243583525\ 389011*c_0101_2*c_0101_5^9 + 7714208429105159537691029069/204996282\ 243583525389011*c_0101_2*c_0101_5^8 - 2119327834017564380718822012/204996282243583525389011*c_0101_2*c_01\ 01_5^7 - 3176391326686954371305349730/204996282243583525389011*c_01\ 01_2*c_0101_5^6 + 498018943389872022494151503/204996282243583525389\ 011*c_0101_2*c_0101_5^5 + 2411260846780309692280217318/204996282243\ 583525389011*c_0101_2*c_0101_5^4 - 2090823215367879923041208179/204996282243583525389011*c_0101_2*c_01\ 01_5^3 + 773996059736590009091100304/204996282243583525389011*c_010\ 1_2*c_0101_5^2 - 154458158735576019853728326/2049962822435835253890\ 11*c_0101_2*c_0101_5 + 12664392336288530573215417/20499628224358352\ 5389011*c_0101_2, c_0101_1 + 2330249631909393654619839/204996282243583525389011*c_0101_2*\ c_0101_5^15 - 22878088050542949994934324/204996282243583525389011*c\ _0101_2*c_0101_5^14 + 16809452105400308752360296/204996282243583525\ 389011*c_0101_2*c_0101_5^13 + 26323443159636128966915651/2049962822\ 43583525389011*c_0101_2*c_0101_5^12 - 1547111853938426646348261206/204996282243583525389011*c_0101_2*c_01\ 01_5^11 + 2407387871017532877611792883/204996282243583525389011*c_0\ 101_2*c_0101_5^10 + 3264714265864421143155259378/204996282243583525\ 389011*c_0101_2*c_0101_5^9 - 8199411110511720884794666396/204996282\ 243583525389011*c_0101_2*c_0101_5^8 + 2235990476693290027026708516/204996282243583525389011*c_0101_2*c_01\ 01_5^7 + 3389057927600560848310743851/204996282243583525389011*c_01\ 01_2*c_0101_5^6 - 520092839204621368614827814/204996282243583525389\ 011*c_0101_2*c_0101_5^5 - 2569460480980702350643379950/204996282243\ 583525389011*c_0101_2*c_0101_5^4 + 2215530371696845362222980829/204996282243583525389011*c_0101_2*c_01\ 01_5^3 - 816927106172879370213773057/204996282243583525389011*c_010\ 1_2*c_0101_5^2 + 162522315002362498344417472/2049962822435835253890\ 11*c_0101_2*c_0101_5 - 13290027478192419479675579/20499628224358352\ 5389011*c_0101_2, c_0101_2^2 - 1029085946836172750184008/204996282243583525389011*c_0101_\ 5^15 + 10109321467326745546161720/204996282243583525389011*c_0101_5\ ^14 - 7484182659942564109199053/204996282243583525389011*c_0101_5^1\ 3 - 11556670000095735052601799/204996282243583525389011*c_0101_5^12 + 683311847103550398343197000/204996282243583525389011*c_0101_5^11 - 1067102777474620447003808100/204996282243583525389011*c_0101_5^10 - 1433754883217796496823402739/204996282243583525389011*c_0101_5^9 + 3628370107540318026457354362/204996282243583525389011*c_0101_5^8 - 1014578070436045929509664441/204996282243583525389011*c_0101_5^7 - 1486450126371961262053558232/204996282243583525389011*c_0101_5^6 + 243904315926099878457554780/204996282243583525389011*c_0101_5^5 + 1130606915509512577489335910/204996282243583525389011*c_0101_5^4 - 988516371689271297069206622/204996282243583525389011*c_0101_5^3 + 368160479056670207811595992/204996282243583525389011*c_0101_5^2 - 73707478491317996161859563/204996282243583525389011*c_0101_5 + 5749811780764603158573257/204996282243583525389011, c_0101_4 + 17533069688458535445163/204996282243583525389011*c_0101_5^15 - 154617805762267227119836/204996282243583525389011*c_0101_5^14 - 37306678889362579925405/204996282243583525389011*c_0101_5^13 + 246809722811636895578935/204996282243583525389011*c_0101_5^12 - 11413350441286162464696764/204996282243583525389011*c_0101_5^11 + 6591783163777041041212306/204996282243583525389011*c_0101_5^10 + 37248778478499491003518535/204996282243583525389011*c_0101_5^9 - 30697768550472046366644895/204996282243583525389011*c_0101_5^8 - 30414390570353169052591403/204996282243583525389011*c_0101_5^7 + 18641619648946090673726752/204996282243583525389011*c_0101_5^6 + 19225942472176038112757737/204996282243583525389011*c_0101_5^5 - 11327894092797841213420389/204996282243583525389011*c_0101_5^4 + 717583749198270557790253/204996282243583525389011*c_0101_5^3 + 2499538781139483869838045/204996282243583525389011*c_0101_5^2 - 647037115267340631553883/204996282243583525389011*c_0101_5 + 58322144186856691113129/204996282243583525389011, c_0101_5^16 - 10*c_0101_5^15 + 9*c_0101_5^14 + 10*c_0101_5^13 - 666*c_0101_5^12 + 1154*c_0101_5^11 + 1214*c_0101_5^10 - 3776*c_0101_5^9 + 1598*c_0101_5^8 + 1287*c_0101_5^7 - 490*c_0101_5^6 - 1066*c_0101_5^5 + 1152*c_0101_5^4 - 521*c_0101_5^3 + 132*c_0101_5^2 - 18*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB