| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
| 33.1 Introduction to Miscellaneous Options | ||
| 33.2 Share | ||
| 33.3 Functions and Variables for Miscellaneous Options |
| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
この節では、 Maximaの操作上、グローバルな効果を持つ様々なオプションが論じられます。 すべてのユーザー定義関数のリストのような様々なリストも論じられます。
| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
Maximaの「共有」ディレクトリは Maximaユーザーのためのものですが、
Maximaのコア実装の部分ではないプログラムと他のファイルを含みます。
これらのプログラムは通常、 loadや setup_autoloadによってロードされます。
:lisp *maxima-sharedir*は
ユーザーのファイルシステム内の共有ディレクトリの位置を表示します。
printfile ("share.usg")は共有パッケージの期限切れリストを印字します。
ファイルシステムブラウザを使って共有ディレクトリをブラウズするともっと情報が得られることに
ユーザーは気づくでしょう。
| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
alphabeticは declareが認識する宣言タイプです。
式 declare(s, alphabetic)は、
Maximaに s―は文字列でなければいけません―の中の文字のすべてを
alphabeticとして認識するように命じます。
Identifiersも参照してください。
例:
(%i1) xx\~yy\`\@ : 1729;
(%o1) 1729
(%i2) declare ("~`@", alphabetic);
(%o2) done
(%i3) xx~yy`@ + @yy`xx + `xx@@yy~;
(%o3) `xx@@yy~ + @yy`xx + 1729
(%i4) listofvars (%);
(%o4) [@yy`xx, `xx@@yy~]
|
Categories: Declarations and inferences
デフォルト値: i
genindexは、必要な時、和の次の変数を生成するために使われる
アルファベットの接頭辞です。
Categories: Sums and products
デフォルト値: 0
gensumnumは、和の次の変数を生成するために使われる数値接尾辞です。
もし falseに設定されているなら、インデックスは数値接尾辞なしで
genindexだけから構成されます。
Categories: Sums and products
gensym()は新鮮なシンボルを生成し返します。
新しいシンボルの名前はデフォルトでは、 "g"の接頭辞と Lisp内部カウンタの値がデフォルトの数の十進表現である接尾辞の連結です。
もし xが供給されてそれが文字列なら、この gensymへの呼び出しに限ってその文字列が "g"の代わりに接頭辞として使われます。
もし xが供給されてそれが整数なら、 この gensymへの呼び出しに限って内部 Lisp整数の値の代わりに接尾辞として使われます。
もし明示的に接尾辞が供給されない時だけ、 Lisp内部整数が使われた後 1だけ増分されます。
例:
(%i1) gensym();
(%o1) g887
(%i2) gensym("new");
(%o2) new888
(%i3) gensym(123);
(%o3) g123
|
アトム aに関連づけられたプロパティすべての名前のリストを返します。
Categories: Declarations and inferences
propsは、declare関数で指定されたプロパティはもちろん、
atvalue, matchdeclare, などが指定したような、
infolistsで明示的に言及されたもの以外の任意のプロパティを持つアトムです。
Categories: Declarations and inferences ·Global variables
propsリスト上の propが示すプロパティを持つアトムのリストを返します。
従って、 propvars (atvalue)は
atvalueを持つアトムのリストを返します。
Categories: Declarations and inferences
valueを atomの (indicatorが指定する)プロパティに割り当てます。 indicatorは任意のプロパティの名前を取り得ますが、 システム定義のプロパティは取りません。
remは putの効果をひっくり返します。
putは引数を評価します。
putは valueを返します。
例:
(%i1) put (foo, (a+b)^5, expr);
5
(%o1) (b + a)
(%i2) put (foo, "Hello", str);
(%o2) Hello
(%i3) properties (foo);
(%o3) [[user properties, str, expr]]
(%i4) get (foo, expr);
5
(%o4) (b + a)
(%i5) get (foo, str);
(%o5) Hello
|
Categories: Declarations and inferences
valueを atomの (indicatorが指定する)プロパティに割り当てます。
引数がクォートされることを除いて、これは putと同じです。
例:
(%i1) foo: aa$
(%i2) bar: bb$
(%i3) baz: cc$
(%i4) put (foo, bar, baz);
(%o4) bb
(%i5) properties (aa);
(%o5) [[user properties, cc]]
(%i6) get (aa, cc);
(%o6) bb
(%i7) qput (foo, bar, baz);
(%o7) bar
(%i8) properties (foo);
(%o8) [value, [user properties, baz]]
(%i9) get ('foo, 'baz);
(%o9) bar
|
Categories: Declarations and inferences
atomから indicatorが示すプロパティを取り除きます。
remは putの効果をひっくり返します。
remが呼び出された時、もし atomが
indicatorプロパティを持っていたなら、
remは doneを返します。
もしそんなプロパティを持っていなかったら falseを返します。
Categories: Declarations and inferences
アトムに関連づけられたプロパティを取り除きます。
remove (a_1, p_1, ..., a_n, p_n)はアトム
a_kからプロパティ p_kを取り除きます。
remove ([a_1, ..., a_m], [p_1, ..., p_n],
...)はアトム a_1, …, a_mからプロパティ
p_1, ..., p_nを取り除きます。
リストのペアは複数を取り得ます。
remove (all, p)はプロパティ
pを、それを持つアトムすべてから取り除きます。
取り除かれるプロパティは、 function, macro,
mode_declareのようなシステム定義のプロパティかもしれません。
removeは putで定義されたプロパティを取り除きません。
翻訳された Lispバージョンの関数を取り除くために
プロパティは transfunを取ることができます。
これを実行した後は、翻訳バージョンでなく Maximaバージョンの関数が実行されます。
remove ("a", operator)または、同値の
remove ("a", op)は、aから
prefix, infix, nary, postfix, matchfix,
nofixが宣言した演算子プロパティを取り除きます。
演算子名はクォートされた文字列として書かれなければいけないことに注意してください。
アトムが指定されたプロパティを持つ持たないに関わらず、
removeはいつも doneを返します。
この振る舞いは、もっと具体的な削除関数remvalue, remarray,
remfunction, remruleと違っています。
removeは引数をクォートします。
Categories: Declarations and inferences
(添字付きもありえる)ユーザー変数 name_1, ..., name_nの値をシステムから取り除きます。
remvalue (all)は、values―
(Maximaが自動的に割り当てたものと対照的に)ユーザーが名前を与えた変数すべてのリスト―
の中の変数すべての値を取り除きます。
valuesも参照してください。
Categories: Evaluation
同一の分母や、たがいに数値因子だけ異なる分母を持つ
exprのすべての項を結合することで、 exprを変換します。
これは combineの振る舞いとわずかに違います。
combineは同一分母を持つ項を集めます。
pfeformat: trueを設定し、 combineを使うことは、
rncombineを使って得られるものと似た結果をもたらしますが、
rncombineはクロス積の数値的分母因子のおまけのステップを実行します。
これは、きれいな形式と、いくつかの相殺を認識する可能性をもたらします。
load(rncomb)はこの関数をロードします。
Categories: Expressions
もし exprが数か、定数、 declareで scalarと宣言された変数、
または、数と定数とそんな変数から完全に構成され、行列やリストを含まない変数なら、
trueを返します。
Categories: Predicate functions ·Vectors ·Matrices
もし function_1, ...,
function_nのいずれかが参照されたがまだ定義されていないなら、
loadを通じて filenameがロードされるように指定します。
filenameは強制はされませんが、普通、指定された関数の定義を含みます。
setup_autoloadは配列関数については機能しません。
setup_autoloadは引数をクォートします。
例:
(%i1) legendre_p (1, %pi);
(%o1) legendre_p(1, %pi)
(%i2) setup_autoload ("specfun.mac", legendre_p, ultraspherical);
(%o2) done
(%i3) ultraspherical (2, 1/2, %pi);
Warning - you are redefining the Macsyma function ultraspherical
Warning - you are redefining the Macsyma function legendre_p
2
3 (%pi - 1)
(%o3) ------------ + 3 (%pi - 1) + 1
2
(%i4) legendre_p (1, %pi);
(%o4) %pi
(%i5) legendre_q (1, %pi);
%pi + 1
%pi log(-------)
1 - %pi
(%o5) ---------------- - 1
2
|
Categories: Function definition ·File input
| [ << ] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
この文書は市川 雄二によって2012年1月月5日にtexi2html 1.82を用いて生成されました。