Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3937105650] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s724 geometric_solution 5.23793239 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 1 -2 -1 0 2 -1 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.564890096531 0.153596176370 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 1 -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 0 1 -1 0 1 0 0 -1 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.780480846962 0.581219369768 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 1 0 1 0 0 -1 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.796820066775 1.038975205360 2 5 1 4 3012 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.796820066775 1.038975205360 2 4 3 4 0132 2310 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 -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.121363398275 1.018568819953 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 1 -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 0 0 0 0 1 -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 0 0 0.638900156055 0.889970010670 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], '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_3'], 'c_0011_4' : negation(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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1327162998596283/122497653179941*c_0101_5^21 - 8953616658389646/122497653179941*c_0101_5^20 - 20978907412043017/122497653179941*c_0101_5^19 - 2323205952764890/122497653179941*c_0101_5^18 + 98838040310701810/122497653179941*c_0101_5^17 + 19131295127151912/9422896398457*c_0101_5^16 + 269163805072101149/122497653179941*c_0101_5^15 + 7390651876401776/122497653179941*c_0101_5^14 - 17609700983321632/5325984920867*c_0101_5^13 - 604200675463125103/122497653179941*c_0101_5^12 - 387069748050789262/122497653179941*c_0101_5^11 + 2157908870732890/5325984920867*c_0101_5^10 + 26258761744743342/9422896398457*c_0101_5^9 + 335037139087255301/122497653179941*c_0101_5^8 + 157828724449399988/122497653179941*c_0101_5^7 + 1001143377286050/122497653179941*c_0101_5^6 - 55801676730843793/122497653179941*c_0101_5^5 - 43256158026267559/122497653179941*c_0101_5^4 - 697653658648007/5325984920867*c_0101_5^3 - 1013037590212143/122497653179941*c_0101_5^2 + 2010308174272553/122497653179941*c_0101_5 + 1227955628841408/122497653179941, c_0011_0 - 1, c_0011_3 - 14226050588753178/1592469491339233*c_0101_5^21 - 77274664232048784/1592469491339233*c_0101_5^20 - 110791755173683557/1592469491339233*c_0101_5^19 + 189061396970816139/1592469491339233*c_0101_5^18 + 913126504573565082/1592469491339233*c_0101_5^17 + 101064197783684090/122497653179941*c_0101_5^16 + 358096269043479164/1592469491339233*c_0101_5^15 - 1618660863396475094/1592469491339233*c_0101_5^14 - 117337193119409378/69237803971271*c_0101_5^13 - 1632778336640001270/1592469491339233*c_0101_5^12 + 521477435882744140/1592469491339233*c_0101_5^11 + 74987556467389686/69237803971271*c_0101_5^10 + 101462275482573973/122497653179941*c_0101_5^9 + 303324417011388824/1592469491339233*c_0101_5^8 - 277865987480870800/1592469491339233*c_0101_5^7 - 281025408956184909/1592469491339233*c_0101_5^6 - 85958695199247579/1592469491339233*c_0101_5^5 + 15147104250892997/1592469491339233*c_0101_5^4 + 878600654798704/69237803971271*c_0101_5^3 + 5289331172591450/1592469491339233*c_0101_5^2 - 2921985462161618/1592469491339233*c_0101_5 - 637744384008636/1592469491339233, c_0101_0 - 5586244998126597/1592469491339233*c_0101_5^21 - 32273780490963948/1592469491339233*c_0101_5^20 - 56912354147184235/1592469491339233*c_0101_5^19 + 44143736299700836/1592469491339233*c_0101_5^18 + 364474102044155600/1592469491339233*c_0101_5^17 + 52326452526970155/122497653179941*c_0101_5^16 + 496049968742692071/1592469491339233*c_0101_5^15 - 346387638005519697/1592469491339233*c_0101_5^14 - 53957472186552437/69237803971271*c_0101_5^13 - 1344528815756878099/1592469491339233*c_0101_5^12 - 516202900399479474/1592469491339233*c_0101_5^11 + 21929781039412707/69237803971271*c_0101_5^10 + 70158410421653332/122497653179941*c_0101_5^9 + 616882355580705394/1592469491339233*c_0101_5^8 + 122609298570302093/1592469491339233*c_0101_5^7 - 133153754907069786/1592469491339233*c_0101_5^6 - 121321319825193515/1592469491339233*c_0101_5^5 - 37005806117216587/1592469491339233*c_0101_5^4 + 167799776029196/69237803971271*c_0101_5^3 + 6175446611506972/1592469491339233*c_0101_5^2 + 461102522832962/1592469491339233*c_0101_5 - 1602918494839171/1592469491339233, c_0101_1 - 15113177552400309/1592469491339233*c_0101_5^21 - 96691886117016237/1592469491339233*c_0101_5^20 - 198363180160462353/1592469491339233*c_0101_5^19 + 79400026007394075/1592469491339233*c_0101_5^18 + 1148967625557316823/1592469491339233*c_0101_5^17 + 179815173724664694/122497653179941*c_0101_5^16 + 1817556376441129476/1592469491339233*c_0101_5^15 - 1151073442864936789/1592469491339233*c_0101_5^14 - 189109693111602985/69237803971271*c_0101_5^13 - 4603669812809496418/1592469491339233*c_0101_5^12 - 1574503502239792740/1592469491339233*c_0101_5^11 + 81445927256529312/69237803971271*c_0101_5^10 + 235383004400483243/122497653179941*c_0101_5^9 + 2000156428125550380/1592469491339233*c_0101_5^8 + 427590364582402963/1592469491339233*c_0101_5^7 - 403678877993585060/1592469491339233*c_0101_5^6 - 435021337448040559/1592469491339233*c_0101_5^5 - 183556194723607688/1592469491339233*c_0101_5^4 - 913662799296437/69237803971271*c_0101_5^3 + 16925119198779978/1592469491339233*c_0101_5^2 + 9326432811832294/1592469491339233*c_0101_5 + 103009858154023/1592469491339233, c_0101_2 + 7144062525590589/1592469491339233*c_0101_5^21 + 42197218920680355/1592469491339233*c_0101_5^20 + 74396913909577521/1592469491339233*c_0101_5^19 - 67271654783982838/1592469491339233*c_0101_5^18 - 502322539757869178/1592469491339233*c_0101_5^17 - 67634399330896592/122497653179941*c_0101_5^16 - 505061798410129149/1592469491339233*c_0101_5^15 + 699535934748801382/1592469491339233*c_0101_5^14 + 74594140995195514/69237803971271*c_0101_5^13 + 1480938728886092219/1592469491339233*c_0101_5^12 + 200922540450541651/1592469491339233*c_0101_5^11 - 39890517003383859/69237803971271*c_0101_5^10 - 82493210248311032/122497653179941*c_0101_5^9 - 532111973448307033/1592469491339233*c_0101_5^8 + 1685966679937869/1592469491339233*c_0101_5^7 + 192794061371987238/1592469491339233*c_0101_5^6 + 135025600061508103/1592469491339233*c_0101_5^5 + 38344280349290005/1592469491339233*c_0101_5^4 - 262815268888901/69237803971271*c_0101_5^3 - 11272693743350669/1592469491339233*c_0101_5^2 - 4691304392011344/1592469491339233*c_0101_5 + 446692036437891/1592469491339233, c_0101_5^22 + 20/3*c_0101_5^21 + 131/9*c_0101_5^20 - 29/9*c_0101_5^19 - 716/9*c_0101_5^18 - 172*c_0101_5^17 - 437/3*c_0101_5^16 + 70*c_0101_5^15 + 971/3*c_0101_5^14 + 3281/9*c_0101_5^13 + 1243/9*c_0101_5^12 - 434/3*c_0101_5^11 - 2282/9*c_0101_5^10 - 1513/9*c_0101_5^9 - 271/9*c_0101_5^8 + 391/9*c_0101_5^7 + 383/9*c_0101_5^6 + 143/9*c_0101_5^5 - 1/3*c_0101_5^4 - 29/9*c_0101_5^3 - 4/3*c_0101_5^2 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB