有限行列群の既約指標を計算するため、Burnside-Dixon-Schneiderアルゴリズムというのがある。Burnsideが考えたものに、DixonとSchneiderが改良を加えていったものらしい。抽象群の場合も、同じアルゴリズムで計算できるけど、群の計算の実装がだるいので、…

メモ。Risa/Asirには、syzygyを計算する機能はないのかと思って、lib-asir-contribを眺めていたら、noro_module_syz.rrというファイルがあった。ドキュメントすらないっぽいのだけど、ちゃんと動く。モジュール名がnewsyzなのだけど、oldは何処に? ・module_…

安定分布を生成させたくなったので、やり方を調べた。Chambers-Mallows-Stuckが提案した方法を使うのが一般的らしい(scipy,GLSLはこの方法に基づいた実装のようだった)。一様分布Uと指数分布E(平均が1となるように。これは手軽には、区間(0,1]上の一様分布V…

全くの偶然で発見したのだけど、最近読んで、地味に面白かった論文 Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials http://arxiv.org/abs/0903.3581 コンパクトケーラー多様体のコホモロジーに対して成り立つ…