> after compilation of integer-jg.spad, which I include:
> 
> 
> (6) -> init()$NNI
> 
>    (6)  0
>                                                                            
> Type: NonNegativeInteger
> (7) -> nextItem %
> 
>    (7)  1
>                                                                            
> Type: Union(Integer,...)

That "Integer" appears here looks somehow strange to me.

I guess, calling like below is no option since StepThrough is usually
invoked by the Interpreter.

(69) -> n: NNI := init()$NNI

   (69)  0
         Type: NonNegativeInteger
(70) -> n := nextItem n
   nni

   (70)  1
         Type: NonNegativeInteger
(71) -> n := nextItem n
   nni

   (71)  2
        Type: NonNegativeInteger

Looks like some autocoercion to Integer is applied in your case.

Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/2506c111-762c-1be5-c806-0305b5efc20a%40hemmecke.org.
For more options, visit https://groups.google.com/d/optout.

Reply via email to