Magma V2.19-8 Tue Aug 20 2013 23:52:11 on localhost [Seed = 678314776] Type ? for help. Type -D to quit. Loading file "L13n142__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n142 geometric_solution 11.15439127 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 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 1 0 -1 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.788644212245 1.352339500047 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 -1 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 1 0 -1 0 0 9 -9 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484388309182 0.199805595862 8 0 3 9 0132 0132 0213 0132 1 1 1 1 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 0 1 0 0 -10 10 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.627416727719 0.612827374756 6 2 5 0 0132 0213 1302 0132 1 1 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 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.155632156050 0.655907610250 10 11 0 10 0132 0132 0132 2031 1 1 0 1 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 1 -1 -10 0 0 10 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368298769736 1.087242152241 3 1 10 11 2031 0132 1230 1023 1 1 1 1 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 -1 10 -9 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783049053292 1.373624410331 3 9 1 9 0132 0132 0132 0213 1 1 1 1 0 0 0 0 0 0 -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 1 -1 0 0 9 -9 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724340754038 1.191400354635 11 11 10 1 2103 1023 1023 0132 1 1 1 0 0 0 0 0 -1 0 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 0 9 0 0 -9 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.720507145050 0.825081260438 2 9 8 8 0132 3012 2031 1302 1 1 1 1 0 0 1 -1 0 0 1 -1 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 -9 9 0 0 -9 9 1 -10 0 9 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838013410131 0.889316591705 8 6 2 6 1230 0132 0132 0213 1 1 1 1 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 0 -1 1 10 0 -10 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724340754038 1.191400354635 4 4 7 5 0132 1302 1023 3012 1 1 1 0 0 1 0 -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 -10 0 10 10 0 0 -10 -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.720507145050 0.825081260438 7 4 7 5 1023 0132 2103 1023 1 1 1 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 -9 9 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.399522151373 0.687630960517 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0110_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_5'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_0110_5'], 'c_1010_10' : negation(d['c_0101_5']), '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_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : 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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : d['c_1001_5'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_5'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_1001_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_11'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0110_11'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(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_3'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], '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_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_0'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_8']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_8, c_0110_11, c_0110_5, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1294787019616854653155167506903170325830/54602009760723837766221542\ 07759513729*c_1001_5^15 + 299110837905991368091677486354068959064/5\ 460200976072383776622154207759513729*c_1001_5^14 + 8873593731406282826855559609796316038594/54602009760723837766221542\ 07759513729*c_1001_5^13 + 2452142662216618324668279450484114978466/\ 1820066992024127925540718069253171243*c_1001_5^12 + 23251606031053019093794321888951476004819/5460200976072383776622154\ 207759513729*c_1001_5^11 + 2953786159027309687573298788076556050805\ 8/5460200976072383776622154207759513729*c_1001_5^10 + 36392550563702021894464876773779912232601/5460200976072383776622154\ 207759513729*c_1001_5^9 + 45162619571652654119308533107525866700336\ /5460200976072383776622154207759513729*c_1001_5^8 + 31203732992115799864569626119538475396458/5460200976072383776622154\ 207759513729*c_1001_5^7 + 11921482686536671860693444683650528900532\ /1820066992024127925540718069253171243*c_1001_5^6 + 4903218878357487563586094124971854975746/18200669920241279255407180\ 69253171243*c_1001_5^5 + 15806683279343644535121462834464705363530/\ 5460200976072383776622154207759513729*c_1001_5^4 + 192538331549251690589880940042558100651/321188292710140222154244365\ 162324337*c_1001_5^3 + 3851838502761016355712979206069514294178/546\ 0200976072383776622154207759513729*c_1001_5^2 + 112197397954433718806062386640167152209/182006699202412792554071806\ 9253171243*c_1001_5 + 480347747632118607961012235311039661740/54602\ 00976072383776622154207759513729, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 - 217708882760565982049420/178056520780208514052953*c_1001_5^1\ 5 - 877616665743047428142082/59352173593402838017651*c_1001_5^14 + 1466270085494717535500216/178056520780208514052953*c_1001_5^13 - 7659741208104588772857084/59352173593402838017651*c_1001_5^12 + 10082413193213990691219280/178056520780208514052953*c_1001_5^11 - 23000793457325516887081520/59352173593402838017651*c_1001_5^10 + 13572735430234857055966808/178056520780208514052953*c_1001_5^9 - 101318428537956309338682580/178056520780208514052953*c_1001_5^8 + 10152256828769687951641864/178056520780208514052953*c_1001_5^7 - 28007980618503980656781412/59352173593402838017651*c_1001_5^6 + 2083815976760397902666392/59352173593402838017651*c_1001_5^5 - 40688616721493246323194956/178056520780208514052953*c_1001_5^4 + 3244098711097875642904460/178056520780208514052953*c_1001_5^3 - 11066755854280275309775546/178056520780208514052953*c_1001_5^2 + 816245048173518541392212/178056520780208514052953*c_1001_5 - 1333542382260213146790322/178056520780208514052953, c_0101_0 - 9985431886363730713253480/178056520780208514052953*c_1001_5^\ 15 + 11983418494035869368871836/178056520780208514052953*c_1001_5^1\ 4 - 27377599134489388555735776/59352173593402838017651*c_1001_5^13 + 18859466434083820847696288/59352173593402838017651*c_1001_5^12 - 232358535412214710187380592/178056520780208514052953*c_1001_5^11 + 85032269919761320272119116/178056520780208514052953*c_1001_5^10 - 108543546185159995044458252/59352173593402838017651*c_1001_5^9 + 88058978626364858542650554/178056520780208514052953*c_1001_5^8 - 87525438927399184228351376/59352173593402838017651*c_1001_5^7 + 22167376710864010447837244/59352173593402838017651*c_1001_5^6 - 42215980739019098957681940/59352173593402838017651*c_1001_5^5 + 33483146462693947488029038/178056520780208514052953*c_1001_5^4 - 11680162378487326928414552/59352173593402838017651*c_1001_5^3 + 8854023939242537932181456/178056520780208514052953*c_1001_5^2 - 4801770302966570774935004/178056520780208514052953*c_1001_5 + 256611820812748314942935/59352173593402838017651, c_0101_1 + 4491091012068826871488640/178056520780208514052953*c_1001_5^\ 15 - 5471281020236018254412096/59352173593402838017651*c_1001_5^14 + 49232343328717544265352432/178056520780208514052953*c_1001_5^13 - 38034292827439680819301712/59352173593402838017651*c_1001_5^12 + 156957765737577231566744408/178056520780208514052953*c_1001_5^11 - 93569022102202744038017344/59352173593402838017651*c_1001_5^10 + 204327909385681359769236976/178056520780208514052953*c_1001_5^9 - 365454561449161334648351264/178056520780208514052953*c_1001_5^8 + 156301831979614643938391960/178056520780208514052953*c_1001_5^7 - 93764002239532671012290336/59352173593402838017651*c_1001_5^6 + 25913870389417006117374448/59352173593402838017651*c_1001_5^5 - 129200430076418451207865252/178056520780208514052953*c_1001_5^4 + 25440263777229495439815532/178056520780208514052953*c_1001_5^3 - 33101897506190214618583790/178056520780208514052953*c_1001_5^2 + 4311823229217240581639800/178056520780208514052953*c_1001_5 - 3940926247319389589575616/178056520780208514052953, c_0101_10 + 1289683422450774520/63779970484336963*c_1001_5^15 + 1343181924786927116/63779970484336963*c_1001_5^14 + 7023783440416424096/63779970484336963*c_1001_5^13 + 17057221192759645544/63779970484336963*c_1001_5^12 + 12393035117123178104/63779970484336963*c_1001_5^11 + 59904283751638183512/63779970484336963*c_1001_5^10 + 14769684728026989580/63779970484336963*c_1001_5^9 + 89636277102656834922/63779970484336963*c_1001_5^8 + 8683872736731327848/63779970484336963*c_1001_5^7 + 73048183948185872592/63779970484336963*c_1001_5^6 - 57911027450201708/63779970484336963*c_1001_5^5 + 34365909531279756614/63779970484336963*c_1001_5^4 - 2530722184036605320/63779970484336963*c_1001_5^3 + 8959317396655595534/63779970484336963*c_1001_5^2 - 899488618461429666/63779970484336963*c_1001_5 + 1096702005853913573/63779970484336963, c_0101_5 + 1917504854472541547938660/178056520780208514052953*c_1001_5^\ 15 + 2000049977084195631627216/59352173593402838017651*c_1001_5^14 + 7471040114586155364921704/178056520780208514052953*c_1001_5^13 + 18400000966070065944546312/59352173593402838017651*c_1001_5^12 + 11608276868904403924869616/178056520780208514052953*c_1001_5^11 + 55208388874066135024936252/59352173593402838017651*c_1001_5^10 + 32175365675946724737153902/178056520780208514052953*c_1001_5^9 + 235376806704835205282582024/178056520780208514052953*c_1001_5^8 + 33227250879670557532768312/178056520780208514052953*c_1001_5^7 + 62469290899771226416808148/59352173593402838017651*c_1001_5^6 + 4367581140169859878660758/59352173593402838017651*c_1001_5^5 + 87349456168653789300666988/178056520780208514052953*c_1001_5^4 - 539042714166524547209074/178056520780208514052953*c_1001_5^3 + 23057519708541168263335016/178056520780208514052953*c_1001_5^2 - 1083951663683061363890593/178056520780208514052953*c_1001_5 + 3137749120176191336934620/178056520780208514052953, c_0101_8 + 14404251817933136022760/1447613990082996049211*c_1001_5^15 - 10625887587301690297672/1447613990082996049211*c_1001_5^14 + 111863273397628215288124/1447613990082996049211*c_1001_5^13 - 26571723987784915622358/1447613990082996049211*c_1001_5^12 + 303041289907843522846272/1447613990082996049211*c_1001_5^11 + 44154007703372052863340/1447613990082996049211*c_1001_5^10 + 407757583396481683895244/1447613990082996049211*c_1001_5^9 + 138034711524399509126894/1447613990082996049211*c_1001_5^8 + 283895458005002028923712/1447613990082996049211*c_1001_5^7 + 138532923353624244153040/1447613990082996049211*c_1001_5^6 + 89990898549929925847096/1447613990082996049211*c_1001_5^5 + 71825600042388547344340/1447613990082996049211*c_1001_5^4 + 1260927549159140421800/1447613990082996049211*c_1001_5^3 + 22608446237227888392252/1447613990082996049211*c_1001_5^2 - 4074290848654890000820/1447613990082996049211*c_1001_5 + 4027872520765873824681/1447613990082996049211, c_0110_11 + 1917504854472541547938660/178056520780208514052953*c_1001_5\ ^15 + 2000049977084195631627216/59352173593402838017651*c_1001_5^14 + 7471040114586155364921704/178056520780208514052953*c_1001_5^13 + 18400000966070065944546312/59352173593402838017651*c_1001_5^12 + 11608276868904403924869616/178056520780208514052953*c_1001_5^11 + 55208388874066135024936252/59352173593402838017651*c_1001_5^10 + 32175365675946724737153902/178056520780208514052953*c_1001_5^9 + 235376806704835205282582024/178056520780208514052953*c_1001_5^8 + 33227250879670557532768312/178056520780208514052953*c_1001_5^7 + 62469290899771226416808148/59352173593402838017651*c_1001_5^6 + 4367581140169859878660758/59352173593402838017651*c_1001_5^5 + 87349456168653789300666988/178056520780208514052953*c_1001_5^4 - 539042714166524547209074/178056520780208514052953*c_1001_5^3 + 23057519708541168263335016/178056520780208514052953*c_1001_5^2 - 1083951663683061363890593/178056520780208514052953*c_1001_5 + 3137749120176191336934620/178056520780208514052953, c_0110_5 - c_1001_5, c_1001_0 - 1533481701285108204742190/178056520780208514052953*c_1001_5^\ 15 - 1436861113936264001007512/178056520780208514052953*c_1001_5^14 - 3107153352103664401315080/59352173593402838017651*c_1001_5^13 - 6075229988192376152524544/59352173593402838017651*c_1001_5^12 - 21432790076827407109353440/178056520780208514052953*c_1001_5^11 - 65459158369428865203889676/178056520780208514052953*c_1001_5^10 - 10872757675010588084423654/59352173593402838017651*c_1001_5^9 - 103420672863381658907175052/178056520780208514052953*c_1001_5^8 - 8876121161274411108033958/59352173593402838017651*c_1001_5^7 - 29657463435304824148451028/59352173593402838017651*c_1001_5^6 - 3408987032770967527532758/59352173593402838017651*c_1001_5^5 - 44182959327322027222327112/178056520780208514052953*c_1001_5^4 - 132578530059084889898852/59352173593402838017651*c_1001_5^3 - 12089151628636432514298820/178056520780208514052953*c_1001_5^2 + 549546558897317085758623/178056520780208514052953*c_1001_5 - 501581626738983149805038/59352173593402838017651, c_1001_5^16 - 48/65*c_1001_5^15 + 542/65*c_1001_5^14 - 164/65*c_1001_5^13 + 1688/65*c_1001_5^12 - 24/65*c_1001_5^11 + 2822/65*c_1001_5^10 + 248/65*c_1001_5^9 + 2786/65*c_1001_5^8 + 4*c_1001_5^7 + 1692/65*c_1001_5^6 + 92/65*c_1001_5^5 + 628/65*c_1001_5^4 + 2/65*c_1001_5^3 + 136/65*c_1001_5^2 - 3/65*c_1001_5 + 29/130 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB