Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 559988174] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1914 geometric_solution 5.52024156 oriented_manifold CS_known 0.0000000000000000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468977336230 0.224447472047 2 0 3 0 0132 2310 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796102697519 0.605866427040 1 3 4 5 0132 0213 0132 0132 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 -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.596590756620 0.640112962439 5 4 2 1 1023 1023 0213 0132 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 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.596590756620 0.640112962439 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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.062828827562 0.555265363367 5 3 2 5 3201 1023 0132 2310 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 -1 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 0 0 0 0 0.066702358162 0.899758276396 6 4 4 6 3012 0132 1023 1230 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 1.602855283621 0.320273761421 ==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_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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), '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_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 63745024503925830433927969041/4341821474505726605468683*c_0101_6^30 + 135528191395129346363377007022/620260210643675229352669*c_0101_6^\ 28 - 7346889705515549997170885921689/4341821474505726605468683*c_01\ 01_6^26 + 42484962033039846215493350028807/434182147450572660546868\ 3*c_0101_6^24 - 25132298607665749364842798873813/620260210643675229\ 352669*c_0101_6^22 + 535865583372448084729524861486178/434182147450\ 5726605468683*c_0101_6^20 - 1387503168150408238400848993152224/4341\ 821474505726605468683*c_0101_6^18 + 3087834870525593971677219779559587/4341821474505726605468683*c_0101\ _6^16 - 5511723517600265690933598135041847/434182147450572660546868\ 3*c_0101_6^14 + 7169603676257544631647597639714922/4341821474505726\ 605468683*c_0101_6^12 - 127608425770915367415747606669724/886086015\ 20525032764667*c_0101_6^10 + 3431002384425613295752221196456765/434\ 1821474505726605468683*c_0101_6^8 - 1109778393295382213934437921939396/4341821474505726605468683*c_0101\ _6^6 + 194028674824379835896386813485583/4341821474505726605468683*\ c_0101_6^4 - 16657664561647812499928210083381/434182147450572660546\ 8683*c_0101_6^2 + 549167193161186273537502272804/434182147450572660\ 5468683, c_0011_0 - 1, c_0011_1 - 82876753384713976686251/88608601520525032764667*c_0101_6^30 + 1245677713461847724098648/88608601520525032764667*c_0101_6^28 - 9733979617427382527235424/88608601520525032764667*c_0101_6^26 + 56643472678227497110015957/88608601520525032764667*c_0101_6^24 - 236851975871521074488002203/88608601520525032764667*c_0101_6^22 + 730257122798986884683759068/88608601520525032764667*c_0101_6^20 - 1905759223228846220889216758/88608601520525032764667*c_0101_6^18 + 4277243407840200580405761321/88608601520525032764667*c_0101_6^16 - 7748484601975774804007921981/88608601520525032764667*c_0101_6^14 + 10354805736519644414642238929/88608601520525032764667*c_0101_6^12 - 9456072312477258546097117991/88608601520525032764667*c_0101_6^10 + 5584853105130459555407863208/88608601520525032764667*c_0101_6^8 - 2022196973455824599450953686/88608601520525032764667*c_0101_6^6 + 415798966390467445668929659/88608601520525032764667*c_0101_6^4 - 43100692045008928413785324/88608601520525032764667*c_0101_6^2 + 1757915539418683347223966/88608601520525032764667, c_0011_3 + 7936075181493204721209608/88608601520525032764667*c_0101_6^3\ 1 - 118188583572488583671116665/88608601520525032764667*c_0101_6^29 + 915839583607366003944736970/88608601520525032764667*c_0101_6^27 - 5298365491616924041898190903/88608601520525032764667*c_0101_6^25 + 21955039886973337517656000257/88608601520525032764667*c_0101_6^23 - 66932668091061581232705874451/88608601520525032764667*c_0101_6^21 + 173408239119025089650415407823/88608601520525032764667*c_0101_6^19 - 386155296585256970420295906872/88608601520525032764667*c_0101_6^17 + 690042106745996605305267310001/88608601520525032764667*c_0101_6^15 - 899467358620884003378846335299/88608601520525032764667*c_0101_6^13 + 787383046765534274283517226735/88608601520525032764667*c_0101_6^11 - 434854923734870877113759832642/88608601520525032764667*c_0101_6^9 + 142243216507974478626834504804/88608601520525032764667*c_0101_6^7 - 25350957177371334135938299263/88608601520525032764667*c_0101_6^5 + 2235747684756846689262631604/88608601520525032764667*c_0101_6^3 - 76101886120987548564208687/88608601520525032764667*c_0101_6, c_0101_0 + 20129722755470671738221884/88608601520525032764667*c_0101_6^\ 31 - 299661059567229201998629694/88608601520525032764667*c_0101_6^2\ 9 + 2321184559245699451009289088/88608601520525032764667*c_0101_6^2\ 7 - 13425023033097825122626165786/88608601520525032764667*c_0101_6^\ 25 + 55606385486959426857514363945/88608601520525032764667*c_0101_6\ ^23 - 169432266602645057582715853969/88608601520525032764667*c_0101\ _6^21 + 438804653386531231066796883321/88608601520525032764667*c_01\ 01_6^19 - 976775829151213185086910008479/88608601520525032764667*c_\ 0101_6^17 + 1744263960440723005227727602976/88608601520525032764667\ *c_0101_6^15 - 2270723187910852950202124380968/88608601520525032764\ 667*c_0101_6^13 + 1983158086668741663832945616627/88608601520525032\ 764667*c_0101_6^11 - 1090795071922296255957622065483/88608601520525\ 032764667*c_0101_6^9 + 354226557540064572292171787680/8860860152052\ 5032764667*c_0101_6^7 - 62319612745061318229510972433/8860860152052\ 5032764667*c_0101_6^5 + 5388843672887181125048769725/88608601520525\ 032764667*c_0101_6^3 - 178829636633681706742334110/8860860152052503\ 2764667*c_0101_6, c_0101_1 + 278587772753827849543223/88608601520525032764667*c_0101_6^30 - 4183865364418334979202202/88608601520525032764667*c_0101_6^28 + 32660189074290324222818135/88608601520525032764667*c_0101_6^26 - 189880907717586991949846365/88608601520525032764667*c_0101_6^24 + 792934275971369459144716457/88608601520525032764667*c_0101_6^22 - 2439960199864546406105220681/88608601520525032764667*c_0101_6^20 + 6356504931727147865105635947/88608601520525032764667*c_0101_6^18 - 14243812163084873145525465170/88608601520525032764667*c_0101_6^16 + 25731909031350281116825016195/88608601520525032764667*c_0101_6^14 - 34195731596817196834445395167/88608601520525032764667*c_0101_6^12 + 30884456711949475592321740534/88608601520525032764667*c_0101_6^10 - 17867575560141966579941527176/88608601520525032764667*c_0101_6^8 + 6245625132956160366219533767/88608601520525032764667*c_0101_6^6 - 1220581017464862390694056077/88608601520525032764667*c_0101_6^4 + 119689480200344716212260288/88608601520525032764667*c_0101_6^2 - 4502013296129172873510516/88608601520525032764667, c_0101_4 - 636731715392941082205596/88608601520525032764667*c_0101_6^31 + 9380605008384269798013031/88608601520525032764667*c_0101_6^29 - 71964763192879340473472133/88608601520525032764667*c_0101_6^27 + 413384233303384366203895748/88608601520525032764667*c_0101_6^25 - 1693840565182676783505239372/88608601520525032764667*c_0101_6^23 + 5090528405032215388506658262/88608601520525032764667*c_0101_6^21 - 13063618886719339211927857714/88608601520525032764667*c_0101_6^19 + 28788458119725829077458195393/88608601520525032764667*c_0101_6^17 - 50493933284972717107571237544/88608601520525032764667*c_0101_6^15 + 63511281595127056317840715324/88608601520525032764667*c_0101_6^13 - 52015951629763519071155214751/88608601520525032764667*c_0101_6^11 + 25343492308693094639659915746/88608601520525032764667*c_0101_6^9 - 6392075095618728831695371438/88608601520525032764667*c_0101_6^7 + 561641838971580780897738955/88608601520525032764667*c_0101_6^5 + 23486494004446593754359467/88608601520525032764667*c_0101_6^3 - 3762269049490395879857918/88608601520525032764667*c_0101_6, c_0101_6^32 - 15*c_0101_6^30 + 117*c_0101_6^28 - 680*c_0101_6^26 + 2838*c_0101_6^24 - 8730*c_0101_6^22 + 22752*c_0101_6^20 - 50992*c_0101_6^18 + 92143*c_0101_6^16 - 122606*c_0101_6^14 + 111267*c_0101_6^12 - 65308*c_0101_6^10 + 23705*c_0101_6^8 - 5077*c_0101_6^6 + 616*c_0101_6^4 - 39*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB