[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] fixing SPAD

From: Martin Rubey
Subject: [Axiom-developer] fixing SPAD
Date: 19 May 2007 12:44:45 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Dear Gaby & Waldek,

as you may know, there is a problem fixing bug #354, Complex R is not
necessarily a field when R is a field.

It would be quite straightforward to fix it, if we could conditionally export
Field, depending on a Boolean valued function, like

if R has Field and R has Finite and size()$R rem 4 = 1 then Field

Currently, spad seems to accept statements of the form

   D has C


   D1 is d2

only.  (Please check this, I'm not entirely sure.)  Do you think it would be
difficult to fix this?  I do not see a workaround, unfortunately.

Many thanks,


reply via email to

[Prev in Thread] Current Thread [Next in Thread]