 |
|
|
|
||
|
|
LatticeData 格子の指定された特性を返す． |
| LatticeData[n] n 次元の名前付きの格子のリストを返す． |
や
等の一般的な名前で指定することができる．
は，古典的な名前付き格子のリストを返す．
は，識別子 id を持つ指定されたタイプの格子のデータを返す．| {"BarnesWall",n} | Barnes-Wall格子  | |
| {"Bravais",{"system","centering"}} | 指定の結晶系のためのBravais格子 | |
| {"CoxeterBarnes", {r, n}} | Coxeter-Barnes格子  | |
| {"DualRootLattice",group} | 指定したリー(Lie)群のための二重ルート格子 | |
| {"IntegerLattice",n} | 整数格子  | |
| {"KappaLattice",{m,n}} |  格子 | |
| {"LaminatedLattice",{m,n}} | 層状格子 | |
| {"MordellWeil",n} | Mordell-Weil格子  | |
| {"Niemeier",n} |   次のNiemeier格子 | |
| {"PerfectLattice",n} | 完全格子 | |
| {"Quebbemann",n} | Quebbemann格子  | |
| {"RootLattice",group} | 指定したリー群のためのルート格子 |
，
等の一般的な名前で指定できる．センタリングは，
，
，または
である．
あるいは
の形で指定できる．
は
と等価である．
は，格子の可能な特性のリストを返す．| "Basis" | 基底ベクトル | |
| "Determinant" | Gram行列の行列式 | |
| "Dimension" | 格子の次数 | |
| "Dual" | 二重格子 | |
| "GeneratorMatrix" | ジェネレータの行列 | |
| "Genus" | 格子の種数 | |
| "GlueVectors" | 粘着ベクトル（適応可能な場合） | |
| "GramMatrix" | Gram行列 | |
| "Image" | 点の構成（適応可能な場合） | |
| "KissingNumber" | 接吻数 | |
| "MinimalNorm" | 最低基準 | |
| "MinimalVectors" | 最小ベクトル | |
| "ModularNumber" | モジュール番号 | |
| "RadialFunction" | 半径の関数としての格子点（ 級数係数） | |
| "ThetaSeriesFunction" | シータ級数の純関数 |
| "CenterDensity" | 中央密度 | |
| "CoveringRadius" | 被覆半径 | |
| "CoxeterNumber" | コクセター(Coxeter)数 | |
| "Density" | 平均球面充填密度 | |
| "HermiteInvariant" | エルミート(Hermite)不変数 | |
| "PackingRadius" | 充填半径 | |
| "Thickness" | 厚さ | |
| "Volume" | 基本領域の体積 |
は，lattice が出現するクラスのリストを返す．
は，指定クラスの名前付き格子のリストを返す．
は，lattice が指定のクラスのものかどうかによってTrueまたはFalseを返す．
は
で指定できる：
：
：
：
：
：
：
について，格子データは純関数として与えられる：
になる：
になる：
|
言語
  |
例題
例 
スコープ 