Martin,
If you change 'coerce' to 'retract' your code works in OpenAxiom. See:
http://axiom-wiki.newsynthesis.org/SandBoxSpeciesCategory
But not in my version of FriCAS from October 17, 2008.
Regards,
Bill Page.
-
This SF.
[ Charset ISO-8859-1 unsupported, converting... ]
>
> I did the following experiment.
>
> In FriCAS, I get an error when I uncomment the line containing the Rep in
> SPECIES. This does not happen in Open-Axiom. Otherwise, it compiles and I
> can
> do
>
> (1) -> S1 := 1$Species INT
>
>(1)
I did the following experiment.
In FriCAS, I get an error when I uncomment the line containing the Rep in
SPECIES. This does not happen in Open-Axiom. Otherwise, it compiles and I can
do
(1) -> S1 := 1$Species INT
(1) "CharacteristicSpecies(1)"
