Not related to the dollar sign for information. Same things happen with:
++ \example{l:=[1,pi(),17]}
I used this completely unrelated \example{}, file src/algebra/string.spad:
================================================================
)abbrev category STRICAT StringCategory
-- Note that StringCategory is built into the old compiler
-- redundant SetCategory added to help Aldor compiler
++ Description:
++ A category for string-like objects
StringCategory() : Category == Join(StringAggregate(), SetCategory,
OpenMath) with
string : Integer -> %
++ string(i) returns the decimal representation of i as a string.
++ \example{l:=[1,pi(),17]}
=======================================================
I should have noticed the _two_ messages. I will fill an issue later today.
(Vanilla FriCAS just cloned from GitHub.com)
- Greg
Le lun. 1 juil. 2024 à 16:46, Grégory Vanuxem <g.vanu...@gmail.com> a
écrit :
> Hello,
>
> I encountered the following message running a personal \example{} command
> in Hyperdoc:
>
> (1) -> Print_to_string: Unrecognized Keyword Type 65
> Print_to_string: Unrecognized Keyword Type 65
>
> At first guess I would say that this comes from the dollar sign. The
> command is correctly executed in the Xterm but I have this message in the
> main console. Is this not supported in the \example{} hypertex command or
> just not handled at all?
>
> The command is:
> \example{l:=[x,pi()$JWSEXPR,7]}
>
> In fact, looking more carefully, 'pi' here is not in bold in HyperDoc
> whereas examples are in bold usually. I do not know if this is related.
> I do not also know what are the TextNode-s used in src/hyper/spadint.c but
> the console message seems to come from line 610.
>
> Regards,
>
> - Greg
>
>
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZJ3Erb5sHksU5PwOVzF26wCw0gMz7Zwr%3Dwo90%3D9%2BDCCQ%40mail.gmail.com.
