After some thinking I don't find it so strange anymore that adding
'finiteAgggregate' is a remedy. The domain FOOX (only one List) works without
this because S=Integer, whereas in FOO we have S=List Integer where some info
may be get lost in the recursion.
ListAggregate(S : Type) : Category == Join(StreamAggregate S,
FiniteLinearAggregate S, ExtensibleLinearAggregate S) with
FiniteLinearAggregate(S : Type) : Category == Join(LinearAggregate S,
finiteAggregate)
)abbrev domain FOOX Foox
Foox(): Exports == Implementation where
Exports == with
foox: () -> Boolean
Implementation == add
foox(): Boolean ==
a: List Integer := empty()
b: List Integer := empty()
a < b
On 21.02.2020 16:41, Waldek Hebisch wrote:
> On Wed, Feb 19, 2020 at 09:10:26PM +0100, Ralf Hemmecke wrote:
>>> This tells you that offending part is
>>>
>>> a < b
>>>
>>>> ****** level 3 ******
>>>> $x:= (< a b)
>>>> $m:= (Boolean)
>>>> $f:=
>>>> ((((|b| # #) (|a| # #) (|foo| #) (|$DomainsInScope| # # #) ...)))
>>>>
>>>> >> Apparent user error:
>>>> not known that (List (List (Integer))) has (AND (has (List (List
>>>> (Integer))) (finiteAggregate)) (has (List (Integer)) (OrderedSet)))
>
--
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/fcf3e0db-32f4-2712-8aa7-e772ccea0561%40gmail.com.
