errorで死んだっぽい。調べてみたら同じ現象の人がいるみたい。@tetu@mathtod.online$\mathbb{Z}_p[x]$を実装するのに係数体の情報をどこに持つかでいつも悩む。more係数それぞれに係数体の情報をもたせればきれいに実装できるが効率が悪い。グローバル変数で係数体の情報を管理すると、複数の体で並列計算するときに困る。クラスに係数体の情報を持たせるとクラスが巨大化する上演算子オーバーロードが出来なくてつらい。いう訳で多項式に一つ持たせる実装にすることが多い。$x$など)はたまに型から生成したくなるので困る。@qnighy@qnmd.infohttps://github.com/rust-lang/cargo/issues/6660ビルドのパイプライン化の提案が出ている。クレートBがクレートAに依存するとき、現在はクレートAのコンパイルを終えてからクレートBのコンパイルをしている。Denman-Beaver法と比べて良いかは知りませんがIN法というのがあるそうです。@tetu@mathtod.online私は、数学で出てくるときはベクトル、プログラムで出てくるときはベクターと呼んでることが多い気がする。自分でも理由はよくわからないが。$x^0$は該当しそうですね。@tetu@mathtod.onlineRAMに乗り切らない計算どうやっても辛そう。OS任せでスワップしまくると遅そうだし。RAM大量に積んだマシン複数台でMPIして処理するのが良さそうだけど...。Arenaを使うとうまく行くようです。@tetu@mathtod.online素因数分解の一意性を用いて2が偶数乗と奇数乗で矛盾という証明法もあります。@tetu@mathtod.onlineRustは(unsafeを使わない限り)スレッドセーフなのでグラフを書き換えながら処理するのは(私が知っている範囲では)unsafeを使わないと難しそうですね。実際端点での傾きは0に限る必要は無いですが、その場合いくつにするかをどうやって決めるかが問題ですね。($f'_{0}(x_1)$は適当に決める)の3条件を満たすように$f_i$を定めるというのも考えられます。満たす3次多項式で補完する方法ですね。(スプラインもどき?)二階微分まで条件入れた5次多項式なら$C^2$になります。