Magma V2.19-8 Wed Aug 21 2013 00:02:45 on localhost [Seed = 795428564] Type ? for help. Type -D to quit. Loading file "K13n1703__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1703 geometric_solution 12.42178970 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 15 0 -15 0 0 -1 0 1 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139786100232 0.710620068117 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -15 0 1 14 15 -14 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.714944630396 1.299489011061 8 0 10 9 0132 0132 0132 0132 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 -15 0 15 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228201727998 0.995422120285 7 10 11 0 1023 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -15 0 0 15 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534686453873 0.945603694944 6 5 0 9 0213 1302 0132 0213 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 -14 14 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911337939213 0.898806516305 8 1 10 4 1023 0132 1023 2031 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 14 -14 -1 0 0 1 0 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066466525293 1.138255992947 4 7 1 12 0213 3012 0132 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 -14 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.434848527780 0.537481093896 6 3 8 1 1230 1023 1023 0132 0 0 0 0 0 -1 1 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 15 -15 0 0 0 1 -1 0 0 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434848527780 0.537481093896 2 5 7 11 0132 1023 1023 3201 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 1 -1 0 0 0 15 -15 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444745509794 0.664375628814 11 12 2 4 0132 2310 0132 0213 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 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613302128360 0.953675800756 3 12 5 2 1302 3120 1023 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 -14 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.395954091926 0.557828482972 9 8 12 3 0132 2310 2103 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 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.100788948509 0.997534770633 11 10 6 9 2103 3120 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788988283528 0.688971075329 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : negation(d['c_0101_5']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_12']), 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_12']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0101_2']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_3']), '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_2_12' : 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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_4']), 'c_1100_4' : negation(d['c_0110_12']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0110_12']), 'c_1100_3' : negation(d['c_0110_12']), 'c_1100_2' : d['c_1010_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_12']), 'c_1100_10' : d['c_1010_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_12']), 'c_1010_9' : negation(d['c_0110_12']), 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : 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_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], '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' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : 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' : d['c_0101_3'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_6'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_3'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_4'], 'c_1100_9' : d['c_1010_4'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_6, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_12, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 128971238978824305266969/4151221504255576464434*c_1010_4^9 + 646178012635772151347317/2075610752127788232217*c_1010_4^8 + 1675202387898178711872871/593031643465082352062*c_1010_4^7 + 11273924957900001861641801/2075610752127788232217*c_1010_4^6 + 26441649880002232577847273/4151221504255576464434*c_1010_4^5 + 3576172526530354049402461/2075610752127788232217*c_1010_4^4 + 29939014651425238579673084/2075610752127788232217*c_1010_4^3 + 22958168093982390793521061/4151221504255576464434*c_1010_4^2 + 50651493693915477749299485/4151221504255576464434*c_1010_4 - 2491605266672255569373089/2075610752127788232217, c_0011_0 - 1, c_0011_10 - 49069820299856/25228947650177927*c_1010_4^9 + 463141073760848/25228947650177927*c_1010_4^8 + 4733433700635460/25228947650177927*c_1010_4^7 + 11244320583814654/25228947650177927*c_1010_4^6 + 17200995693125312/25228947650177927*c_1010_4^5 + 17012556445311663/25228947650177927*c_1010_4^4 + 32624503129085948/25228947650177927*c_1010_4^3 + 23272462825274950/25228947650177927*c_1010_4^2 + 17703262235789000/25228947650177927*c_1010_4 + 12515503208889847/25228947650177927, c_0011_11 - 60725602418704/25228947650177927*c_1010_4^9 + 606447375879315/25228947650177927*c_1010_4^8 + 5580036911575340/25228947650177927*c_1010_4^7 + 10399195080874513/25228947650177927*c_1010_4^6 + 9455017725012642/25228947650177927*c_1010_4^5 + 289175780555212/25228947650177927*c_1010_4^4 + 33565854645686966/25228947650177927*c_1010_4^3 + 24665250855155173/25228947650177927*c_1010_4^2 + 28422193239355506/25228947650177927*c_1010_4 + 656063786311691/25228947650177927, c_0011_12 + 126583372212410/25228947650177927*c_1010_4^9 - 1246729293658756/25228947650177927*c_1010_4^8 - 11750586645385934/25228947650177927*c_1010_4^7 - 23912583120851590/25228947650177927*c_1010_4^6 - 27065879699211538/25228947650177927*c_1010_4^5 - 3219148440913652/25228947650177927*c_1010_4^4 - 49019113721256936/25228947650177927*c_1010_4^3 - 27585027692640659/25228947650177927*c_1010_4^2 - 40418709957844062/25228947650177927*c_1010_4 + 1938526779476010/25228947650177927, c_0011_3 - 22725405311455/25228947650177927*c_1010_4^9 + 199179518961445/25228947650177927*c_1010_4^8 + 2300892531217254/25228947650177927*c_1010_4^7 + 7163831588075983/25228947650177927*c_1010_4^6 + 13554514183043972/25228947650177927*c_1010_4^5 + 8395646188301849/25228947650177927*c_1010_4^4 + 1475856702627933/25228947650177927*c_1010_4^3 - 20328878778381143/25228947650177927*c_1010_4^2 + 10942024376464272/25228947650177927*c_1010_4 + 7011703361429098/25228947650177927, c_0011_4 - 99445208820679/25228947650177927*c_1010_4^9 + 954097183780932/25228947650177927*c_1010_4^8 + 9439488656881914/25228947650177927*c_1010_4^7 + 21563096308043617/25228947650177927*c_1010_4^6 + 29737337909575740/25228947650177927*c_1010_4^5 + 14904143739352502/25228947650177927*c_1010_4^4 + 43068780806937881/25228947650177927*c_1010_4^3 + 8918326053715367/25228947650177927*c_1010_4^2 + 42589661766201976/25228947650177927*c_1010_4 - 2291474587133087/25228947650177927, c_0011_6 + 176165012329903/25228947650177927*c_1010_4^9 - 1709014848600419/25228947650177927*c_1010_4^8 - 16578084782546574/25228947650177927*c_1010_4^7 - 35962361028011251/25228947650177927*c_1010_4^6 - 45920161636107508/25228947650177927*c_1010_4^5 - 21412641290403155/25228947650177927*c_1010_4^4 - 84661704911247829/25228947650177927*c_1010_4^3 - 38165530885811877/25228947650177927*c_1010_4^2 - 74237299155939680/25228947650177927*c_1010_4 + 11594652535695272/25228947650177927, c_0101_11 + 213953255625118/25228947650177927*c_1010_4^9 - 2189392765089244/25228947650177927*c_1010_4^8 - 19043737591477019/25228947650177927*c_1010_4^7 - 32788463156088065/25228947650177927*c_1010_4^6 - 31871211856728770/25228947650177927*c_1010_4^5 + 3324471588395572/25228947650177927*c_1010_4^4 - 91946093080308569/25228947650177927*c_1010_4^3 - 10205529633991594/25228947650177927*c_1010_4^2 - 78646581973477375/25228947650177927*c_1010_4 + 18718605303963858/25228947650177927, c_0101_2 - 71888079582967/25228947650177927*c_1010_4^9 + 686017130432368/25228947650177927*c_1010_4^8 + 6929596086441628/25228947650177927*c_1010_4^7 + 15157461080886625/25228947650177927*c_1010_4^6 + 16650367088252557/25228947650177927*c_1010_4^5 + 6274782736896138/25228947650177927*c_1010_4^4 + 29315863119834995/25228947650177927*c_1010_4^3 + 13738111335560271/25228947650177927*c_1010_4^2 + 3961954141736794/25228947650177927*c_1010_4 + 112946607559857/25228947650177927, c_0101_3 + 92502050787710/25228947650177927*c_1010_4^9 - 976498013330614/25228947650177927*c_1010_4^8 - 7883663768326339/25228947650177927*c_1010_4^7 - 11990072994339039/25228947650177927*c_1010_4^6 - 12961176406703486/25228947650177927*c_1010_4^5 + 3902823149505996/25228947650177927*c_1010_4^4 - 24814383788934637/25228947650177927*c_1010_4^3 + 39124972076318752/25228947650177927*c_1010_4^2 - 21802195494766363/25228947650177927*c_1010_4 + 20030732876587240/25228947650177927, c_0101_5 - 1, c_0110_12 - 51493281629313/25228947650177927*c_1010_4^9 + 568480361792307/25228947650177927*c_1010_4^8 + 4099635476705928/25228947650177927*c_1010_4^7 + 4864976678719339/25228947650177927*c_1010_4^6 + 5711906123523246/25228947650177927*c_1010_4^5 - 4017079474000675/25228947650177927*c_1010_4^4 + 29057832155010958/25228947650177927*c_1010_4^3 - 6993749672960793/25228947650177927*c_1010_4^2 + 16195469492457608/25228947650177927*c_1010_4 - 18023130989223076/25228947650177927, c_1010_4^10 - 10*c_1010_4^9 - 91*c_1010_4^8 - 178*c_1010_4^7 - 220*c_1010_4^6 - 80*c_1010_4^5 - 489*c_1010_4^4 - 194*c_1010_4^3 - 459*c_1010_4^2 + 18*c_1010_4 - 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.700 Total time: 8.910 seconds, Total memory usage: 190.78MB