spire.algebra
A Torsor[V, R] requires an AbGroup[R] and provides GroupAction[V, R], plus a diff operator, <-> in additive notation, such that:
diff
<->
1. (g <-> g) === scalar.id for all g in G.
(g <-> g) === scalar.id
g
G
2. (g <-> h) +> h === g for all g, h in G.
(g <-> h) +> h === g
h
3. (g <-> h) +> i === (i <-> h) +> g for all g, h in G.
(g <-> h) +> i === (i <-> h) +> g
4. (g <-> h) === -(h <-> g) for all g, h in G.
(g <-> h) === -(h <-> g)
A Torsor[V, R] requires an AbGroup[R] and provides GroupAction[V, R], plus a
diff
operator,<->
in additive notation, such that:1.
(g <-> g) === scalar.id
for allg
inG
.2.
(g <-> h) +> h === g
for allg
,h
inG
.3.
(g <-> h) +> i === (i <-> h) +> g
for allg
,h
inG
.4.
(g <-> h) === -(h <-> g)
for allg
,h
inG
.