add base method for permutation groups

[sagetrac-jasonbhill]

Patch to add a (working) base method for permutation groups.

---

Apply attachment: trac_9534-permgroup_base.patch to the Sage library.

Depends on #10334
Depends on #10335

Component: group theory

Keywords: base

Author: Jason Hill

Reviewer: Mike Hansen

Merged: sage-4.7.2.alpha4

Issue created by migration from https://trac.sagemath.org/ticket/9534

[sagetrac-jasonbhill]

comment:1

The existing base method returned "Integer Ring" for all permutation groups as it was inherited from ParentWithBase. This new base method uses GAP's base from stabilizer chain method to return an actual base, with an optional seed.

The patch was placed in the combinat queue as it depends on Mike Hansen's domain modifications.

[mwhansen]

Changed author from jasonbhill to Jason Hill

[mwhansen]

Reviewer: Mike Hansen

[mwhansen]

comment:2

This is actually Jason's code, and it looks good to me.

[jdemeyer]

comment:4

Attachment: trac_9534-permgroup_base.patch.gz

[jdemeyer]

Dependencies: #10334, #10335

[jdemeyer]

Merged: sage-4.7.2.alpha0

[jdemeyer]

comment:8

Unmerged because of an issue with #10335.

[jdemeyer]

Changed merged from sage-4.7.2.alpha0 to none

[nexttime]

comment:11

Does this now have to be rebased on (the rebased) #10335?

In case it does, one should set it to "needs work", otherwise the milestone should be changed to Sage 4.7.2 again.

[jdemeyer]

Merged: sage-4.7.2.alpha4