"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.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
