Serge D. Mechveliani wrote:
>
> When a user starts studying the Category declaration,
> `Browse' shows in 12.3:
>
> SetCategory() : Category ==
> Join(Type ...) with
> "=" : (%, %) -> Boolean
>
> Then the user tries to follow this sample:
>
> Foo() : Category == Type with
> foo : % -> Integer
>
> And the FriCAS-1.1.6 compiler reports the error of unknown constructor
> Foo.
> One needs to guess to prepend )abbrev category FOO Foo
>
> I do not know, may be, it is desirable to improve either doc or the
> compiler.
>
')abbrev' and use of compiler is described in chapter 11. It is
assumed that reading chaper 12 you are familiar with chaper 11.
Of course some people would like to be explictly remaided
about such things. However, such remainders (and other redundant
information) is appropriate in tutorial, but not in reference
text (strictly speaking Axiom book has some tutorial parts, but
it is closer to rererence).
--
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.
