new methods for compositions

[saliola]

new functionality for the composition constructor:

• construct a composition from a subset

new functionality for compositions:

• parent -- returns Compositions()
• reversed - reverses
• refinement_splitting
• refinement_splitting_lengths
• deprecated refinement in favour of refinement_splitting_lengths
• partial_sums(self, final=True):
• to_subset(self, final=False):
• to_partition(self):
• shuffle_product(self, other, overlap=False):

new functionality for the set of all compositions:

• put it in the category of InfiniteEnumeratedSets
• subset method to extract subsets of composition (by size)

Apply:

• attachment: trac_13243-new_methods_for_compositions-fs.patch
• attachment: trac_13243-rebased_deprecated_function_alias-fs.patch
• attachment: trac_13243-review_changes-fs.patch
• attachment: trac_13243-documentation_fixes-fs.patch
• attachment: trac_13243-documentation_fixes_2-fs.patch

Depends on #13109

CC: @sagetrac-chrisjamesberg @sagetrac-sage-combinat @zabrocki

Component: combinatorics

Keywords: compositions, ncsf, sd40

Author: Franco Saliola, Nicolas M. Thiéry, Florent Hivert, Chris Berg

Reviewer: Chris Berg, Mike Zabrocki

Merged: sage-5.3.beta0

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

[saliola]

comment:3

Need to fix a dependency error. Patch coming 'soon'.

[saliola]

only apply this one

[saliola]

Attachment: trac_13243-new_methods_for_compositions-fs.patch.gz

Attachment: trac_13243-new_methods_for_compositions-fs.2.patch.gz

empty patch (this can be deleted)

[saliola]

comment:4

The errors were mainly due to the fact that the new category of graded enumerated sets does not yet exist (it exists on the sage-combinat queue, which is why tests passed on my machine). So I removed the two lines related to that.

I also modified a couple of doctests in permutation.py, which was caused by the change the descents method.

[saliola]

Description changed:

--- 
+++ 
@@ -18,6 +18,6 @@
 
 new functionality for the set of all compositions:
 
-- put it in the category of `GradedEnumeratedSets`
+- put it in the category of `InfiniteEnumeratedSets`
 - subset method to extract subsets of composition (by size)