ehito https://blog.hatena.ne.jp/ehito/ ATPとCASのこと https://ehito.hatenablog.com/ 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… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fehito.hatenablog.com%2Fentry%2F2021%2F04%2F20%2F223155" title="msolve - ATPとCASのこと" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-04-20 22:31:55 rich https://ehito.hatenablog.com/entry/2021/04/20/223155 1.0 100%