vectors: vDst := vLhs x vRhs InOut: Scope Name Type Inout v

-Add: vDst := vLhs + d * vRhs In [...] vDst SMC

vectors: vDst := vLhs*(1-lambda) + v [...] Name Type Inout v

input vectors \(v_{1}, v_{2} \in \mathbb [...] within vector \(v \in

origin v0. The x-axis [...] direction v1 .. v2. The y [...] direction v2 .. v3. The z

vPos: vDst := mR * vPos. In [...] vDst SMC

vector vPos: vDst := v [...] Inout vDst SMC_VECTOR3D The result vPos * m

scalar: vDst := d * v [...] Type Inout vDst SMC_Vec Inout Const vSrc SMC

vectors \(v_{1}, v_{2 [...] ScalProd3D LREAL \(v_{1} \cdot v_{2

vector: vDst = F.mR * vPos + F.vT. Thus, the position v