AIHL 3.13.3 Vector product