On Mon, Oct 24, 2011 at 7:36 PM, Gabriel Dos Reis wrote:
> ...
> Bill Page writes:
> | So it is a coincidence that the compiler happens to choose 0@P or that
> | the representation of all of these candidates is the same so that it
> | does not matter?
>
> It is mostly concidence. The explanation i
On Mon, Oct 24, 2011 at 6:49 PM, Gabriel Dos Reis wrote:
> ...
> Another example: Consider the function leftLcm from
> NonCommutativeOperatorDivision(P,F) where
> P: MonogenicLinearOperator(F)
> F: Field
>
> the function definition is:
>
> leftLcm(a,b) ==
> a = 0 =>b
>
