[ 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]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
