Skip to content

Commit

Permalink
rajCode to rajcode to match PSW paper
Browse files Browse the repository at this point in the history
  • Loading branch information
patriciajklein committed Oct 31, 2023
1 parent 5b0a238 commit 7d0aeba
Show file tree
Hide file tree
Showing 5 changed files with 30 additions and 30 deletions.
2 changes: 1 addition & 1 deletion MatrixSchubert.m2
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ export{
"avoidsAllPatterns", --documented ++
"isCartwrightSturmfels", --documented ++
"isCDG", --documented ++
"rajCode", --documented ++
"rajcode", --documented ++
"rajIndex", --documented ++
"grothendieckPoly", -- CHECK DOC
"schubertPoly", -- CHECK DOC
Expand Down
6 changes: 3 additions & 3 deletions MatrixSchubert/MatrixSchubertConstructionsDOC.m2
Original file line number Diff line number Diff line change
Expand Up @@ -450,7 +450,7 @@ doc ///
TO (avoidsAllPatterns, List, List),
TO (isCartwrightSturmfels, List),
TO (isCDG, List),
TO (rajCode, List),
TO (rajcode, List),
TO (rajIndex, List),
TO (grothendieckPoly,List),
TO (schubertPoly, List),
Expand Down Expand Up @@ -594,9 +594,9 @@ doc ///
Given a permutation in 1-line notation or a partial alternating sign matrix returns the Rothe diagram.
Example
w = {2,5,4,1,3}
rotheDiagram(w)
rotheDiagram w
A = matrix{{0,1,0},{1,-1,0},{0,0,0}}
rotheDiagram(A)
rotheDiagram A


///
Expand Down
32 changes: 16 additions & 16 deletions MatrixSchubert/MatrixSchubertInvariantsDOC.m2
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,11 @@ doc ///
Headline
compute the Castelnuovo-Mumford regularity of the quotient by a Schubert determinantal ideal or ASM ideal
Usage
schubReg(w)
schubReg(M)
schubReg w
schubReg A
Inputs
w:List
or {\tt M} is a @TO Matrix@
or {\tt A} is a @TO Matrix@
Description
Text
Given a partial alternating sign matrix or a permutation in 1-line notation, computes the Castelnuovo-Mumford regularity of the quotient by the corresponding alternating sign matrix ideal or Schubert determinantal ideal. In the case of a permutation in 1-line notation, computes the Castelnuovo-Mumford regularity of the corresponding Schubert determinantal ideal by implementing Theorem 1.1 of
Expand All @@ -28,9 +28,9 @@ doc ///

Example
w = {2,3,5,1,4}
schubReg(w)
schubReg w
A = matrix{{0,0,1,0,0},{1,0,0,0,0},{0,1,-1,1,0},{0,0,0,0,1},{0,0,1,0,0}};
schubReg(A)
schubReg A
///


Expand All @@ -42,17 +42,17 @@ doc ///
Headline
compute the codimension (i.e., height) of a Schubert determinantal ideal or ASM ideal
Usage
schubCodim(w)
schubCodim(M)
schubCodim w
schubCodim A
Inputs
w:List
or {\tt M} is a @TO Matrix@
or {\tt A} is a @TO Matrix@
Description
Text
Given a partial alternating sign matrix or a permutation in 1-line notation, outputs the codimension of the corresponding alternating sign matrix ideal or Schubert determinantal ideal.
Example
schubCodim(matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}})
schubCodim({1,3,2})
schubCodim matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}}
schubCodim {1,3,2}
///


Expand All @@ -64,8 +64,8 @@ doc ///
Headline
whether an ASM variety is Cohen-Macaulay
Usage
isSchubCM(A)
isSchubCM(w)
isSchubCM A
isSchubCM w
Inputs
A:Matrix
or {\tt w} is a @TO List@
Expand All @@ -80,9 +80,9 @@ doc ///
of Fulton says $R/I_w$ is always Cohen-Macaulay.
Example
A = matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}}
isSchubCM(A)
isSchubCM A
w = {1,3,2}
isSchubCM(w)
isSchubCM w
///

doc ///
Expand All @@ -92,7 +92,7 @@ doc ///
Headline
compute the K Polynomial of an ASM variety
Usage
KPolynomialASM(A)
KPolynomialASM A
Inputs
A:Matrix
-- Outputs
Expand All @@ -102,7 +102,7 @@ doc ///
Given a partial ASM $A$, compute the K Polynomial of its corresponding Ideal, defined as the numerator of its Hilbert series. The multi-degree variables are indexed along rows.
Example
A = matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}};
KPolynomialASM(A)
KPolynomialASM A
///


Expand Down
10 changes: 5 additions & 5 deletions MatrixSchubert/permutationMethods.m2
Original file line number Diff line number Diff line change
Expand Up @@ -306,11 +306,11 @@ longestIncrSeq (ZZ,ZZ,List) := List => memoize ((preVal,prevSZ,w) -> (
))

------------------------------------------
--INPUT: rajCode, takes a permutation in one line notation
--OUTPUT: returns the rajCode of the permutation
--INPUT: rajcode, takes a permutation in one line notation
--OUTPUT: returns the rajcode of the permutation
------------------------------------------
rajCode = method()
rajCode List := ZZ => (w) -> (
rajcode = method()
rajcode List := ZZ => (w) -> (
if not (isPerm w) then error ("Expecting a permutation.");
rajCodeVec := {};
for k from 0 to #w-1 do (
Expand All @@ -326,7 +326,7 @@ rajCode List := ZZ => (w) -> (
rajIndex = method()
rajIndex List := ZZ => (w) -> (
if not (isPerm w) then error ("Expecting a permutation.");
return sum rajCode w;
return sum rajcode w;
)

----------------------------
Expand Down
10 changes: 5 additions & 5 deletions MatrixSchubert/permutationMethodsDOC.m2
Original file line number Diff line number Diff line change
Expand Up @@ -374,12 +374,12 @@ doc ///

doc ///
Key
rajCode
(rajCode, List)
rajcode
(rajcode, List)
Headline
finds the Rajchgot code of a permutation
Usage
rajCode w
rajcode w
Inputs
w:List
Description
Expand All @@ -390,10 +390,10 @@ doc ///

Example
w = {7,2,5,8,1,3,6,4}
rajCode w
rajcode w

v = {1,6,9,2,4,7,3,5,8}
rajCode v
rajcode v
///

doc ///
Expand Down

0 comments on commit 7d0aeba

Please sign in to comment.