I'm in the debugsys image chasing a few things and came across this interesting variable. In an axiom image type:
)lisp (setq |$reportInstantiations| t) and then type an expression such as -> 1 # instantiated/# dropped/domain name 1 0 PositiveInteger 1 0 OutputForm 1 0 NonNegativeInteger 1 0 List OutputForm 1 0 Integer Totals: 5 instantiated 0 inside coerceInteractive 0 inside canCoerceFrom 0 inside evalMmCond 0 reinstantiated 0 dropped 5 distinct domains instantiated/dropped I'm not sure how useful you'll find that information but it's useful to know you can get it. I'm writing a chapter on debugging in book 4 of the axiom volumes which will contain this and other debugging tips, techniques and useful tidbits. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer