1 Pull request merged by 1 person

• Add is_subset and membership test via in to Generic.Ideal; deprecate contains

  #2107 merged Jun 16, 2025

2 Pull requests opened by 2 people

• Expand the common code for ideal implementations

  #2108 opened Jun 17, 2025

• Add `vector_space_dim` for matrix spaces

  #2109 opened Jun 18, 2025