Yes, ok. I understand now, thanks! You enlightened me. In fact, I played a little with code switching between '==' and '==>' at several places to define operations. I am used to using the 'Exports == Implementations where etc...' so I guess this was the root of this. Bad code. Apologize.
In your example you use the: "FOO : with" construct so it is totally normal after declarations to define the different operations using the "== add". It is a pity I no longer remember the piece of code it was. In any case, if I encounter again this I will give it for information. - Greg Le mer. 7 févr. 2024 à 02:40, Waldek Hebisch <[email protected]> a écrit : > > 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. -- 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/CAHnU2daCET0_LEks7cva__QTeJ7VGBsYCvuEjmh3pqVw2f692Q%40mail.gmail.com.
