#6812: [with patch, needs review]Enumerate integer list up to the action of a
Permutation Group
---------------------------+------------------------------------------------
Reporter: nborie | Owner: nborie
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-combinat
Component: combinatorics | Keywords: enumaration, integer, list,
permutation, group
Reviewer: | Author: nborie
Merged: |
---------------------------+------------------------------------------------
Changes (by nborie):
* owner: mhansen => nborie
* status: new => assigned
* milestone: sage-4.1.2 => sage-combinat
Old description:
> The goal is to enumerate lists up to the action of a Permutation Group.
> The final function is generate_list_of_sum(integer) which give all list
> which sum over all element is the integer.
>
> The module in patch use the orderly generating algorithm. The goal is to
> select list which are maximals according the lexicographic order.
>
> There is a lot of test on this module( strong_generating_system() are
> also test indirectly in this module... )
>
> depends on #6647
New description:
The goal is to enumerate lists up to the action of a Permutation Group.
The final function is generate_list_of_sum(integer) which give all list
which sum over all element is the integer.
The module in patch use the orderly generating algorithm. The goal is to
select list which are maximals according the lexicographic order.
There is a lot of test on this module( strong_generating_system() are also
test indirectly in this module... )
depends on #6647 and the category framework #5891
--
Comment:
Refactoring :
-> I move the code in sage/combinat/invariant_ring_perm_gps (advise form
Nicolas Thiéry)
-> I implemented a new class InfiniteEnumeratedSet (with category)
There is no a shortcut in sage to IntegerVectorsUptoPermGroup which is a
user friendly parent (with hope).
This code stay really strongly connected to the Invariant theory and
connected with a the graded algebras of multivariate polynomial view as
combination of orbit sum. This really why the code enter this new folder :
sage/combinat/invariant_ring_perm_gps (other things have to come here....)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6812#comment:5>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
