2.5 言語

2.5.1 get_struct_name, get_element_names, get_element_at, put_element_at

get_struct_name(s)

get_element_names(s)

get_element_at(s,key)

put_element_at(s,key,obj)

:: 構造体 s に対する操作

return

文字列 (get_struct_name), 文字列のリスト (get_element_names), オブジェクト (get_element_at), オブジェクト (put_element_at)

s

構造体

key

文字列

obj

オブジェクト

• get_struct_name(s) は, 構造体 s の名前を戻す.
• get_element_names(s) は, 構造体のメンバーの名前のリストを戻す.
• get_element_at(s,key) は構造体 s のメンバー key の値を戻す.
• put_element_at(s,key,obj) は構造体 s のメンバー key の値を obj に設定する.

[219]  struct point { x, y, color};
[220]  P = newstruct(point);
{0,0,0}
[221]  P->x = 10$ P->y=5$ P->color="red"$
[222]  get_element_names(P);
[x,y,color]
[223] put_element_at(P,"color","blue");
blue
[224] P->color;
bule

参照

@ref{newstruct}, @ref{struct}

ChangeLog

• 構造体の定義を知らずに構造体を扱うユーザ関数を書くときに便利. asir-contrib の noro_print.rr を見よ.
• OpenXM_contrib2/asir2000/builtin/compobj.c 1.8.

2.5.2 mapat

mapat(fname,pos[,arg0, arg1, ...])

:: pos に対する map 関数

return

オブジェクト

pos

整数

arg0, arg1, arg2, ...

オブジェクト

• map 関数は 0 番目の引数に対してしか動作しないが, mapat 関数は指定した番号の引数に対して map 関数を実行する.
• mapat(fname,0,A0,A1,...) は map(fname,A0,A1,...) に等価である.
• 次の副作用がある. まだ書いてない.

[219] mapat(deg,1,x^2+y^3+x+y,[x,y]);
[2,3]
[220] mapat(subst,1,x+y+z,[x,y,z],2);
[y+z+2,x+z+2,x+y+2]

参照

@ref{map}

ChangeLog

• この関数は 2004-6-22 にコミットされた. 変更をうけたソースコードは builtin/pf.c, subst.c である.

2.5.3 list

list([arg0, arg1, ...])

:: list を生成する.

return

リスト

arg0, arg1, arg2, ...

オブジェクト

• arg0, arg1, ... を要素とするリストを生成する.

[219] list(1,2,3);
[1,2,3]
[220] list(1,2,[3,4]);
[1,2,[3,4]]

参照

@ref{cons}

ChangeLog

• この関数は 2004-6-22 にコミットされた. 変更をうけたソースコードは builtin/list.c である.

2.5.4 assoc

assoc(a,b)

:: 連想リストをつくる

return

List

a

List

b

List

• リスト a, b より [[a[0],b[0]], [a[1],b[1]], ...] なる新しいリストを生成する.

下の例では A に動物の名前が, B に足の本数が入っている. assoc(A,B) で動物と足の本数をペアにしたリストを生成する.

[1192]  A=["dog","cat","snake"];
[dog,cat,snake]
[1193] B=[4,4,0];
[4,4,0]
[1194] assoc(A,B);
[[dog,4],[cat,4],[snake,0]]

参照

@ref{cons}, @ref{append}

ChangeLog

• この関数は 2004-6-28 に書かれた. 変更をうけたソースコードは builtin/list.c 1.9 parse/eval.c 1.35, parse/parse.h 1.31, parse/quote.c 1.14–1.16.

2.5.5 set_secure_flag, set_secure_mode

set_secure_flag(fname,m)

set_secure_mode(m)

:: 関数の実行権限を設定する. (web サービス用)

return

整数

fname

文字列

m

整数

• set_secure_flag, set_secure_mode は asir を web サーバ等で公開するために加えられた関数. set_secure_flag で公開する関数を指定する. secure_mode が 1 の場合は set_secure_flag で指定された 関数しか実行できない. 関数の実行途中では secure_mode が 0 となっているので, 任意の関数を実行できる. またエラーの時等は, secure_mode は 1 に自動的に復帰する. ただし def は実行できない. 公開する関数では, その処理中は任意の関数が実行できるので, security に十分注意した実装をする必要がある.
• set_secure_flag は, fname の secure flag を m にする. 公開する命令は 1 に設定する.
• set_secure_mode(1) で secure_mode が 1 となり, 公開された関数しか実行できなくなる. quit 等も実行できないので注意.
• timer の引数として secure_flag を設定していない関数を 指定して実行してもエラーが表示されない. このときは, ctrl("error_in_timer",1) を実行しておく.

[1194] set_secure_flag("print_input_form_",1);
1
[1195] set_secure_flag("fctr",1);
1
[220] set_secure_mode(1);
1
[1197] fctr((x-1)^3);
[[1,1],[x-1,3]]
[1198] fctr(shell("ls"));
evalf : shell not permitted
return to toplevel

参照

@ref{timer}

ChangeLog

• set_secure_flag, set_secure_mode は asir を web サーバ等で公開するために加えられた関数. sm1 の同様な関数 RestrictedMode で採用された方法を用いている. つまり, set_secure_flag で公開する関数を指定する. secure_mode が 1 の場合は set_secure_flag で指定された 関数しか実行できない. v関数の実行途中では secure_mode が 0 となっているので, 任意の関数を実行できる.
• この関数は 2004-10-27 から 2004-11-22 にかけて開発された.
• cgiasir.sm1, cgi-asir.sh と組み合わせて cgi サービスを提供するために 利用する. cgi-asir.sh では CGI_ASIR_ALLOW 環境変数で公開するコマンドを指定する.
• 1.24–1.25 OpenXM_contrib2/asir2000/builtin/miscf.c
• 1.36–1.38 OpenXM_contrib2/asir2000/parse/eval.c
• 1.6–1.7 OpenXM_contrib2/asir2000/parse/function.c
• 1.33 OpenXM_contrib2/asir2000/parse/parse.h

2.5.6 initialize_static_variable

static 変数の初期化の問題点. 初期化の時に segmentation fault がおきる.

• static 変数の取扱. 下の例を参照のこと.

if (1) {
 module abc;
 static A;
 A=1;
 endmodule;
} else { };

end$
を t.rr とするとき,

[6] load("./t.rr");
1
internal error (SEGV)
となる.

t.rr を
if (1) {
 module abc;
 static A;
 localf initA;
 localf foo;
 def initA() {
   A=1;
 }
 initA();
 def foo() {
   return A;
 }
 endmodule;
} else { };

end$
とすると正しく初期化される.

ChangeLog

• oxasir-win.rr の取扱で問題点として浮上. 2005.07.25.
• oxasir-win.rr の取扱で double quote の取り扱いに問題があったが, これは asir2000/io/ox_asir.c, 1.58, で問題点解決.
• ox_asir に計算を依頼する時は if (1) { ... }で囲む.

2.5.7 function

function 宣言することにより函数形式の不定元を生成できる.

function 宣言することにより函数形式の不定元を生成できる.

微分函数 diff はこの函数形式の不定元の微分をやはり函数形式の不定元として生成する.

たとえば f{1,2}(x,y) は f を x について一階偏微分, y について 2階偏微分したもの.

diff は合成関数としての処理も行う.

[1915] function f(x,y);
[1916] F=f(f(x,y),y)$
[1917] diff(F,y);
f{1,0}(f(x,y),y)*f{0,1}(x,y)+f{0,1}(f(x,y),y)
[1918] vtype(f(p,q));
2
[1919] deg(diff(F,y),f{0,1}(x,y));
1

@xref{vtype} @xref{diff}

ChangeLog

• いつの commit で導入されたか不明.

この文書は3月 16, 2025にtexi2html 5.0を用いて生成されました。