Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 4054871197] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3117 geometric_solution 6.27327846 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.779774188364 0.821425155631 0 3 5 5 0132 2031 3201 0132 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 -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.705819930229 0.508411516185 2 0 2 3 2310 0132 3201 1302 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 -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.409444542788 0.853541058727 1 6 2 0 1302 0132 2031 0132 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 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.392125001954 0.640344117983 6 6 0 5 0321 2310 0132 2031 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 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.935689968503 0.748917558835 1 4 1 6 2310 1302 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 -1 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.527355130433 0.417252809223 4 3 5 4 0321 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113820387283 1.325486624794 ==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_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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_1001_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_0011_4, c_0101_0, c_0101_1, c_0101_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 449062107342442018579/12149198062154668650*c_1001_0^17 - 1708565340303591245989/24298396124309337300*c_1001_0^16 - 4156507329690064262153/24298396124309337300*c_1001_0^15 - 219212898029700528407/1214919806215466865*c_1001_0^14 - 3603724399780417500314/6074599031077334325*c_1001_0^13 + 2097021429565866560171/12149198062154668650*c_1001_0^12 + 640870710032092789325/971935844972373492*c_1001_0^11 + 16028212606738793476369/24298396124309337300*c_1001_0^10 + 1089661615196690814361/485967922486186746*c_1001_0^9 + 1953820903194010794379/2024866343692444775*c_1001_0^8 + 11753237740254944820439/12149198062154668650*c_1001_0^7 + 11866206522385920831217/12149198062154668650*c_1001_0^6 - 3169534048462554400747/6074599031077334325*c_1001_0^5 + 7788950107950299910133/12149198062154668650*c_1001_0^4 - 5180222660718139485319/24298396124309337300*c_1001_0^3 + 133314400855816277416/1214919806215466865*c_1001_0^2 + 1255966334341236511133/24298396124309337300*c_1001_0 - 576772468877039759061/8099465374769779100, c_0011_0 - 1, c_0011_3 + 50719478039337333611/4859679224861867460*c_1001_0^17 - 46008526764594649859/2429839612430933730*c_1001_0^16 - 303670978688816336801/4859679224861867460*c_1001_0^15 - 9072478076773684415/242983961243093373*c_1001_0^14 - 110188255320895167788/1214919806215466865*c_1001_0^13 + 527486996757272974489/4859679224861867460*c_1001_0^12 + 158919335696652556823/485967922486186746*c_1001_0^11 + 619254084760990612543/4859679224861867460*c_1001_0^10 + 111978817544169275531/485967922486186746*c_1001_0^9 + 17087570939818414511/809946537476977910*c_1001_0^8 - 114112327596058920586/1214919806215466865*c_1001_0^7 + 277533615569747390419/2429839612430933730*c_1001_0^6 - 90261845701775084734/1214919806215466865*c_1001_0^5 + 239831763983980411367/4859679224861867460*c_1001_0^4 - 57952696594246044553/4859679224861867460*c_1001_0^3 - 15799147435341185789/971935844972373492*c_1001_0^2 + 16007998554670084693/2429839612430933730*c_1001_0 - 2364109886366375797/1619893074953955820, c_0011_4 - 40195084198786978703/4859679224861867460*c_1001_0^17 + 17182560495554837816/1214919806215466865*c_1001_0^16 + 81413021925773076301/1619893074953955820*c_1001_0^15 + 2958255011321800919/80994653747697791*c_1001_0^14 + 32220675038346827418/404973268738488955*c_1001_0^13 - 376549116051093279737/4859679224861867460*c_1001_0^12 - 21265672934880513152/80994653747697791*c_1001_0^11 - 223644192393514839783/1619893074953955820*c_1001_0^10 - 35010228136274333661/161989307495395582*c_1001_0^9 - 86502239784157278829/2429839612430933730*c_1001_0^8 + 74841014986699030618/1214919806215466865*c_1001_0^7 - 204080952593685862367/2429839612430933730*c_1001_0^6 + 66798438159526312382/1214919806215466865*c_1001_0^5 - 216351954495537036451/4859679224861867460*c_1001_0^4 + 41791493143818302939/4859679224861867460*c_1001_0^3 + 10029228615192402829/971935844972373492*c_1001_0^2 - 4355710086131499502/1214919806215466865*c_1001_0 + 6136313200732199173/4859679224861867460, c_0101_0 - 5774098914283670212/1214919806215466865*c_1001_0^17 + 23519425606258412347/2429839612430933730*c_1001_0^16 + 65226939579740942699/2429839612430933730*c_1001_0^15 + 2504086201291044772/242983961243093373*c_1001_0^14 + 43434584251662892069/1214919806215466865*c_1001_0^13 - 75034506198144650348/1214919806215466865*c_1001_0^12 - 69687230963240210299/485967922486186746*c_1001_0^11 - 57111893590028276647/2429839612430933730*c_1001_0^10 - 20020373928543340133/242983961243093373*c_1001_0^9 + 11655556619467769066/404973268738488955*c_1001_0^8 + 78411846071254488608/1214919806215466865*c_1001_0^7 - 71369904170774002126/1214919806215466865*c_1001_0^6 + 54023253961575376787/1214919806215466865*c_1001_0^5 - 34101366899101216339/1214919806215466865*c_1001_0^4 + 19051599714864169597/2429839612430933730*c_1001_0^3 + 2663088405207708088/242983961243093373*c_1001_0^2 - 12446006979955459199/2429839612430933730*c_1001_0 + 416164675412227773/809946537476977910, c_0101_1 - 50719478039337333611/4859679224861867460*c_1001_0^17 + 46008526764594649859/2429839612430933730*c_1001_0^16 + 303670978688816336801/4859679224861867460*c_1001_0^15 + 9072478076773684415/242983961243093373*c_1001_0^14 + 110188255320895167788/1214919806215466865*c_1001_0^13 - 527486996757272974489/4859679224861867460*c_1001_0^12 - 158919335696652556823/485967922486186746*c_1001_0^11 - 619254084760990612543/4859679224861867460*c_1001_0^10 - 111978817544169275531/485967922486186746*c_1001_0^9 - 17087570939818414511/809946537476977910*c_1001_0^8 + 114112327596058920586/1214919806215466865*c_1001_0^7 - 277533615569747390419/2429839612430933730*c_1001_0^6 + 90261845701775084734/1214919806215466865*c_1001_0^5 - 239831763983980411367/4859679224861867460*c_1001_0^4 + 57952696594246044553/4859679224861867460*c_1001_0^3 + 15799147435341185789/971935844972373492*c_1001_0^2 - 16007998554670084693/2429839612430933730*c_1001_0 + 2364109886366375797/1619893074953955820, c_0101_2 - 27202818547075699/2273002443808170*c_1001_0^17 + 43413121134609139/4546004887616340*c_1001_0^16 + 412419325317812003/4546004887616340*c_1001_0^15 + 27494204235862901/227300244380817*c_1001_0^14 + 188712638442620354/1136501221904085*c_1001_0^13 - 17238288640323251/2273002443808170*c_1001_0^12 - 434646304573032535/909200977523268*c_1001_0^11 - 2551784627528831839/4546004887616340*c_1001_0^10 - 232608488210783471/454600488761634*c_1001_0^9 - 125332166857153124/378833740634695*c_1001_0^8 + 74529814163163611/2273002443808170*c_1001_0^7 - 26749633414461127/2273002443808170*c_1001_0^6 - 14701523010869183/1136501221904085*c_1001_0^5 - 3670954427296453/2273002443808170*c_1001_0^4 - 132250791705335231/4546004887616340*c_1001_0^3 + 3928086127137770/227300244380817*c_1001_0^2 + 66981345093439717/4546004887616340*c_1001_0 - 512459718414349/1515334962538780, c_1001_0^18 - 14/11*c_1001_0^17 - 68/11*c_1001_0^16 - 89/11*c_1001_0^15 - 172/11*c_1001_0^14 + 21/11*c_1001_0^13 + 326/11*c_1001_0^12 + 398/11*c_1001_0^11 + 607/11*c_1001_0^10 + 316/11*c_1001_0^9 + 120/11*c_1001_0^8 + 112/11*c_1001_0^7 - 94/11*c_1001_0^6 + 83/11*c_1001_0^5 - 25/11*c_1001_0^4 + 8/11*c_1001_0^3 - 4/11*c_1001_0^2 - 12/11*c_1001_0 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB