Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3970789390] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0533 geometric_solution 4.55129338 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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.261083353932 0.061563339171 0 1 0 1 0132 2310 2310 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 -1.917863914250 0.223057098099 3 0 3 0 0132 2310 2310 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 -1.221712531921 1.371605684637 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 2 -1 0 0 1 -1 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 -1 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.127994493992 1.097506829234 6 5 5 3 0132 1023 2031 0132 0 0 0 0 0 1 1 -2 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 -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.381044710710 0.686436616720 4 6 3 4 1023 3201 0132 1302 0 0 0 0 0 0 1 -1 -1 0 1 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 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.381044710710 0.686436616720 4 6 5 6 0132 1302 2310 2031 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 -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.080161019411 1.815215993994 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_2'], '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' : d['c_0011_4'], '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' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), '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_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 39813746760935014949/899801968592072455*c_0101_4^19 + 574782393861534847804/899801968592072455*c_0101_4^18 - 3315016011064640302228/899801968592072455*c_0101_4^17 + 1909455275627443885197/179960393718414491*c_0101_4^16 - 13848031481371102439912/899801968592072455*c_0101_4^15 + 265115197684449808783/25708627674059213*c_0101_4^14 - 6192426053192245701788/899801968592072455*c_0101_4^13 + 11543825026034154560323/899801968592072455*c_0101_4^12 - 1729683610774098699348/899801968592072455*c_0101_4^11 - 3661477507603699830258/128543138370296065*c_0101_4^10 + 36136012606895847081582/899801968592072455*c_0101_4^9 - 16277041804783449509217/899801968592072455*c_0101_4^8 - 1845353019670890465969/179960393718414491*c_0101_4^7 + 2539265347768261107379/128543138370296065*c_0101_4^6 - 4765129484180634626569/899801968592072455*c_0101_4^5 - 1309242167703781737807/179960393718414491*c_0101_4^4 + 1599795076429964694604/899801968592072455*c_0101_4^3 + 1717975054692022326457/899801968592072455*c_0101_4^2 - 110360207184233822429/899801968592072455*c_0101_4 - 106628484395009891514/899801968592072455, c_0011_0 - 1, c_0011_2 - 332323353983976/1977586744158401*c_0101_4^19 + 4635030941600112/1977586744158401*c_0101_4^18 - 25464438972869376/1977586744158401*c_0101_4^17 + 68148957370144755/1977586744158401*c_0101_4^16 - 87703880967353553/1977586744158401*c_0101_4^15 + 51126752432501123/1977586744158401*c_0101_4^14 - 53675201167947608/1977586744158401*c_0101_4^13 + 94549930753109285/1977586744158401*c_0101_4^12 + 10822109616156445/1977586744158401*c_0101_4^11 - 180164816171573110/1977586744158401*c_0101_4^10 + 198850100461462635/1977586744158401*c_0101_4^9 - 69068715837365778/1977586744158401*c_0101_4^8 - 48983459872600743/1977586744158401*c_0101_4^7 + 77466779062473209/1977586744158401*c_0101_4^6 + 5464304237493004/1977586744158401*c_0101_4^5 - 35936346645058205/1977586744158401*c_0101_4^4 - 11045032094068806/1977586744158401*c_0101_4^3 + 2337669033719433/1977586744158401*c_0101_4^2 + 1917090395081173/1977586744158401*c_0101_4 + 2015736780102319/1977586744158401, c_0011_4 + 4269631148991399/128543138370296065*c_0101_4^19 - 43995706633055623/128543138370296065*c_0101_4^18 + 127390609533622834/128543138370296065*c_0101_4^17 + 82607078952616064/128543138370296065*c_0101_4^16 - 164310650343092124/25708627674059213*c_0101_4^15 + 287301651595500559/128543138370296065*c_0101_4^14 + 2050048402640258256/128543138370296065*c_0101_4^13 - 142244603530266797/25708627674059213*c_0101_4^12 - 1976371011709751278/128543138370296065*c_0101_4^11 - 2158638368975544879/128543138370296065*c_0101_4^10 + 4364048829562378792/128543138370296065*c_0101_4^9 - 258811065804599518/128543138370296065*c_0101_4^8 - 4694017183787017777/128543138370296065*c_0101_4^7 + 3942841584984036068/128543138370296065*c_0101_4^6 - 1276661027201859271/128543138370296065*c_0101_4^5 - 3584869119138721484/128543138370296065*c_0101_4^4 + 1017484876488586938/128543138370296065*c_0101_4^3 + 1511033601402165616/128543138370296065*c_0101_4^2 + 177308436706095392/128543138370296065*c_0101_4 - 100896951564685924/128543138370296065, c_0101_0 + 4137187348951233/128543138370296065*c_0101_4^19 + 6386187886560409/128543138370296065*c_0101_4^18 - 556515678498684172/128543138370296065*c_0101_4^17 + 3789065478381811203/128543138370296065*c_0101_4^16 - 2124243530333181870/25708627674059213*c_0101_4^15 + 12699615627493697183/128543138370296065*c_0101_4^14 - 4937507002785638238/128543138370296065*c_0101_4^13 + 1282535974158071189/25708627674059213*c_0101_4^12 - 14315570008975523791/128543138370296065*c_0101_4^11 - 4908897098626494533/128543138370296065*c_0101_4^10 + 30887120364003821874/128543138370296065*c_0101_4^9 - 29806116416431644176/128543138370296065*c_0101_4^8 + 5171342335132195231/128543138370296065*c_0101_4^7 + 12526046998057567811/128543138370296065*c_0101_4^6 - 14623540433518838597/128543138370296065*c_0101_4^5 - 3528874434383691858/128543138370296065*c_0101_4^4 + 5533425756039152601/128543138370296065*c_0101_4^3 + 2494649163376729767/128543138370296065*c_0101_4^2 - 225530669651773676/128543138370296065*c_0101_4 - 186902898107669623/128543138370296065, c_0101_1 - 106405774068404422/128543138370296065*c_0101_4^19 + 299798867676588909/25708627674059213*c_0101_4^18 - 8352337923723590096/128543138370296065*c_0101_4^17 + 22822415260517002267/128543138370296065*c_0101_4^16 - 30250622830788545612/128543138370296065*c_0101_4^15 + 17410828452984185272/128543138370296065*c_0101_4^14 - 2884368498259746546/25708627674059213*c_0101_4^13 + 27986265869964849813/128543138370296065*c_0101_4^12 + 2814631420164294803/128543138370296065*c_0101_4^11 - 63603482555596788368/128543138370296065*c_0101_4^10 + 75565907437240365913/128543138370296065*c_0101_4^9 - 25700891590498482196/128543138370296065*c_0101_4^8 - 24260679326914445916/128543138370296065*c_0101_4^7 + 35903163308859154697/128543138370296065*c_0101_4^6 - 3011529115352313822/128543138370296065*c_0101_4^5 - 14065862238247710382/128543138370296065*c_0101_4^4 - 800689369285797767/128543138370296065*c_0101_4^3 + 631064323130082054/25708627674059213*c_0101_4^2 + 512086483836992037/128543138370296065*c_0101_4 - 163636110411144871/128543138370296065, c_0101_2 - 46236150645477984/128543138370296065*c_0101_4^19 + 617529046128455023/128543138370296065*c_0101_4^18 - 3162770547657043189/128543138370296065*c_0101_4^17 + 7394384042627278396/128543138370296065*c_0101_4^16 - 1313143412984246115/25708627674059213*c_0101_4^15 - 474525418232224129/128543138370296065*c_0101_4^14 - 2153200026255564821/128543138370296065*c_0101_4^13 + 1518625633092803990/25708627674059213*c_0101_4^12 + 9507309429601315213/128543138370296065*c_0101_4^11 - 25180351126382439006/128543138370296065*c_0101_4^10 + 14727869099591606708/128543138370296065*c_0101_4^9 + 7638240970880668943/128543138370296065*c_0101_4^8 - 15453821904507190553/128543138370296065*c_0101_4^7 + 9005944305568773502/128543138370296065*c_0101_4^6 + 7226739102549927686/128543138370296065*c_0101_4^5 - 5111128918897597981/128543138370296065*c_0101_4^4 - 3607783470406951553/128543138370296065*c_0101_4^3 + 493062405507224089/128543138370296065*c_0101_4^2 + 534165505985291158/128543138370296065*c_0101_4 + 19129600347573519/128543138370296065, c_0101_4^20 - 14*c_0101_4^19 + 77*c_0101_4^18 - 204*c_0101_4^17 + 246*c_0101_4^16 - 88*c_0101_4^15 + 60*c_0101_4^14 - 222*c_0101_4^13 - 81*c_0101_4^12 + 656*c_0101_4^11 - 635*c_0101_4^10 + 35*c_0101_4^9 + 396*c_0101_4^8 - 351*c_0101_4^7 - 61*c_0101_4^6 + 207*c_0101_4^5 + 26*c_0101_4^4 - 56*c_0101_4^3 - 14*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB