On Sat, 22 Dec 2007, Martin Rubey wrote: | Dear Gaby, | | | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > Martin Rubey <[EMAIL PROTECTED]> writes: | > | > | Unless, of course, the issue is fixed in all three versions of axiom: Gaby, | > | do HyperDOc and Graphics run on MS Windows for open-axiom? | > | > Martin -- | > | > I do expect to work on the HyperDoc and Graphics issues for windows. Many | > thanks for monitoring this. | | To be honest, the thing I would like to see most, and what I believe you are | predestined to fix, is axiom's inability to export depending on "arbitrary | conditions", as needed in Complex R:
I do not think I would fix `arbitrary condition' with the current compiler setting. However, it may be that things that are `obviously' compile time expressions or nearly extensions thereof. The Spad compiler is setup o that it does not have to do evaluation -- otherwise you one runs into non-trvial bootstrap problems. Contrary to what one might believe, I'm concern by algebras too :-) | | if R has FiniteFieldCategory and (-1 is not a square in R) then Field | | The condition (-1 is not a square in R) could be computed using something like | | ------------------------------------------------------------------------------- | Help(F: FiniteFieldCategory): C == T where | C == with | help: () -> Boolean | | T == add | help() == one?(size()$F rem 4) | ------------------------------------------------------------------------------- | | so we'd then have | | if R has FiniteFieldCategory and help()$Help(R) then Field | | | Do you think that's doable? One has to find ways to compile that without having to evaluate runtime entities (juste like we currently do with `has' expressions). I haven't given enough though to that, but in the immediate future this is not something I'm working on -- I have pressing regressions to fix first. -- Gaby ------------------------------------------------------------------------- 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 open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
