Changes http://wiki.axiom-developer.org/348EqualityInAny/diff -- Martin, I like your "better definition" very much!
I guess what you are not sure about is the reasonableness of:: D := (x.dm pretend BasicType) as a way to turn a member of the domain (SExpression) into a Type given that the representation of x is:: Record(dm: SExpression, ob: None) Of course the "normal" use of pretend is to treat a member of one domain "as if" it was a member of another domain but in this case you are treating a member of a domain as if it was a member of a category, i.e. a domain. That is very cool! In fact it's downright wonderful -- truly types as first class values in SPAD. I think your code ok since as I near as I can understand after some emails exchanged with Peter Broadbery #209 and in spite of nearly no documentation in "interop.boot.pamphlet":/axiom--test--1/src/interp/InteropBoot the Boot function:: devaluate(domain)$Lisp ensures that the domain will be representable as an Axiom SExpression. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
