Ralf Hemmecke <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
