Re: Axiom's integration non-deterministic?
root <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.general |
|---|---|
| Message-ID | <[email protected]> |
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