Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1797978023] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1605 geometric_solution 5.36653957 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 1 -1 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 0 0 0 0 -1 0 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 0 0 0 0.979459535645 1.538476349569 0 4 4 5 0132 0132 3201 0132 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 0 0 0 1 0 -1 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.057799150641 0.602422622466 6 0 6 0 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 1 0 -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.526208404160 0.290178673343 3 5 3 0 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375192208365 0.864432173622 1 1 4 4 2310 0132 1230 3012 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 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.159759757877 0.709122314815 3 6 1 6 1023 2310 0132 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 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.979459535645 1.538476349569 2 5 2 5 0132 2310 1023 3201 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 -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.526208404160 0.290178673343 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), '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_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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' : d['c_0101_1'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_6'], '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_6']})} 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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1269209475120958090159/4036012804365735416*c_0101_6^17 + 1720860120687206937613/1009003201091433854*c_0101_6^16 - 7739609120643440618931/4036012804365735416*c_0101_6^15 - 10254564952133474388097/4036012804365735416*c_0101_6^14 + 6120359162298129701803/1009003201091433854*c_0101_6^13 - 3168787377145398463243/4036012804365735416*c_0101_6^12 - 7705948320033799616707/1009003201091433854*c_0101_6^11 + 25630301123282316567125/4036012804365735416*c_0101_6^10 + 11742158721347538794731/4036012804365735416*c_0101_6^9 - 15234633155263288419611/4036012804365735416*c_0101_6^8 - 7234766231495924119991/4036012804365735416*c_0101_6^7 + 1114724322962762410527/2018006402182867708*c_0101_6^6 + 4514588062911117658535/4036012804365735416*c_0101_6^5 + 1295417036090434495213/2018006402182867708*c_0101_6^4 - 1827564303642579958469/4036012804365735416*c_0101_6^3 - 366734728902491272611/2018006402182867708*c_0101_6^2 - 164034062006218744885/4036012804365735416*c_0101_6 + 379005910161385566955/4036012804365735416, c_0011_0 - 1, c_0011_3 + 984550581569571709/504501600545716927*c_0101_6^17 - 4495186089057848525/504501600545716927*c_0101_6^16 + 2561968217933740272/504501600545716927*c_0101_6^15 + 8050164199438669769/504501600545716927*c_0101_6^14 - 10177885458104291551/504501600545716927*c_0101_6^13 - 2618575920323185033/504501600545716927*c_0101_6^12 + 14548943852497553357/504501600545716927*c_0101_6^11 - 7394863759342112233/504501600545716927*c_0101_6^10 - 5557270735510314593/504501600545716927*c_0101_6^9 - 204401646451239952/504501600545716927*c_0101_6^8 + 1330911717138161341/504501600545716927*c_0101_6^7 + 4214702036366241607/504501600545716927*c_0101_6^6 + 1183847307842196249/504501600545716927*c_0101_6^5 - 1115003749454938032/504501600545716927*c_0101_6^4 - 397912348553827824/504501600545716927*c_0101_6^3 - 1347880653975493806/504501600545716927*c_0101_6^2 + 282673742210000818/504501600545716927*c_0101_6 + 57453511930862252/504501600545716927, c_0101_0 - 924386135679884636/504501600545716927*c_0101_6^17 + 4788094703237954923/504501600545716927*c_0101_6^16 - 5237397943208054286/504501600545716927*c_0101_6^15 - 4370013578749785204/504501600545716927*c_0101_6^14 + 11003337062028114450/504501600545716927*c_0101_6^13 - 4746704950236351061/504501600545716927*c_0101_6^12 - 7149076879449460847/504501600545716927*c_0101_6^11 + 10641650965539603716/504501600545716927*c_0101_6^10 - 6504316699581675292/504501600545716927*c_0101_6^9 + 8612745015069842609/504501600545716927*c_0101_6^8 - 1563663050272742039/504501600545716927*c_0101_6^7 - 9959979464038727243/504501600545716927*c_0101_6^6 + 1366615875596299791/504501600545716927*c_0101_6^5 + 3236968502968851625/504501600545716927*c_0101_6^4 + 352185676489355347/504501600545716927*c_0101_6^3 + 636861027888097276/504501600545716927*c_0101_6^2 - 633613346889099428/504501600545716927*c_0101_6 + 11808913743774436/504501600545716927, c_0101_1 + 631988631239484772/504501600545716927*c_0101_6^17 - 2232846086558714403/504501600545716927*c_0101_6^16 - 1737417516376460429/504501600545716927*c_0101_6^15 + 8766947506466863488/504501600545716927*c_0101_6^14 - 2406374971978260095/504501600545716927*c_0101_6^13 - 12246211887615332623/504501600545716927*c_0101_6^12 + 12951325812940485259/504501600545716927*c_0101_6^11 + 6562905694107700329/504501600545716927*c_0101_6^10 - 16874693227934383813/504501600545716927*c_0101_6^9 + 73173433714186103/504501600545716927*c_0101_6^8 + 5483496034704122996/504501600545716927*c_0101_6^7 + 1273458205207299089/504501600545716927*c_0101_6^6 + 1744201023339164771/504501600545716927*c_0101_6^5 - 654665073945395815/504501600545716927*c_0101_6^4 - 540468630146315512/504501600545716927*c_0101_6^3 + 234076282685656948/504501600545716927*c_0101_6^2 - 671018517637190123/504501600545716927*c_0101_6 + 110313206417414062/504501600545716927, c_0101_2 + c_0101_6, c_0101_4 + 3232504823563403982/504501600545716927*c_0101_6^17 - 16989163884560600785/504501600545716927*c_0101_6^16 + 17624368063880310468/504501600545716927*c_0101_6^15 + 26133790111409660596/504501600545716927*c_0101_6^14 - 58701639843042340073/504501600545716927*c_0101_6^13 + 7009134903718640985/504501600545716927*c_0101_6^12 + 75952118632804764599/504501600545716927*c_0101_6^11 - 63692280717450872883/504501600545716927*c_0101_6^10 - 27679411804797389501/504501600545716927*c_0101_6^9 + 40299197474139053209/504501600545716927*c_0101_6^8 + 9823273569869151888/504501600545716927*c_0101_6^7 - 7103893724399826860/504501600545716927*c_0101_6^6 - 4567375499812575454/504501600545716927*c_0101_6^5 - 5384923254633942324/504501600545716927*c_0101_6^4 + 3543373586101359968/504501600545716927*c_0101_6^3 + 1944128289323033640/504501600545716927*c_0101_6^2 - 75635694707037657/504501600545716927*c_0101_6 - 597370599430397510/504501600545716927, c_0101_6^18 - 56/11*c_0101_6^17 + 48/11*c_0101_6^16 + 108/11*c_0101_6^15 - 182/11*c_0101_6^14 - 36/11*c_0101_6^13 + 271/11*c_0101_6^12 - 139/11*c_0101_6^11 - 15*c_0101_6^10 + 98/11*c_0101_6^9 + 9*c_0101_6^8 - 1/11*c_0101_6^7 - 43/11*c_0101_6^6 - 32/11*c_0101_6^5 + 10/11*c_0101_6^4 + c_0101_6^3 + 3/11*c_0101_6^2 - 3/11*c_0101_6 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB