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

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

[...]

|                      The point is, that you cannot apply an arbitrary
| operation on these indefinite objects.

Why not? Why can't I just construct a suspesion for that operation?

| For example if I have a very
| restricted scope and not / operation can be seen then the compiler
| should reject to compile a/b for indefinite integers a and b.

yes, but that does not negate the lifting semantics.  Does it?

-- Gaby