"Prof. Dr. Johannes Grabmeier" <[email protected]> writes:
| thanks Waldek for your quick answer, indeed, in generalizing code I had added
to a category
|
| --if R has characteristic() = 2 then
1. you are abusing the `has' notation :-)
2. it is well-known that the Spad compiler (from all AXIOM flavors)
is currently limited in the kind of predicates it can handle
at the category level.
Some students who took my class on abstract interpretation worked
on that issue in 2008-2009, but they never finished the
implementation. :-/
| -- xor: (%, %) -> %
| -- ++ xor(b,c) = b+c - componentwise in R
| -- oplus: (%, %) -> %
| -- ++ xor(b,c) = b+c - componentwise in R
|
| which caused the problem when compiling a domain for this category.
|
| If neccessary, I can send you all the code, actually, it is quite a bit.
|
|
| I guess this kind of attribute is not allowed.
------------------------------------------------------------------------------
Fulfilling the Lean Software Promise
Lean software platforms are now widely adopted and the benefits have been
demonstrated beyond question. Learn why your peers are replacing JEE
containers with lightweight application servers - and what you can gain
from the move. http://p.sf.net/sfu/vmware-sfemails
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
