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

[root]

Igor,

This is a specific example of tracing applied to INTEF.
The symbols used for the lisp trace commands came from 
int/algebra/INTEF.NRLIB/code.lsp

)trace INTEF )math
)lisp (trace |INTEF;prim?|)
)lisp (trace |INTEF;tanint|)
)lisp (trace |INTEF;tanint!5|)
)lisp (trace |INTEF;tanint!4|)
)lisp (trace |INTEF;tanint!3|)
)lisp (trace |INTEF;tanint!2|)
)lisp (trace |INTEF;tanint!1|)
)lisp (trace |INTEF;tanint!0|)
)lisp (trace |INTEF;unknownint|)
)lisp (trace |INTEF;droponex|)
)lisp (trace |INTEF;unklimint|)
)lisp (trace |INTEF;unkextint|)
)lisp (trace |INTEF;isx?|)
)lisp (trace |INTEF;alglfint|)
)lisp (trace |INTEF;alglfint!0|)
)lisp (trace |INTEF;alglfextint|)
)lisp (trace |INTEF;alglflimint|)
)lisp (trace |INTEF;alglflimint!0|)
)lisp (trace |INTEF;lfintegrate;FSIr;11|)
)lisp (trace |INTEF;lfintegrate;FSIr;12|)
)lisp (trace |INTEF;lfintegrate;FSIr;13|)
)lisp (trace |INTEF;lfintegrate;FSIr;14|)
)lisp (trace |INTEF;lfintegrate0|)
)lisp (trace |INTEF;lfintegrate0!0|)
)lisp (trace |INTEF;addx|)
)lisp (trace |INTEF;tryChangeVar|)
)lisp (trace |INTEF;tryChangeVar!0|)
)lisp (trace |INTEF;algexpint|)
)lisp (trace |INTEF;algexpint!1|)
)lisp (trace |INTEF;algexpint!0|)
)lisp (trace |INTEF;algprimint|)
)lisp (trace |INTEF;algprimint!1|)
)lisp (trace |INTEF;algprimint!0|)
)lisp (trace |INTEF;lfextendedint;FSFU;20|)
)lisp (trace |INTEF;lfextendedint;FSFU;20!0|)
)lisp (trace |INTEF;lflimitedint;FSLU;21|)
)lisp (trace |INTEF;lflimitedint;FSLU;21!0|)
)lisp (trace |INTEF;lfinfieldint;FSU;22|)
)lisp (trace |INTEF;primextint|)
)lisp (trace |INTEF;primextint!2|)
)lisp (trace |INTEF;primextint!1|)
)lisp (trace |INTEF;primextint!0|)
)lisp (trace |INTEF;expextint|)
)lisp (trace |INTEF;expextint!4|)
)lisp (trace |INTEF;expextint!3|)
)lisp (trace |INTEF;expextint!2|)
)lisp (trace |INTEF;expextint!1|)
)lisp (trace |INTEF;expextint!0|)
)lisp (trace |INTEF;primint|)
)lisp (trace |INTEF;primint!3|)
)lisp (trace |INTEF;primint!2|)
)lisp (trace |INTEF;primint!1|)
)lisp (trace |INTEF;primint!0|)
)lisp (trace |INTEF;lfextlimint;FSKLU;26|)
)lisp (trace |INTEF;cfind|)
)lisp (trace |INTEF;expint|)
)lisp (trace |INTEF;expint!5|)
)lisp (trace |INTEF;expint!4|)
)lisp (trace |INTEF;expint!3|)
)lisp (trace |INTEF;expint!2|)
)lisp (trace |INTEF;expint!1|)
)lisp (trace |INTEF;expint!0|)
)lisp (trace |INTEF;primlimint|)
)lisp (trace |INTEF;primlimint!2|)
)lisp (trace |INTEF;primlimint!1|)
)lisp (trace |INTEF;primlimint!0|)
)lisp (trace |INTEF;explimint|)
)lisp (trace |INTEF;explimint!4|)
)lisp (trace |INTEF;explimint!3|)
)lisp (trace |INTEF;explimint!2|)
)lisp (trace |INTEF;explimint!1|)
)lisp (trace |INTEF;explimint!0|)
)lisp (trace |ElementaryIntegration|)
)lisp (trace |ElementaryIntegration;|)


t