RE: [Axiom-developer] Question concerning types...

[C Y]

Sorry in advance if this question is a bit daft...

--- Bill Page <address@hidden> wrote:

> I used '@POLY(INT)' because I wanted to tell the Axiom interpreter
> not to look of other coercions which would have made the
> interpretation of '/' possible but no longer in 'POLY INT'.
> 
> Should we say that 'a1' represents an indefinite integer?
> Tentatively, I think so.

Does this mean that an indefinite integer couldn't be substituted in
anywhere a "definite" integer could be used?

CY

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com