sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.22k stars 425 forks source link

Rewrite exterior algebra, implement Groebner bases, and peelable tableaux for northwest diagrams #33988

Open trevorkarn opened 2 years ago

trevorkarn commented 2 years ago

This is a meta-ticket for the Google Summer of Code project with the same name.

Tickets include:

CC: @tscrim @trevorkarn

Component: algebra

Keywords: gsoc2022

Author: Trevor K. Karn

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

trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -1,4 +1,4 @@
 This is a meta-ticket for the [Google Summer of Code](https://summerofcode.withgoogle.com/programs/2022/projects/UpKWcuIO) project with the same name.

 Tickets include:
-
+32369
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -1,4 +1,5 @@
 This is a meta-ticket for the [Google Summer of Code](https://summerofcode.withgoogle.com/programs/2022/projects/UpKWcuIO) project with the same name.

 Tickets include:
-32369
+
+#32369
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -2,4 +2,5 @@

 Tickets include:

-#32369
+- #32369
+- #33989
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -4,3 +4,4 @@

 - #32369
 - #33989
+- #33990
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -5,3 +5,4 @@
 - #32369
 - #33989
 - #33990
+- #34035
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -2,7 +2,7 @@

 Tickets include:

-- #32369
-- #33989
-- #33990
-- #34035
+- #32369 Rewrite Clifford and exterior algebras to have a basis indexed by integers
+- #33989 Subsets indexed by integers
+- #33990 Subset_s `_an_element_`
+- #34035 Add `__reversed__` method to `FrozenBitsets`
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -5,4 +5,5 @@
 - #32369 Rewrite Clifford and exterior algebras to have a basis indexed by integers
 - #33989 Subsets indexed by integers
 - #33990 Subset_s `_an_element_`
+- #34054 Update documentation for EnumeratedFamily
 - #34035 Add `__reversed__` method to `FrozenBitsets`
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -5,5 +5,6 @@
 - #32369 Rewrite Clifford and exterior algebras to have a basis indexed by integers
 - #33989 Subsets indexed by integers
 - #33990 Subset_s `_an_element_`
+- #34084 Fix bug with comparison to 1 in IndexedFreeModuleElement
 - #34054 Update documentation for EnumeratedFamily
 - #34035 Add `__reversed__` method to `FrozenBitsets`
trevorkarn commented 2 years ago

Description changed:

--- 
+++ 
@@ -8,3 +8,4 @@
 - #34084 Fix bug with comparison to 1 in IndexedFreeModuleElement
 - #34054 Update documentation for EnumeratedFamily
 - #34035 Add `__reversed__` method to `FrozenBitsets`
+- #34138 Groebner bases for exterior algebras native to Sage
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -9,3 +9,4 @@
 - #34054 Update documentation for EnumeratedFamily
 - #34035 Add `__reversed__` method to `FrozenBitsets`
 - #34138 Groebner bases for exterior algebras native to Sage
+- #34260 Implement northwest diagrams
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -10,3 +10,4 @@
 - #34035 Add `__reversed__` method to `FrozenBitsets`
 - #34138 Groebner bases for exterior algebras native to Sage
 - #34260 Implement northwest diagrams
+- #34264 Standardize jeu de taquin in tableaux documentation
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -11,3 +11,4 @@
 - #34138 Groebner bases for exterior algebras native to Sage
 - #34260 Implement northwest diagrams
 - #34264 Standardize jeu de taquin in tableaux documentation
+- #34292 Group algebra bug
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -12,3 +12,4 @@
 - #34260 Implement northwest diagrams
 - #34264 Standardize jeu de taquin in tableaux documentation
 - #34292 Group algebra bug
+- #34335 Stanley symmetric functions for type-A Weyl Group
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -13,3 +13,4 @@
 - #34264 Standardize jeu de taquin in tableaux documentation
 - #34292 Group algebra bug
 - #34335 Stanley symmetric functions for type-A Weyl Group
+- #34343 Speed up computing outside corners of partition
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -14,3 +14,4 @@
 - #34292 Group algebra bug
 - #34335 Stanley symmetric functions for type-A Weyl Group
 - #34343 Speed up computing outside corners of partition
+- #34345 Method to get cells in horizontal/vertical border strip
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -15,3 +15,4 @@
 - #34335 Stanley symmetric functions for type-A Weyl Group
 - #34343 Speed up computing outside corners of partition
 - #34345 Method to get cells in horizontal/vertical border strip
+- #34370 Add examples to Schubert polynomials documentation
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -16,3 +16,5 @@
 - #34343 Speed up computing outside corners of partition
 - #34345 Method to get cells in horizontal/vertical border strip
 - #34370 Add examples to Schubert polynomials documentation
+- #34414 Implement Key polynomials
+- #34435 Add method to trim trailing zeros from Compositions
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -17,4 +17,5 @@
 - #34345 Method to get cells in horizontal/vertical border strip
 - #34370 Add examples to Schubert polynomials documentation
 - #34414 Implement Key polynomials
-- #34435 Add method to trim trailing zeros from Compositions
+- #34435 Add method to trim trailing zeros from IntegerVector
+- #34510 Add to check for fixed total/length in IntegerVector
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -19,3 +19,4 @@
 - #34414 Implement Key polynomials
 - #34435 Add method to trim trailing zeros from IntegerVector
 - #34510 Add to check for fixed total/length in IntegerVector
+- #34518 Expand Schubert polynomials in terms of Key polynomials
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -20,3 +20,4 @@
 - #34435 Add method to trim trailing zeros from IntegerVector
 - #34510 Add to check for fixed total/length in IntegerVector
 - #34518 Expand Schubert polynomials in terms of Key polynomials
+- #34527 Make `Composition`s into a `collections.abc.Sequence`
trevorkarn commented 1 year ago

Description changed:

--- 
+++ 
@@ -21,3 +21,4 @@
 - #34510 Add to check for fixed total/length in IntegerVector
 - #34518 Expand Schubert polynomials in terms of Key polynomials
 - #34527 Make `Composition`s into a `collections.abc.Sequence`
+- #34535 Segfault when floor dividing in infinite polynomial ring