代数的実数を作る日記

mod_poppo @mod_poppo

なんか普通にアルゴリズムがバグってて無限ループしてるんじゃないの

mod_poppo @mod_poppo

多項式のGCDが怪しい

mod_poppo @mod_poppo

部分終結式をやり直さないといけない

mod_poppo @mod_poppo

ていうか部分終結式剰余列の証明をちゃんと追いかけてないしな

mod_poppo @mod_poppo

いや、そんな分かりやすい感じでバグってるようにも見えないが……

mod_poppo @mod_poppo

どこで無限ループしているのかわからない

mod_poppo @mod_poppo

擬除算のところで無限ループを起こしていたことがわかった

mod_poppo @mod_poppo

二変数多項式がなんかおかしい

mod_poppo @mod_poppo

バグの原因が一応特定できた

mod_poppo @mod_poppo

原因というか、バグってる箇所

mod_poppo @mod_poppo

トレースと HasCallStack 削除大会だ

mod_poppo @mod_poppo

デバッグは……辛い！！！

mod_poppo @mod_poppo

家に引きこもって代数的数のデバッグをするのは辛い

mod_poppo @mod_poppo

連載記事に貼ってたコードが普通にコンパイルエラーだったみたいなんだけど、誰からもクレームは来なかったな

mod_poppo @mod_poppo

#16 のコード中にあったバグを直しました miz-ar.info/math/algebraic…

mod_poppo @mod_poppo

「週刊 代数的実数を作る」の電子書籍版を作るには Pandoc と格闘する必要がある

mod_poppo @mod_poppo

Pandoc の LaTeX数式→MathML の変換 (texmath) が貧弱だから強化したい

mod_poppo @mod_poppo

\pmod, \Bigl, \bmod, \scriptstyle あたりが対応してなさそう

mod_poppo @mod_poppo

\scriptstyle はそもそも KaTeX が \substack に対応してないから回避のために使っているのであって、 KaTeX を \substack に対応させるという方向性もある

mod_poppo @mod_poppo

週刊 代数的実数を作る」の電子書籍版はamazonで販売されますか？ — 販売場所の候補の一つではありますが、その辺は変換できてから考えます。KindleのやつはMathMLに対応してないみたいな話もあるので、その辺も考える必要がありそうですが l.ask.fm/igoto/45DKECN7…

mod_poppo @mod_poppo

\Bigr は texmath で対応してるのに \Bigl は対応していない…？

mod_poppo @mod_poppo

substack コマンドは amsmath で定義されていて、 substack コマンドの他に subarray 環境というのもある

mod_poppo @mod_poppo

\substack{...} は \begin{subarray}{c} ... \end{subarray} と等価

mod_poppo @mod_poppo

subarray 環境の引数は c か l が1個（1カラム）しか対応してない

mod_poppo @mod_poppo

pandoc/texmath と KaTeX を同時並行でいじる必要がある