Magma V2.19-8 Tue Aug 20 2013 23:29:33 on localhost [Seed = 3937176711] Type ? for help. Type -D to quit. Loading file "K12a1149__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1149 geometric_solution 5.94574234 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 8 1 2 2 1 0132 0132 3201 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.761895504187 0.691657250780 0 0 1 1 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.333970248551 0.244833195123 0 0 4 3 2310 0132 0132 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 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.080377585173 0.394315143031 4 5 2 5 1230 0132 0132 1230 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 1 -1 0 0 0 0 0 -1 -7 0 8 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657027831527 1.111267419911 6 3 7 2 0132 3012 0132 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 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.657027831527 1.111267419911 3 3 6 7 3012 0132 2031 3012 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 -1 1 0 0 0 0 0 0 1 0 -1 -8 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253575386459 0.821612047177 4 7 7 5 0132 3120 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.244433657379 0.754923448450 6 6 5 4 2103 3120 1230 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 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.265727942781 1.123980847541 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : 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_0_6' : negation(d['1']), 's_0_7' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : d['c_0110_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_0110_5'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : 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_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_4'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 3671847917303213091388351037384068397354498083402777914541/12889189\ 490906836062232160196609666318508969220510396544*c_0110_5^16 + 10511576483643858172923286338909700459684407737355483442975/1288918\ 9490906836062232160196609666318508969220510396544*c_0110_5^15 + 181436567143247269747163583164596747279094559213568810411/716066082\ 828157559012897788700537017694942734472799808*c_0110_5^14 - 12344612460290004413615560003677171637178045068835204854241/1841312\ 784415262294604594313801380902644138460072913792*c_0110_5^13 - 9085505874329751219079984625902372377007710611783294719759/92065639\ 2207631147302297156900690451322069230036456896*c_0110_5^12 + 320575239551448918940389143870826856067151810438272117699/976453749\ 31112394410849698459164138776583100155381792*c_0110_5^11 + 18391810198784678193232830667684726203443687222621238271889/5858722\ 49586674366465098190754984832659498600932290752*c_0110_5^10 - 93402829894563163615904500097222622132245637107032014928283/4296396\ 496968945354077386732203222106169656406836798848*c_0110_5^9 - 653324504692215085015454781803102413822848233003244536507209/429639\ 6496968945354077386732203222106169656406836798848*c_0110_5^8 + 24714556708721065474709435875042626723065768157795089869147/1611148\ 686363354507779020024576208289813621152563799568*c_0110_5^7 + 62584067972117978975297659049078943606316526579867032484581/1534427\ 32034605191217049526150115075220344871672742816*c_0110_5^6 + 83249722584488547005283750069407634752016316121874516955567/3905814\ 99724449577643398793836656555106332400621527168*c_0110_5^5 - 98436917692034552161439021193707131039638641654529732402449/1790165\ 20707039389753224447175134254423735683618199952*c_0110_5^4 - 5818921021660556619386846172786867064421057406212612485289149/64445\ 94745453418031116080098304833159254484610255198272*c_0110_5^3 - 43795814237875046857108889159948172050307995251212646231201/7323403\ 1198334295808137273844373104082437325116536344*c_0110_5^2 - 368777770585561151547567472758390623131251579544154574518509/184131\ 2784415262294604594313801380902644138460072913792*c_0110_5 - 15305153590789082486501901166180925123675572713931805514887/5370495\ 62121118169259673341525402763271207050854599856, c_0011_0 - 1, c_0011_3 + 33640939570435728544021351824883942571182779910079/871833704\ 742074950096872307671108381933777679958766*c_0110_5^16 + 71254878252607807422162890015311919394307287589591/2906112349140249\ 83365624102557036127311259226652922*c_0110_5^15 + 130833068211524050213534689670488994194556487023054/435916852371037\ 475048436153835554190966888839979383*c_0110_5^14 - 890246528818491979582195311960342987588449151817325/871833704742074\ 950096872307671108381933777679958766*c_0110_5^13 - 1919147381919639775285204859305929902279281296017327/43591685237103\ 7475048436153835554190966888839979383*c_0110_5^12 - 655173073339035914770158158349202351330360744245613/435916852371037\ 475048436153835554190966888839979383*c_0110_5^11 + 3251562663856001911916194711464671730569174810312773/43591685237103\ 7475048436153835554190966888839979383*c_0110_5^10 + 2633475487010996719311259476380527455062053950215015/29061123491402\ 4983365624102557036127311259226652922*c_0110_5^9 - 12045043135306764686487240039435488183156785148591181/2906112349140\ 24983365624102557036127311259226652922*c_0110_5^8 - 22256784931470401389624658806121353566575911556724589/4359168523710\ 37475048436153835554190966888839979383*c_0110_5^7 + 47521721620632303999775266808523222258525774085369601/4359168523710\ 37475048436153835554190966888839979383*c_0110_5^6 + 150850204893627715061939086325208589851599896466931671/871833704742\ 074950096872307671108381933777679958766*c_0110_5^5 - 43279919028182054357972881861515769432214569986932882/4359168523710\ 37475048436153835554190966888839979383*c_0110_5^4 - 156141215388294095515186403037217605444095074326024451/435916852371\ 037475048436153835554190966888839979383*c_0110_5^3 - 131456143932968800642188306608049158084372846276453477/435916852371\ 037475048436153835554190966888839979383*c_0110_5^2 - 102890526612978404989587931257221750293502225866424131/871833704742\ 074950096872307671108381933777679958766*c_0110_5 - 2790409979956932310659625266541781139945661629025311/14530561745701\ 2491682812051278518063655629613326461, c_0011_7 + 716598712653148516800031895577502361306460811009637/13949339\ 275873199201549956922737734110940442879340256*c_0110_5^16 + 777367317397365171676226433117081197279692661019965/464977975862439\ 9733849985640912578036980147626446752*c_0110_5^15 + 590173618209281945501994579119018139266149532393347/697466963793659\ 9600774978461368867055470221439670128*c_0110_5^14 - 17162758131001835017525653874313086735959585162190895/1394933927587\ 3199201549956922737734110940442879340256*c_0110_5^13 - 15627031025283740237710783832141913123629888974514921/6974669637936\ 599600774978461368867055470221439670128*c_0110_5^12 + 1142071818498555217746296490042284291640736931228323/34873348189682\ 99800387489230684433527735110719835064*c_0110_5^11 + 43345146705283224817504543042385000660717233240928227/6974669637936\ 599600774978461368867055470221439670128*c_0110_5^10 - 10023402279188665801165706013686980106731262409910563/4649779758624\ 399733849985640912578036980147626446752*c_0110_5^9 - 142920728877181344096143510520254887836882660276688081/464977975862\ 4399733849985640912578036980147626446752*c_0110_5^8 - 9004187891481855068724512378060461346558797542257179/17436674094841\ 49900193744615342216763867555359917532*c_0110_5^7 + 287571322271569535240862507118303738834270429793339273/348733481896\ 8299800387489230684433527735110719835064*c_0110_5^6 + 845792345553148529966291586208979974461446783520505079/139493392758\ 73199201549956922737734110940442879340256*c_0110_5^5 - 185467621140460956492809021745899768767174427718672743/174366740948\ 4149900193744615342216763867555359917532*c_0110_5^4 - 1389535153456304772796762005044141010867787039398942853/69746696379\ 36599600774978461368867055470221439670128*c_0110_5^3 - 118395205793722799240903776191747572522571500807849605/871833704742\ 074950096872307671108381933777679958766*c_0110_5^2 - 639097165749850971886921183788445642610236810169200675/139493392758\ 73199201549956922737734110940442879340256*c_0110_5 - 3871044240779482742040512058276422883844761141545845/58122246982804\ 9966731248205114072254622518453305844, c_0101_0 - 202326316439120244587082565154931901/27241191819529941938023\ 2996786660576*c_0110_5^16 - 184019067690759045968813054467797653/90\ 803972731766473126744332262220192*c_0110_5^15 - 58679389682805885628986039795174539/1362059590976497096901164983933\ 30288*c_0110_5^14 + 4746954696164381720119664637436419703/272411918\ 195299419380232996786660576*c_0110_5^13 + 3186205578342220066307397916567248577/13620595909764970969011649839\ 3330288*c_0110_5^12 - 727717136158352874488227437686607251/68102979\ 548824854845058249196665144*c_0110_5^11 - 10788150429142611673527407076342675419/1362059590976497096901164983\ 93330288*c_0110_5^10 + 6013758819488760147000751371653646891/908039\ 72731766473126744332262220192*c_0110_5^9 + 34789425374820737314241335526753683081/9080397273176647312674433226\ 2220192*c_0110_5^8 - 2954618722356795513476322521012404381/34051489\ 774412427422529124598332572*c_0110_5^7 - 70092258772228193119942571074533997225/6810297954882485484505824919\ 6665144*c_0110_5^6 - 116546457418597345545918230073199985599/272411\ 918195299419380232996786660576*c_0110_5^5 + 48646003551968483270083133706378747355/3405148977441242742252912459\ 8332572*c_0110_5^4 + 293338593738920572500912479561444207981/136205\ 959097649709690116498393330288*c_0110_5^3 + 23236859027340358211803860544024721675/1702574488720621371126456229\ 9166286*c_0110_5^2 + 120087608933012021619672438898346434187/272411\ 918195299419380232996786660576*c_0110_5 + 680256347788545512375314871291045741/113504965914708091408430415327\ 77524, c_0101_1 - 726350356654300604160745082313596865037256803494021/11624449\ 39656099933462496410228144509245036906611688*c_0110_5^16 - 1976672368819948892370585727683805303536603266267879/11624449396560\ 99933462496410228144509245036906611688*c_0110_5^15 - 205683795135223527593156680134474540098917717212479/581222469828049\ 966731248205114072254622518453305844*c_0110_5^14 + 17036663337544618095596038617702621436204113950604279/1162444939656\ 099933462496410228144509245036906611688*c_0110_5^13 + 11379670396563799257611216019751819908337657925414837/5812224698280\ 49966731248205114072254622518453305844*c_0110_5^12 - 2629312844808065486461097472621960358723167562788521/29061123491402\ 4983365624102557036127311259226652922*c_0110_5^11 - 38666757554590759760507016888039398322935158118994991/5812224698280\ 49966731248205114072254622518453305844*c_0110_5^10 + 65213457295315340748576323295628096895428920551048873/1162444939656\ 099933462496410228144509245036906611688*c_0110_5^9 + 373843807779868677257021277283835855780210952392517243/116244493965\ 6099933462496410228144509245036906611688*c_0110_5^8 - 10855228439114172426243627382451377224897456697279457/1453056174570\ 12491682812051278518063655629613326461*c_0110_5^7 - 251074553653485552097567388494383166394450723962674663/290611234914\ 024983365624102557036127311259226652922*c_0110_5^6 - 413045542491467715874011681729311132650309477343335831/116244493965\ 6099933462496410228144509245036906611688*c_0110_5^5 + 174454288519248537782041847138279002962805291178423832/145305617457\ 012491682812051278518063655629613326461*c_0110_5^4 + 1048727855311295765496721292669706825049667833746985765/58122246982\ 8049966731248205114072254622518453305844*c_0110_5^3 + 165884435784305242773834209770182555480341281398576273/145305617457\ 012491682812051278518063655629613326461*c_0110_5^2 + 428190308006931792765953513748019138646338988533484995/116244493965\ 6099933462496410228144509245036906611688*c_0110_5 + 7195436999994407243728912182523256905755481531781594/14530561745701\ 2491682812051278518063655629613326461, c_0101_2 + 3070547803666463539495277601588683970679413058209095/1394933\ 9275873199201549956922737734110940442879340256*c_0110_5^16 + 2742664251562670799585874399188279358928920465271887/46497797586243\ 99733849985640912578036980147626446752*c_0110_5^15 + 748599878883047924511773238211878525346190006143777/697466963793659\ 9600774978461368867055470221439670128*c_0110_5^14 - 71883297061044993473683262444112477423354551670564629/1394933927587\ 3199201549956922737734110940442879340256*c_0110_5^13 - 46649341988781608175563471986568231573586066853536563/6974669637936\ 599600774978461368867055470221439670128*c_0110_5^12 + 11513435968279021595303602187686675632812469415246585/3487334818968\ 299800387489230684433527735110719835064*c_0110_5^11 + 161780289994498230657047261166193027820546525577855793/697466963793\ 6599600774978461368867055470221439670128*c_0110_5^10 - 95602734493992268229968930639105479359357446326889713/4649779758624\ 399733849985640912578036980147626446752*c_0110_5^9 - 519854250554133837866905101212550651427648343494716171/464977975862\ 4399733849985640912578036980147626446752*c_0110_5^8 + 52053598838467575822142641176493754862599394647317203/1743667409484\ 149900193744615342216763867555359917532*c_0110_5^7 + 1047234840237088180405041819811503450687944233324973411/34873348189\ 68299800387489230684433527735110719835064*c_0110_5^6 + 1611906600650640918417140815999583597474003116082361293/13949339275\ 873199201549956922737734110940442879340256*c_0110_5^5 - 732563021780990558424688525066367436749794845037390577/174366740948\ 4149900193744615342216763867555359917532*c_0110_5^4 - 4322529144648800938900485804140197863937764974790430567/69746696379\ 36599600774978461368867055470221439670128*c_0110_5^3 - 338501327709997270400949622336953575827739048131596103/871833704742\ 074950096872307671108381933777679958766*c_0110_5^2 - 1739817566795791040867049558396222461830111641661009777/13949339275\ 873199201549956922737734110940442879340256*c_0110_5 - 10188151833503899453547108067726889975220438149318855/5812224698280\ 49966731248205114072254622518453305844, c_0101_4 - 716930586781125981014958181346290711569713582232305/34873348\ 18968299800387489230684433527735110719835064*c_0110_5^16 - 626362123913533647991896983045841320178879702080809/116244493965609\ 9933462496410228144509245036906611688*c_0110_5^15 - 180567583844655511216743347714180434667083215834631/174366740948414\ 9900193744615342216763867555359917532*c_0110_5^14 + 16617455330281138519065114057479894525881399164784955/3487334818968\ 299800387489230684433527735110719835064*c_0110_5^13 + 10497887947385030003971466181621767003369142557669705/1743667409484\ 149900193744615342216763867555359917532*c_0110_5^12 - 2326227423139060387554155040806965262178209141570947/87183370474207\ 4950096872307671108381933777679958766*c_0110_5^11 - 37206039433153641660328215703832798130423571924079467/1743667409484\ 149900193744615342216763867555359917532*c_0110_5^10 + 22712761905077717565526675266564507004299847107526351/1162444939656\ 099933462496410228144509245036906611688*c_0110_5^9 + 116986803262535037628260374977232688910106529972201317/116244493965\ 6099933462496410228144509245036906611688*c_0110_5^8 - 11892523014339693254697796023547698057495843367397669/4359168523710\ 37475048436153835554190966888839979383*c_0110_5^7 - 233516169321725661828987990574295168891747690814752597/871833704742\ 074950096872307671108381933777679958766*c_0110_5^6 - 388484969672507668465559418091720196752267973438811635/348733481896\ 8299800387489230684433527735110719835064*c_0110_5^5 + 161578416634100459566702541478652407190100036389485275/435916852371\ 037475048436153835554190966888839979383*c_0110_5^4 + 1004685127448408996451599691993581920232114002004830033/17436674094\ 84149900193744615342216763867555359917532*c_0110_5^3 + 165622827212285145232644120851923177151977328974015961/435916852371\ 037475048436153835554190966888839979383*c_0110_5^2 + 449464445134221692102422011772484765969601793478892559/348733481896\ 8299800387489230684433527735110719835064*c_0110_5 + 2749444160560530531477046953098497931424591117995670/14530561745701\ 2491682812051278518063655629613326461, c_0110_5^17 + 339/97*c_0110_5^16 + 262/97*c_0110_5^15 - 2227/97*c_0110_5^14 - 4802/97*c_0110_5^13 - 1012/97*c_0110_5^12 + 11374/97*c_0110_5^11 - 645/97*c_0110_5^10 - 56415/97*c_0110_5^9 - 27472/97*c_0110_5^8 + 141940/97*c_0110_5^7 + 160171/97*c_0110_5^6 - 140672/97*c_0110_5^5 - 425122/97*c_0110_5^4 - 398816/97*c_0110_5^3 - 198503/97*c_0110_5^2 - 53712/97*c_0110_5 - 6336/97 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB