doc/info/ja/Miscellaneous.texi

   1 @menu
   2 * Introduction to Miscellaneous Options::
   3 * Share::
   4 * Functions and Variables for Miscellaneous Options::
   5 @end menu
   6
   7 @c -----------------------------------------------------------------------------
   8 @node Introduction to Miscellaneous Options, Share, Miscellaneous Options, Miscellaneous Options
   9 @section Introduction to Miscellaneous Options
  10 @c -----------------------------------------------------------------------------
  11
  12 この節では、Maximaの操作上、グローバルな効果を持つ様々なオプションが論じられます。
  13 すべてのユーザー定義関数のリストのような様々なリストも論じられます。
  14
  15 @c -----------------------------------------------------------------------------
  16 @node Share, Functions and Variables for Miscellaneous Options, Introduction to Miscellaneous Options, Miscellaneous Options
  17 @section Share
  18 @c -----------------------------------------------------------------------------
  19
  20 Maximaの「共有」ディレクトリは、Maximaユーザーのためのものですが、
  21 Maximaのコア実装の部分ではない、プログラムと他のファイルを含みます。
  22 これらのプログラムは、通常、 @code{load}や @code{setup_autoload}によってロードされます。
  23
  24 @code{:lisp *maxima-sharedir*}は、
  25 ユーザーのファイルシステム内の共有ディレクトリの位置を表示します。
  26
  27 @c FIXME FIXME FIXME -- WE REALLY NEED AN UP-TO-DATE LIST OF SHARE PACKAGES !!
  28 @code{printfile ("share.usg")}は、
  29 共有パッケージの期限切れリストを印字します。
  30 ユーザーは、
  31 ファイルシステムブラウザを使って共有ディレクトリをブラウズすることがもっと情報が得られることを知るでしょう。
  32
  33 @c -----------------------------------------------------------------------------
  34 @node Functions and Variables for Miscellaneous Options,  , Share, Miscellaneous Options
  35 @section Functions and Variables for Miscellaneous Options
  36 @c -----------------------------------------------------------------------------
  37
  38 @c -----------------------------------------------------------------------------
  39 @anchor{alphabetic}
  40 @defvr {宣言} alphabetic
  41
  42 @code{alphabetic}は、 @code{declare}が認識する宣言タイプです。
  43 式 @code{declare(@var{s}, alphabetic)}は、Maximaに
  44 @var{s}―は文字列でなければいけません―の中の文字のすべてをalphabeticとして認識するように
  45 命じます。
  46
  47 @ref{Identifiers}も参照してください。
  48
  49 例:
  50
  51 @c ===beg===
  52 @c xx\~yy\`\@ : 1729;
  53 @c declare ("~`@", alphabetic);
  54 @c xx~yy`@ + @yy`xx + `xx@@yy~;
  55 @c listofvars (%);
  56 @c ===end===
  57 @example
  58 (%i1) xx\~yy\`\@@ : 1729;
  59 (%o1)                         1729
  60 (%i2) declare ("~`@@", alphabetic);
  61 (%o2)                         done
  62 (%i3) xx~yy`@@ + @@yy`xx + `xx@@@@yy~;
  63 (%o3)               `xx@@@@yy~ + @@yy`xx + 1729
  64 (%i4) listofvars (%);
  65 (%o4)                  [@@yy`xx, `xx@@@@yy~]
  66 @end example
  67
  68 @opencatbox
  69 @category{Declarations and inferences}
  70 @closecatbox
  71 @end defvr
  72
  73 @c -----------------------------------------------------------------------------
  74 @anchor{genindex}
  75 @defvr {オプション変数} genindex
  76 デフォルト値: @code{i}
  77
  78 @code{genindex}は、
  79 必要な時、和の次の変数を生成するために使われる
  80 アルファベットの接頭辞です。
  81
  82 @opencatbox
  83 @category{Sums and products}
  84 @closecatbox
  85 @end defvr
  86
  87 @anchor{gensumnum}
  88 @defvr {オプション変数} gensumnum
  89 デフォルト値: 0
  90
  91 @code{gensumnum}は、
  92 和の次の変数を生成するために使われる
  93 数値接尾辞です。
  94 もし@code{false}に設定されているなら、
  95 インデックスは数値接尾辞なしで@code{genindex}だけから成ります。
  96
  97 @opencatbox
  98 @category{Sums and products}
  99 @closecatbox
 100 @end defvr
 101
 102 @c -----------------------------------------------------------------------------
 103 @anchor{gensym}
 104 @deffn  {関数} gensym ()
 105 @deffnx {関数} gensym (@var{x})
 106
 107 @code{gensym()}は新鮮なシンボルを生成し、返します。
 108
 109 新しいシンボルの名前は、
 110 デフォルトでは"g"の接頭辞と
 111 Lisp内部カウンタの値がデフォルトの数の十進表現である接尾辞の連結です。
 112
 113 もし@var{x}が供給されて、それが文字列なら、
 114 このgensymへの呼び出しに限って、
 115 その文字列は"g"の代わりに接頭辞として使われます。
 116
 117 もし@var{x}が供給されて、それが整数なら、
 118 このgensymへの呼び出しに限って、
 119 内部Lisp整数の値の代わりに接尾辞として使われます。
 120
 121 もし陽な接尾辞が供給されないなら、また、その時だけ、
 122 Lisp内部整数は、使われた後1だけ増分されます。
 123
 124 例:
 125
 126 @c ===beg===
 127 @c gensym();
 128 @c gensym("new");
 129 @c gensym(123);
 130 @c ===end===
 131 @example
 132 (%i1) gensym();
 133 (%o1)                         g887
 134 (%i2) gensym("new");
 135 (%o2)                        new888
 136 (%i3) gensym(123);
 137 (%o3)                         g123
 138 @end example
 139 @end deffn
 140
 141
 142 @c CROSS REF TO WHICH FUNCTION OR FUNCTIONS ESTABLISH PROPERTIES !! (VERY IMPORTANT)
 143 @c NEEDS EXPANSION, CLARIFICATION, AND EXAMPLES
 144
 145 @c -----------------------------------------------------------------------------
 146 @anchor{properties}
 147 @deffn {関数} properties (@var{a})
 148
 149 アトム@var{a}に関連づけられたプロパティすべての名前のリストを返します。
 150
 151 @opencatbox
 152 @category{Declarations and inferences}
 153 @closecatbox
 154 @end deffn
 155
 156 @c CROSS REF TO WHICH FUNCTION OR FUNCTIONS ESTABLISH PROPERTIES !! (VERY IMPORTANT)
 157 @c NEEDS EXPANSION, CLARIFICATION, AND EXAMPLES
 158 @c WHAT IS HIDDEN IN THE "etc" HERE ??
 159
 160 @c -----------------------------------------------------------------------------
 161 @anchor{props}
 162 @defvr {特殊シンボル} props
 163
 164 @code{props}は、
 165 @code{declare}関数で指定されたプロパティはもちろん、
 166 @code{atvalue}, @code{matchdeclare}, などが指定したような、
 167 @code{infolists}で陽に言及されたもの以外の任意のプロパティ、を持つアトムです。
 168
 169 @opencatbox
 170 @category{Declarations and inferences}
 171 @category{Global variables}
 172 @closecatbox
 173 @end defvr
 174
 175 @c CROSS REF TO WHICH FUNCTION OR FUNCTIONS ESTABLISH PROPERTIES !! (VERY IMPORTANT)
 176 @c NEEDS EXPANSION, CLARIFICATION, AND EXAMPLES
 177
 178 @c -----------------------------------------------------------------------------
 179 @anchor{propvars}
 180 @deffn {関数} propvars (@var{prop})
 181
 182 @code{props}リスト上の、
 183 @var{prop}が示すプロパティを持つアトムのリストを返します。
 184 従って，
 185 @code{propvars (atvalue)}は、atvalueを持つアトムのリストを返します。
 186
 187 @opencatbox
 188 @category{Declarations and inferences}
 189 @closecatbox
 190
 191 @end deffn
 192
 193 @c CROSS REF TO OTHER FUNCTIONS WHICH PUT/GET PROPERTIES !! (VERY IMPORTANT)
 194 @c NEEDS EXPANSION, CLARIFICATION, AND EXAMPLES
 195 @c ARE PROPERTIES ESTABLISHED BY put THE SAME AS PROPERTIES ESTABLISHED BY declare OR OTHER FUNCTIONS ??
 196 @c IS put (foo, true, integer) EQUIVALENT TO declare (foo, integer) FOR EXAMPLE ??
 197
 198 @c -----------------------------------------------------------------------------
 199 @anchor{put}
 200 @deffn {関数} put (@var{atom}, @var{value}, @var{indicator})
 201
 202 @var{value}を@var{atom}の(@var{indicator}が指定する)プロパティに割り当てます。
 203 @var{indicator}は、任意のプロパティの名前を取り得ますが、
 204 システム定義のプロパティは取りません。
 205
 206 @code{rem}は@code{put}の効果をひっくり返します。
 207
 208 @code{put}は引数を評価します。
 209 @code{put}は@var{value}を返します。
 210
 211 例:
 212
 213 @example
 214 (%i1) put (foo, (a+b)^5, expr);
 215                                    5
 216 (%o1)                       (b + a)
 217 (%i2) put (foo, "Hello", str);
 218 (%o2)                         Hello
 219 (%i3) properties (foo);
 220 (%o3)            [[user properties, str, expr]]
 221 (%i4) get (foo, expr);
 222                                    5
 223 (%o4)                       (b + a)
 224 (%i5) get (foo, str);
 225 (%o5)                         Hello
 226 @end example
 227
 228 @opencatbox
 229 @category{Declarations and inferences}
 230 @closecatbox
 231
 232 @end deffn
 233
 234 @c -----------------------------------------------------------------------------
 235 @anchor{qput}
 236 @deffn {関数} qput (@var{atom}, @var{value}, @var{indicator})
 237
 238 @var{value}を@var{atom}の(@var{indicator}が指定する)プロパティに割り当てます。
 239 これは、引数がクォートされることを除いて、@code{put}と同じです。
 240
 241 例:
 242
 243 @example
 244 (%i1) foo: aa$
 245 (%i2) bar: bb$
 246 (%i3) baz: cc$
 247 (%i4) put (foo, bar, baz);
 248 (%o4)                          bb
 249 (%i5) properties (aa);
 250 (%o5)                [[user properties, cc]]
 251 (%i6) get (aa, cc);
 252 (%o6)                          bb
 253 (%i7) qput (foo, bar, baz);
 254 (%o7)                          bar
 255 (%i8) properties (foo);
 256 (%o8)            [value, [user properties, baz]]
 257 (%i9) get ('foo, 'baz);
 258 (%o9)                          bar
 259 @end example
 260
 261 @opencatbox
 262 @category{Declarations and inferences}
 263 @closecatbox
 264 @end deffn
 265
 266 @c CROSS REF TO OTHER FUNCTIONS WHICH PUT/GET PROPERTIES !! (VERY IMPORTANT)
 267 @c NEEDS EXPANSION, CLARIFICATION, AND EXAMPLES
 268 @c HOW DOES THIS INTERACT WITH declare OR OTHER PROPERTY-ESTABLISHING FUNCTIONS ??
 269 @c HOW IS THIS DIFFERENT FROM remove ??
 270
 271 @c -----------------------------------------------------------------------------
 272 @anchor{rem}
 273 @deffn {関数} rem (@var{atom}, @var{indicator})
 274
 275 @var{atom}から、@var{indicator}が示すプロパティを取り除きます。
 276 @code{rem}は@code{put}の効果をひっくり返します。
 277
 278 @code{rem}が呼び出された時、もし@var{atom}が@var{indicator}プロパティを持っていたなら、@code{rem}は@code{done}を返します。もしそんなプロパティを持っていなかったら@code{false}を返します。
 279
 280 @opencatbox
 281 @category{Declarations and inferences}
 282 @closecatbox
 283 @end deffn
 284
 285 @c CROSS REF TO OTHER FUNCTIONS WHICH PUT/GET PROPERTIES !! (VERY IMPORTANT)
 286 @c NEEDS EXPANSION, CLARIFICATION, AND EXAMPLES
 287 @c HOW DOES THIS INTERACT WITH declare OR OTHER PROPERTY-ESTABLISHING FUNCTIONS ??
 288 @c HOW IS THIS DIFFERENT FROM rem ??
 289
 290 @c -----------------------------------------------------------------------------
 291 @anchor{remove}
 292 @deffn  {関数} remove (@var{a_1}, @var{p_1}, ..., @var{a_n}, @var{p_n})
 293 @deffnx {関数} remove ([@var{a_1}, @dots{}, @var{a_m}], [@var{p_1}, @dots{}, @var{p_n}], ...)
 294 @deffnx {関数} remove ("@var{a}", operator)
 295 @deffnx {関数} remove (@var{a}, transfun)
 296 @deffnx {関数} remove (all, @var{p})
 297 アトムに関連づけられたプロパティを取り除きます。
 298
 299 @code{remove (@var{a_1}, @var{p_1}, ..., @var{a_n}, @var{p_n})}
 300 は、アトム@code{a_k}からプロパティ@code{p_k}を取り除きます。
 301
 302 @code{remove ([@var{a_1}, ..., @var{a_m}], [@var{p_1}, ..., @var{p_n}], ...)}
 303 は、
 304 アトム@var{a_1}, @dots{}, @var{a_m}から
 305 プロパティ@code{@var{p_1}, ..., @var{p_n}}を
 306 取り除きます。
 307 リストのペアは複数を取り得ます。
 308
 309 @c VERIFY THAT THIS WORKS AS ADVERTISED
 310 @code{remove (all, @var{p})}は、
 311 プロパティ@var{p}を、それを持つアトムすべてから取り除きます。
 312
 313 @c SHOULD REFER TO A LIST OF ALL SYSTEM-DEFINED PROPERTIES HERE.
 314 取り除かれるプロパティは、
 315 @code{function}, @code{macro}, @code{mode_declare}のようなシステム定義のプロパティ
 316 かもしれません。
 317 @code{remove}は@code{put}で定義されたプロパティを取り除きません。
 318
 319 @c VERIFY THAT THIS WORKS AS ADVERTISED
 320 @c IS transfun PECULIAR TO remove ?? IF SO, SHOW SPECIAL CASE AS @defunx
 321 翻訳されたLispバージョンの関数を取り除くために
 322 プロパティは、@code{transfun}を取ることができます。
 323 これを実行した後は、翻訳バージョンでなく、Maximaバージョンの関数が実行されます。
 324
 325 @code{remove ("@var{a}", operator)}または、同値な, @code{remove ("@var{a}", op)}
 326 は、
 327 @var{a}から
 328 @code{prefix}, @code{infix}, @code{nary}, @code{postfix}, @code{matchfix}, @code{nofix}が宣言した演算子プロパティを取り除きます。
 329 演算子名はクォートされた文字列として書かれなければいけないことに注意してください。
 330
 331 アトムが指定されたプロパティを持とうが持ちまいが、
 332 @code{remove}は、いつも@code{done}を返します。
 333 この振る舞いは、もっと具体的な削除関数@code{remvalue}, @code{remarray}, @code{remfunction}, @code{remrule}と似ていません。
 334
 335 @code{remove}は引数をクォートします。
 336
 337 @c IN SERIOUS NEED OF EXAMPLES HERE
 338 @opencatbox
 339 @category{Declarations and inferences}
 340 @closecatbox
 341 @end deffn
 342
 343 @c NEEDS EXAMPLES
 344
 345 @c -----------------------------------------------------------------------------
 346 @anchor{remvalue}
 347 @deffn  {関数} remvalue (@var{name_1}, ..., @var{name_n})
 348 @deffnx {関数} remvalue (all)
 349
 350 (添字付きもありえる)ユーザー変数@var{name_1}, ..., @var{name_n}の値をシステムから
 351 取り除きます。
 352
 353 @code{remvalue (all)}は、
 354  removes the values of all variables in
 355 @code{values}―(Maximaが自動的に割り当てたものと対照的に)
 356 ユーザーが名前を与えた変数すべてのリスト―
 357 の中の変数すべての値を取り除きます。
 358
 359 @code{values}も参照してください。
 360
 361 @opencatbox
 362 @category{Evaluation}
 363 @closecatbox
 364 @end deffn
 365
 366 @c NEEDS EXAMPLES
 367
 368 @c -----------------------------------------------------------------------------
 369 @anchor{rncombine}
 370 @deffn {関数} rncombine (@var{expr})
 371
 372 同一の分母や、たがいに数値因子だけことなる分母を持つ
 373 @var{expr}のすべての項を結合することで、
 374 @var{expr}を変換します。
 375 これは、@code{combine}の振る舞いとわずかに違います。
 376 @code{combine}は、同一分母を持つ項を集めます。
 377
 378 @code{pfeformat: true}を設定し、@code{combine}を使うことは、
 379 @code{rncombine}を使って得られるものと似た結果をもたらしますが、
 380 @code{rncombine}は、
 381 クロス積の数値的分母因子のおまけのステップを実行します。
 382 これは、きれいな形式と、いくつかの相殺を認識する可能性を生みます。
 383
 384 @code{load("rncomb")}はこの関数をロードします。
 385
 386 @opencatbox
 387 @category{Expressions}
 388 @closecatbox
 389
 390 @end deffn
 391
 392 @c NEEDS CLARIFICATION AND EXAMPLES
 393
 394 @c -----------------------------------------------------------------------------
 395 @anchor{scalarp}
 396 @deffn {関数} scalarp (@var{expr})
 397
 398 もし@var{expr}が、数か、定数、
 399 @code{declare}で@code{scalar}と宣言された変数、
 400 数と定数とそんな変数から完全に構成され、行列やリストを含まない変数なら、
 401 @code{true}を返します。
 402
 403 @opencatbox
 404 @category{Predicate functions}
 405 @category{Vectors}
 406 @category{Matrices}
 407 @closecatbox
 408 @end deffn
 409
 410 @c -----------------------------------------------------------------------------
 411 @anchor{setup_autoload}
 412 @deffn {関数} setup_autoload (@var{filename}, @var{function_1}, ..., @var{function_n})
 413
 414 もし@var{function_1}, ..., @var{function_n}のいずれかが、
 415 参照されたがまだ定義されていないなら、
 416 @code{load}を通じて@var{filename}がロードされるように指定します。
 417 @var{filename}は、
 418 強制はされませんが、普通、指定された関数の定義を含みます。
 419
 420 @code{setup_autoload}は配列関数については機能しません。
 421
 422 @code{setup_autoload}は引数をクォートします。
 423
 424 例:
 425
 426 @c EXAMPLE GENERATED FROM FOLLOWING INPUT
 427 @c legendre_p (1, %pi);
 428 @c setup_autoload ("specfun.mac", legendre_p, ultraspherical);
 429 @c ultraspherical (2, 1/2, %pi);
 430 @c legendre_p (1, %pi);
 431 @c legendre_q (1, %pi);
 432 @example
 433 (%i1) legendre_p (1, %pi);
 434 (%o1)                  legendre_p(1, %pi)
 435 (%i2) setup_autoload ("specfun.mac", legendre_p, ultraspherical);
 436 (%o2)                         done
 437 (%i3) ultraspherical (2, 1/2, %pi);
 438 Warning - you are redefining the Macsyma function ultraspherical
 439 Warning - you are redefining the Macsyma function legendre_p
 440                             2
 441                  3 (%pi - 1)
 442 (%o3)            ------------ + 3 (%pi - 1) + 1
 443                       2
 444 (%i4) legendre_p (1, %pi);
 445 (%o4)                          %pi
 446 (%i5) legendre_q (1, %pi);
 447                               %pi + 1
 448                       %pi log(-------)
 449                               1 - %pi
 450 (%o5)                 ---------------- - 1
 451                              2
 452 @end example
 453
 454 @opencatbox
 455 @category{Function definition}
 456 @category{File input}
 457 @closecatbox
 458 @end deffn