MakeBoxes

MakeBoxes[expr,form]

Wolframシステムセッションで使われる低レベルの関数で,式をボックスに変換するために使われる.

MakeBoxes[expr]

exprStandardFormボックスに変換する関数である.

詳細

  • MakeBoxesを使用しても,式 expr の評価は行われない.
  • form には,StandardFormTraditionalForm,あるいはその他のボックスを使って表される任意の形式を指定することができる.
  • MakeBoxes[expr,form]にユーザ定義の規則を与えることができる.そうすることで,任意の式をどのようにボックス形に変換すべきかを指定することができる. »
  • MakeBoxesの生成する結果に対して,それ自身の自動的な呼出しは行われない.このため,自動的に変換が行われるようにするには,予めMakeBoxesの呼出しコマンドを規則の定義の中に加えておく必要がある.
  • MakeBoxesに対し規則の定義を与え式の出力書式を変更すると,得られる出力をWolfram言語が正確に解釈できなくなる場合がある.
  • MakeBoxesに割り当てた定義はWolfram言語の出力生成用組込み規則を無効にする.

例題

すべて開くすべて閉じる

  (3)

多項式のボックス表現:

グラフィックスのボックス表現:

StandardFormTraditionalFormの特殊関数:

スコープ  (6)

基本オブジェクト  (2)

IntegerRationalRealComplexの各数:

任意精度のReal(実数)とComplex(複素数):

特殊定数:

文字および文字列:

文字列の文字を制御する:

特殊入力形  (4)

さまざまなPowerの式のボックス表記:

特殊なタイプセット式:

異なるリスト構造:

上付き文字,下付き文字等を含む入力:

アプリケーション  (1)

関数のフォーマットを定義する:

特性と関係  (3)

MakeBoxesexpr を評価しないが,ToBoxesは評価する:

MakeExpressionを使ってもとの式を未評価の形で得る:

MakeBoxesFormatによって加えられたフォーマット規則を使う:

bin をフォーマットする:

Wolfram Research (1996), MakeBoxes, Wolfram言語関数, https://reference.wolfram.com/language/ref/MakeBoxes.html (2007年に更新).

テキスト

Wolfram Research (1996), MakeBoxes, Wolfram言語関数, https://reference.wolfram.com/language/ref/MakeBoxes.html (2007年に更新).

CMS

Wolfram Language. 1996. "MakeBoxes." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2007. https://reference.wolfram.com/language/ref/MakeBoxes.html.

APA

Wolfram Language. (1996). MakeBoxes. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/MakeBoxes.html

BibTeX

@misc{reference.wolfram_2024_makeboxes, author="Wolfram Research", title="{MakeBoxes}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/MakeBoxes.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_makeboxes, organization={Wolfram Research}, title={MakeBoxes}, year={2007}, url={https://reference.wolfram.com/language/ref/MakeBoxes.html}, note=[Accessed: 22-November-2024 ]}