Typed variables

The variables we have right now can represent a number or a statement. However, they will undergo incorrect replacement if they get substituted with a matrix as we assume commutativity and unified cross and dot products (they are the same as scalar product for scalars). In mathematics we would write vector variables with an arrow on top and matrix variables with bolded uppercase letters, so that they are distinguished from normal variables, with cross product and dot product operations enabled, but with commutativity and implicit invertibility disabled.

How we want to represent this nuance (and where we write the shape of the variable e.g. RR^2), and whether function variables fall into this proposal, are pending analysis by the agent.

Will we have a proper design that lets quaternions and more be considered correctly?

Inizia analizzando la rappresentazione e la sostituzione attuali delle variabili, nonché il comportamento della commutatività, dell'invertibilità, del prodotto vettoriale e del prodotto scalare descritti nell'issue. Il lavoro è considerato completato quando il progetto dispone di un design concordato che copre le forme di vettori e matrici, le variabili di funzione, i quaternioni e le operazioni matematiche corrispondenti.

Scritto dal modello di indicizzazione a partire dal testo della issue.