Implement general energy function

tscrim commented 9 years ago

This patch implements the energy function from the definition, which is not very efficient. But it works in full generality (unlike the current implementation which only works for tensor products of perfect crystals of the same level).

CC: @sagetrac-sage-combinat @anneschilling @bsalisbury1 @dwbump

Component: combinatorics

Keywords: KR crystals, energy function

Author: Travis Scrimshaw

Branch/Commit: 961d1d0

Reviewer: Anne Schilling

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

tscrim commented 9 years ago

Branch: public/crystals/add_energy_functions-19140

tscrim commented 9 years ago

Commit: 0dcbe3c

tscrim commented 9 years ago

comment:1

There's still some documentation that will need to be done, but otherwise it should be working.

Last 10 new commits:

`7b4ae6b`	`Moving methods to KR crystals category and simplifying weight_lattice_realization.`
`4c64e07`	`Moved 1-dim sum and relate functions to the category.`
`c92a80f`	`Fixing bug in classically HW vectors.`
`af87ee8`	`Fixing category hierarchy for (tensor products of) KR crystals.`
`f8114a7`	`Added maximal_vector() for tensor product of KR crystals.`
`f2058a8`	`More changes to the category structure and added a generic classical_weight().`
`fe54e81`	`Added classically HW vecs for KR crystals in KN tableaux. Made general is_perfect().`
`25ae4ce`	`Added cardinality() for KR crystals.`
`8822d70`	`Initial creating of energy function by definition.`
`0dcbe3c`	`Moving local_energy_function to a subclass of Map.`

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

Changed commit from 0dcbe3c to 8140133

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

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

`6a57ce2`	`Removing a little trailing whitespace.`
`16177c9`	`Merge branch 'develop' into public/categories/derived_affine_crystals-19139`
`1e030e3`	`Merge branch 'public/categories/derived_affine_crystals-19139' into public/crystals/add_energy_functions-19140`
`3cdddf6`	`Merge branch 'develop' into public/categories/derived_affine_crystals-19139`
`8140133`	`Merge branch 'public/categories/derived_affine_crystals-19139' into public/crystals/add_energy_functions-19140`

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

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

`5035d85`	`Merge branch 'public/categories/derived_affine_crystals-19139' of trac.sagemath.org:sage into public/categories/derived_affine_crystals-19139`
`e6b5d62`	`Fixing some issues with spin cases and affine crystals.`
`ff5e799`	`Merge branch 'develop' into public/categories/derived_affine_crystals-19139`
`6201eb9`	`Merge branch 'develop' into public/categories/derived_affine_crystals-19139`
`a1fc17c`	`trac #19139 little doc problem`
`d83e176`	`Merge branch 'public/categories/derived_affine_crystals-19139' of trac.sagemath.org:sage into public/categories/derived_affine_crystals-19139`
`69c8df5`	`Merge branch 'public/categories/derived_affine_crystals-19139' of trac.sagemath.org:sage into public/categories/derived_affine_crystals-19139`
`7d3174b`	`Changing the category for the new KR tableaux class.`
`08b86d7`	`Merge branch 'public/crystals/add_energy_functions-19140' of trac.sagemath.org:sage into public/crystals/add_energy_functions-19140`

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

Changed commit from 8140133 to 08b86d7

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

Changed commit from 08b86d7 to 50a92d9

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

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

`38dc0c2`	`Tweaking the category for projected LS paths since they aren't realized as a tensor product.`
`f038b80`	`Merge branch 'public/categories/derived_affine_crystals-19139' of trac.sagemath.org:sage into public/categories/derived_affine_crystals-19139`
`91cfa33`	`Initial creating of energy function by definition.`
`021e171`	`Moving local_energy_function to a subclass of Map.`
`50a92d9`	`Fixing bugs and adding more documentation.`

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

Changed commit from 50a92d9 to d428b23

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

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

`a624e49`	`Rebased to 7.2.beta1`
`553f4bd`	`Fixing the category for alcove paths.`
`37ebd8b`	`Merge branch 'public/categories/derived_affine_crystals-19139' of trac.sagemath.org:sage into public/categories/derived_affine_crystals-19139`
`d428b23`	`Merge branch 'public/crystals/add_energy_functions-19140' of trac.sagemath.org:sage into public/crystals/add_energy_functions-19140`

tscrim commented 8 years ago

comment:7

I've separated this out from #19139 (which will soon depend on this).

New commits:

164aa27 Added energy function for (tensor products of) KR crystals.

tscrim commented 8 years ago

Changed commit from d428b23 to 164aa27

tscrim commented 8 years ago

Changed dependencies from #19139 to none

tscrim commented 8 years ago

Changed branch from public/crystals/add_energy_functions-19140 to public/crystals/energy_function-19140II

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

Changed commit from 164aa27 to 961d1d0

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

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

`5f22319`	`Merge branch 'develop' into energy_function-19140II`
`961d1d0`	`added test for one dimensional configuration sum`

anneschilling commented 8 years ago

Description changed:

--- 
+++ 
@@ -1 +1,2 @@
-Because sometimes the slowest version is useful (and it works in full generality).
+This patch implements the energy function from the definition, which is not very efficient. But it works in full generality (unlike the current implementation which only works for tensor products of perfect crystals of the same level).
+

anneschilling commented 8 years ago

Reviewer: Anne Schilling

anneschilling commented 8 years ago

comment:9

I discussed this with Travis in person and it looks good.

vbraun commented 8 years ago

Changed branch from public/crystals/energy_function-19140II to 961d1d0

sagemath / sage

Implement general energy function #19140