... | ... | @@ -91,7 +91,8 @@ function `where` by: |
|
|
where: S → G
|
|
|
x ↦ g | x = g·y , y ∈ S'
|
|
|
|
|
|
We can now define the *connection set*, `C`, of a system
|
|
|
We can now define the *connection set*, `C`, of a system as the set of symmetry group elements
|
|
|
|
|
|
|
|
|
|
|
|
## Implementation of Common Operations
|
... | ... | |