Re: [Axiom-math] Axiom's integration non-deterministic?

[root]

you can start axiom and type:

)trace INTEF )math

which will trace external functions but 

the INTEF domain compiles into lisp.
the lisp code lives in int/algebra/INTEF.NRLIB/code.lsp
you can look at that file and it contains DEFUNs
you can trace those functions. For example,

in int/algebra/INTEF.NRLIB/code.lsp the function prim? is defined as:

(DEFUN |INTEF;prim?| (|k| |x| $) 
 (COND 
  ((SPADCALL |k| (SPADCALL "log" (QREFELT $ 10)) (QREFELT $ 13))
    (QUOTE T))
   ((QUOTE T)
     (SPADCALL (SPADCALL |k| (QREFELT $ 15)) "prim" (QREFELT $ 16))))) 

)lisp (trace |INTEF;prim?|)

which will give you the lisp level trace of the function.

t