Magma V2.19-8 Wed Aug 21 2013 00:36:50 on localhost [Seed = 678312432] Type ? for help. Type -D to quit. Loading file "K14n24282__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24282 geometric_solution 11.90227200 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 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 0 -1 1 0 0 -4 4 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.383266565695 1.007121263897 0 5 7 6 0132 0132 0132 0132 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 -4 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 0 0 0.272029108304 0.691784011552 8 0 10 9 0132 0132 0132 0132 0 0 0 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 -5 5 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436051067294 0.609596212398 11 5 9 0 0132 1230 0132 0132 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 -1 0 1 1 0 -5 4 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.392861874930 0.775490710916 6 11 0 9 0213 0213 0132 3201 0 0 0 0 0 0 0 0 1 0 -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 1 -1 0 4 0 -4 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442212701688 0.722130162341 11 1 3 12 3120 0132 3012 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607448772153 0.822542660299 4 8 1 12 0213 2310 0132 2103 0 0 0 0 0 1 -1 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 4 -4 0 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123737027472 0.882075257166 10 12 12 1 0321 0132 2103 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -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 -4 0 4 0 0 0 0 -5 5 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750134703321 1.392876112456 2 11 10 6 0132 3120 2310 3201 0 0 0 0 0 -1 1 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 -5 5 0 0 0 0 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935719125109 1.091681073040 10 4 2 3 2310 2310 0132 0132 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 -5 5 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.221698279940 0.901075308652 7 8 9 2 0321 3201 3201 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 -5 0 0 5 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542939109459 0.487803085062 3 8 4 5 0132 3120 0213 3120 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 -1 1 -1 0 0 1 0 0 0 0 -1 5 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625913950231 0.799472861601 7 7 5 6 2103 0132 0132 2103 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 4 0 -4 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512560885744 0.144440466125 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : d['c_1001_11'], 's_3_11' : 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_0011_4'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : negation(d['c_0110_12']), 'c_1100_6' : negation(d['c_0110_12']), 'c_1100_1' : negation(d['c_0110_12']), 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : negation(d['c_0011_9']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_0110_4'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0110_4'])})} 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_4, c_0011_9, c_0101_10, c_0101_5, c_0101_8, c_0110_12, c_0110_4, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 21002031721073427119622164578228962282075604/1507981776253606210483\ 64951989101359421883*c_1001_11^13 - 1168379223601889914774512553767421476835657533/25635690196311305578\ 22204183814723110172011*c_1001_11^12 + 2466886395176805794458875549896138155953511087/10254276078524522231\ 288816735258892440688044*c_1001_11^11 + 13755037564760977410706750850794684757581381947/1025427607852452223\ 1288816735258892440688044*c_1001_11^10 + 1432247886702369461047968890605388232089654807/10254276078524522231\ 288816735258892440688044*c_1001_11^9 + 7325849036563474107682635950922747858766309717/10254276078524522231\ 288816735258892440688044*c_1001_11^8 - 165875885186485451590994776538847969708511017/362341910901926580610\ 91225212928948553668*c_1001_11^7 + 17881637701938264972374814963626840503952052093/1025427607852452223\ 1288816735258892440688044*c_1001_11^6 - 500645822619659048683165427655300724395609046/256356901963113055782\ 2204183814723110172011*c_1001_11^5 + 38470103987763747510740061586826071832744890433/1025427607852452223\ 1288816735258892440688044*c_1001_11^4 + 1897066709163975512430439735693397768152528853/10254276078524522231\ 288816735258892440688044*c_1001_11^3 - 2682847046012966494549444028618633511676827173/10254276078524522231\ 288816735258892440688044*c_1001_11^2 - 4007062207930443501686047608186502091428041651/51271380392622611156\ 44408367629446220344022*c_1001_11 - 4006101879076924544637023474956907015721787495/10254276078524522231\ 288816735258892440688044, c_0011_0 - 1, c_0011_10 - 216139677879800485951309734600/1135046665903904692301839151\ 971*c_1001_11^13 + 1750409375737327058688396676298/1135046665903904\ 692301839151971*c_1001_11^12 - 10060030456130507171639373400223/227\ 0093331807809384603678303942*c_1001_11^11 + 4823792190425077388956932143804/1135046665903904692301839151971*c_1\ 001_11^10 + 2474431218659091313213069000855/11350466659039046923018\ 39151971*c_1001_11^9 + 851088579416391704059583739589/2270093331807\ 809384603678303942*c_1001_11^8 - 14692614055909960058708235774233/2\ 270093331807809384603678303942*c_1001_11^7 - 2220108047057353417384931605324/1135046665903904692301839151971*c_1\ 001_11^6 + 7064992578690532307396918422643/227009333180780938460367\ 8303942*c_1001_11^5 + 6164147833142339823050303881272/1135046665903\ 904692301839151971*c_1001_11^4 + 56972993349967641468993806415/2270\ 093331807809384603678303942*c_1001_11^3 - 2395090411882958506599553836625/2270093331807809384603678303942*c_1\ 001_11^2 - 2575615866400397266766744510015/227009333180780938460367\ 8303942*c_1001_11 - 370794935006337490589398503627/2270093331807809\ 384603678303942, c_0011_11 + 1182485213900272246864453699328/113504666590390469230183915\ 1971*c_1001_11^13 - 6551404524270089567847177189016/113504666590390\ 4692301839151971*c_1001_11^12 + 13857952687865009634073540503614/11\ 35046665903904692301839151971*c_1001_11^11 - 12586132848929567163600211866949/2270093331807809384603678303942*c_\ 1001_11^10 - 3638859982987624496598359031299/1135046665903904692301\ 839151971*c_1001_11^9 - 4740469684620808830782544084745/11350466659\ 03904692301839151971*c_1001_11^8 + 2668845893283400098339401956285/1135046665903904692301839151971*c_1\ 001_11^7 + 16574474099437040336822984791433/22700933318078093846036\ 78303942*c_1001_11^6 + 258464328146075985128555860471/1135046665903\ 904692301839151971*c_1001_11^5 - 7017122128118254384502874997173/22\ 70093331807809384603678303942*c_1001_11^4 - 2432187536305461709999345381307/2270093331807809384603678303942*c_1\ 001_11^3 + 1060572927975697303237094793849/227009333180780938460367\ 8303942*c_1001_11^2 + 455175054166438931223717663721/11350466659039\ 04692301839151971*c_1001_11 + 373680801949289223242550222400/113504\ 6665903904692301839151971, c_0011_12 - 1290701349666672040042203332504/113504666590390469230183915\ 1971*c_1001_11^13 + 6622154743382227969910437387582/113504666590390\ 4692301839151971*c_1001_11^12 - 24247735580165224799035358704813/22\ 70093331807809384603678303942*c_1001_11^11 + 777636330511371285025559703517/1135046665903904692301839151971*c_10\ 01_11^10 + 9451517891349812162707698743233/227009333180780938460367\ 8303942*c_1001_11^9 + 24772748364308244269291888288197/227009333180\ 7809384603678303942*c_1001_11^8 - 4704539563818570520916767821171/2\ 270093331807809384603678303942*c_1001_11^7 - 15911795032463295430730364012648/1135046665903904692301839151971*c_\ 1001_11^6 - 5568261850771797325162091710340/11350466659039046923018\ 39151971*c_1001_11^5 + 6613594825835482828222768657386/113504666590\ 3904692301839151971*c_1001_11^4 + 9303512309557405750836886014429/1\ 135046665903904692301839151971*c_1001_11^3 + 887391215193843886593178097749/1135046665903904692301839151971*c_10\ 01_11^2 - 3197138903752817792591103549300/1135046665903904692301839\ 151971*c_1001_11 - 3965647846293701147175246584245/2270093331807809\ 384603678303942, c_0011_4 + 1514491933001670490848997733616/1135046665903904692301839151\ 971*c_1001_11^13 - 8887926624125312693449635878356/1135046665903904\ 692301839151971*c_1001_11^12 + 21215941632780003956644885158123/113\ 5046665903904692301839151971*c_1001_11^11 - 36351748340567494977254035872323/2270093331807809384603678303942*c_\ 1001_11^10 + 17433669651691598297756409246647/227009333180780938460\ 3678303942*c_1001_11^9 - 29592298389352149636939817782357/227009333\ 1807809384603678303942*c_1001_11^8 + 9770948233588977867793002624106/1135046665903904692301839151971*c_1\ 001_11^7 + 12223385005349602835221334362289/22700933318078093846036\ 78303942*c_1001_11^6 + 1089275396315492076802492053593/227009333180\ 7809384603678303942*c_1001_11^5 - 4138397693920287036279555526930/1\ 135046665903904692301839151971*c_1001_11^4 - 2116804209346821510784804823765/1135046665903904692301839151971*c_1\ 001_11^3 - 550247587146864633690970751201/2270093331807809384603678\ 303942*c_1001_11^2 + 1131763372984870381156963287743/11350466659039\ 04692301839151971*c_1001_11 + 187364254575914296904108728701/227009\ 3331807809384603678303942, c_0011_9 - 229967143862570498367609028232/11350466659039046923018391519\ 71*c_1001_11^13 + 769160138022150870924053437658/113504666590390469\ 2301839151971*c_1001_11^12 + 622098012484277285282949932457/2270093\ 331807809384603678303942*c_1001_11^11 - 5927520867009625212768785186994/1135046665903904692301839151971*c_1\ 001_11^10 + 6214801503754720408134425148579/11350466659039046923018\ 39151971*c_1001_11^9 + 300796013366405711934369095790/1135046665903\ 904692301839151971*c_1001_11^8 + 5079616048979592604978244752487/22\ 70093331807809384603678303942*c_1001_11^7 - 5503455474180694371965261093040/1135046665903904692301839151971*c_1\ 001_11^6 - 10364529207240626584466219989977/22700933318078093846036\ 78303942*c_1001_11^5 + 6654188122541834953114700567623/227009333180\ 7809384603678303942*c_1001_11^4 + 5461699853679049908330496662771/2\ 270093331807809384603678303942*c_1001_11^3 + 1125069572902281570882239693118/1135046665903904692301839151971*c_1\ 001_11^2 - 1652890156246111844647378792448/113504666590390469230183\ 9151971*c_1001_11 - 964946580876106702869714476371/1135046665903904\ 692301839151971, c_0101_10 + 71760178860243684786035167888/11350466659039046923018391519\ 71*c_1001_11^13 + 193561770402258360149319334852/113504666590390469\ 2301839151971*c_1001_11^12 - 2744446428497903831401908997791/113504\ 6665903904692301839151971*c_1001_11^11 + 17560727650769026159113600398805/2270093331807809384603678303942*c_\ 1001_11^10 - 10457418659005016554141670703300/113504666590390469230\ 1839151971*c_1001_11^9 + 17565116687841026742477700871383/227009333\ 1807809384603678303942*c_1001_11^8 - 10776777331432885947098911194688/1135046665903904692301839151971*c_\ 1001_11^7 + 10831246695738082642795721946021/2270093331807809384603\ 678303942*c_1001_11^6 - 264714328895279069511777572626/113504666590\ 3904692301839151971*c_1001_11^5 + 3145315368339738073991995969709/1\ 135046665903904692301839151971*c_1001_11^4 + 282200456547905575467466515665/2270093331807809384603678303942*c_10\ 01_11^3 - 1274964839819239742683353058102/1135046665903904692301839\ 151971*c_1001_11^2 - 2544711150365722774565722520321/22700933318078\ 09384603678303942*c_1001_11 + 147694573478127167715022037519/227009\ 3331807809384603678303942, c_0101_5 + 547899421041322321509034626624/11350466659039046923018391519\ 71*c_1001_11^13 - 2555332622745474164208061464544/11350466659039046\ 92301839151971*c_1001_11^12 + 4044669344885831493832642897040/11350\ 46665903904692301839151971*c_1001_11^11 + 851514291355356292824424369489/1135046665903904692301839151971*c_10\ 01_11^10 + 816669646278751656301915236372/1135046665903904692301839\ 151971*c_1001_11^9 - 9260834059837737149714261969083/11350466659039\ 04692301839151971*c_1001_11^8 + 1546516331578350456963917753622/113\ 5046665903904692301839151971*c_1001_11^7 + 3424465945404486453250167783258/1135046665903904692301839151971*c_1\ 001_11^6 + 6570125654316482281055164778207/113504666590390469230183\ 9151971*c_1001_11^5 - 745892761678258616222160591463/11350466659039\ 04692301839151971*c_1001_11^4 - 3493447423778189461678352775300/113\ 5046665903904692301839151971*c_1001_11^3 - 532984896390735429443328873034/1135046665903904692301839151971*c_10\ 01_11^2 + 185277846453295907140047117421/11350466659039046923018391\ 51971*c_1001_11 + 456210938112416479468433227089/113504666590390469\ 2301839151971, c_0101_8 - 804491040272887243925144474960/11350466659039046923018391519\ 71*c_1001_11^13 + 4299538819551914764743604954340/11350466659039046\ 92301839151971*c_1001_11^12 - 8888531452263430374874920386755/11350\ 46665903904692301839151971*c_1001_11^11 + 4817466155810338460552217622916/1135046665903904692301839151971*c_1\ 001_11^10 - 6963287647771910368111981615137/22700933318078093846036\ 78303942*c_1001_11^9 + 11322929838696448375397297592448/11350466659\ 03904692301839151971*c_1001_11^8 - 2476649328469139522286417975390/1135046665903904692301839151971*c_1\ 001_11^7 - 4774674400376707061502616386903/113504666590390469230183\ 9151971*c_1001_11^6 - 16777574366681694900614624862851/227009333180\ 7809384603678303942*c_1001_11^5 + 2858588016947102876987331572490/1\ 135046665903904692301839151971*c_1001_11^4 + 7659688067877951910224515595289/2270093331807809384603678303942*c_1\ 001_11^3 + 7118236113749305684488215151357/227009333180780938460367\ 8303942*c_1001_11^2 - 1024559393596855081813479366015/2270093331807\ 809384603678303942*c_1001_11 - 925636777015164390247952564550/11350\ 46665903904692301839151971, c_0110_12 - 316134177498201344612708515040/1135046665903904692301839151\ 971*c_1001_11^13 + 3037190650577527722095378707904/1135046665903904\ 692301839151971*c_1001_11^12 - 11321474730339988005922648953804/113\ 5046665903904692301839151971*c_1001_11^11 + 39217388744458015089687974128295/2270093331807809384603678303942*c_\ 1001_11^10 - 26339605034609473822516370835777/227009333180780938460\ 3678303942*c_1001_11^9 + 11353639836400852207473032332117/227009333\ 1807809384603678303942*c_1001_11^8 - 13425773011659122248679744019788/1135046665903904692301839151971*c_\ 1001_11^7 + 9528700056779522975567077596469/22700933318078093846036\ 78303942*c_1001_11^6 + 19543061917629022186093368886515/22700933318\ 07809384603678303942*c_1001_11^5 - 678148579630297854869748930623/1135046665903904692301839151971*c_10\ 01_11^4 - 2326774316783208525321995339590/1135046665903904692301839\ 151971*c_1001_11^3 - 6285077668216519855549466962607/22700933318078\ 09384603678303942*c_1001_11^2 + 719019923297623957593580584776/1135\ 046665903904692301839151971*c_1001_11 + 2254301715736996199805886888557/2270093331807809384603678303942, c_0110_4 - 565362711315883715019577825152/11350466659039046923018391519\ 71*c_1001_11^13 + 2024260166402359608840337612456/11350466659039046\ 92301839151971*c_1001_11^12 - 162019701526561685021535226738/113504\ 6665903904692301839151971*c_1001_11^11 - 24130459663930531741616913097169/2270093331807809384603678303942*c_\ 1001_11^10 + 12840407064102762254349731789340/113504666590390469230\ 1839151971*c_1001_11^9 + 836452652576807558482935014917/11350466659\ 03904692301839151971*c_1001_11^8 + 5277674986080111112015230267058/1135046665903904692301839151971*c_1\ 001_11^7 - 24950787361214247141188524091145/22700933318078093846036\ 78303942*c_1001_11^6 - 5654667682209573604325491318483/113504666590\ 3904692301839151971*c_1001_11^5 + 8066586595744342764566123007909/2\ 270093331807809384603678303942*c_1001_11^4 + 10985134819363462625742377226215/2270093331807809384603678303942*c_\ 1001_11^3 + 2318281039414441132152319863999/22700933318078093846036\ 78303942*c_1001_11^2 - 1988761806674390586740274804769/113504666590\ 3904692301839151971*c_1001_11 - 529604522098604731725207655879/1135\ 046665903904692301839151971, c_1001_1 - 204852948132811140001581163192/11350466659039046923018391519\ 71*c_1001_11^13 + 784870089359507761440975475270/113504666590390469\ 2301839151971*c_1001_11^12 + 980915955030013610275772803063/2270093\ 331807809384603678303942*c_1001_11^11 - 7288250975747014449429279096739/1135046665903904692301839151971*c_1\ 001_11^10 + 8474749783553003040927901118662/11350466659039046923018\ 39151971*c_1001_11^9 + 13481893395627156942743046345341/22700933318\ 07809384603678303942*c_1001_11^8 - 8424023738887905377019049636065/2270093331807809384603678303942*c_1\ 001_11^7 - 8472738315823904685125795267553/113504666590390469230183\ 9151971*c_1001_11^6 - 15177700877992014204050339853869/227009333180\ 7809384603678303942*c_1001_11^5 + 8679038490134540325489966383048/1\ 135046665903904692301839151971*c_1001_11^4 + 15893849075643102327517981174899/2270093331807809384603678303942*c_\ 1001_11^3 - 172727669470542498605351124023/227009333180780938460367\ 8303942*c_1001_11^2 - 4135085988178517035125648939387/2270093331807\ 809384603678303942*c_1001_11 - 3662091188696151857482738150391/2270\ 093331807809384603678303942, c_1001_11^14 - 361/68*c_1001_11^13 + 2979/272*c_1001_11^12 - 1589/272*c_1001_11^11 + 545/136*c_1001_11^10 - 433/34*c_1001_11^9 + 465/136*c_1001_11^8 + 89/16*c_1001_11^7 + 1759/272*c_1001_11^6 - 29/34*c_1001_11^5 - 73/16*c_1001_11^4 - 667/272*c_1001_11^3 + 101/272*c_1001_11^2 + 301/272*c_1001_11 + 149/272 ], 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_4, c_0011_9, c_0101_10, c_0101_5, c_0101_8, c_0110_12, c_0110_4, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 4809079056167596004996764575158769/271874486907175156793392405888*c\ _1001_11^20 + 1137045758728059376834868838017667/271874486907175156\ 793392405888*c_1001_11^19 - 17903678579157806999602304453915387/339\ 84310863396894599174050736*c_1001_11^18 - 24354763916627302095532910038690053/33984310863396894599174050736*c\ _1001_11^17 + 96502142954930139247529376954640755/33984310863396894\ 599174050736*c_1001_11^16 + 427736069621306973001467902857799703/27\ 1874486907175156793392405888*c_1001_11^15 - 151384431927664890492684493742218429/33984310863396894599174050736*\ c_1001_11^14 - 1335973410147703198792817573535032421/27187448690717\ 5156793392405888*c_1001_11^13 + 85505462122844558779736008006683947\ /271874486907175156793392405888*c_1001_11^12 + 1688085342349205375809184411687109765/27187448690717515679339240588\ 8*c_1001_11^11 + 362151217239638713539770904960157861/6796862172679\ 3789198348101472*c_1001_11^10 - 87724315963126380218869027834420643\ /33984310863396894599174050736*c_1001_11^9 - 1311902258346096713034988590222870803/27187448690717515679339240588\ 8*c_1001_11^8 + 310751795296157333045719753311948169/27187448690717\ 5156793392405888*c_1001_11^7 + 469653463662104468119252753305265971\ /135937243453587578396696202944*c_1001_11^6 + 35841308798150244579511964135403569/271874486907175156793392405888*\ c_1001_11^5 - 465560173217254181227515391345431339/2718744869071751\ 56793392405888*c_1001_11^4 - 139129470487454457745382259754172955/1\ 35937243453587578396696202944*c_1001_11^3 - 82544938630337717071688021307304465/271874486907175156793392405888*\ c_1001_11^2 - 20737315284766686740810828318975137/27187448690717515\ 6793392405888*c_1001_11 - 3517493839865425703389511382114617/271874\ 486907175156793392405888, c_0011_0 - 1, c_0011_10 + 25299630155603072112737973987/68516755772977610078979941*c_\ 1001_11^20 + 2378961765726708748901074940/6851675577297761007897994\ 1*c_1001_11^19 - 751993594651543179256602695480/6851675577297761007\ 8979941*c_1001_11^18 - 918679543787522509287830983201/6851675577297\ 7610078979941*c_1001_11^17 + 4137725632642963255881342338134/685167\ 55772977610078979941*c_1001_11^16 + 1621549951171106780353883369215/68516755772977610078979941*c_1001_1\ 1^15 - 6279791903569490043989931994454/68516755772977610078979941*c\ _1001_11^14 - 6178671711901722017567423122972/685167557729776100789\ 79941*c_1001_11^13 + 892540136620152783666130490039/685167557729776\ 10078979941*c_1001_11^12 + 8523623309505089819220231197597/68516755\ 772977610078979941*c_1001_11^11 + 6590629376440761515291524242710/6\ 8516755772977610078979941*c_1001_11^10 - 4100077521916583909635588817546/68516755772977610078979941*c_1001_1\ 1^9 - 6105326249173976047168303505898/68516755772977610078979941*c_\ 1001_11^8 + 2095542828207400964216042992165/68516755772977610078979\ 941*c_1001_11^7 + 4403214663077939640369052019536/68516755772977610\ 078979941*c_1001_11^6 - 162602110274218787932272346558/685167557729\ 77610078979941*c_1001_11^5 - 2243441143334349117694018215255/685167\ 55772977610078979941*c_1001_11^4 - 1249975753536486048590421728750/68516755772977610078979941*c_1001_1\ 1^3 - 367367616063852131958737459318/68516755772977610078979941*c_1\ 001_11^2 - 91571714609503149514107001905/68516755772977610078979941\ *c_1001_11 - 14521724467784996661089145184/685167557729776100789799\ 41, c_0011_11 + 1143736570946122657747632765/68516755772977610078979941*c_1\ 001_11^20 + 1734819461440071443696087826/68516755772977610078979941\ *c_1001_11^19 - 34679622482107726271234684522/685167557729776100789\ 79941*c_1001_11^18 - 89539938071432545638384914094/6851675577297761\ 0078979941*c_1001_11^17 + 152650398358186255387000198039/6851675577\ 2977610078979941*c_1001_11^16 + 356903117720648512594436409264/6851\ 6755772977610078979941*c_1001_11^15 - 325576176208899670852757469521/68516755772977610078979941*c_1001_11\ ^14 - 660443252271853664741528322384/68516755772977610078979941*c_1\ 001_11^13 - 161481046356195264132664977807/685167557729776100789799\ 41*c_1001_11^12 + 544897700734958045953685084213/685167557729776100\ 78979941*c_1001_11^11 + 763365349414193018321479796296/685167557729\ 77610078979941*c_1001_11^10 - 117841393237253376971949785/685167557\ 72977610078979941*c_1001_11^9 - 633056452030583194032341668407/6851\ 6755772977610078979941*c_1001_11^8 - 113863988279375863406975686935/68516755772977610078979941*c_1001_11\ ^7 + 439456749797534908982241318877/68516755772977610078979941*c_10\ 01_11^6 + 151624148058153647221074948487/68516755772977610078979941\ *c_1001_11^5 - 192447901912123936162549247920/685167557729776100789\ 79941*c_1001_11^4 - 153451369272194766701819805662/6851675577297761\ 0078979941*c_1001_11^3 - 47552415033341709068154523263/685167557729\ 77610078979941*c_1001_11^2 - 12115486882137948623002847692/68516755\ 772977610078979941*c_1001_11 - 2434447353792647942809772940/6851675\ 5772977610078979941, c_0011_12 - 14233803495686284850143205853/68516755772977610078979941*c_\ 1001_11^20 - 802536350960001633871938362/68516755772977610078979941\ *c_1001_11^19 + 422881335358457561135606354305/68516755772977610078\ 979941*c_1001_11^18 + 501010870519672925863941127237/68516755772977\ 610078979941*c_1001_11^17 - 2340057912415007017556940072315/6851675\ 5772977610078979941*c_1001_11^16 - 818781225562211896215532820664/68516755772977610078979941*c_1001_11\ ^15 + 3524412350488349123967169232906/68516755772977610078979941*c_\ 1001_11^14 + 3345662852256870225306229663813/6851675577297761007897\ 9941*c_1001_11^13 - 572323661139459480378366040087/6851675577297761\ 0078979941*c_1001_11^12 - 4742460111501324579591955216744/685167557\ 72977610078979941*c_1001_11^11 - 3551115141500680641440652762111/68\ 516755772977610078979941*c_1001_11^10 + 2373598805613135125698316277767/68516755772977610078979941*c_1001_1\ 1^9 + 3315404369901961558598245394556/68516755772977610078979941*c_\ 1001_11^8 - 1253571683116275156708068990840/68516755772977610078979\ 941*c_1001_11^7 - 2396853070669734568310823080063/68516755772977610\ 078979941*c_1001_11^6 + 147966837157418843716184475005/685167557729\ 77610078979941*c_1001_11^5 + 1231329353298629111725687156023/685167\ 55772977610078979941*c_1001_11^4 + 669456256820617955597917095799/68516755772977610078979941*c_1001_11\ ^3 + 196088025766249673931631162320/68516755772977610078979941*c_10\ 01_11^2 + 48733282432927458475414003661/68516755772977610078979941*\ c_1001_11 + 7511582274581907292960556692/68516755772977610078979941\ , c_0011_4 + 14592191468080106901843564378/68516755772977610078979941*c_1\ 001_11^20 + 3076183601801191520604401110/68516755772977610078979941\ *c_1001_11^19 - 434453265403837630713173624927/68516755772977610078\ 979941*c_1001_11^18 - 580124683018571434193565120925/68516755772977\ 610078979941*c_1001_11^17 + 2350663407204127432771033341684/6851675\ 5772977610078979941*c_1001_11^16 + 1231874511153699700994131463950/68516755772977610078979941*c_1001_1\ 1^15 - 3666613360821846786000043403245/68516755772977610078979941*c\ _1001_11^14 - 3959636629364512401521064792405/685167557729776100789\ 79941*c_1001_11^13 + 301260637014717596418693415689/685167557729776\ 10078979941*c_1001_11^12 + 5083494331146276735508648992513/68516755\ 772977610078979941*c_1001_11^11 + 4287076479834217620533887595030/6\ 8516755772977610078979941*c_1001_11^10 - 2170473316623265145790883099091/68516755772977610078979941*c_1001_1\ 1^9 - 3893035465035579903636895489541/68516755772977610078979941*c_\ 1001_11^8 + 990559869534711036629723352228/685167557729776100789799\ 41*c_1001_11^7 + 2789536972154175193804463323264/685167557729776100\ 78979941*c_1001_11^6 + 72611933797097777981245254840/68516755772977\ 610078979941*c_1001_11^5 - 1388270417353727810387224825525/68516755\ 772977610078979941*c_1001_11^4 - 822441525625678690346987615777/685\ 16755772977610078979941*c_1001_11^3 - 244413311180799249826077082103/68516755772977610078979941*c_1001_11\ ^2 - 61419816492833403909467022847/68516755772977610078979941*c_100\ 1_11 - 10375394580202943673823434519/68516755772977610078979941, c_0011_9 + c_1001_11, c_0101_10 - 1143736570946122657747632765/68516755772977610078979941*c_1\ 001_11^20 - 1734819461440071443696087826/68516755772977610078979941\ *c_1001_11^19 + 34679622482107726271234684522/685167557729776100789\ 79941*c_1001_11^18 + 89539938071432545638384914094/6851675577297761\ 0078979941*c_1001_11^17 - 152650398358186255387000198039/6851675577\ 2977610078979941*c_1001_11^16 - 356903117720648512594436409264/6851\ 6755772977610078979941*c_1001_11^15 + 325576176208899670852757469521/68516755772977610078979941*c_1001_11\ ^14 + 660443252271853664741528322384/68516755772977610078979941*c_1\ 001_11^13 + 161481046356195264132664977807/685167557729776100789799\ 41*c_1001_11^12 - 544897700734958045953685084213/685167557729776100\ 78979941*c_1001_11^11 - 763365349414193018321479796296/685167557729\ 77610078979941*c_1001_11^10 + 117841393237253376971949785/685167557\ 72977610078979941*c_1001_11^9 + 633056452030583194032341668407/6851\ 6755772977610078979941*c_1001_11^8 + 113863988279375863406975686935/68516755772977610078979941*c_1001_11\ ^7 - 439456749797534908982241318877/68516755772977610078979941*c_10\ 01_11^6 - 151624148058153647221074948487/68516755772977610078979941\ *c_1001_11^5 + 192447901912123936162549247920/685167557729776100789\ 79941*c_1001_11^4 + 153451369272194766701819805662/6851675577297761\ 0078979941*c_1001_11^3 + 47552415033341709068154523263/685167557729\ 77610078979941*c_1001_11^2 + 12115486882137948623002847692/68516755\ 772977610078979941*c_1001_11 + 2434447353792647942809772940/6851675\ 5772977610078979941, c_0101_5 + 19054265711770623741999360438/68516755772977610078979941*c_1\ 001_11^20 + 3235171990942903831033642292/68516755772977610078979941\ *c_1001_11^19 - 566861429373105254507933567970/68516755772977610078\ 979941*c_1001_11^18 - 734595323593483323461552643486/68516755772977\ 610078979941*c_1001_11^17 + 3082766745172514638410983111000/6851675\ 5772977610078979941*c_1001_11^16 + 1472563942709295477489459064443/68516755772977610078979941*c_1001_1\ 1^15 - 4748104748362775149393723225665/68516755772977610078979941*c\ _1001_11^14 - 5006245876800706538045015136919/685167557729776100789\ 79941*c_1001_11^13 + 477634042485209563516443479412/685167557729776\ 10078979941*c_1001_11^12 + 6559367584184052029410871393744/68516755\ 772977610078979941*c_1001_11^11 + 5388003344294359866756339181315/6\ 8516755772977610078979941*c_1001_11^10 - 2901915109681052743875064970146/68516755772977610078979941*c_1001_1\ 1^9 - 4918116715888050202247990376447/68516755772977610078979941*c_\ 1001_11^8 + 1371751135728344277859915360208/68516755772977610078979\ 941*c_1001_11^7 + 3531005991748910900631754838861/68516755772977610\ 078979941*c_1001_11^6 + 33989417884466353677211945386/6851675577297\ 7610078979941*c_1001_11^5 - 1770714972878189327368194731809/6851675\ 5772977610078979941*c_1001_11^4 - 1033553464741900975832768400430/6\ 8516755772977610078979941*c_1001_11^3 - 305797925490881876182323646233/68516755772977610078979941*c_1001_11\ ^2 - 76473961705431788548262482819/68516755772977610078979941*c_100\ 1_11 - 12742771839421533132105130831/68516755772977610078979941, c_0101_8 - 15564519882222763240374563694/68516755772977610078979941*c_1\ 001_11^20 - 2327412724428437429216155283/68516755772977610078979941\ *c_1001_11^19 + 462993919691476967938351458221/68516755772977610078\ 979941*c_1001_11^18 + 590647368782032011311893864026/68516755772977\ 610078979941*c_1001_11^17 - 2527237392238937272993926318333/6851675\ 5772977610078979941*c_1001_11^16 - 1147626751414431910926124507844/68516755772977610078979941*c_1001_1\ 1^15 + 3885193051184848397298402934084/68516755772977610078979941*c\ _1001_11^14 + 4000644090247716079037645785632/685167557729776100789\ 79941*c_1001_11^13 - 438225627445558561109056147052/685167557729776\ 10078979941*c_1001_11^12 - 5327984522874578774765286057754/68516755\ 772977610078979941*c_1001_11^11 - 4300683477292333839049887238425/6\ 8516755772977610078979941*c_1001_11^10 + 2421902999481492079688097968243/68516755772977610078979941*c_1001_1\ 1^9 + 3942850205341972898210003741636/68516755772977610078979941*c_\ 1001_11^8 - 1177250837153152838249737830040/68516755772977610078979\ 941*c_1001_11^7 - 2834031128067042018749843336096/68516755772977610\ 078979941*c_1001_11^6 + 14612203587982873668521778700/6851675577297\ 7610078979941*c_1001_11^5 + 1426966884007661603761698810432/6851675\ 5772977610078979941*c_1001_11^4 + 820813268108337125131993930145/68\ 516755772977610078979941*c_1001_11^3 + 242735442455810748946029356674/68516755772977610078979941*c_1001_11\ ^2 + 60804299657436391431616441747/68516755772977610078979941*c_100\ 1_11 + 9994149056554236121240890264/68516755772977610078979941, c_0110_12 - 3735176825246655605352989145/68516755772977610078979941*c_1\ 001_11^20 - 36763031903144083203709591/68516755772977610078979941*c\ _1001_11^19 + 110822248940540109896880585521/6851675577297761007897\ 9941*c_1001_11^18 + 126402471082228967068875991892/6851675577297761\ 0078979941*c_1001_11^17 - 615534420000262363448671235870/6851675577\ 2977610078979941*c_1001_11^16 - 183733587801279489908625321239/6851\ 6755772977610078979941*c_1001_11^15 + 906910058170811472630089937308/68516755772977610078979941*c_1001_11\ ^14 + 843805020712441856208272053667/68516755772977610078979941*c_1\ 001_11^13 - 156084019359433920208672615250/685167557729776100789799\ 41*c_1001_11^12 - 1223633120283286696035635362707/68516755772977610\ 078979941*c_1001_11^11 - 890822018398175222522456791953/68516755772\ 977610078979941*c_1001_11^10 + 623597220016355542021173234066/68516\ 755772977610078979941*c_1001_11^9 + 829783847845358219231253361569/68516755772977610078979941*c_1001_11\ ^8 - 333763562859681209056114185133/68516755772977610078979941*c_10\ 01_11^7 - 599442246773507210089927942145/68516755772977610078979941\ *c_1001_11^6 + 43398210622205221206614715976/6851675577297761007897\ 9941*c_1001_11^5 + 310274862345393548615951858860/68516755772977610\ 078979941*c_1001_11^4 + 170616021011986257944291325680/685167557729\ 77610078979941*c_1001_11^3 + 50928233255802156905494005716/68516755\ 772977610078979941*c_1001_11^2 + 12486016845011405540173302781/6851\ 6755772977610078979941*c_1001_11 + 1926595148000739972700095049/68516755772977610078979941, c_0110_4 - 1, c_1001_1 - 25614763534150626625524455301/68516755772977610078979941*c_1\ 001_11^20 - 3251495996621366360874499215/68516755772977610078979941\ *c_1001_11^19 + 761773884512477067318866851845/68516755772977610078\ 979941*c_1001_11^18 + 954935099324904271387912382696/68516755772977\ 610078979941*c_1001_11^17 - 4173181373589322116292191180537/6851675\ 5772977610078979941*c_1001_11^16 - 1789001244604895686140867426172/68516755772977610078979941*c_1001_1\ 1^15 + 6390645712536544294927571171469/68516755772977610078979941*c\ _1001_11^14 + 6446291815845897865789535508506/685167557729776100789\ 79941*c_1001_11^13 - 812364792096214402427901843363/685167557729776\ 10078979941*c_1001_11^12 - 8712298030163972261636527057463/68516755\ 772977610078979941*c_1001_11^11 - 6905554849480997120588722863446/6\ 8516755772977610078979941*c_1001_11^10 + 4070495682384238220721277494686/68516755772977610078979941*c_1001_1\ 1^9 + 6365176341708200412394788997781/68516755772977610078979941*c_\ 1001_11^8 - 2029287335324026458899230782790/68516755772977610078979\ 941*c_1001_11^7 - 4583770477968521657710894006346/68516755772977610\ 078979941*c_1001_11^6 + 93722316989807128074597416248/6851675577297\ 7610078979941*c_1001_11^5 + 2319510622986850894695028766570/6851675\ 5772977610078979941*c_1001_11^4 + 1310243545108472521553121997207/6\ 8516755772977610078979941*c_1001_11^3 + 386054103624221435606897573248/68516755772977610078979941*c_1001_11\ ^2 + 96706238363925093454528148346/68516755772977610078979941*c_100\ 1_11 + 15595401572425338894027806781/68516755772977610078979941, c_1001_11^21 + 2/3*c_1001_11^20 - 89/3*c_1001_11^19 - 160/3*c_1001_11^18 + 428/3*c_1001_11^17 + 473/3*c_1001_11^16 - 211*c_1001_11^15 - 1159/3*c_1001_11^14 - 316/3*c_1001_11^13 + 1070/3*c_1001_11^12 + 1361/3*c_1001_11^11 - 12*c_1001_11^10 - 1001/3*c_1001_11^9 - 56*c_1001_11^8 + 221*c_1001_11^7 + 281/3*c_1001_11^6 - 92*c_1001_11^5 - 301/3*c_1001_11^4 - 43*c_1001_11^3 - 12*c_1001_11^2 - 8/3*c_1001_11 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 22.680 Total time: 22.890 seconds, Total memory usage: 118.66MB