Dear Waldek,
thank you for taking care of this and the other issues that I submitted
recently.
Ralf
On 5/17/25 02:16, Waldek Hebisch wrote:
On Wed, Apr 23, 2025 at 11:33:23AM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
When I compile this ...
========================
)abbrev package FOO Foo
ZZ ==> Integer
LZZ ==> List ZZ
LLZZ ==> List LZZ
Foo: with
kleiner: (LLZZ, LLZZ) -> Boolean
== add
kleiner(x: LLZZ, y: LLZZ): Boolean == x <$LLZZ y
========================
I get
<snip>
>> Apparent user error:
not known that (List (List (Integer))) has (AND (has (List (List
(Integer))) (finiteAggregate)) (has (List (Integer)) (OrderedSet)))
As I wrote this was a bug. I have now commited a change that
mostly fixes this, in particular I can compile your program.
AFACS this is not a complete fix, there still may be troubles
in some special cases, but should be much better than before.
--
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 visit
https://groups.google.com/d/msgid/fricas-devel/603c62d3-b3d0-43b8-96b9-cd797a59a1c8%40hemmecke.org.
