Martin Rubey <[EMAIL PROTECTED]> writes:
> which looks quite correct. Maybe it is because I changed my mind after
> building, and called configure (with a different prefix) and make again?
It seems that this was indeed the reason.
However, now I'm wondering how far
× OpenAxiom now supports aggregates/collections of domains. More
generally, it is now possible define and call functions with arguments
that are of domain type.
really goes. For example, I tried
g: FiniteFieldCategory -> INT
g D == size()$D
g(PF 5)
Cannot compile a $-expression involving a local variable.
OpenAxiom will attempt to step through and interpret the code.
Compiling function [1mg[0;10m with type [1mFiniteFieldCategory ->
Integer[0;10m
(and as you see, the highlighting is a mixed blessing. Is it possible to turn
it off, when necessary?)
Martin
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
