On Sat, Jan 27, 2024 at 05:05:55PM +0100, Grégory Vanuxem wrote:
> I don't think so here. I think, but not tested, that this can
> reproduce this issue. It's an extremely simple domain with a Rep being
> an SExpression and apparently the offending code is:
>
> Rep := SExpression
>
> 0 == convert 0
> 1 == convert 1
>
> And yes, I know that it is not good to use SExpression, like Any is
> also not Axiom/FriCAS-ish
The following:
-----------<cut here>-----------------------------------
)abbrev domain FOO FOO
FOO : with
0 : constant -> %
1 : constant -> %
== add
Rep := SExpression
0 == convert 0
1 == convert 1
-----------<cut here>-----------------------------------
for me works as expected (no error).
--
Waldek Hebisch
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZcLfi2j87Cm94TCz%40fricas.org.
