It is important to note that in the GLAS core, we are not going to use operators such as * and +, and = although the core has to support their implementation. We consider the creation of toolboxes where operators can be created and interpreted depending on the application area. For example, in the la toolbox, the expression s=trans(v)*w is mapped onto assign(s,dot(v,w)). In the sequel, we are not using operator notation.