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.

Cheers,
G

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

> Hi,
>
> 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,
> Adi
> --
> SG19 mailing list
> SG19_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/sg19
>