Magma V2.19-8 Tue Aug 20 2013 23:29:41 on localhost [Seed = 256469342] Type ? for help. Type -D to quit. Loading file "K12n233__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n233 geometric_solution 7.68149062 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596386133429 0.889097362576 0 5 6 2 0132 0132 0132 3120 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 0 0 0 0 0 0 0 -9 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373220232982 0.324205035639 1 0 8 7 3120 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 0 1 0 0 0 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754746388041 1.099085403868 4 8 7 0 0213 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 8 0 -8 0 0 -9 0 9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.104283634522 0.667940139593 3 5 0 7 0213 3201 0132 2310 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 -1 1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479670683841 0.775711232601 7 1 4 8 3012 0132 2310 3012 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 -8 8 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.792701419908 0.548286983816 8 6 6 1 0321 3201 2310 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 -1 0 1 0 -1 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.062006800378 1.244068513229 4 3 2 5 3201 3201 0132 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.266345225440 0.831513785155 6 3 5 2 0321 0132 1230 0132 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 1 -1 0 0 -1 9 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.117137781668 0.805612031587 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_8' : negation(d['c_0011_4']), 's_2_8' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_8' : d['c_0110_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_0110_5'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : d['c_0110_5'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_6']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0011_0'], 'c_0110_6' : d['c_0011_3']})} 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_3, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_5, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 10613542135351893941/1015249262004702560*c_0110_5^16 - 5666895977840687/576846171593581*c_0110_5^15 + 10458536235290992261/92295387454972960*c_0110_5^14 - 76032659514384141697/1015249262004702560*c_0110_5^13 + 597420425734950627521/1015249262004702560*c_0110_5^12 - 135922419449311656617/1015249262004702560*c_0110_5^11 + 347826963011036886999/203049852400940512*c_0110_5^10 + 19343037452386968063/31726539437646955*c_0110_5^9 + 3344848889472619368891/1015249262004702560*c_0110_5^8 + 3548934370524531820193/1015249262004702560*c_0110_5^7 + 63933616941289886489/13907524137050720*c_0110_5^6 + 1436387936127620448437/203049852400940512*c_0110_5^5 + 1235790439956300963987/203049852400940512*c_0110_5^4 + 3565202162319231245211/507624631002351280*c_0110_5^3 + 1569429700642308082157/507624631002351280*c_0110_5^2 - 26839125628280390519/63453078875293910*c_0110_5 - 166726925628409578779/1015249262004702560, c_0011_0 - 1, c_0011_3 + 7532653430169/63216018804776*c_0110_5^16 - 838041230717/7902002350597*c_0110_5^15 + 80566653224875/63216018804776*c_0110_5^14 - 48972319916205/63216018804776*c_0110_5^13 + 413323968431949/63216018804776*c_0110_5^12 - 67121756202205/63216018804776*c_0110_5^11 + 1186278912613615/63216018804776*c_0110_5^10 + 66221738486188/7902002350597*c_0110_5^9 + 2261860584411951/63216018804776*c_0110_5^8 + 2674338708336725/63216018804776*c_0110_5^7 + 3160853193636797/63216018804776*c_0110_5^6 + 5223785737225517/63216018804776*c_0110_5^5 + 4263483239292995/63216018804776*c_0110_5^4 + 2536766338105919/31608009402388*c_0110_5^3 + 1052460477119597/31608009402388*c_0110_5^2 - 65130597819172/7902002350597*c_0110_5 - 107781726339631/63216018804776, c_0011_4 + 9620557945105/63216018804776*c_0110_5^16 - 1128353458899/7902002350597*c_0110_5^15 + 103521195382851/63216018804776*c_0110_5^14 - 67238939737885/63216018804776*c_0110_5^13 + 531385197078421/63216018804776*c_0110_5^12 - 105753891267829/63216018804776*c_0110_5^11 + 1514969013915223/63216018804776*c_0110_5^10 + 79920750601768/7902002350597*c_0110_5^9 + 2830504931165447/63216018804776*c_0110_5^8 + 3382795703536717/63216018804776*c_0110_5^7 + 3859110729819461/63216018804776*c_0110_5^6 + 6618137230801909/63216018804776*c_0110_5^5 + 5257410842905923/63216018804776*c_0110_5^4 + 3144955715987143/31608009402388*c_0110_5^3 + 1347856185818197/31608009402388*c_0110_5^2 - 78781574716008/7902002350597*c_0110_5 - 100325857284367/63216018804776, c_0011_6 + 395133785895/63216018804776*c_0110_5^16 - 1980794591085/31608009402388*c_0110_5^15 + 10469384299859/63216018804776*c_0110_5^14 - 46852346406915/63216018804776*c_0110_5^13 + 82792233805477/63216018804776*c_0110_5^12 - 257748144878771/63216018804776*c_0110_5^11 + 311458295640715/63216018804776*c_0110_5^10 - 193964876095685/15804004701194*c_0110_5^9 + 550536486080293/63216018804776*c_0110_5^8 - 1390609758976783/63216018804776*c_0110_5^7 + 174681305589231/63216018804776*c_0110_5^6 - 1441995874678339/63216018804776*c_0110_5^5 - 905885606300251/63216018804776*c_0110_5^4 - 280836242827501/15804004701194*c_0110_5^3 - 349728869064409/15804004701194*c_0110_5^2 - 30072806219743/31608009402388*c_0110_5 - 38728750487351/63216018804776, c_0011_7 - 7532653430169/63216018804776*c_0110_5^16 + 838041230717/7902002350597*c_0110_5^15 - 80566653224875/63216018804776*c_0110_5^14 + 48972319916205/63216018804776*c_0110_5^13 - 413323968431949/63216018804776*c_0110_5^12 + 67121756202205/63216018804776*c_0110_5^11 - 1186278912613615/63216018804776*c_0110_5^10 - 66221738486188/7902002350597*c_0110_5^9 - 2261860584411951/63216018804776*c_0110_5^8 - 2674338708336725/63216018804776*c_0110_5^7 - 3160853193636797/63216018804776*c_0110_5^6 - 5223785737225517/63216018804776*c_0110_5^5 - 4263483239292995/63216018804776*c_0110_5^4 - 2536766338105919/31608009402388*c_0110_5^3 - 1052460477119597/31608009402388*c_0110_5^2 + 65130597819172/7902002350597*c_0110_5 + 107781726339631/63216018804776, c_0101_0 + 12422463065807/126432037609552*c_0110_5^16 - 2482648988281/31608009402388*c_0110_5^15 + 132515880531441/126432037609552*c_0110_5^14 - 70400228964115/126432037609552*c_0110_5^13 + 684872759430167/126432037609552*c_0110_5^12 - 68575229879851/126432037609552*c_0110_5^11 + 2016587393213821/126432037609552*c_0110_5^10 + 120055254829727/15804004701194*c_0110_5^9 + 4058926960783161/126432037609552*c_0110_5^8 + 4540415361998783/126432037609552*c_0110_5^7 + 6138997187191515/126432037609552*c_0110_5^6 + 8910047307728367/126432037609552*c_0110_5^5 + 8493449036241981/126432037609552*c_0110_5^4 + 4588254720367899/63216018804776*c_0110_5^3 + 2378835287995029/63216018804776*c_0110_5^2 + 28466952704485/31608009402388*c_0110_5 - 177019587616525/126432037609552, c_0101_5 - 39390227123065/126432037609552*c_0110_5^16 + 6120663181521/15804004701194*c_0110_5^15 - 447888923453467/126432037609552*c_0110_5^14 + 429072420583749/126432037609552*c_0110_5^13 - 2420536101125437/126432037609552*c_0110_5^12 + 1342584688793901/126432037609552*c_0110_5^11 - 7269469457248135/126432037609552*c_0110_5^10 + 19802348835195/7902002350597*c_0110_5^9 - 13754604736164839/126432037609552*c_0110_5^8 - 8317757517635629/126432037609552*c_0110_5^7 - 17071297979479509/126432037609552*c_0110_5^6 - 21451937007551941/126432037609552*c_0110_5^5 - 18849254001012187/126432037609552*c_0110_5^4 - 11179123927304371/63216018804776*c_0110_5^3 - 3363951785336325/63216018804776*c_0110_5^2 + 210226584763365/15804004701194*c_0110_5 + 221599625409215/126432037609552, c_0101_6 - 1586013426945/126432037609552*c_0110_5^16 - 1380930463837/31608009402388*c_0110_5^15 - 6484869206383/126432037609552*c_0110_5^14 - 73581621502403/126432037609552*c_0110_5^13 + 15494357876439/126432037609552*c_0110_5^12 - 463300129706555/126432037609552*c_0110_5^11 + 146972583586509/126432037609552*c_0110_5^10 - 200954421805495/15804004701194*c_0110_5^9 + 74245950113353/126432037609552*c_0110_5^8 - 3402777897767361/126432037609552*c_0110_5^7 - 1301314605503477/126432037609552*c_0110_5^6 - 4344938458386481/126432037609552*c_0110_5^5 - 3963511684701475/126432037609552*c_0110_5^4 - 1996062332735173/63216018804776*c_0110_5^3 - 2045575326934683/63216018804776*c_0110_5^2 - 120273235977455/31608009402388*c_0110_5 + 137606184983203/126432037609552, c_0110_5^17 - c_0110_5^16 + 11*c_0110_5^15 - 8*c_0110_5^14 + 58*c_0110_5^13 - 18*c_0110_5^12 + 172*c_0110_5^11 + 41*c_0110_5^10 + 335*c_0110_5^9 + 302*c_0110_5^8 + 464*c_0110_5^7 + 648*c_0110_5^6 + 590*c_0110_5^5 + 667*c_0110_5^4 + 292*c_0110_5^3 - 18*c_0110_5^2 - 15*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB