isIntersectionOfSchubertDeterminantalIdeals<-->isIntersectionSchubIdeals

Flipped roles of name and alias

MatrixSchubert.m2

@@ -60,8 +60,8 @@ export{
     "schubDecompose" => "schubertDecompose",
     "permSetOfASM",                  --documented ++
     "permutationSetofASM" => "permSetOfASM",
-    "isIntersectionSchubIdeals",    --documented ++
-    "isIntersectionOfSchubertDeterminantalIdeals" => "isIntersectionSchubIdeals",
+    "isIntersectionOfSchubertDeterminantalIdeals",    --documented ++
+    "isIntersectionSchubIdeals" => "isIntersectionOfSchubertDeterminantalIdeals",
     "isASMIdeal",    	     	    --documented ++	 
     "isASM",    	            --documented ++	 
     "isASMUnion",    	     	    --documented ++

MatrixSchubert/MatrixSchubertConstructions.m2

@@ -606,8 +606,8 @@ permSetOfASM Matrix := List => A -> (
 --TODO: docs and tests
 --TODO: input validation/type checking
 -------------------------------------------
-isIntersectionSchubIdeals = method()
-isIntersectionSchubIdeals Ideal := Boolean => I -> (
+isIntersectionOfSchubertDeterminantalIdeals = method()
+isIntersectionOfSchubertDeterminantalIdeals Ideal := Boolean => I -> (
     isIntersection := true;
     if (I == radical(I)) then {
         schubDecomp := apply(schubertDecompose I, i-> schubertDeterminantalIdeal(i, CoefficientRing => coefficientRing(ring I)));

MatrixSchubert/MatrixSchubertConstructionsDOC.m2

@@ -962,12 +962,12 @@ doc ///
 
 doc ///
     Key
-        isIntersectionSchubIdeals
-        (isIntersectionSchubIdeals, Ideal)
+        isIntersectionOfSchubertDeterminantalIdeals
+        (isIntersectionOfSchubertDeterminantalIdeals, Ideal)
     Headline
         whether an ideal is the intersection of Schubert determinantal ideals
     Usage
-        isIntersectionSchubIdeals I
+        isIntersectionOfSchubertDeterminantalIdeals I
     Inputs
         I:Ideal
     Outputs
@@ -990,7 +990,7 @@ doc ///
 	Example
 	    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}};
 	    J = schubertDeterminantalIdeal A;
-	    isIntersectionSchubIdeals J
+	    isIntersectionOfSchubertDeterminantalIdeals J
 ///
 
 doc ///

MatrixSchubert/MatrixSchubertTests.m2

@@ -420,9 +420,9 @@ assert(schubertDecompose schubertDeterminantalIdeal I == {{1, 2, 3, 4}})
 --permSetOfASM--
 assert(permSetOfASM I == {{1, 2, 3, 4}})
 
---isIntersectionSchubIdeals--
-assert(isIntersectionSchubIdeals schubertDeterminantalIdeal w == true );
-assert(isIntersectionSchubIdeals schubertDeterminantalIdeal I == true );
+--isIntersectionOfSchubertDeterminantalIdeals--
+assert(isIntersectionOfSchubertDeterminantalIdeals schubertDeterminantalIdeal w == true );
+assert(isIntersectionOfSchubertDeterminantalIdeals schubertDeterminantalIdeal I == true );
 
 --isASMIdeal--
 assert(isASMIdeal schubertDeterminantalIdeal w == true );
@@ -891,14 +891,14 @@ assert(permSetOfASM I == {{3, 5, 1, 2, 4}, {5, 2, 3, 1, 4}, {4, 2, 5, 1, 3}, {3,
 ///
 
 TEST ///
---isIntersectionSchubIdeals--
+--isIntersectionOfSchubertDeterminantalIdeals--
 w = {2,1,6,3,5,4};
 I = matrix{{0,0,1,0,0},{0,1,-1,1,0},{1,-1,1,0,0},{0,1,0,-1,1},{0,0,0,1,0}};
 PI = matrix{{0,0,1,0,0},{0,1,-1,1,0},{1,-1,1,0,0},{0,1,0,-1,0},{0,0,0,1,0}};
 
-assert(isIntersectionSchubIdeals schubertDeterminantalIdeal w == true );
-assert(isIntersectionSchubIdeals schubertDeterminantalIdeal I == true );
-assert(isIntersectionSchubIdeals schubertDeterminantalIdeal PI == true);
+assert(isIntersectionOfSchubertDeterminantalIdeals schubertDeterminantalIdeal w == true );
+assert(isIntersectionOfSchubertDeterminantalIdeals schubertDeterminantalIdeal I == true );
+assert(isIntersectionOfSchubertDeterminantalIdeals schubertDeterminantalIdeal PI == true);
 ///
 
 TEST ///