{"image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20210522/20210522002731.jpg","categories":["\u6570\u5b66"],"height":"190","blog_title":"Maxima \u3067\u7db4\u308b\u6570\u5b66\u306e\u65c5","type":"rich","author_name":"jurupapa","provider_name":"Hatena Blog","version":"1.0","title":"-\u6570\u5b66- Sympy\u3068GAP\u3067\u53ef\u79fb\u90e8\u5206\u7fa4\u306e\u6761\u4ef6\u304b\u30895\u6b21\u65b9\u7a0b\u5f0f\u306e\u30ac\u30ed\u30a2\u7fa4\u3092\u9ad8\u901f\u306b\u6c42\u3081\u308b(3)","author_url":"https://blog.hatena.ne.jp/jurupapa/","url":"https://maxima.hatenablog.jp/entry/2021/05/22/003013","width":"100%","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2021%2F05%2F22%2F003013\" title=\"-\u6570\u5b66- Sympy\u3068GAP\u3067\u53ef\u79fb\u90e8\u5206\u7fa4\u306e\u6761\u4ef6\u304b\u30895\u6b21\u65b9\u7a0b\u5f0f\u306e\u30ac\u30ed\u30a2\u7fa4\u3092\u9ad8\u901f\u306b\u6c42\u3081\u308b(3) - Maxima \u3067\u7db4\u308b\u6570\u5b66\u306e\u65c5\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2021-05-22 00:30:13","blog_url":"https://maxima.hatenablog.jp/","description":"\u4eca\u56de\u306f\u30d7\u30ed\u30b0\u30e9\u30e0\u7de8\u3067\u3059\u3002\u3044\u304d\u306a\u308aSympy\u3067\u5b9f\u88c5\u3057\u305f\u3001\u53ef\u79fb\u90e8\u5206\u7fa4\u3092\u4f7f\u3063\u305f\u5b9f\u88c5\u3092\u304a\u898b\u305b\u3057\u307e\u3059\u3002 TransitiveGroups5\u3068\u304bTransitiveGroup4\u3068\u3044\u3046\u5909\u6570\u306b\u3001\u5927\u91cf\u306ePermutationGroup\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306e\u30ea\u30b9\u30c8\u304c\u8a2d\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u3089\u306f\u305d\u308c\u305e\u308c\u3001\u5168\u3066\\(S_5\\), \\(S_4\\)\u306e\u53ef\u79fb\u90e8\u5206\u7fa4\u306e\u30ea\u30b9\u30c8\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u307e\u305f\u305d\u308c\u305e\u308c\u306e\u30ea\u30b9\u30c8\u306e\u4e2d\u306e\u53ef\u79fb\u90e8\u5206\u7fa4\u306f\u4f4d\u6570\u306e\u5c0f\u3055\u3044\u9806\u306b\u4e26\u3093\u3067\u3044\u307e\u3059\u3002 from sympy import * from sympy.abc import a, b, c, d, e, f, x, y, z, V, k from sympy.combin\u2026"}