Magma V2.19-8 Tue Aug 20 2013 16:14:33 on localhost [Seed = 3583265240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s540 geometric_solution 4.95907411 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 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.445327657733 0.441139310261 0 3 2 4 0132 0132 1230 0132 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 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.866621800706 1.122718673361 3 0 4 1 3201 0132 2310 3012 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 -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.866621800706 1.122718673361 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -0.234989604697 0.858991918290 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 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.728144085372 0.552930086918 4 5 5 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 0 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.633579000210 0.522001659540 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 4302845442012267659783227726143/124188611044017066735350401558*c_01\ 01_5^17 + 11109337501191056248607468294808/620943055220085333676752\ 00779*c_0101_5^16 - 18333039311106625786395741506465/62094305522008\ 533367675200779*c_0101_5^15 - 5817005695016624449803756292676/62094\ 305522008533367675200779*c_0101_5^14 + 72620493695093931549761975059958/62094305522008533367675200779*c_01\ 01_5^13 - 280478084391558199878053150508551/62094305522008533367675\ 200779*c_0101_5^12 + 77544370237754644649483757845907/1241886110440\ 17066735350401558*c_0101_5^11 + 42621673032674538248584912348978/62\ 094305522008533367675200779*c_0101_5^10 - 407199543736421555178477273081010/62094305522008533367675200779*c_0\ 101_5^9 + 130910755023460004426488488282150/62094305522008533367675\ 200779*c_0101_5^8 - 131529217058585870338282013813737/1241886110440\ 17066735350401558*c_0101_5^7 - 45619887382282871896540295469360/620\ 94305522008533367675200779*c_0101_5^6 - 80187229453244674916368257421919/124188611044017066735350401558*c_0\ 101_5^5 + 67465367383095150288163807676739/124188611044017066735350\ 401558*c_0101_5^4 + 7255362496249670520347148896932/620943055220085\ 33367675200779*c_0101_5^3 - 6418623754904558756009173303428/6209430\ 5522008533367675200779*c_0101_5^2 - 1695566947796003257177601291147/62094305522008533367675200779*c_010\ 1_5 + 1422990763805885385896750352583/12418861104401706673535040155\ 8, c_0011_0 - 1, c_0011_4 + 196189822695031699976674872642/62094305522008533367675200779\ *c_0101_5^17 + 887749030782288822557971931277/620943055220085333676\ 75200779*c_0101_5^16 - 2332460486529053501130496336997/620943055220\ 08533367675200779*c_0101_5^15 + 471080686030191603874625701223/6209\ 4305522008533367675200779*c_0101_5^14 + 7093518237119440287712618040439/62094305522008533367675200779*c_010\ 1_5^13 - 29806793229917667927143976408587/6209430552200853336767520\ 0779*c_0101_5^12 + 19429507113246934506915107012705/620943055220085\ 33367675200779*c_0101_5^11 + 3508937386475678665657206695416/620943\ 05522008533367675200779*c_0101_5^10 - 40390559051898785280093729246315/62094305522008533367675200779*c_01\ 01_5^9 + 35704985635922182310297458727945/6209430552200853336767520\ 0779*c_0101_5^8 - 11207259493054894478688274549283/6209430552200853\ 3367675200779*c_0101_5^7 - 1988849624797927426406655594797/62094305\ 522008533367675200779*c_0101_5^6 + 233446512537067694018163154/62094305522008533367675200779*c_0101_5^\ 5 + 5170178511390004538939726239240/62094305522008533367675200779*c\ _0101_5^4 - 1210048714773939318616452163679/62094305522008533367675\ 200779*c_0101_5^3 - 1188167407117591725202130707763/620943055220085\ 33367675200779*c_0101_5^2 + 187054567010203265571303534813/62094305\ 522008533367675200779*c_0101_5 + 124937175775955644983842833064/620\ 94305522008533367675200779, c_0101_0 - 192660453555893393313661936776/62094305522008533367675200779\ *c_0101_5^17 - 870857119683738218840413836411/620943055220085333676\ 75200779*c_0101_5^16 + 2288467236725511322535448250137/620943055220\ 08533367675200779*c_0101_5^15 - 506454375198937962280240930387/6209\ 4305522008533367675200779*c_0101_5^14 - 6917628256263484510349314175591/62094305522008533367675200779*c_010\ 1_5^13 + 29316412808507268953251819397300/6209430552200853336767520\ 0779*c_0101_5^12 - 19402473693760634961219536736302/620943055220085\ 33367675200779*c_0101_5^11 - 2571902160998649998565952387092/620943\ 05522008533367675200779*c_0101_5^10 + 39595797308165800013870753127652/62094305522008533367675200779*c_01\ 01_5^9 - 35054796792680862571254927289840/6209430552200853336767520\ 0779*c_0101_5^8 + 12197650449104230614652042181732/6209430552200853\ 3367675200779*c_0101_5^7 + 1592361711468214090526507001263/62094305\ 522008533367675200779*c_0101_5^6 + 588840562921280733851431300564/62094305522008533367675200779*c_0101\ _5^5 - 5270043704189987684413884298346/6209430552200853336767520077\ 9*c_0101_5^4 + 1401420498712436995417940713565/62094305522008533367\ 675200779*c_0101_5^3 + 1138049883784477312080293437701/620943055220\ 08533367675200779*c_0101_5^2 - 204368600393625425247227233653/62094\ 305522008533367675200779*c_0101_5 - 118451489618297733451195406464/62094305522008533367675200779, c_0101_1 + 787775653597984698807603169695/62094305522008533367675200779\ *c_0101_5^17 + 3903014641136975042613989311326/62094305522008533367\ 675200779*c_0101_5^16 - 7614069966247063994108334607607/62094305522\ 008533367675200779*c_0101_5^15 - 987581830082983815833485997059/620\ 94305522008533367675200779*c_0101_5^14 + 27429975582485997702141612753312/62094305522008533367675200779*c_01\ 01_5^13 - 108157048816848987268025928870686/62094305522008533367675\ 200779*c_0101_5^12 + 34101317829016119744013899280193/6209430552200\ 8533367675200779*c_0101_5^11 + 19075768546396560406371271242846/620\ 94305522008533367675200779*c_0101_5^10 - 153143082827327552001283162682773/62094305522008533367675200779*c_0\ 101_5^9 + 79503922926877128745613135544192/620943055220085333676752\ 00779*c_0101_5^8 - 24592961913371714282208560639253/620943055220085\ 33367675200779*c_0101_5^7 - 14518027039849527231047190965173/620943\ 05522008533367675200779*c_0101_5^6 - 7724948606243947616399994830961/62094305522008533367675200779*c_010\ 1_5^5 + 16409645926189283506823453926763/62094305522008533367675200\ 779*c_0101_5^4 + 899865620199935366345746633908/6209430552200853336\ 7675200779*c_0101_5^3 - 3148559649373740430652936028777/62094305522\ 008533367675200779*c_0101_5^2 - 97754695834652934872433351257/62094\ 305522008533367675200779*c_0101_5 + 273918526947128240223090143899/62094305522008533367675200779, c_0101_2 + 45910942380538785868320285786/62094305522008533367675200779*\ c_0101_5^17 + 221013517933372843485729461178/6209430552200853336767\ 5200779*c_0101_5^16 - 467612405060510418361098264129/62094305522008\ 533367675200779*c_0101_5^15 + 50141545870486586313453847375/6209430\ 5522008533367675200779*c_0101_5^14 + 1555463046135106927202811043468/62094305522008533367675200779*c_010\ 1_5^13 - 6582559724816138446021019594208/62094305522008533367675200\ 779*c_0101_5^12 + 3146280403143940628948679242717/62094305522008533\ 367675200779*c_0101_5^11 - 120625729004251138718627394562/620943055\ 22008533367675200779*c_0101_5^10 - 9419314175011359693515382888878/62094305522008533367675200779*c_010\ 1_5^9 + 6253643861880369139067408418614/620943055220085333676752007\ 79*c_0101_5^8 - 3749696061004965989343439284411/6209430552200853336\ 7675200779*c_0101_5^7 - 634575185231319831403370582874/620943055220\ 08533367675200779*c_0101_5^6 - 69474502810566575846705338684/620943\ 05522008533367675200779*c_0101_5^5 + 503655606883025220229981543375/62094305522008533367675200779*c_0101\ _5^4 + 50411576418522996609206576180/62094305522008533367675200779*\ c_0101_5^3 - 101775254827835856390185579497/62094305522008533367675\ 200779*c_0101_5^2 + 126474341135755653235652693177/6209430552200853\ 3367675200779*c_0101_5 + 2930242066288678375236574108/6209430552200\ 8533367675200779, c_0101_5^18 + 14/3*c_0101_5^17 - 100/9*c_0101_5^16 + 13/9*c_0101_5^15 + 319/9*c_0101_5^14 - 1327/9*c_0101_5^13 + 739/9*c_0101_5^12 + 15*c_0101_5^11 - 613/3*c_0101_5^10 + 472/3*c_0101_5^9 - 506/9*c_0101_5^8 - 128/9*c_0101_5^7 - 2*c_0101_5^6 + 208/9*c_0101_5^5 - 14/3*c_0101_5^4 - 44/9*c_0101_5^3 + 11/9*c_0101_5^2 + 4/9*c_0101_5 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB