schubmult 5.2.0b2__tar.gz → 5.3.0__tar.gz

{schubmult-5.2.0b2 → schubmult-5.3.0}/CHANGELOG.md

@@ -1,5 +1,48 @@
 # Changelog
 
+## 5.2.0
+
+Final release of 5.2.0, including the changes in 5.2.0b2 and 5.2.0b3.
+
+### Added
+
+- **Skew divided differences and the block lift**, after Byung-Hak Hwang, *Coefficient lifting for skew
+  divided differences and triple Schubert coefficients* (arXiv:2610.21053). `DoubleSchubertElement.skew_divdiff(w, v)`
+  applies Macdonald's skew divided difference $\partial_{w/v}$ (Gao--Xiong normalization, characterized by
+  $\partial_w(fg)=\sum_v(\partial_{w/v}f)(\partial_v g)$) to a `DSx`/`Sx` element, using Samuel's identity
+  $\partial_{w/v}\mathfrak S_u(x;y)=c^w_{u,v}(y,x)$ so that each basis term is one `schubmult_double` call;
+  `schubmult.symbolic.poly.schub_poly.skew_div_diff` applies $\partial_{w/v}$ to an arbitrary polynomial by
+  the recurrence $\partial_{s_iw'/v}=\partial_i\partial_{w'/v}+s_i\partial_{w'/s_iv}$.
+  `schubmult.utils.perm_utils.block_lift(u, v, w, alpha)` builds the triple
+  $(\widetilde u_\alpha,\widetilde v_\alpha,\widetilde w_\alpha)\in S_{n+|\alpha|}$ for which the coefficient
+  of $t^\alpha$ in the triple Schubert coefficient $c^w_{u,v}(y,t)$ (`schubmult_double({v: 1}, u, t, y)[w]`)
+  is the single coefficient $c^{\widetilde w_\alpha}_{\widetilde u_\alpha,\widetilde v_\alpha}(y,0)$; at
+  $y=0$ this realizes every coefficient of $\partial_{w/v}\mathfrak S_u(x)$ (Kirillov's conjecture), and in
+  particular every coefficient of $\mathfrak S_u(x)$, as an ordinary structure constant. The identity is
+  verified against `schubmult_double` on all of $S_3$ and the paper's running example in the test suite,
+  giving the double kernel a rank-mixing consistency check it did not have before.
+
+### Changed
+
+- CI tests Python 3.15. The wheel workflow builds CPython 3.10-3.14 wheels; cibuildwheel does not
+  yet recognize the CPython 3.15 build selector.
+
+### Fixed
+
+- **`posify` / `q_posify` crashed or returned a wrong expression in the one-dominates recursion**
+  (`schubmult_q_double --mixed-var --display-positive`, `schubmult.mult.positivity.posify`). When
+  $u$ one-dominates $w$, `posify` strips the first row and recurses on $(\phi_1 u, v', \phi_1 w)$
+  over the shifted alphabet $y_2, y_3, \ldots$, passed as a plain tuple. Two bugs met there: the
+  reduced coefficient was still computed in the unshifted alphabet, so any recursion that bottomed
+  out in the integer program returned $c(y_1, y_2, \ldots)$ instead of $c(y_2, y_3, \ldots)$; and
+  `compute_positive_rep` used `tuple.index`, which raises on the $z$ variables where
+  `GeneratingSet.index` returns `-1`. Hit for instance by $u=2431$, $v=1432$, $w=34512$, where
+  `schubmult_q_double 2 4 3 1 - 1 4 3 2 --mixed-var --display-positive` died with a bare
+  `Exception`. The reduced coefficient is now computed in the shifted alphabet and
+  `compute_positive_rep` accepts plain sequences. `posify` and `q_posify` now reconstruct every
+  structure constant on all of $S_4$ (5,558 classical and 11,422 quantum coefficients), and both
+  are covered by direct unit tests.
+
 ## 5.2.0b2
 
 Pre-release of 5.2.0: SageMath integration (`schubmult.sage`), a correctness fix for parabolic

{schubmult-5.2.0b2/src/schubmult.egg-info → schubmult-5.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: schubmult
-Version: 5.2.0b2
+Version: 5.3.0
 Summary: Package for algebraic computation with single, double, and quantum Schubert polynomials
 Author-email: Matt Samuel <schubmult@gmail.com>
 Maintainer-email: Matt Samuel <schubmult@gmail.com>