Risa/Asir
リストの生成は "[" と "]" で囲むことで行われる。要素の区切りは "," である。
リストは実行中にサイズを変更できるが要素への代入を行うことはできない。
LISPに由来する強力なリスト操作
他言語で配列 (array) に相当する型は Asir ではベクトル (vector) と呼ばれる。
ベクトルは newvect() を用いて明示的に生成する必要があり、サイズは固定される。要素への代入は自由にできる。
行列・バイト列の扱いはベクトルに準じる。
ベクトルとリストは vtol() / newvect() によって相互に変換可能である。
↑ Asir の発音については諸説あるが、ここでは竹島卓等に倣った。OpenXM コミッターチームは「あしーる」と呼んでいるように思われる。呼称については asirgui.exe のアイコンでもあるマスコットキャラクタのホポ君(野呂がモデル)はアザラシ (a seal; あ・しーる) だからとも言われるが、ホポ君はどう見てもセイウチ。
↑ Asir は Risa の逆さ綴りである
↑ 野呂は立教大学へ転出しており、年1回3月に行われていたカンファレンスも2015年からは小原功任を中心に金沢大学で開かれている
↑ OpenXM は神戸大学教授である高山信毅、および、野呂正行・小原功任らを中心メンバーとして、様々な数学ソフトウェア間での通信を行うためのプロトコルおよびパッケージを提供するプロジェクトであり、Asir は OpenXM における通信インターフェイスとしての役割も果たす。
↑ cfep 自体は OpenXM のフロントエンドであり、デフォルトの Asir 以外の計算エンジンを利用することも可能である。(動作環境: Mac OS X v10.4以上)
各オブジェクトは可読な形式での入力からパーサーにより中間言語に変換され、Risa によって各々に応じた型を持つ内部形式に変換される。オブジェクトの型は type()・nytpe()・vtype() によって確認できる。
有限体・代数体上の代数計算
グレブナー基底計算