Magma V2.19-8 Tue Aug 20 2013 17:55:30 on localhost [Seed = 1309669784] Type ? for help. Type -D to quit. Loading file "10_46__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_46 geometric_solution 7.71699981 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 0 1 0 2 2310 0132 3201 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 -1 1 1 0 0 -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.149886462537 0.781493945542 2 0 4 3 3201 0132 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 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.437892634329 0.548970872210 5 6 0 1 0132 0132 0132 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 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 0 0 0 0 0 0 -0.652415002156 2.152261818936 7 5 1 4 0132 1302 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.865875603462 0.517894663943 3 7 8 1 3120 0132 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689757736057 0.535044332331 2 8 8 3 0132 1230 1302 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 -15 14 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.084662243009 0.588068373832 8 2 7 7 1230 0132 2031 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 -1 0 1 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.010527284292 1.259608947501 3 4 6 6 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.492438515259 0.355607786835 5 6 5 4 2031 3012 3012 0132 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 -14 0 15 -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.773306408176 0.496818839228 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_1'], 'c_1001_8' : d['c_0011_2'], 's_2_8' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_8' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_1010_7' : negation(d['c_0101_6']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0101_6']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_2']), '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_2'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0011_3'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0011_8, c_0101_0, c_0101_3, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 77450585084164018681904577649/2876580635035051344456440*c_1001_1^16 - 60729955931570228831638255063/287658063503505134445644*c_1001_1^1\ 5 - 1034285352509931900089447473023/1438290317517525672228220*c_100\ 1_1^14 - 2107668771439458977455134760309/1438290317517525672228220*\ c_1001_1^13 - 6061834962658398148086227004493/287658063503505134445\ 6440*c_1001_1^12 - 6309335703075963273733856933241/2876580635035051\ 344456440*c_1001_1^11 - 1063520668779182849652764901697/71914515875\ 8762836114110*c_1001_1^10 - 276732806162267739734307871642/35957257\ 9379381418057055*c_1001_1^9 - 901412351892574202716983592733/143829\ 0317517525672228220*c_1001_1^8 - 163677990762487715273510975199/719\ 145158758762836114110*c_1001_1^7 + 18430535959997638087003452619/143829031751752567222822*c_1001_1^6 - 47200259436745872366802298057/2876580635035051344456440*c_1001_1^5 + 69447628899446123171520880781/2876580635035051344456440*c_1001_1^4 + 71288123702099570564647860889/1438290317517525672228220*c_1001_1^3 - 3936407735705516374475720021/575316127007010268891288*c_1001_1^2 + 7778268124777922812158300757/2876580635035051344456440*c_1001_1 + 401088146059878384417133219/2876580635035051344456440, c_0011_0 - 1, c_0011_2 - 322004451663095171696787/20257610105880643270820*c_1001_1^16 - 133979060288183851874305/1012880505294032163541*c_1001_1^15 - 2446668954346360163986477/5064402526470160817705*c_1001_1^14 - 1071592610731998004946918/1012880505294032163541*c_1001_1^13 - 32785319428810968241730973/20257610105880643270820*c_1001_1^12 - 36461757543180124213513137/20257610105880643270820*c_1001_1^11 - 6819316470742948366045494/5064402526470160817705*c_1001_1^10 - 3517998655195749122126459/5064402526470160817705*c_1001_1^9 - 2197928689099739068851251/5064402526470160817705*c_1001_1^8 - 1060548217848510498700408/5064402526470160817705*c_1001_1^7 + 402387079621945530986828/5064402526470160817705*c_1001_1^6 + 1085676311731851694825779/20257610105880643270820*c_1001_1^5 + 30084478709791223540905/4051522021176128654164*c_1001_1^4 + 189997969344842490531717/5064402526470160817705*c_1001_1^3 + 125198831594761140463211/20257610105880643270820*c_1001_1^2 - 107648780780172920351019/20257610105880643270820*c_1001_1 + 3621162560585146579607/4051522021176128654164, c_0011_3 + 203908297189073904507307/20257610105880643270820*c_1001_1^16 + 858243940246549135951611/10128805052940321635410*c_1001_1^15 + 1595390229662084931331057/5064402526470160817705*c_1001_1^14 + 7157052571266346708007167/10128805052940321635410*c_1001_1^13 + 22519246573644746764123247/20257610105880643270820*c_1001_1^12 + 25971840339999133302604729/20257610105880643270820*c_1001_1^11 + 2080642917431535366800577/2025761010588064327082*c_1001_1^10 + 600778393629303144364499/1012880505294032163541*c_1001_1^9 + 1889261527505396858273834/5064402526470160817705*c_1001_1^8 + 405409231460239094685253/2025761010588064327082*c_1001_1^7 - 134624082735110475592291/10128805052940321635410*c_1001_1^6 - 772839156141139145224901/20257610105880643270820*c_1001_1^5 - 176149025339230973576861/20257610105880643270820*c_1001_1^4 - 127908499978991363493673/5064402526470160817705*c_1001_1^3 - 46097465774632979690877/4051522021176128654164*c_1001_1^2 + 39410185938875032675893/20257610105880643270820*c_1001_1 - 7513807284851626396389/20257610105880643270820, c_0011_8 + 27215381140182372261481/20257610105880643270820*c_1001_1^16 + 58512446299126674895194/5064402526470160817705*c_1001_1^15 + 449591794757766799048121/10128805052940321635410*c_1001_1^14 + 105359162349864629166921/1012880505294032163541*c_1001_1^13 + 3494103803323906085408907/20257610105880643270820*c_1001_1^12 + 4333402818649454743386387/20257610105880643270820*c_1001_1^11 + 1983445216679726129451503/10128805052940321635410*c_1001_1^10 + 708784694665413508801654/5064402526470160817705*c_1001_1^9 + 497927469682871616193234/5064402526470160817705*c_1001_1^8 + 305913862544548624192962/5064402526470160817705*c_1001_1^7 + 123422560943009188935761/10128805052940321635410*c_1001_1^6 - 149093696022084360253159/20257610105880643270820*c_1001_1^5 - 53433631654612522128267/20257610105880643270820*c_1001_1^4 - 27127608604956330049152/5064402526470160817705*c_1001_1^3 - 92510214495454646270121/20257610105880643270820*c_1001_1^2 - 4771983983483783234885/4051522021176128654164*c_1001_1 - 290805325924983918571/4051522021176128654164, c_0101_0 + 999226346211890941/151320174837107272*c_1001_1^16 + 19207827022381805953/378300437092768180*c_1001_1^15 + 63597910855774166059/378300437092768180*c_1001_1^14 + 24873527356975507175/75660087418553636*c_1001_1^13 + 336759893302839516813/756600874185536360*c_1001_1^12 + 313521480679692600641/756600874185536360*c_1001_1^11 + 38086214953798088837/189150218546384090*c_1001_1^10 + 3087361185777346696/94575109273192045*c_1001_1^9 + 13205099701776405817/378300437092768180*c_1001_1^8 - 1808013164667893116/94575109273192045*c_1001_1^7 - 5943553970520721554/94575109273192045*c_1001_1^6 - 7498365332006073507/756600874185536360*c_1001_1^5 - 11637847216500668377/756600874185536360*c_1001_1^4 - 2858167246852679227/378300437092768180*c_1001_1^3 + 2995054946145158817/756600874185536360*c_1001_1^2 - 1249174101243265477/756600874185536360*c_1001_1 + 172686975213878961/151320174837107272, c_0101_3 - 604228916039380605241017/40515220211761286541640*c_1001_1^16 - 2525685797343606229788233/20257610105880643270820*c_1001_1^15 - 1835594277516987073436007/4051522021176128654164*c_1001_1^14 - 19727682465620505203371281/20257610105880643270820*c_1001_1^13 - 58448105409776553278661021/40515220211761286541640*c_1001_1^12 - 12417223795751841812475425/8103044042352257308328*c_1001_1^11 - 5293446192218597782693371/5064402526470160817705*c_1001_1^10 - 4530930081390912110340699/10128805052940321635410*c_1001_1^9 - 1275026656990465868818519/4051522021176128654164*c_1001_1^8 - 181671177458225099956441/1012880505294032163541*c_1001_1^7 + 1092282522011522146843909/10128805052940321635410*c_1001_1^6 + 2320462104117782128908979/40515220211761286541640*c_1001_1^5 - 118829420249007333539855/8103044042352257308328*c_1001_1^4 + 126397531938320025023331/4051522021176128654164*c_1001_1^3 + 49611475623264837749887/8103044042352257308328*c_1001_1^2 - 50883529533266914764987/8103044042352257308328*c_1001_1 + 43108482852793584321023/40515220211761286541640, c_0101_4 - 37222416740610502441419/8103044042352257308328*c_1001_1^16 - 709942322336142827788677/20257610105880643270820*c_1001_1^15 - 2394240055422000883051561/20257610105880643270820*c_1001_1^14 - 4983871289596333332286581/20257610105880643270820*c_1001_1^13 - 3032077579709349136155871/8103044042352257308328*c_1001_1^12 - 17259975621435720132775227/40515220211761286541640*c_1001_1^11 - 3538712718272472922264519/10128805052940321635410*c_1001_1^10 - 1266153948326341958605716/5064402526470160817705*c_1001_1^9 - 3798292336619334606110319/20257610105880643270820*c_1001_1^8 - 843654030696796450183809/10128805052940321635410*c_1001_1^7 - 217166909312137249370717/10128805052940321635410*c_1001_1^6 - 800443797683151238163587/40515220211761286541640*c_1001_1^5 + 175279416486815001406647/40515220211761286541640*c_1001_1^4 + 150703697886849901550417/20257610105880643270820*c_1001_1^3 - 829318803614786473251/40515220211761286541640*c_1001_1^2 + 52032911601637757822223/40515220211761286541640*c_1001_1 + 8200250287686566300541/40515220211761286541640, c_0101_6 - 66603143493398950585571/8103044042352257308328*c_1001_1^16 - 1397739061198541590573549/20257610105880643270820*c_1001_1^15 - 1049074494845625912750007/4051522021176128654164*c_1001_1^14 - 12052960442756794600714109/20257610105880643270820*c_1001_1^13 - 39305455748082171885340439/40515220211761286541640*c_1001_1^12 - 47472831658442557929669971/40515220211761286541640*c_1001_1^11 - 1029258359964142092990094/1012880505294032163541*c_1001_1^10 - 6720151865420814966914903/10128805052940321635410*c_1001_1^9 - 1695026990085261971371737/4051522021176128654164*c_1001_1^8 - 463914926307243336605051/2025761010588064327082*c_1001_1^7 - 478053657348970059801129/10128805052940321635410*c_1001_1^6 + 413967783654273677540613/40515220211761286541640*c_1001_1^5 + 342009596927206203997403/40515220211761286541640*c_1001_1^4 + 327995461695331537312077/20257610105880643270820*c_1001_1^3 + 318777256001086272640953/40515220211761286541640*c_1001_1^2 + 9945874333976081889519/40515220211761286541640*c_1001_1 + 14290543452535212891577/40515220211761286541640, c_1001_1^17 + 607/73*c_1001_1^16 + 2208/73*c_1001_1^15 + 4796/73*c_1001_1^14 + 7255/73*c_1001_1^13 + 7966/73*c_1001_1^12 + 5849/73*c_1001_1^11 + 2984/73*c_1001_1^10 + 2034/73*c_1001_1^9 + 1094/73*c_1001_1^8 - 332/73*c_1001_1^7 - 211/73*c_1001_1^6 + 24/73*c_1001_1^5 - 175/73*c_1001_1^4 - 33/73*c_1001_1^3 + 24/73*c_1001_1^2 - 8/73*c_1001_1 + 1/73 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB