{"blog_title":"ATP\u3068CAS\u306e\u3053\u3068","url":"https://ehito.hatenablog.com/entry/2021/04/20/223155","height":"190","description":"julia> using GroebnerBasis, Singular julia> R, (a, b, c) = PolynomialRing(QQ, [\"a\", \"b\", \"c\"]); julia> I(n) = Ideal(R, [(a+b)^n+c-3, (b+c)^n+a-2, (2*c+a)^n+b-1]); julia> for n = 5:15 print(n,\":\"); @time msolve(I(n), get_param = true) end; 5: 0.122010 seconds (11.82 k allocations: 1.950 MiB, 0.02% co\u2026","title":"msolve","image_url":null,"author_url":"https://blog.hatena.ne.jp/ehito/","published":"2021-04-20 22:31:55","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fehito.hatenablog.com%2Fentry%2F2021%2F04%2F20%2F223155\" title=\"msolve - ATP\u3068CAS\u306e\u3053\u3068\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog","author_name":"ehito","categories":[],"width":"100%","blog_url":"https://ehito.hatenablog.com/","provider_name":"Hatena Blog","version":"1.0","type":"rich"}