I wrote:
>
> Gabriel Dos Reis wrote:
> >
> > Waldek Hebisch writes:
> > |
> > | new : (NonNegativeInteger, S) -> %
> > |
> > | So the first argument to 'new' must be 'NonNegativeInteger' and the
> > | second must be '%'.
> >
> > 1. new, expects its second *argument* to be of type %.
Bill Page wrote:
>
> On Mon, Oct 24, 2011 at 1:02 PM, Gabriel Dos Reis wrote:
> >
> > There is nothing reasonable about it. =A0The way that most AXIOM compilers
> > do overload resolution (even in faces of ambiguity) is to pick the first
> > from a list that makes the compilation works, regardless
Gabriel Dos Reis wrote:
>
> Waldek Hebisch writes:
>
> | Gabriel Dos Reis
> | >
> | >
> | > Consider the definition of ModMonoid:
> | > --8<---8<8<--
> | > )abbrev domain MODMON ModMonic
> | > ++ Description:
> | > ++ This pack
On Mon, Oct 24, 2011 at 1:02 PM, Gabriel Dos Reis wrote:
> ...
> Waldek Hebisch writes:
> | I would not call this voodoo: the compiler performs reasonable type
> | inference.
>
> There is nothing reasonable about it. The way that most AXIOM compilers
> do overload resolution (even in faces of ambi
Waldek Hebisch writes:
| Gabriel Dos Reis
| >
| >
| > Consider the definition of ModMonoid:
| > --8<---8<8<--
| > )abbrev domain MODMON ModMonic
| > ++ Description:
| > ++ This package \undocumented
| >
| > ModMonic(R,Rep)
Gabriel Dos Reis
>
>
> Consider the definition of ModMonoid:
> --8<---8<8<--
> )abbrev domain MODMON ModMonic
> ++ Description:
> ++ This package \undocumented
>
> ModMonic(R,Rep): C == T
>
> Its description does not have
On Mon, Oct 24, 2011 at 8:54 AM, Gabriel Dos Reis wrote:
> ...
> Now, consider the capsule-level variable "power". It is declared as
>
> power:PrimitiveArray(%)
>
> then later assigned to as
>
> power := new(0,0)
>
> There are two lexical occurences of the literal '0' in there
