[ 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) "CharacteristicSpecies(1)"
>
I am slightly suprized that the file compiles and is doing someting
sensible.
Type: Species(Integer)
> (2) -> S2 := S1::SpeciesCategory INT
>
> You cannot use SpeciesCategory(Integer) or any other category in a
> target, coercion, or package-call context.
This is message S2IE0014 (normal tactic when looking at simlar cases
is to search src/share/doc/msgs/s2-us.msgs to find message id and
then grep sources to find where the id is used). It appears twice
in i-spec1.boot:
grep -n S2IE0014 *
i-spec1.boot:383: categoryForm?(m) => throwKeyedMsg("S2IE0014",[m])
i-spec1.boot:408: categoryForm?(m) => throwKeyedMsg("S2IE0014",[m])
Try commenting out the checks.
--
Waldek Hebisch
[EMAIL PROTECTED]
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
