Turn the input to Group(..) and to Aggregation(..) into solution sequences#98

Merged

hartig merged 7 commits intomainfrom Issue95

Jun 29, 2023

+92-72

Commits on Jun 14, 2023

initial changes to turn the input to Group(..) and to Aggregation(..) into solution sequences rather then sets/multisets of solutions; see #95 (comment)
hartig
committed

Commits on Jun 15, 2023

extends the definition of Distinct(Ψ) to be applicable to sequences of tuples, as is used in the definition of F(Ψ) for the Aggregation operator; see #98 (comment)
hartig
committed
changes the definitions of the set functions such that they are defined over sequences of lists now, rather than multisets of lists
hartig
committed
Apply suggestions from code review

hartig
and
TallTed
authored

Commits on Jun 16, 2023

improved definition of Distinct; as per #98 (comment)
hartig
committed

Commits on Jun 18, 2023

reverts the change to Distinct and introduces Dedup instead, as suggested in ff80086#commitcomment-118517879 ; additionally addresses the following comments: ff80086#r118402147 ff80086#r118507227 f…
hartig
committed

Commits on Jun 22, 2023

Removing the <code> elements again from the algorithm.
hartig
authored