[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

"Above-cited property"

The above-cited property was not associativity, but merely LEFT-associativity.
I admit that this is a much less interesting property than full associativity.
Projectivity is also an interesting property, but observe that
the applicability of the projectivity property cannot be determined unless
the value of the Boole "function argument" is known, whereas the property
of left-associativity currently alw2ays works even if the function is unknown.
I believe, however, that left-associativity will still work even if the
propoased projectivity definitions are included provided that
at least two arguments are always associated.  This should be verified.
Thus only the one-argument case would change, and the useful cases
(for symbolic code transformation) would remain for left-associativity.