Many thanks everybody. I am going to update the paper, reference quotations from these mails, and update the header synopsis before I start work on the wording. Meanwhile, I will also update the reference implementation and hope to port it to a more focused repository before Varna.


On Tue, 2 May 2023 at 10:52, Adi Shavit via SG19 <> wrote:

  My $.02, in many domains, there is a semantic difference between a row vector - a (projective) hyper-plane - and its dual: a column vector - e.g. a projective point.
Having the vector ambiguous could cause semantic ambiguity and unit-violation style errors multiplying points as planes and vice versa.
There is the whole issue of Affine Spaces which interact (and wrap) vector spaces. But that discussion is beyond the scope of this thread.

Keep up the good work,
SG19 mailing list