Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 2244221251] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0284 geometric_solution 4.32702954 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 -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 1.542265243695 0.592759741378 0 1 1 0 0132 1230 3012 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.410581470302 0.119227327296 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 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 -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.983204118467 0.194650614153 4 2 4 5 2103 0132 1302 0132 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 1 -1 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.913829601976 0.623250524920 3 5 3 2 2031 0132 2103 0132 0 0 0 0 0 0 -1 1 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 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.913829601976 0.623250524920 6 4 3 6 0132 0132 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.264967186611 0.283280439819 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.796784979672 1.181510603298 ==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' : 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_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_1001_2'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 4579460404112346395/244177763604277993*c_1001_2^17 + 4026799490417687304/244177763604277993*c_1001_2^16 - 115033368280772099826/244177763604277993*c_1001_2^15 + 22898394899499343621/244177763604277993*c_1001_2^14 + 1083954395799603938730/244177763604277993*c_1001_2^13 - 123761996162601270386/34882537657753999*c_1001_2^12 - 4955415927901078227417/244177763604277993*c_1001_2^11 + 6021904213382615633100/244177763604277993*c_1001_2^10 + 11798006429856798215823/244177763604277993*c_1001_2^9 - 2762556256068329824163/34882537657753999*c_1001_2^8 - 13436605949787678582955/244177763604277993*c_1001_2^7 + 32497951288168399747380/244177763604277993*c_1001_2^6 + 3005513748290091883175/244177763604277993*c_1001_2^5 - 27575022939016505063005/244177763604277993*c_1001_2^4 + 7048917139017007515393/244177763604277993*c_1001_2^3 + 9034388309857037716836/244177763604277993*c_1001_2^2 - 4555456400045195061248/244177763604277993*c_1001_2 + 315885006166726775162/244177763604277993, c_0011_0 - 1, c_0011_2 + 4035394652046806/34882537657753999*c_1001_2^17 + 7295372633414080/34882537657753999*c_1001_2^16 - 94387635104602444/34882537657753999*c_1001_2^15 - 67310873443863641/34882537657753999*c_1001_2^14 + 887832270473680500/34882537657753999*c_1001_2^13 + 62904097826078154/34882537657753999*c_1001_2^12 - 4268044467371956071/34882537657753999*c_1001_2^11 + 1301895638842846439/34882537657753999*c_1001_2^10 + 11459370159439557536/34882537657753999*c_1001_2^9 - 6178125707751392892/34882537657753999*c_1001_2^8 - 17359347134447885706/34882537657753999*c_1001_2^7 + 12023230424624173062/34882537657753999*c_1001_2^6 + 13788936817728314695/34882537657753999*c_1001_2^5 - 11073270623246907415/34882537657753999*c_1001_2^4 - 4284725899095095451/34882537657753999*c_1001_2^3 + 4000056013924327239/34882537657753999*c_1001_2^2 - 188148354805208876/34882537657753999*c_1001_2 - 52486847309215815/34882537657753999, c_0011_4 + 3190451247980238/34882537657753999*c_1001_2^17 + 6966592025165612/34882537657753999*c_1001_2^16 - 70295449575700181/34882537657753999*c_1001_2^15 - 73865885148701430/34882537657753999*c_1001_2^14 + 642802720833532894/34882537657753999*c_1001_2^13 + 213906076663640177/34882537657753999*c_1001_2^12 - 3030548443744120633/34882537657753999*c_1001_2^11 + 315484228068813708/34882537657753999*c_1001_2^10 + 7982827891901911137/34882537657753999*c_1001_2^9 - 3064817313883451028/34882537657753999*c_1001_2^8 - 11788229153663294711/34882537657753999*c_1001_2^7 + 6780343594652405690/34882537657753999*c_1001_2^6 + 9005305265569244827/34882537657753999*c_1001_2^5 - 6518255997515381777/34882537657753999*c_1001_2^4 - 2644883084747920022/34882537657753999*c_1001_2^3 + 2399178327766243504/34882537657753999*c_1001_2^2 - 82074644775187024/34882537657753999*c_1001_2 - 49265151967959304/34882537657753999, c_0101_0 + 709363382036788/34882537657753999*c_1001_2^17 + 504046581536551/34882537657753999*c_1001_2^16 - 18403747227710983/34882537657753999*c_1001_2^15 + 5246146666586703/34882537657753999*c_1001_2^14 + 177689974207713154/34882537657753999*c_1001_2^13 - 144473123339846308/34882537657753999*c_1001_2^12 - 842191379846587017/34882537657753999*c_1001_2^11 + 963749920249544321/34882537657753999*c_1001_2^10 + 2158752369618196342/34882537657753999*c_1001_2^9 - 3044252070691620262/34882537657753999*c_1001_2^8 - 2991965034419836991/34882537657753999*c_1001_2^7 + 5088025179216442201/34882537657753999*c_1001_2^6 + 1980979315099876770/34882537657753999*c_1001_2^5 - 4352442653946460065/34882537657753999*c_1001_2^4 - 281243242152396430/34882537657753999*c_1001_2^3 + 1491021984798258069/34882537657753999*c_1001_2^2 - 224267031250750633/34882537657753999*c_1001_2 - 11922744331531574/34882537657753999, c_0101_1 + 9044847348012761/34882537657753999*c_1001_2^17 + 21103979483000594/34882537657753999*c_1001_2^16 - 197085863675044698/34882537657753999*c_1001_2^15 - 243115067218032649/34882537657753999*c_1001_2^14 + 1799596292378936863/34882537657753999*c_1001_2^13 + 932466628957980657/34882537657753999*c_1001_2^12 - 8552427463091168084/34882537657753999*c_1001_2^11 - 708886403795692415/34882537657753999*c_1001_2^10 + 22951529236899571989/34882537657753999*c_1001_2^9 - 4314589950662174230/34882537657753999*c_1001_2^8 - 35114232892445064111/34882537657753999*c_1001_2^7 + 12512237870339966673/34882537657753999*c_1001_2^6 + 28738305456869644674/34882537657753999*c_1001_2^5 - 13053521883439923443/34882537657753999*c_1001_2^4 - 10032401016764486028/34882537657753999*c_1001_2^3 + 4905768450668112761/34882537657753999*c_1001_2^2 + 329527127051746004/34882537657753999*c_1001_2 - 11282917464197660/34882537657753999, c_0101_6 + 7204485674361485/34882537657753999*c_1001_2^17 + 14715857748901785/34882537657753999*c_1001_2^16 - 162581029065467074/34882537657753999*c_1001_2^15 - 151332949811735983/34882537657753999*c_1001_2^14 + 1500400933473878131/34882537657753999*c_1001_2^13 + 375891151183348609/34882537657753999*c_1001_2^12 - 7113406449718503077/34882537657753999*c_1001_2^11 + 1099277484407380924/34882537657753999*c_1001_2^10 + 18860825881375693245/34882537657753999*c_1001_2^9 - 7714514026736325009/34882537657753999*c_1001_2^8 - 28195426520966772754/34882537657753999*c_1001_2^7 + 16258558871028563597/34882537657753999*c_1001_2^6 + 22090838485586002094/34882537657753999*c_1001_2^5 - 15372817271072330055/34882537657753999*c_1001_2^4 - 6868615886792624770/34882537657753999*c_1001_2^3 + 5607121199151466391/34882537657753999*c_1001_2^2 - 165745272776365234/34882537657753999*c_1001_2 - 81063969519118358/34882537657753999, c_1001_2^18 + c_1001_2^17 - 25*c_1001_2^16 + 2*c_1001_2^15 + 237*c_1001_2^14 - 161*c_1001_2^13 - 1102*c_1001_2^12 + 1186*c_1001_2^11 + 2720*c_1001_2^10 - 3913*c_1001_2^9 - 3400*c_1001_2^8 + 6732*c_1001_2^7 + 1440*c_1001_2^6 - 5909*c_1001_2^5 + 876*c_1001_2^4 + 2119*c_1001_2^3 - 778*c_1001_2^2 - 34*c_1001_2 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB