Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 1191631408] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3038 geometric_solution 6.20903869 oriented_manifold CS_known 0.0000000000000002 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 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.172699363619 0.354948137924 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 1 -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 1.718926587822 1.923087498187 1 4 5 6 0132 0132 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 -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.331400226011 0.587410875385 6 5 4 1 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 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.331400226011 0.587410875385 3 2 5 5 2310 0132 3012 1230 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 1 -1 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.168482765118 0.819989235313 4 4 3 2 3012 1230 2310 0132 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 0 -1 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.389072824982 0.950559328555 3 6 2 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.048001405133 0.846781243164 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_0'], '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_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_1'], '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_0101_0']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : d['c_0101_0'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 262754722673461172561/24822822884802533136*c_0101_4^14 - 3153030084184198074709/124114114424012665680*c_0101_4^13 - 118241065667690216783/5910195924952984080*c_0101_4^12 + 1210493651745182499407/12411411442401266568*c_0101_4^11 - 1369117591814875790059/24822822884802533136*c_0101_4^10 - 449603927514682626871/4432646943714738060*c_0101_4^9 + 535681546947037937353/1970065308317661360*c_0101_4^8 - 5281083563602414653329/62057057212006332840*c_0101_4^7 - 11355758652065405748983/24822822884802533136*c_0101_4^6 + 6910593275668155851893/41371371474670888560*c_0101_4^5 + 2191069493375546029879/3182413190359299120*c_0101_4^4 + 14686596251000373523619/20685685737335444280*c_0101_4^3 + 510271642617906967327/1551426430300158321*c_0101_4^2 + 2110605680786511863273/31028528606003166420*c_0101_4 + 2185222471111493311/5171421434333861070, c_0011_0 - 1, c_0011_1 + 747895186086411/5893357759924628*c_0101_4^14 - 1992128476552671/7366697199905785*c_0101_4^13 - 1072073102263219/4209541257089020*c_0101_4^12 + 2477151764945481/2946678879962314*c_0101_4^11 - 190242007826079/1473339439981157*c_0101_4^10 - 3969337833588849/4209541257089020*c_0101_4^9 + 2009311248918173/1052385314272255*c_0101_4^8 + 10567993391062847/29466788799623140*c_0101_4^7 - 12919325882161471/2946678879962314*c_0101_4^6 - 27931957256664553/14733394399811570*c_0101_4^5 + 248011614934974291/29466788799623140*c_0101_4^4 + 189033858655102537/14733394399811570*c_0101_4^3 + 51898672302452945/5893357759924628*c_0101_4^2 + 41885575680635581/14733394399811570*c_0101_4 - 4255041112902089/7366697199905785, c_0011_3 + 1692390523123355/5893357759924628*c_0101_4^14 - 1827998764447847/2946678879962314*c_0101_4^13 - 648733318858211/841908251417804*c_0101_4^12 + 7988888239462243/2946678879962314*c_0101_4^11 - 2637334774105113/2946678879962314*c_0101_4^10 - 3048687176570175/841908251417804*c_0101_4^9 + 3095589886575161/420954125708902*c_0101_4^8 - 2261584882756807/5893357759924628*c_0101_4^7 - 21320239969845486/1473339439981157*c_0101_4^6 + 4213265803209682/1473339439981157*c_0101_4^5 + 126076503857291203/5893357759924628*c_0101_4^4 + 64479351718399209/2946678879962314*c_0101_4^3 + 62608707395238015/5893357759924628*c_0101_4^2 + 6389376961848647/2946678879962314*c_0101_4 + 519683458919544/1473339439981157, c_0011_5 + 202270197494798/1473339439981157*c_0101_4^14 - 8267028696897023/29466788799623140*c_0101_4^13 - 1776388621724443/4209541257089020*c_0101_4^12 + 7632212708483889/5893357759924628*c_0101_4^11 - 724956035469063/2946678879962314*c_0101_4^10 - 7926390645196413/4209541257089020*c_0101_4^9 + 3480949090659546/1052385314272255*c_0101_4^8 + 10101267521252599/29466788799623140*c_0101_4^7 - 21018488560577443/2946678879962314*c_0101_4^6 + 8607922610137213/29466788799623140*c_0101_4^5 + 324310783590454347/29466788799623140*c_0101_4^4 + 374474725709006033/29466788799623140*c_0101_4^3 + 12496626532466679/2946678879962314*c_0101_4^2 - 1412104579695924/7366697199905785*c_0101_4 - 4982723633258703/7366697199905785, c_0101_0 - 489490485585733/5893357759924628*c_0101_4^14 + 2261505033936088/7366697199905785*c_0101_4^13 - 306963075949363/4209541257089020*c_0101_4^12 - 1549036060010445/1473339439981157*c_0101_4^11 + 4080993864018873/2946678879962314*c_0101_4^10 + 2615530314966437/4209541257089020*c_0101_4^9 - 3821388595415169/1052385314272255*c_0101_4^8 + 97227030855882469/29466788799623140*c_0101_4^7 + 11660111197340201/2946678879962314*c_0101_4^6 - 52809926099122018/7366697199905785*c_0101_4^5 - 139973344340358833/29466788799623140*c_0101_4^4 + 27058906103502027/7366697199905785*c_0101_4^3 + 30479125577338775/5893357759924628*c_0101_4^2 + 24105439889816886/7366697199905785*c_0101_4 + 5777099146383427/7366697199905785, c_0101_1 - 683533531766655/5893357759924628*c_0101_4^14 - 355956722047131/5893357759924628*c_0101_4^13 + 473492292968761/420954125708902*c_0101_4^12 - 4329315327410865/5893357759924628*c_0101_4^11 - 6945888659707495/2946678879962314*c_0101_4^10 + 1415546284823229/420954125708902*c_0101_4^9 - 215143929430405/420954125708902*c_0101_4^8 - 22122174767198795/2946678879962314*c_0101_4^7 + 27297968356341415/2946678879962314*c_0101_4^6 + 63839192326347217/5893357759924628*c_0101_4^5 - 41871987742015499/2946678879962314*c_0101_4^4 - 171210149225419217/5893357759924628*c_0101_4^3 - 127452461212752307/5893357759924628*c_0101_4^2 - 10737927175462901/1473339439981157*c_0101_4 + 35976883470292/1473339439981157, c_0101_4^15 - 9/5*c_0101_4^14 - 16/5*c_0101_4^13 + 39/5*c_0101_4^12 - 58/5*c_0101_4^10 + 98/5*c_0101_4^9 + 6*c_0101_4^8 - 226/5*c_0101_4^7 - 51/5*c_0101_4^6 + 344/5*c_0101_4^5 + 531/5*c_0101_4^4 + 403/5*c_0101_4^3 + 182/5*c_0101_4^2 + 48/5*c_0101_4 + 8/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB