Menu: Algorithm/New Local Definition/operation DialogWindow: ``switch2'' DefinitionWindow
Create the operation ``mul1'' of the definition mul.
Create the reference ``switch1'' (type switch1).