分からない問題はここに書いてね447

[0589 １３２人目の素数さん 2018/10/07(日) 23:45:48.39 ID:ExsNFjY/]

下手に素人がアレコレ考えても専門家の作ったもんにはかなわない。
自分がその専門家を目指すならともかく。
あくまでグレブナー基底のユーザーなら偉い人の作ったやつそのまま使うのが吉。