Asir で蝗脱材墙な房

Asir においては, 材粕な妨及で掐蜗されたさまざまな滦据は, パ〖ザにより 面粗咐胳に恃垂され, インタプリタにより Risa の纷换エンジンを钙び叫し ながら柒婶妨及に恃垂される. 恃垂された滦据は, 肌のいずれかの房を积つ. 称戎规は, 寥み哈み取眶 type() により手される猛に滦炳している. 称毋は, Asir のプロンプトに滦する掐蜗が材墙な妨及のいくつかを 绩す.

0 0

悸狠には 0 を急侍灰にもつ滦据は赂哼しない. 0 は, C における 0 ポインタに より山附されている. しかし, 守倒惧 Asir の type(0) は 猛 0 を手す.

1 眶

1 2/3  14.5  3+2*@i 

眶は, さらにいくつかの房に尸けられる. これについては布で揭べる.

2 驴灌及 (眶でない)

x  afo  (2.3*x+y)^10

驴灌及は, 链て鸥倡され, その箕爬における恃眶界进に骄って, 浩耽弄に 1 恃眶驴灌及として惯蜒の界に腊妄される. (See section 尸欢山附驴灌及.) この箕, その驴灌及に附れる界进呵络の恃眶を 肩恃眶 と钙ぶ.

3 铜妄及 (驴灌及でない)

(x+1)/(y^2-y-x)  x/x

铜妄及は, 尸熟尸灰が腆尸材墙でも, 汤绩弄に red() が钙ばれない 嘎り腆尸は乖われない. これは, 驴灌及の GCD 遍换が端めて脚い遍换である ためで, 铜妄及の遍换は庙罢が涩妥である.

4 リスト

[]  [1,2,[3,4],[x,y]]

リストは粕み叫し漓脱である. [] は鄂リストを罢蹋する. リストに滦する 拎侯としては, car(), cdr(), cons() などによる拎侯の戮に, 粕み叫し漓脱の芹误とみなして, [index] を涩妥なだけつけることにより 妥燎の艰り叫しを乖うことができる. 毋えば

[0] L = [[1,2,3],[4,[5,6]],7]$
[1] L[1][1];
[5,6]

庙罢すべきことは, リスト, 芹误 (乖误, ベクトル) 鼎に, インデックスは 0 から幌まることと, リストの妥燎の艰り叫しをインデックスで乖うことは, 冯渡は黎片からポインタをたどることに陵碰するため, 芹误に滦する拎侯に 孺秤して络きなリストでは箕粗がかかる眷圭があるということである.

5 ベクトル

newvect(3)  newvect(2,[a,1])

ベクトルは, newvect() で汤绩弄に栏喇する涩妥がある. 涟荚の毋で は2 喇尸の 0 ベクトルが栏喇され, 稿荚では, 妈 0 喇尸が a, 妈 1 喇尸が 1 のベクトルが栏喇される. 介袋步のための 妈 2 苞眶は, 妈 1 苞眶笆布の墓さのリストを减け烧ける. リストの妥燎は焊から脱いられ, 颅 りない尸は 0 が输われる. 喇尸は [index] により艰り叫せる. 悸狠 には, 称喇尸に, ベクトル, 乖误, リストを崔む扦罢の房の滦据を洛掐できる ので, 驴肌傅芹误をベクトルで山附することができる.

[0] A3 = newvect(3);
[ 0 0 0 ]
[1] for (I=0;I<3;I++)A3[I] = newvect(3);
[2] for (I=0;I<3;I++)for(J=0;J<3;J++)A3[I][J]=newvect(3);
[3] A3;
[ [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ] [ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ]
[ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ] ]
[4] A3[0];
[ [ 0 0 0 ] [ 0 0 0 ] [ 0 0 0 ] ]
[5] A3[0][0];
[ 0 0 0 ]

6 乖误

newmat(2,2)  newmat(2,3,[[x,y],[z]])

乖误の栏喇も newmat() により汤绩弄に乖われる. 介袋步も, 苞眶 がリストのリストとなることを近いてはベクトルと票屯で, リストの称妥燎 (これはまたリストである) は, 称乖の介袋步に蝗われ, 颅りない婶尸には 0 が虽められる. 乖误も, 称妥燎には扦罢の滦据を洛掐できる. 乖误の称 乖は, ベクトルとして艰り叫すことができる.

[0] M=newmat(2,3);
[ 0 0 0 ]
[ 0 0 0 ]
[1] M[1];
[ 0 0 0 ]
[2] type(@@);
5

7 矢机误

""  "afo"

矢机误は, 肩にファイル叹などに脱いられる. 矢机误に滦しては裁换のみが 年盗されていて, 冯蔡は 2 つの矢机误の冯圭である.

[0] "afo"+"take";
afotake

8 菇陇挛

newstruct(afo)

Asir における菇陇挛は, C における菇陇挛を词白步したものである. 盖年墓芹误の称喇尸を叹涟でアクセスできるオブジェクトで, 菇陇挛年盗髓に叹涟をつける.

9 尸欢山附驴灌及

2*<<0,1,2,3>>-3*<<1,2,3,4>>

これは, ほとんどグレブナ答撵漓脱の房で, 奶撅の纷换でこの房が涩妥と なることはまずないが, グレブナ答撵纷换パッケ〖ジ极挛がユ〖ザ咐胳 で今かれているため, ユ〖ザが拎侯できるよう迫惟した房として Asir で蝗脱できるようにしてある. これについては See section グレブナ答撵の纷换.

10 射规なしマシン 32bit 腊眶

11 エラ〖オブジェクト

笆惧企つは, Open XM において脱いられる泼检オブジェクトである.

12 GF(2) 惧の乖误

附哼, 筛眶 2 の铜嘎挛における答撵恃垂のためのオブジェクトとして脱いられ る.

13 MATHCAP オブジェクト

Open XM において, 悸刘されている怠墙を流减慨するためのオブジェクトである.

14 first order formula

quantifier elimination で脱いられる办超揭胳侠妄及.

15 matrix over GF(p)

井筛眶铜嘎挛惧の乖误.

16 byte array

射规なし byte の芹误

-1 VOID オブジェクト

房急侍灰 -1 をもつオブジェクトは簇眶の提り猛などが痰跟であることを绩す.

Go to the first, previous, next, last section, table of contents.