Gemma https://blog.hatena.ne.jp/Gemma/ Gemmaの日記 https://gemma.hatenadiary.org/ D加群セミナーの関係で、 グレブナ基底と代数多様体入門〈上〉イデアル・多様体・アルゴリズム を読んだ副産物です。 ブッフベルガーのアルゴリズムで一番簡単なやつを実装しただけなので、おもちゃの域をでるものではありません。90式はブリキ缶だぜ! (use srfi-1) (use srfi-43) (use util.combinations) (define (poly . l) (apply hash-table (cons 'equal? (remove (lambda (x) (zero? (cdr x))) l)))) (define (order-lex a b) (let loop … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20080217" title="Gauche で グレブナ基底計算 - Gemmaの日記" 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 2008-02-17 00:00:00 rich https://gemma.hatenadiary.org/entry/20080217 1.0 100%