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:

  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?

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
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to