Solver2018/11/29(木)kv-0.4.47精度保証kvライブラリを、0.4.47にアップデートしました。実は、日記には書きませんでしたが、昨日、kv-0.4.46にアップデートしています。sizeの制御部分が自分の意図通りに書かれていなかったいくつかのバグを修正しました。sizeの戦略が変わるので計算結果は0.4.45以前とは少し変わります。stiffな問題に関しては、大きく変わる可能性もあります。solverに関する変更です。ユーザから見れば、ode-maffine0.hppが削除されたこと以外はほとんど変わっていません。内部には大きな変更が入りました。kv-0.4.35で行った変分方程式の解き方の改善は、ode-maffineに対するものでしたが、それをode-autodifに直接組み込むようにしました。ODEに強くなっていることが予想されます。チェックはしたつもりですが、何か不具合がありましたらお知らせ下さい。SolverInformation精度保証付き数値計算のことなど、いろいろつぶやく予定。