Merge branch 'dev'

Author: galettof

InvariantRing.m2

@@ -9,12 +9,12 @@
 
 newPackage(
         "InvariantRing",
-        Version => "2.2", 
-        Date => "July 8, 2022",
+        Version => "2.3", 
+        Date => "May 7, 2025",
         Authors => {
 	    {Name => "Luigi Ferraro", 
-		 Email => "lferraro@ttu.edu", 
-		 HomePage => "http://www.math.ttu.edu/~lferraro/"
+		 Email => "luigi.ferraro@utrgv.edu", 
+		 HomePage => "https://faculty.utrgv.edu/luigi.ferraro/"
 		 },
              {Name => "Federico Galetto", 
 		 Email => "[email protected]", 
@@ -38,18 +38,20 @@ newPackage(
 		 HomePage => "https://math.berkeley.edu/~xlni/"}
              },
         Headline => "invariants of group actions",
+	Keywords => {"Representation Theory", "Group Theory"},
 	Certification => {
-	     "journal name" => "The Journal of Software for Algebra and Geometry",
-	     "journal URI" => "http://j-sag.org/",
-	     "article title" => "Computing the invariant ring of a finite group",
-	     "acceptance date" => "2013-05-16",
-	     "published article URI" => "http://j-sag.org/Volume5/jsag-3-2013.pdf",
-	     "published code URI" => "http://j-sag.org/Volume5/InvariantRing.m2",
-	     "repository code URI" => "http://github.com/Macaulay2/M2/blob/master/M2/Macaulay2/packages/InvariantRing.m2",
-	     "release at publication" => "68f41d641fadb0a1054023432eb60177f1d7cbd9",
-	     "version at publication" => "1.1.0",
-	     "volume number" => "5",
-	     "volume URI" => "http://j-sag.org/Volume5/"
+	     "journal name" => "Journal of Software for Algebra and Geometry",
+	     "journal URI" => "https://msp.org/jsag/",
+	     "article title" => "The InvariantRing package for Macaulay2",
+	     "acceptance date" => "2023-09-14",
+	     "published article URI" => "https://msp.org/jsag/2024/14-1/p02.xhtml",
+	     "published article DOI" => "10.2140/jsag.2024.14.5",
+	     "published code URI" => "https://msp.org/jsag/2024/14-1/jsag-v14-n1-x02-InvariantRing.m2",
+	     "repository code URI" => "https://github.com/Macaulay2/M2/blob/master/M2/Macaulay2/packages/InvariantRing.m2",
+	     "release at publication" => "d708862d93052a37b7f9ff1e584a9b57d1cb7870",
+	     "version at publication" => "2.0",
+	     "volume number" => "14",
+	     "volume URI" => "https://msp.org/jsag/2024/14-1/"
 	     },
 	AuxiliaryFiles => true,
         DebuggingMode => false,

InvariantRing/AbelianGroupsDoc.m2

@@ -103,7 +103,8 @@ document {
 
 document {
 	Key => { equivariantHilbertSeries,
-	    (equivariantHilbertSeries, DiagonalAction)
+	    (equivariantHilbertSeries, DiagonalAction),
+	    [equivariantHilbertSeries, Order]
 	    },
 	Headline => "equivariant Hilbert series for a diagonal action",
 	Usage => "equivariantHilbertSeries D",

InvariantRing/InvariantRingDoc.m2

@@ -75,7 +75,8 @@ document {
 		},
 	    {BOLD "2.2: ", "changed input of ", TO permutationMatrix,
 		", minor documentation and internal code changes."
-		}
+		},
+	    {BOLD "2.3: ", "minor documentation updates."}
 	    }
 	}
 

InvariantRing/InvariantsDoc.m2

@@ -857,7 +857,9 @@ document {
 
 document {
 	Key => {definingIdeal,
-	     (definingIdeal, RingOfInvariants)},
+	     (definingIdeal, RingOfInvariants),
+	     [definingIdeal, Variable]
+	     },
 
 	Headline => "presentation of a ring of invariants as polynomial ring modulo the defining ideal",