From e10e242125615d71040be90860c48b5be96be2ce Mon Sep 17 00:00:00 2001 From: Antony Della Vecchia Date: Wed, 4 Dec 2024 10:30:21 +0100 Subject: [PATCH] adds line in docstring --- experimental/AlgebraicShifting/src/PartialShift.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/experimental/AlgebraicShifting/src/PartialShift.jl b/experimental/AlgebraicShifting/src/PartialShift.jl index 61ad4efaf2e..5076be30b54 100644 --- a/experimental/AlgebraicShifting/src/PartialShift.jl +++ b/experimental/AlgebraicShifting/src/PartialShift.jl @@ -59,6 +59,7 @@ end rothe_matrix(F::Field, p::PermGroupElem) rothe_matrix(R::MPolyRing, w::WeylGroupElem) rothe_matrix(R::MPolyRing, p::PermGroupElem) + For a base field `F` and a Weyl group element `w` return the matrix with entries in the multivariate polynomial ring `R` with `n^2` many indeterminants where `n - 1` is the rank of the root system of the Weyl group.