はじめに
標準搭載されていないが使う頻度が高い比較的簡単なコードを置いておく。特定の専門分野に向けたコードではなく、ユーティリティ関数群とでも呼ぶべきものに限る。
条件のリストの要素の論理結合の式を生成する
可変個変数の評価関数を扱うときにAssuming
の引数として変数の仮定を必要な数だけ自動生成したいときがある。リストの要素の論理結合を計算する再帰関数を自分で定義すればよい。
正方行列の上下三角部分
オプションの第2引数で対角成分から上(下)に削る量を指定できる。
主に計算機と数学の覚書
標準搭載されていないが使う頻度が高い比較的簡単なコードを置いておく。特定の専門分野に向けたコードではなく、ユーティリティ関数群とでも呼ぶべきものに限る。
可変個変数の評価関数を扱うときにAssuming
の引数として変数の仮定を必要な数だけ自動生成したいときがある。リストの要素の論理結合を計算する再帰関数を自分で定義すればよい。
オプションの第2引数で対角成分から上(下)に削る量を指定できる。