Module linear
glucose::algebra
Bivectors and Roters are not abstracted over their dimension because I don’t know how I will probably fix this in the future!