Gramschmidt and scalar product

[Tonig00]

Thanks very much for your fast answer. Very useful. It works.

Regarding the p*q, I would say that the "x" is not defined so there you have ±inf. I suppose.
You may do the definition before as Parise did with "sp:= …"

Thanks again

Toni