[Axiom-developer] how use trace for a domain

[Francois Maltey]

Hello, 

I want to follow axiom in his computation for the imag (sin (%i)).

So I try 
)trace imag                 -- I get imag isn't a function.

I reread the 30-year book and test
)trace EXPR

Then I rerun the command :

imag (sin (%i))
   >> System error:
   Bind stack overflow.

The first time I get about 55 pages of 
...
  1<enter Expression.denom,81 : ((0 . 0) 0 . 1)
  1>exit  Expression.denom,81 : (0 . 1)
 1>exit  Expression.kernels,48 : NIL
 1<enter Expression.kernels,48 : ((1 #<vector 095e6a80> (2 0 . 1) (0 0 . -1)) 1 
#<vector 095e6a80> (1 0 . 2))
  1<enter Expression.numer,79 : ((1 #<vector 095e6a80> (2 0 . 1) (0 0 . -1)) 1 
#<vector 095e6a80> (1 0 . 2))
...


We make a mistake, I or axiom ?

François