mul - multiply two numbers or vectors (point-wise)
int int mul -> int
int double mul -> double
array int/double mul -> array
3 4 mul -> 12
3.33 3 mul -> 9.99
[1 2.2 3] 4 mul -> [4 8.8 12]
docu by Sirko Straube
/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/mathematica.sli