Implement Symmetry Classes of Plane Partitions

1adc0eef-8957-46d9-975b-2dd71dfbd9ba commented 5 years ago

Create classes for the different symmetry classes of plane partitions (Cyclically symmetric, Totally Symmetric, etc.), along with methods taking elements in these symmetry classes to an object in a fundamental domain (usually an order ideal in some associated poset).

CC: @jessicapalencia @tscrim @mantepse

Component: combinatorics

Keywords: days99, IMA Coding Sprint

Author: Kevin Dilks, Spencer Cook, Jessica Striker

Branch/Commit: public/combinat/symmetry_classes_plane_partitions-28244 @ a3c1c58

Reviewer: Travis Scrimshaw

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

1adc0eef-8957-46d9-975b-2dd71dfbd9ba commented 5 years ago

Branch: u/kdilks/SymPP

1adc0eef-8957-46d9-975b-2dd71dfbd9ba commented 5 years ago

Commit: fd46c9a

1adc0eef-8957-46d9-975b-2dd71dfbd9ba commented 5 years ago

comment:2

Current things to work on:

I changed all.py from being a lazy import to a regular import because I thought it might have been keeping something from working. That change will very likely be reverted once I get a chance to confirm that I was wrong.
Some of the poset/comparison structures at the beginning of various iterators can be streamlined or replaced with existing code (ie, posets.ProductOfChains is a thing, that code doesn't need to be duplicated).
Iterator code currently saves all the generated objects to a list, sorts the list, and then goes through them one at a time. Instead of adding a generated object to a list, it should just be yielded at that point, and the very last part of each iterator that iterates over the generated list can be removed.
Commented out existing code for iterating over plane partitions in a box using the SemistandardTableaux iterator with the code iterating over the my using antichain iterator on product of chains poset. Once the new code is cleaned up, the two should be compared.
Documentation and doc-tests are currently minimal/missing.
Additional methods need to be added to the various classes giving maps to order ideals in the various fundamental domains.
Would the various fundamental domains be something that we would really want added to the posets catalog ( http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/posets/poset_examples.html )?

New commits:

fd46c9a A very rough initial implementation

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

38e8b71 Potential class structure fix

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from fd46c9a to 38e8b71

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 38e8b71 to 0e10ab4

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

0e10ab4 added a few more base symmetry classes

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`241a6ca`	`Symmetry subclasses need to be based on the factory class, not the all class`
`f75ed2a`	`Symmetry classes seem to know they are finite sets now`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 0e10ab4 to f75ed2a

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from f75ed2a to d3a2f91

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

d3a2f91 Added attribute for a PlanePartition instance that makes bounding box size of box of parent (if defined), and largest bounding box otherwise

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

1c6f7cd Added import statement for cartesian product until iterator code refactored

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from d3a2f91 to 1c6f7cd

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

97bc8dd Iterator for plane partitions of fixed size implemented, beginning of documentation

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 1c6f7cd to 97bc8dd

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

d010cc9 Output of fixed size iterator needes element constructor

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 97bc8dd to d010cc9

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from d010cc9 to 6213c36

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`f1b90f0`	`Added cardinality method for fixed size using recurrence relation`
`6213c36`	`Added cardinality method for fixed size using recurrence relation`

1adc0eef-8957-46d9-975b-2dd71dfbd9ba commented 5 years ago

Version as of 11am CST July 26

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 6213c36 to 1190398

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

comment:12

Attachment: plane_partition.py.gz

Branch pushed to git repo; I updated commit sha1. New commits:

1190398 Added skeleton of missing classes, organized them in standard order

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`b292277`	`changed repr methods to not all caps`
`e843a52`	`cleaned up iterator code some, fixed minor category issue`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 1190398 to e843a52

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`507a8f6`	`More minor iterator fixes`
`d91a333`	`more changes`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from e843a52 to d91a333

1adc0eef-8957-46d9-975b-2dd71dfbd9ba commented 5 years ago

Changed keywords from none to days99, IMA Coding Sprint

6f4e04c0-2bd7-49f3-b83f-e15e1c4a8514 commented 5 years ago

Author: Kevin Dilks, Spencer Cook, Jessica Striker

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`0e99eed`	`Merge branch 'u/kdilks/SymPP' of git://trac.sagemath.org/sage into SymPP`
`4aefa39`	`Fixed SPP iterator and cardinality methods`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from d91a333 to 4aefa39

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

f220f3a SPP cardinality doctest fix

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 4aefa39 to f220f3a

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from f220f3a to 34fa0a3

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`1a7af8f`	`CSPP cardinality and other doc cleanup`
`85a4c32`	`Refactored plane partitions in a box with to_poset method to be used in other classes`
`34fa0a3`	`Refactored with to_poset method in SPP`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`acc2bce`	`Refactored with to_poset method in CSPP, mostly`
`6ee2ac9`	`Refactored with to_poset method in TSPP, mostly`
`2d5e451`	`Refactored with to_poset method in TSPP, mostly`
`7c457f5`	`Refactored iterator for SCPP`
`bbcd9e0`	`SCPP cardinality and minor cleanup`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 5 years ago

Changed commit from 34fa0a3 to bbcd9e0

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from bbcd9e0 to 80fcff4

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`951a322`	`Large number of changes I did not intermittently commit`
`86f02f9`	`Changed iterator for TSSCPP`
`80fcff4`	`Made numerous changes`

embray commented 4 years ago

comment:22

Ticket retargeted after milestone closed

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 80fcff4 to 948d2d2

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`1eeeff5`	`Added code to remove trailing zeros and empty parts. Breaks many testssr`
`948d2d2`	`Continued to make changes related to fixing transpose method and removing trailing zeros and empty rows`

mkoeppe commented 4 years ago

comment:24

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 948d2d2 to 8cbe343

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`8848178`	`Merge branch 'u/kdilks/SymPP' of git://trac.sagemath.org/sage into SymPP`
`87b4acb`	`Batch of small fixes before tackling tranpose`
`0cb3123`	`Hopefully transpose correctly changes parent of output. Indentation fix in PlanePartition init`
`8cbe343`	`Checkpoint before implementing monomial ideal features`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

42b05de fixed minor merge conflict

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 8cbe343 to 42b05de

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`3c8d4e2`	`Merge branch 'u/kdilks/SymPP' of git://trac.sagemath.org/sage into SymPP`
`af3be7e`	`Revert "fixed minor merge conflict"`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 42b05de to af3be7e

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from af3be7e to 1ea27f9

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`bc38eef`	`fixed minor merge conflict`
`1ea27f9`	`Hopefully cleaned up merge conflict`

sagemath / sage

Implement Symmetry Classes of Plane Partitions #28244