Find other places with IsProportionallyModular filter #39
Description
By looking at
2fe47e9 one wonders if there are other places where the filter of being proportionally modular is "misused".
A possibility is to set IsPMNS to true whenever a proportionally modular numerical semigroup is defined, either by intervals, or other means; or whenever the ProportionallyModularConditionNS is set.