[Haskell-cafe] Vectors, vector spaces and type-level Haskell

[Branimir Maksimovic]

> On 04.10.2021., at 09:38, Stuart Hungerford <stuart.hungerford at gmail.com> wrote:
> 
> On Mon, 4 Oct 2021 at 4:25 pm, Branimir Maksimovic <branimir.maksimovic at gmail.com <mailto:branimir.maksimovic at gmail.com>> wrote:
> 2d vector space is generated by two base vectors, if, which are orthogonal,
> that is normalised. They generate any other vector in that space.
> 
> Yes, so I would be looking to somehow tie  the 2 basis vectors back to a 2D vector space. Or indeed n basis vectors to an n-vector space.

Space is generated by base vectors, think in that way…
With vector addition and scalar multiplication you get third vector.
so dimension is number of different directions of base vectors.
So, easy...
> 
> Thanks,
> 
> Stu
> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20211004/adf17ed4/attachment.html>