Opened 11 years ago
Closed 8 years ago
#9559 closed enhancement (fixed)
*generalized* canonical generation in Cython
Reported by: | rlm | Owned by: | rlm |
---|---|---|---|
Priority: | major | Milestone: | sage-5.7 |
Component: | group theory | Keywords: | |
Cc: | boothby, ncohen, kini, dimpase | Merged in: | sage-5.7.beta0 |
Authors: | Robert Miller | Reviewers: | Tom Boothby |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
The basic idea is that one has objects which satisfy the criteria set out in sage/groups/perm_gps/partn_ref
. In particular, one has implemented a refinement function, a comparison function, and an equivalent-children function. Then one defines the following four functions, and the code which will appear here will do the rest.
- Given an input object
X
, this function will return a numberk
. This is the number of augmentations fromX
to perform, thought of abstractly as the list[0, 1, ..., k-1]
. The user will keep the data of what augmentations these actually are.
- Given a permutation of
X
(acting on[0, 1, ..., n-1]
), and a numbera
in[0, 1, ..., k-1]
, outputs a numberb
in the same range, such that the augmentation represented bya
maps to the one represented byb
under the permutation.
- Given a number in
[0, 1, ..., k-1]
, outputs an objectC
which realizes the augmentation.
- Given a permutation
g
, and an objectC
, appliesg
toC
, constructs an arbitrary parent objectP
ofC
, and returnsg^(-1)(P)
.
Function (2) will be optional. If not provided, then the list of augmentations given in (1) will have to be a set of orbit representatives.
NOTE: ticket #11369 should be set to needs_review once this one is ready
Attachments (1)
Change History (18)
comment:1 Changed 11 years ago by
- Owner changed from joyner to rlm
comment:2 Changed 10 years ago by
- Description modified (diff)
comment:3 Changed 10 years ago by
- Description modified (diff)
comment:4 Changed 10 years ago by
- Dependencies set to #10549, #10804
- Milestone changed from sage-5.0 to sage-4.7.1
comment:5 Changed 10 years ago by
- Status changed from new to needs_review
comment:6 Changed 10 years ago by
- Cc ncohen added
comment:7 Changed 9 years ago by
- Status changed from needs_review to positive_review
comment:8 Changed 9 years ago by
- Reviewers set to Tom Boothby
comment:9 Changed 9 years ago by
comment:10 Changed 9 years ago by
- Status changed from positive_review to needs_work
- Work issues set to formatting
The commit message needs to be fixed, it certainly should not contain "[mq]".
Newly added files should conform to the template at http://sagemath.org/doc/developer/conventions.html#headings-of-sage-library-code-files.
New documentation strings should conform to http://sagemath.org/doc/developer/conventions.html#documentation-strings.
comment:11 Changed 9 years ago by
- Description modified (diff)
comment:12 Changed 9 years ago by
- Cc kini dimpase added
comment:13 Changed 8 years ago by
- Dependencies #10549, #10804 deleted
- Description modified (diff)
Changed 8 years ago by
comment:14 Changed 8 years ago by
- Status changed from needs_work to needs_review
comment:15 Changed 8 years ago by
- Status changed from needs_review to positive_review
Tests pass, formatting updated as requested by jdemeyer.
comment:16 Changed 8 years ago by
- Milestone changed from sage-5.6 to sage-5.7
- Work issues formatting deleted
comment:17 Changed 8 years ago by
- Merged in set to sage-5.7.beta0
- Resolution set to fixed
- Status changed from positive_review to closed