ベクトル空間を単に空間と呼ぶことがある。ベクトル空間は自由ベクトル空間〈基底付きベクトル空間〉とする。 空間＝自由ベクトル空間＝基底付きベクトル空間 「格子」を付けると「整数環上の」の意味になる。 格子空間＝格子自由加群＝基底付き格子自由加群…

Sを半環として、XTens[S]cond の形で書ける。condは射に関する制約条件で、次のいずれか。 制約条件なし consv ＝ {保存的 | conservative} sharp ＝ {シャープ | sharp |非分散的 | nondispersive | 非拡散的 | nondiffusive | 非分岐的 | nonbranching} co…