Magma V2.19-8 Tue Aug 20 2013 23:47:38 on localhost [Seed = 2665018573] Type ? for help. Type -D to quit. Loading file "L11a362__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a362 geometric_solution 11.21550402 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.196870656823 0.797287630772 0 5 6 2 0132 0132 0132 1023 1 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 0 0 0 0 0 0 0 3 -3 0 0 0 -1 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194452724785 0.733788773663 5 0 4 1 0132 0132 2103 1023 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 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.311935208862 1.154967189066 7 7 8 0 0132 1230 0132 0132 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 0 0 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.898162877627 1.314156076986 2 7 0 9 2103 2310 0132 0132 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 -1 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.618499999546 0.907383558746 2 1 10 11 0132 0132 0132 0132 1 1 1 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 -3 3 0 0 0 -4 4 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.327596753459 1.300171024546 10 10 9 1 1302 3012 1302 0132 1 1 1 0 0 -1 0 1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 -1 0 0 1 -3 4 0 -1 4 -3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327596753459 1.300171024546 3 8 3 4 0132 2103 3012 3201 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 -1 0 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.645513713939 0.518670186265 9 7 9 3 1302 2103 0132 0132 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 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252649163687 0.795485890721 6 8 4 8 2031 2031 0132 0132 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 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 0 0 0 0 0.252649163687 0.795485890721 6 6 11 5 1230 2031 3201 0132 1 1 0 1 0 1 0 -1 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 -4 0 0 4 3 -4 0 1 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327596753459 1.300171024546 10 11 5 11 2310 1302 0132 2031 1 1 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 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.099512654010 0.816156546170 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : 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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_9']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : 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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], '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' : negation(d['c_0011_3']), '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_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 63404197230821920362804139/6061797553855775190477228*c_1100_0^16 + 773824159244262580477454447/10102995923092958650795380*c_1100_0^15 - 8108873639750138946144097307/30308987769278875952386140*c_1100_0^14 + 30684727940031568534941780563/30308987769278875952386140*c_1100_0\ ^13 - 25465930492391314134979251109/7577246942319718988096535*c_110\ 0_0^12 + 261186368840930306692050392873/30308987769278875952386140*\ c_1100_0^11 - 62907421250207725667520643843/33676653076976528835984\ 60*c_1100_0^10 + 341984791655072507744175201029/1010299592309295865\ 0795380*c_1100_0^9 - 522455831719928288806648179073/101029959230929\ 58650795380*c_1100_0^8 + 2019489089307451202815889235583/3030898776\ 9278875952386140*c_1100_0^7 - 544431486264835752566128738934/757724\ 6942319718988096535*c_1100_0^6 + 470449275646749003519856864082/757\ 7246942319718988096535*c_1100_0^5 - 20496274275956638959233721521/505149796154647932539769*c_1100_0^4 + 551844183825971271955425220819/30308987769278875952386140*c_1100_0^\ 3 - 145678645645994347317802551961/30308987769278875952386140*c_110\ 0_0^2 + 6735498801329972847946016843/15154493884639437976193070*c_1\ 100_0 - 438485301379776604748656157/10102995923092958650795380, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 28615862874354493485615/32073002930453836986652*c_1100_0^16 - 104799586112607092892047/32073002930453836986652*c_1100_0^15 + 389388558207401685050847/32073002930453836986652*c_1100_0^14 - 1503612769554865648622353/32073002930453836986652*c_1100_0^13 + 1066389054644416887136599/8018250732613459246663*c_1100_0^12 - 10187827031349446721055817/32073002930453836986652*c_1100_0^11 + 20208441245973649429267065/32073002930453836986652*c_1100_0^10 - 33817111811403648133232279/32073002930453836986652*c_1100_0^9 + 47832852410779563055731161/32073002930453836986652*c_1100_0^8 - 57370194046078819109246143/32073002930453836986652*c_1100_0^7 + 28433258071124114899727827/16036501465226918493326*c_1100_0^6 - 22488836209119922370729181/16036501465226918493326*c_1100_0^5 + 13544075695701415658806345/16036501465226918493326*c_1100_0^4 - 11914150323955308704573673/32073002930453836986652*c_1100_0^3 + 3554340197806105474033657/32073002930453836986652*c_1100_0^2 - 169460207601911345841625/8018250732613459246663*c_1100_0 + 50213105438369204309521/32073002930453836986652, c_0011_3 - 11403188191841733022850/24054752197840377739989*c_1100_0^16 + 16761789932727860942615/8018250732613459246663*c_1100_0^15 - 187813304435801024735807/24054752197840377739989*c_1100_0^14 + 1436310145198066504837597/48109504395680755479978*c_1100_0^13 - 4314132620486958654690221/48109504395680755479978*c_1100_0^12 + 10745575816582400756020135/48109504395680755479978*c_1100_0^11 - 3723288620051710384188120/8018250732613459246663*c_1100_0^10 + 13081670898027193583493059/16036501465226918493326*c_1100_0^9 - 9753033492836919023103404/8018250732613459246663*c_1100_0^8 + 74081259642746106654617027/48109504395680755479978*c_1100_0^7 - 39287374836879382154794679/24054752197840377739989*c_1100_0^6 + 67593603908877605018556307/48109504395680755479978*c_1100_0^5 - 7519574304453317551047482/8018250732613459246663*c_1100_0^4 + 10885256840907718640042662/24054752197840377739989*c_1100_0^3 - 6841725808800354965239373/48109504395680755479978*c_1100_0^2 + 545687489322069019626982/24054752197840377739989*c_1100_0 - 16507109191709080033851/16036501465226918493326, c_0011_4 + 618982967192335606645/96219008791361510959956*c_1100_0^16 + 7356710923712349946073/32073002930453836986652*c_1100_0^15 - 74399758458806809202279/96219008791361510959956*c_1100_0^14 + 286358758718439838687037/96219008791361510959956*c_1100_0^13 - 280929640962910486862275/24054752197840377739989*c_1100_0^12 + 3177785541846424277618873/96219008791361510959956*c_1100_0^11 - 2558687036128620463503751/32073002930453836986652*c_1100_0^10 + 5042090364416445761033489/32073002930453836986652*c_1100_0^9 - 8445734209242634230349551/32073002930453836986652*c_1100_0^8 + 35531656137002614377577819/96219008791361510959956*c_1100_0^7 - 21133365898045118993812573/48109504395680755479978*c_1100_0^6 + 20551109916688444781845723/48109504395680755479978*c_1100_0^5 - 5256867831668974584109477/16036501465226918493326*c_1100_0^4 + 17706614226126613860023629/96219008791361510959956*c_1100_0^3 - 6673813849842275541317929/96219008791361510959956*c_1100_0^2 + 318944523616654147513975/24054752197840377739989*c_1100_0 - 8579107220460412089783/32073002930453836986652, c_0011_6 + 7699546105251398406485/24054752197840377739989*c_1100_0^16 - 15306304703132316837197/16036501465226918493326*c_1100_0^15 + 169466233640281217130631/48109504395680755479978*c_1100_0^14 - 659448505738289190806329/48109504395680755479978*c_1100_0^13 + 862488721625389351403017/24054752197840377739989*c_1100_0^12 - 3837420643581299619018607/48109504395680755479978*c_1100_0^11 + 1152256068770315952714658/8018250732613459246663*c_1100_0^10 - 3444198526548384551648497/16036501465226918493326*c_1100_0^9 + 2090043490325443073757726/8018250732613459246663*c_1100_0^8 - 12283990251724053270843407/48109504395680755479978*c_1100_0^7 + 4274282169764751029651504/24054752197840377739989*c_1100_0^6 - 1401122577666711238664801/24054752197840377739989*c_1100_0^5 - 544004443085211707884177/16036501465226918493326*c_1100_0^4 + 1132994670896136603409571/24054752197840377739989*c_1100_0^3 - 904847348215011969019789/48109504395680755479978*c_1100_0^2 - 39036013305148834658932/24054752197840377739989*c_1100_0 + 6307251713533756374290/8018250732613459246663, c_0101_0 + 40725185271596246629865/96219008791361510959956*c_1100_0^16 - 49749717856367572041769/32073002930453836986652*c_1100_0^15 + 570272062575773656516355/96219008791361510959956*c_1100_0^14 - 2173909509727339974349601/96219008791361510959956*c_1100_0^13 + 1554630881010353837597164/24054752197840377739989*c_1100_0^12 - 15065351000396364520339841/96219008791361510959956*c_1100_0^11 + 10022718003779321253952741/32073002930453836986652*c_1100_0^10 - 17003956025579714998906017/32073002930453836986652*c_1100_0^9 + 24311765257354831334324765/32073002930453836986652*c_1100_0^8 - 88615631022204415992198079/96219008791361510959956*c_1100_0^7 + 44524199676754666814380609/48109504395680755479978*c_1100_0^6 - 35884450792676313461221849/48109504395680755479978*c_1100_0^5 + 3652231618279600759496139/8018250732613459246663*c_1100_0^4 - 19018113871833994711195471/96219008791361510959956*c_1100_0^3 + 5279628409995271725069841/96219008791361510959956*c_1100_0^2 - 228870821523548801252728/24054752197840377739989*c_1100_0 + 31622564953202726214217/32073002930453836986652, c_0101_1 - 1, c_0101_10 + 36896495597315392676285/96219008791361510959956*c_1100_0^16 - 32461848197495225374561/32073002930453836986652*c_1100_0^15 + 364092066311438256210881/96219008791361510959956*c_1100_0^14 - 1417738643504812416815453/96219008791361510959956*c_1100_0^13 + 876510113817476111910124/24054752197840377739989*c_1100_0^12 - 7459780810872617079282803/96219008791361510959956*c_1100_0^11 + 4134327552601344128782467/32073002930453836986652*c_1100_0^10 - 5507679675140534614710591/32073002930453836986652*c_1100_0^9 + 5399343509222109808700523/32073002930453836986652*c_1100_0^8 - 9625384739231844361023577/96219008791361510959956*c_1100_0^7 - 921567728219756112329395/24054752197840377739989*c_1100_0^6 + 4471472430845726090112709/24054752197840377739989*c_1100_0^5 - 2022807572049736284628021/8018250732613459246663*c_1100_0^4 + 18800862798447723444149723/96219008791361510959956*c_1100_0^3 - 8751518749326737959380965/96219008791361510959956*c_1100_0^2 + 996953330228607410746753/48109504395680755479978*c_1100_0 - 41459124386232539429177/32073002930453836986652, c_0101_3 + 4304055531618752421935/32073002930453836986652*c_1100_0^16 - 12043035850905278784153/32073002930453836986652*c_1100_0^15 + 46430416050707264765311/32073002930453836986652*c_1100_0^14 - 178167042220673457818215/32073002930453836986652*c_1100_0^13 + 114807852798120857835152/8018250732613459246663*c_1100_0^12 - 1027562071414317907541777/32073002930453836986652*c_1100_0^11 + 1825648821129230428858703/32073002930453836986652*c_1100_0^10 - 2714067245452201180672123/32073002930453836986652*c_1100_0^9 + 3230466241774360314794011/32073002930453836986652*c_1100_0^8 - 3062362214583065055605463/32073002930453836986652*c_1100_0^7 + 480338389302726511147864/8018250732613459246663*c_1100_0^6 - 67485673797415425589855/8018250732613459246663*c_1100_0^5 - 242573730585491353498107/8018250732613459246663*c_1100_0^4 + 1119407331709751220541441/32073002930453836986652*c_1100_0^3 - 570110492121369766310131/32073002930453836986652*c_1100_0^2 + 56742436176411722535273/16036501465226918493326*c_1100_0 + 25975998230204725401355/32073002930453836986652, c_0101_9 + 10161674500415185975495/96219008791361510959956*c_1100_0^16 - 20562734732283049982727/32073002930453836986652*c_1100_0^15 + 223103918360355258301567/96219008791361510959956*c_1100_0^14 - 850608463181184812580583/96219008791361510959956*c_1100_0^13 + 682863788412945895339166/24054752197840377739989*c_1100_0^12 - 7009294241707546361641153/96219008791361510959956*c_1100_0^11 + 5051585173578731553837797/32073002930453836986652*c_1100_0^10 - 9146119131228330405605301/32073002930453836986652*c_1100_0^9 + 14050431318115382654934345/32073002930453836986652*c_1100_0^8 - 54683228743361358369483695/96219008791361510959956*c_1100_0^7 + 14877432776176319788665682/24054752197840377739989*c_1100_0^6 - 13084261810483899624165763/24054752197840377739989*c_1100_0^5 + 2935110217814580907874544/8018250732613459246663*c_1100_0^4 - 16479622514666361636462275/96219008791361510959956*c_1100_0^3 + 4405297323187948423653857/96219008791361510959956*c_1100_0^2 - 85455686312662190470489/48109504395680755479978*c_1100_0 - 30159141449418920071487/32073002930453836986652, c_1100_0^17 - 24/5*c_1100_0^16 + 92/5*c_1100_0^15 - 70*c_1100_0^14 + 1081/5*c_1100_0^13 - 2771/5*c_1100_0^12 + 1188*c_1100_0^11 - 10806/5*c_1100_0^10 + 16734/5*c_1100_0^9 - 22138/5*c_1100_0^8 + 24761/5*c_1100_0^7 - 22916/5*c_1100_0^6 + 16932/5*c_1100_0^5 - 9541/5*c_1100_0^4 + 764*c_1100_0^3 - 973/5*c_1100_0^2 + 123/5*c_1100_0 - 9/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.290 seconds, Total memory usage: 32.09MB