CoCoA » CoCoA-5

cocoa-4 had no warning for I:xy being intepreted as (I:x)*y, but cocoa-5 does!
So we can resume that syntax.

Make extensive checks on all cases (in Italian)
Possiamo scegliere la priorita` dell'operatore ":".
Ci sono tre casi:
(A) la priorita` di ":" e` piu` alta di quella di "*"
(B) la priorita` di ":" e` uguale a quella di "*"
(C) la priorita` di ":" e` piu` bassa di quella di "*"
In C4 avevamo scelto il caso (B); se cambiamo, perderemo
la backward compatibility con C4.

Per l'espressione I:x*y...
In caso (A) l'interpretazione sara` (I:x)*y.
In caso (B) probabilmente abbiamo (I:x)*y.
In caso (C) otteniamo I:(x*y).

Consideriamo anche l'espressione x*I:y...
In caso (A) significa x*(I:y).
In caso (B) probabilmente significa (x*I):y.
In caso (C) significa (x*I):y.
Volendo si puo` dare warning anche in questo caso (credo).

Conviene considerare anche l'espressione x*I:y*z...
In caso (A) abbiamo x*(I:y)*z.
In caso (B) abbiamo probabilmente ((x*I):y)*z
In caso (C) abbiamo (x*I):(y*z).
E` vero che chi scrive x*I:y*z merita di essere punito!