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
diffoperator,<->in additive notation, such that:1.
(g <-> g) === scalar.idfor allginG.2.
(g <-> h) +> h === gfor allg,hinG.3.
(g <-> h) +> i === (i <-> h) +> gfor allg,hinG.4.
(g <-> h) === -(h <-> g)for allg,hinG.