"FiniteGroup" (テキストコンテンツタイプ)
有限群の名前として認識されるテキスト
詳細
- "FiniteGroup"は，TextCases，TextPosition，TextContentsに使用可能である．
- "FiniteGroup"は，テキストの文脈の中で言及されたすべての有限群に呼応する．
- 有限群の名前と同じ言葉であるが，有限群でないものは，"FiniteGroup"として検知されるべきではない（文脈上で曖昧さが回避されている場合）．
- TextCases[…,"FiniteGroup""Interpretation"]は，"FiniteGroup"タイプの実体をInterpreter["FiniteGroup"]のように返すことを試みる．