Subset operator #325

Activity

1. WhiteBlackGoose

   added

   Proposal

   Not now

   on Feb 25, 2021
2. WhiteBlackGoose

   added this to the 1.3 milestone on Feb 25, 2021
3. Rafael-SOWNet

   removed

   Not now

   on Sep 18, 2026
4. Rafael-SOWNet

   modified the milestones: 1.7, Future on Sep 18, 2026
5. Happypig375

   modified the milestones: Future, 2.7.0 on Sep 18, 2026
6. Happypig375

   added the

   Feature

   issue type on Sep 22, 2026
7. Happypig375

   removed

   Proposal

   on Sep 22, 2026
8. Rafael-SOWNet commented on Sep 29, 2026

   

   Rafael-SOWNet

   on Sep 29, 2026

   Member

   More actions

   Delivered by #1432: A subset B, or A ⊆ B, and superset or ⊇ for the other direction. On master at dd72825:

   {1} subset {1, 2}        True
   ZZ+ subset ZZ            True
   [0; 1] subset (0; 2)     False
   {1, 3} subset {1, 2}     False
   

   Moved to 2.6.0, which ships it.
9. Rafael-SOWNet

   modified the milestones: 2.7.0, 2.6.0 on Sep 29, 2026
10. Rafael-SOWNet

    closed this as completedon Sep 29, 2026