Le mardi 02 janvier 2007 à 21:59 -0500, Bill Page a écrit :
[...]
> Does anyone know where I can find out how to use "is" in the
> interpreter? Where is this defined in the the interpreter source
> code?
What you are looking for can be found in i-spec1.boot and i-spec2.boot
("upis" in your case ("up" - "is")). The "real" job is in i-analy.boot.
This is where the function "upis" is called . See the function bottomUp
and more precisely the line that contains:
(fn:= GET(opName,"up")) and (u:= FUNCALL(fn, t)) => u
Greg
PS: Don't ask me how to use "is" in the interpreter, I don't know :-).
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
