Serge D. Mechveliani wrote:
>
> People,
> I have the following beginner question on declaring a category
> (in FriCAS-1.1.5):
>
> ----------------------------------------- t1.spad ------------
> Set1(): Category ==
> Join(Type, CoercibleTo OutputForm) with
> "=" : (\$, \$) -> Boolean
> --------------------------------------------------------------
>
> This is copied from the book Chapter 12.6, with `SetCategory' renamed
> to `Set1' (to prevent possible overlap with the Axiom library).
As you discovered correct syntax is '%' instead of '$' or '\$'.
This is a change to Spad language compared to book. Note that
if in HyperDoc you go to 'Reference' and then to 'AXIOM Book'
you will see online copy of Axiom Book. This copy is more
up to date than printed version (or .pdf or .mathml). In
particular in online version examples consistently use '%'.
Also, online version contains short chapter 13a 'Changes to Spad
language' which lists hopefully all visible differences to
language described in original.
> Replacing \$ with $ does not help
> (what does this `\' mean here?).
I suspect that '\' here is because for some reason you got
TeX version (since in TeX you need to type '\$' to get single
'$' in printed version).
--
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.
