Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trac #33831: deprecate unused PermutationGroup_generic.has_element
The method `PermutationGroup_generic.has_element` is unused and `G.has_element(g)` is the same as `g in G`. It should therefore be deprecated. URL: https://trac.sagemath.org/33831 Reported by: mantepse Ticket author(s): Martin Rubey Reviewer(s): David Ayotte
- Loading branch information