Closed FardaleM closed 6 months ago
is_subset was used to check if two sets intersect. After correcting is_subset this broke the iteration on the Hullot tree.
is_subset
The other change are more esthetical:
is_singleton
is_singleton_or_empty
mem
is_subsetwas used to check if two sets intersect. After correctingis_subsetthis broke the iteration on the Hullot tree.The other change are more esthetical:
is_singletontois_singleton_or_emptyto reflexed what the implementation is doingmemdirectly using primitive fonction instead ofis_subset