LohnerのAWAで遊ぼう2018/11/18(日)kv-0.4.45精度保証kvライブラリを0.4.45にアップデートしました。今回はあまり大きな変更はありません。自動微分でpow(x,0)みたいな(あまり意味のない)記述があったときにエラーになっていたバグを直した。Krawczyk法での非線形方程式の精度保証で、1変数の場合のエラーハンドリングに問題があって精度保証失敗時に落ちていたバグの修正。DKA法の内部精度をdouble以外にするとコンパイルできなかったバグの修正。やることはあるのに、更新頻度が落ちてるのはよくない傾向だなあ。LohnerのAWAで遊ぼうInformation精度保証付き数値計算のことなど、いろいろつぶやく予定。