Magma V2.19-8 Tue Aug 20 2013 23:56:29 on localhost [Seed = 2312102302] Type ? for help. Type -D to quit. Loading file "L14n2325__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n2325 geometric_solution 11.67995752 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 0 0 1 0 0 -1 -1 2 -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 1 -1 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.500844535185 0.606764189327 0 4 4 5 0132 0132 1302 0132 0 0 0 1 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 -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.632651537041 1.122039843092 0 0 5 6 3012 0132 0132 0132 0 0 0 1 0 1 0 -1 -2 0 1 1 -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 1 0 -1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808585994533 0.982902242001 7 8 9 0 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517119468197 0.809528281052 1 1 7 10 2031 0132 1230 0132 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 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.618705770137 0.676244809027 11 11 1 2 0132 1230 0132 0132 0 0 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 -1 1 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.618705770137 0.676244809027 10 8 2 7 3012 0213 0132 2031 0 0 0 0 0 0 1 -1 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 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.439587902744 0.877301029400 3 6 11 4 0132 1302 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583871976008 1.853206549641 8 3 6 8 3012 0132 0213 1230 0 0 0 0 0 1 0 -1 1 0 0 -1 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 -1 0 1 -1 0 0 1 -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.564551101777 0.554354749653 11 10 10 3 1023 1023 0213 0132 0 0 0 1 0 0 0 0 0 0 0 0 -1 0 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 -1 -9 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406514131309 1.259158816286 9 9 4 6 1023 0213 0132 1230 0 0 0 1 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 9 -10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767803688494 0.719217390548 5 9 5 7 0132 1023 3012 0132 0 0 0 1 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 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.263536580473 0.804953806044 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : d['c_0101_6'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_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_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_4'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_4']), 'c_1100_10' : d['c_0101_3'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : negation(d['c_0011_3']), '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'], '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' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], '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' : d['c_0101_0'], 'c_0110_10' : d['c_0011_6'], 'c_0110_0' : 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_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3']})} 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_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_3, c_0101_4, c_0101_6, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 13616988889277849996457917115780659876/1047533756296956996220785738\ 1997937*c_1001_4^9 - 317457886393863161203966851054950665058/148767\ 39900351742215236368887039087*c_1001_4^8 + 312284770641963010389455902934632049884937/177033204814185732361312\ 7897557651353*c_1001_4^7 - 1353591652542271372614149832400297161518\ 2/14876739900351742215236368887039087*c_1001_4^6 + 5281447361609576654359054385065907444229122/17703320481418573236131\ 27897557651353*c_1001_4^5 - 361537954986638933478741832080251361420\ 2962/590110682713952441204375965852550451*c_1001_4^4 + 1028573160249213561023560928538424066639183/13113570726976720915652\ 7992411677878*c_1001_4^3 - 1079610964538673070129695862882499712404\ 7935/1770332048141857323613127897557651353*c_1001_4^2 + 9367030612780486384174460349006829891649393/35406640962837146472262\ 55795115302706*c_1001_4 - 3476593761041631410099529412227027501838/\ 7053115729648833958618039432500603, c_0011_0 - 1, c_0011_10 + 17688078221952840675247963/29957536004801018640676573*c_100\ 1_4^9 - 16287026039766180035931661/1762208000282412861216269*c_1001\ _4^8 + 2190295865712140368787355908/29957536004801018640676573*c_10\ 01_4^7 - 90151954156640662966378747/251744000040344694459467*c_1001\ _4^6 + 32550953063018938251978187905/29957536004801018640676573*c_1\ 001_4^5 - 59210582474759156700679531575/29957536004801018640676573*\ c_1001_4^4 + 63578554826079175546463784548/299575360048010186406765\ 73*c_1001_4^3 - 38095174274667550556998376186/299575360048010186406\ 76573*c_1001_4^2 + 10752577328206724440224509591/299575360048010186\ 40676573*c_1001_4 - 2786025647696274037789799/119352733086856647970\ 823, c_0011_3 + 19363452165282406823195216/29957536004801018640676573*c_1001\ _4^9 - 18575416265734607159852996/1762208000282412861216269*c_1001_\ 4^8 + 2594287831244929368378910240/29957536004801018640676573*c_100\ 1_4^7 - 781500200764101920998786616/1762208000282412861216269*c_100\ 1_4^6 + 43106356063716147027302766656/29957536004801018640676573*c_\ 1001_4^5 - 87136209765642325438064748200/29957536004801018640676573\ *c_1001_4^4 + 109180471134360946281827345101/2995753600480101864067\ 6573*c_1001_4^3 - 11801770567571139692327895200/4279648000685859805\ 810939*c_1001_4^2 + 4958463486698131158953706850/427964800068585980\ 5810939*c_1001_4 - 24838149804588171922997892/119352733086856647970\ 823, c_0011_6 - 2663169959335258972418768/29957536004801018640676573*c_1001_\ 4^9 + 3256063992801664451895556/1762208000282412861216269*c_1001_4^\ 8 - 539275737430261554306645837/29957536004801018640676573*c_1001_4\ ^7 + 190681523067244927264980060/1762208000282412861216269*c_1001_4\ ^6 - 12691237296157563394611916846/29957536004801018640676573*c_100\ 1_4^5 + 31753310990667179093439861100/29957536004801018640676573*c_\ 1001_4^4 - 48898010944633721243212166058/29957536004801018640676573\ *c_1001_4^3 + 44808014923618920427596923232/29957536004801018640676\ 573*c_1001_4^2 - 22512946481985766992719001660/29957536004801018640\ 676573*c_1001_4 + 19160529124304755138857924/1193527330868566479708\ 23, c_0101_0 - 1, c_0101_10 + 2647718958355625609689988/29957536004801018640676573*c_1001\ _4^9 - 2195684578421145952155888/1762208000282412861216269*c_1001_4\ ^8 + 265169107292536716388229496/29957536004801018640676573*c_1001_\ 4^7 - 66033797130781432924291520/1762208000282412861216269*c_1001_4\ ^6 + 2577684312207657758025163240/29957536004801018640676573*c_1001\ _4^5 - 318785000128662397525669824/4279648000685859805810939*c_1001\ _4^4 - 230645291500876258288161652/4279648000685859805810939*c_1001\ _4^3 + 4907504030635880599627225984/29957536004801018640676573*c_10\ 01_4^2 - 3714481127072746857748773875/29957536004801018640676573*c_\ 1001_4 + 4005056334585359842606551/119352733086856647970823, c_0101_11 - 29372189487934470138622193/29957536004801018640676573*c_100\ 1_4^9 + 27862039837635779320829016/1762208000282412861216269*c_1001\ _4^8 - 550807792809717536840442028/4279648000685859805810939*c_1001\ _4^7 + 1150083235909806990979711280/1762208000282412861216269*c_100\ 1_4^6 - 8942838570615176660725366461/4279648000685859805810939*c_10\ 01_4^5 + 124413140709146566462322567928/29957536004801018640676573*\ c_1001_4^4 - 153313139386658329723310323492/29957536004801018640676\ 573*c_1001_4^3 + 114343635028154018377157539072/2995753600480101864\ 0676573*c_1001_4^2 - 47452413185539839020675640653/2995753600480101\ 8640676573*c_1001_4 + 33549917871352342975946472/119352733086856647\ 970823, c_0101_3 - 8843434426779461940906696/29957536004801018640676573*c_1001_\ 4^9 + 8016933189485915338601064/1762208000282412861216269*c_1001_4^\ 8 - 1063376893953242676246618896/29957536004801018640676573*c_1001_\ 4^7 + 301532048571401517173027200/1762208000282412861216269*c_1001_\ 4^6 - 15185002273605063401808385392/29957536004801018640676573*c_10\ 01_4^5 + 26637849651650613420979388800/29957536004801018640676573*c\ _1001_4^4 - 27337885490587996520362258952/2995753600480101864067657\ 3*c_1001_4^3 + 15585154287268327803872417371/2995753600480101864067\ 6573*c_1001_4^2 - 4220754798684740728350020410/29957536004801018640\ 676573*c_1001_4 + 164593269045029663430695/17050390440979521138689, c_0101_4 + 2647718958355625609689988/29957536004801018640676573*c_1001_\ 4^9 - 2195684578421145952155888/1762208000282412861216269*c_1001_4^\ 8 + 265169107292536716388229496/29957536004801018640676573*c_1001_4\ ^7 - 66033797130781432924291520/1762208000282412861216269*c_1001_4^\ 6 + 2577684312207657758025163240/29957536004801018640676573*c_1001_\ 4^5 - 318785000128662397525669824/4279648000685859805810939*c_1001_\ 4^4 - 230645291500876258288161652/4279648000685859805810939*c_1001_\ 4^3 + 4907504030635880599627225984/29957536004801018640676573*c_100\ 1_4^2 - 3744438663077547876389450448/29957536004801018640676573*c_1\ 001_4 + 4005056334585359842606551/119352733086856647970823, c_0101_6 - 34755325893031375231855450/29957536004801018640676573*c_1001\ _4^9 + 33857305663837495391472160/1762208000282412861216269*c_1001_\ 4^8 - 684403143078721951739353748/4279648000685859805810939*c_1001_\ 4^7 + 1463949705832031692611135952/1762208000282412861216269*c_1001\ _4^6 - 11763740808445829631081112636/4279648000685859805810939*c_10\ 01_4^5 + 170925177029933695702109963248/29957536004801018640676573*\ c_1001_4^4 - 220782717829481093275680387548/29957536004801018640676\ 573*c_1001_4^3 + 172586043991949776592031371776/2995753600480101864\ 0676573*c_1001_4^2 - 74975231736380556002654718426/2995753600480101\ 8640676573*c_1001_4 + 55504855011424098637949376/119352733086856647\ 970823, c_1001_0 - 5383136405096905093233257/29957536004801018640676573*c_1001_\ 4^9 + 5995265826201716070643144/1762208000282412861216269*c_1001_4^\ 8 - 133595350269004414898911720/4279648000685859805810939*c_1001_4^\ 7 + 313866469922224701631424672/1762208000282412861216269*c_1001_4^\ 6 - 2820902237830652970355746175/4279648000685859805810939*c_1001_4\ ^5 + 46512036320787129239787395320/29957536004801018640676573*c_100\ 1_4^4 - 67469578442822763552370064056/29957536004801018640676573*c_\ 1001_4^3 + 58242408963795758214873832704/29957536004801018640676573\ *c_1001_4^2 - 27522818550840716981979077773/29957536004801018640676\ 573*c_1001_4 + 21954937140071755662002904/119352733086856647970823, c_1001_4^10 - 2916/169*c_1001_4^9 + 25281/169*c_1001_4^8 - 10604/13*c_1001_4^7 + 489644/169*c_1001_4^6 - 1134364/169*c_1001_4^5 + 1725459/169*c_1001_4^4 - 1715260/169*c_1001_4^3 + 1078515/169*c_1001_4^2 - 30120/13*c_1001_4 + 63001/169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB