Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion M2/Macaulay2/m2/Core.m2
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
-- newPackage is called in packages.m2!
CorePackage = (
"Core",
Date => version#"compile time",
LastUpdated => version#"compile time",
Version => version#"VERSION",
Headline => "a computer algebra system designed to support algebraic geometry",
HomePage => "https://Macaulay2.com/",
Expand Down
7 changes: 6 additions & 1 deletion M2/Macaulay2/m2/exports.m2
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,7 @@ export {
"·",
"⊠",
"⧢",
"Abstract",
"Acknowledgement",
"AdditionalPaths",
"Adjacent",
Expand All @@ -70,6 +71,7 @@ export {
"Algorithm",
"Alignment",
"AngleBarList",
"Areas",
"Array",
"Ascending",
"AssociativeExpression",
Expand Down Expand Up @@ -119,13 +121,13 @@ export {
"Complement",
"CompleteIntersection",
"ComplexField",
"ComputingClassificationSystem",
"Configuration",
"Consequences",
"Constant",
"Constants",
"Contributors",
"Database",
"Date",
"DebuggingMode",
"Decompose",
"Default",
Expand Down Expand Up @@ -246,6 +248,7 @@ export {
"Keyword",
"Keywords",
"LUdecomposition",
"LastUpdated",
"Layout",
"Left",
"LengthLimit",
Expand All @@ -265,6 +268,7 @@ export {
"MakePDF",
"Manipulator",
"MapExpression",
"MathematicsSubjectClassification",
"Matrix",
"MatrixExpression",
"MaxReductionCount",
Expand Down Expand Up @@ -309,6 +313,7 @@ export {
"OptionTable",
"OptionalComponentsPresent",
"Options",
"Orcid",
"Order",
"OrderedMonoid",
"Outputs",
Expand Down
489 changes: 260 additions & 229 deletions M2/Macaulay2/m2/help.m2

Large diffs are not rendered by default.

51 changes: 28 additions & 23 deletions M2/Macaulay2/m2/packages.m2
Original file line number Diff line number Diff line change
Expand Up @@ -236,23 +236,28 @@ getpkgsrcdir = pkgname -> (
newPackage = method(
Dispatch => Thing,
Options => {
Authors => {},
AuxiliaryFiles => false,
CacheExampleOutput => null,
Certification => null,
Configuration => {},
Date => null,

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removing the key Date would cause all existing packages out there to produce an error when loaded. I'm also leaning against this change in general though because I prefer simple key names, but with clear documentation of what they should contain elsewhere.

@mahrud mahrud Jun 4, 2026

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The same for Keywords, actually. Nevermind, you're not removing it so it's not gonna cause errors. I like Areas.

DebuggingMode => false,
Headline => null,
HomePage => null,
InfoDirSection => "Macaulay2 and its packages",
Keywords => {"Uncategorized"},
OptionalComponentsPresent => null,
PackageExports => {},
PackageImports => {},
Reload => false,
UseCachedExampleOutput => null,
Version => "0.0"
Abstract => null,
ComputingClassificationSystem => {},
Areas => {"Uncategorized"},
Authors => {},
AuxiliaryFiles => false,
CacheExampleOutput => null,
Certification => null,
Configuration => {},
LastUpdated => null,
DebuggingMode => false,
Headline => null,
HomePage => null,
InfoDirSection => "Macaulay2 and its packages",
Keywords => {},
Maintainer => null,
MathematicsSubjectClassification => {},

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Instead of adding both MathematicsSubjectClassification and ComputingClassificationSystem, how about adding a unifying SubjectClass key and adding functions like MSC(ZZ,List) and CSS(ZZ,List) or similar? e.g. SubjectClass => {MSC(2020,{"13D02","14M25"}, ACM(...)}.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is ok if we're leaving MSC as optional. If we want to make it compulsory (which I think is a good idea - this would be a good thing to be able to search by when we have the package table online) then I wouldn't put them on the same footing. Is there a large group of users who would prefer the ACM classification? (this was mentioned in passing in the summary session, but not discussed).

OptionalComponentsPresent => null,
PackageExports => {},
PackageImports => {},
Reload => false,
UseCachedExampleOutput => null,
Version => "0.0"
})
newPackage Sequence := opts -> x -> newPackage splice(nonnull x, opts) -- to allow null entries
newPackage String := opts -> pkgname -> (
Expand Down Expand Up @@ -281,13 +286,13 @@ newPackage String := opts -> pkgname -> (
then error("newPackage: use the Contributors or Acknowledgement keywords to acknowledge contributors of " | pkgname);
-- optional package values
scan({
(Keywords, List),
(Date, String),
(Headline, String),
(HomePage, String)}, (name, type) -> if opts#name =!= null and not instance(opts#name, type) then
(Areas, List),
(LastUpdated, String),
(Headline, String),
(HomePage, String)}, (name, type) -> if opts#name =!= null and not instance(opts#name, type) then
error("newPackage: expected ", toString name, " option of class ", toString type));
if opts.Keywords =!= null and any(opts.Keywords,
keyword -> not instance(keyword, String)) then error "newPackage: expected Keywords to be a list of strings";
if opts.Areas =!= null and any(opts.Areas,
keyword -> not instance(keyword, String)) then error "newPackage: expected Areas to be a list of strings";
if opts.Headline =!= null and #opts.Headline > 100 then error "newPackage: expected Headline to be less than 100 characters";
-- the options coming from loadPackage are stored here
loadOptions := if loadPackageOptions#?pkgname then loadPackageOptions#pkgname else loadPackageOptions#"default";
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/A1BrouwerDegrees.m2
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
newPackage (
"A1BrouwerDegrees",
Version => "2.0",
Date => "October 13, 2025",
LastUpdated => "October 13, 2025",
Authors => {
{Name=> "Stephanie Atherton",
Email => "satherton@student.otis.edu"},
Expand Down Expand Up @@ -47,7 +47,7 @@ newPackage (
PackageExports => {},
AuxiliaryFiles => true,
DebuggingMode => false,
Keywords => {"Homotopy Theory","Commutative Algebra"},
Areas => {"Homotopy Theory","Commutative Algebra"},
Certification => {
"journal name" => "Journal of Software for Algebra and Geometry",
"journal URI" => "https://msp.org/jsag/",
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AInfinity.m2
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
newPackage(
"AInfinity",
Version => "0.1",
Date => "October 4, 2020, rev Feb 2021, rev May 2021",
LastUpdated => "October 4, 2020, rev Feb 2021, rev May 2021",
Authors => {{Name => "David Eisenbud",
Email => "de@msri.org",
HomePage => "http://www.msri.org/~de"},
Expand All @@ -10,7 +10,7 @@ newPackage(
HomePage => "http://pi.math.cornell.edu/~mike"}},
PackageExports => {"Complexes", "DGAlgebras","PushForward","LocalRings"},
Headline => "AInfinity structures on free resolutions",
Keywords => {"Commutative Algebra"}
Areas => {"Commutative Algebra"}
)

export {
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AbstractSimplicialComplexes.m2
Original file line number Diff line number Diff line change
Expand Up @@ -22,14 +22,14 @@
newPackage(
"AbstractSimplicialComplexes",
Version => "1.1",
Date => "12 May 2025",
LastUpdated => "12 May 2025",
Headline => "Abstract Simplicial Complexes",
Authors => {{ Name => "Nathan Grieve", Email => "nathan.m.grieve@gmail.com",
HomePage => "https://sites.google.com/view/nathan-grieve"}},
AuxiliaryFiles => false,
DebuggingMode => false,
PackageImports => {"Complexes"},
Keywords => {"Combinatorial Commutative Algebra"},
Areas => {"Combinatorial Commutative Algebra"},
Certification => {
"journal name" => "Journal of Software for Algebra and Geometry",
"journal URI" => "https://msp.org/jsag/",
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AbstractToricVarieties.m2
Original file line number Diff line number Diff line change
Expand Up @@ -6,14 +6,14 @@
newPackage(
"AbstractToricVarieties",
Version => "0.1",
Date => "10 June 2017",
LastUpdated => "10 June 2017",
Authors => {
{Name => "Mike Stillman",
Email => "mike@math.cornell.edu",
HomePage => "http://www.math.cornell.edu/~mike"}
},
Headline => "links abstract simplicial (normal) toric varieties to Schubert2",
Keywords => {"Toric Geometry", "Intersection Theory"},
Areas => {"Toric Geometry", "Intersection Theory"},
PackageExports => {"NormalToricVarieties", "Schubert2"}
)

Expand Down
10 changes: 5 additions & 5 deletions M2/Macaulay2/packages/AdjointIdeal.m2
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
-- -*- coding: utf-8 -*- this has to be on the first line
newPackage(
"AdjointIdeal",
Version => "0.6",
Date => "August 25, 2010",
Authors => {{Name => "Janko Boehm",
Email => "boehm@mathematik.uni-kl.de",
Version => "0.6",
LastUpdated => "August 25, 2010",
Authors => {{Name => "Janko Boehm",
Email => "boehm@mathematik.uni-kl.de",
HomePage => "https://agag-jboehm.math.rptu.de/~boehm/"}},
Headline => "adjoint ideals of plane curves and related computations",
Keywords => {"Commutative Algebra"},
Areas => {"Commutative Algebra"},
DebuggingMode => false,
CacheExampleOutput => true,
-- The doc Examples invoke MapleInterface (Maple is needed to *compute*
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AdjunctionForSurfaces.m2
Original file line number Diff line number Diff line change
Expand Up @@ -17,15 +17,15 @@ peek loadedFiles
newPackage(
"AdjunctionForSurfaces",
Version => "0.5",
Date => "January 24, 2024",
LastUpdated => "January 24, 2024",
Authors => {
{Name => "Frank-Olaf Schreyer",
Email => "schreyer@math.uni-sb.de",
HomePage => "http://www.math.uni-sb.de/ag/schreyer/"}
},
Headline => "Adjunction for Surfaces",
PackageImports => {"Complexes"},
Keywords => {"Projective Algebraic Geometry"}
Areas => {"Projective Algebraic Geometry"}
)

export {
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AlgebraicSplines.m2
Original file line number Diff line number Diff line change
Expand Up @@ -12,15 +12,15 @@
newPackage(
"AlgebraicSplines",
Version => "0.1.0",
Date => "27. May 2015",
LastUpdated => "27. May 2015",
Authors => {
{Name => "Michael DiPasquale", Email => "mdipasq@okstate.edu", HomePage => "http://math.okstate.edu/people/mdipasq/"},
{Name => "Gwyn Whieldon", Email => "whieldon@hood.edu", HomePage => "http://cs.hood.edu/~whieldon"},
{Name => "Eliana Duarte", Email => "emduart2@illinois.edu", HomePage => "https://faculty.math.illinois.edu/~emduart2/"},
{Name => "Daniel Irving Bernstein", Email=> "dibernst@ncsu.edu", HomePage =>"http://www4.ncsu.edu/~dibernst"}
},
Headline => "splines on simplicial complexes, polytopal complexes, and graphs",
Keywords => {"Applied Algebraic Geometry"},
Areas => {"Applied Algebraic Geometry"},
Configuration => {},
DebuggingMode => false,
PackageImports => { "Complexes", "Elimination" },
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AllMarkovBases.m2
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
newPackage(
"AllMarkovBases",
Version => "1.0",
Date => "May 08, 2025",
LastUpdated => "May 08, 2025",
Headline => "computing all minimal Markov bases of a configuration matrix",
Authors => {
{Name => "Alexander Milner",
Expand All @@ -11,7 +11,7 @@ newPackage(
Email => "oliver.clarke@durham.ac.uk",
HomePage => "https://www.oliverclarkemath.com/"}
},
Keywords => {"Algebraic Statistics"},
Areas => {"Algebraic Statistics"},
AuxiliaryFiles => false,
DebuggingMode => false,
PackageExports => {"FourTiTwo","Graphs","Normaliz"}
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AnalyzeSheafOnP1.m2
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
newPackage(
"AnalyzeSheafOnP1",
Version => "0.1",
Date => "June 3, 2015",
LastUpdated => "June 3, 2015",
Authors => {{Name => "David Eisenbud",
Email => "de@msri.org",
HomePage => "http://www.msri.org/~de"}},
Headline => "decompose a Sheaf on P1",
Keywords => {"Commutative Algebra"},
Areas => {"Commutative Algebra"},
PackageImports => {"Varieties"},
DebuggingMode => false
)
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/AssociativeAlgebras.m2
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
newPackage(
"AssociativeAlgebras",
Version => "0.9",
Date => "23 Oct 2024",
LastUpdated => "23 Oct 2024",
Authors => {{Name => "Frank Moore",
Email => "moorewf@wfu.edu",
HomePage => "https://math.wfu.edu/moore"},
Expand All @@ -10,7 +10,7 @@ newPackage(
HomePage => "http://www.math.cornell.edu/~mike"}
},
Headline => "Noncommutative algebra",
Keywords => {"Noncommutative Algebra"},
Areas => {"Noncommutative Algebra"},
PackageImports =>{"Complexes"},
PackageExports =>{"IntegralClosure"},
AuxiliaryFiles => true
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/BGG.m2
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
newPackage(
"BGG",
Version => "1.4.2",
Date => "Jan 11, 2016",
LastUpdated => "Jan 11, 2016",
Authors => {
{Name => "Hirotachi Abo", Email => "abo@uidaho.edu", HomePage => "http://www.webpages.uidaho.edu/~abo/"},
{Name => "Wolfram Decker", Email => "decker@math.uni-sb.de", HomePage => "http://www.math.uni-sb.de/ag/decker/"},
Expand All @@ -11,7 +11,7 @@ newPackage(
{Name => "Mike Stillman", Email => "mike@math.cornell.edu", HomePage => "http://www.math.cornell.edu/~mike/"}
},
Headline => "Bernstein-Gelfand-Gelfand correspondence",
Keywords => {"Commutative Algebra"},
Areas => {"Commutative Algebra"},
PackageExports => {"BoijSoederberg", "Complexes"},
PackageImports => {"Truncations","Varieties"},
DebuggingMode => false
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/BIBasis.m2
Original file line number Diff line number Diff line change
Expand Up @@ -8,12 +8,12 @@
newPackage(
"BIBasis",
Version => "0.6.3",
Date => "March 29, 2011",
LastUpdated => "March 29, 2011",
Authors => {
{Name => "Mikhail Zinin", Email => "mzinin@gmail.com"}
},
Headline => "involutive Pommaret basis in a Boolean ring",
Keywords => {"Groebner Basis Algorithms"},
Areas => {"Groebner Basis Algorithms"},
PackageImports => {"BooleanGB"},
DebuggingMode => false
)
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/BeginningMacaulay2.m2
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
-- -*- coding: utf-8 -*-
newPackage( "BeginningMacaulay2", Version => "1.0", Date => "November 3, 2009",
newPackage( "BeginningMacaulay2", Version => "1.0", LastUpdated => "November 3, 2009",
Authors => {
{Name => "David Eisenbud", Email => "de@msri.org", HomePage => "http://www.msri.org/~de"},
{Name => "Mike Stillman", Email => "mike@math.cornell.edu", HomePage => "http://www.math.cornell.edu/~mike"}
},
Headline => "Mathematicians' Introduction to Macaulay2",
Keywords => {"Documentation"},
Areas => {"Documentation"},
PackageExports => {"Complexes"},
AuxiliaryFiles => true
)
Expand Down
2 changes: 1 addition & 1 deletion M2/Macaulay2/packages/Benchmark.m2
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ newPackage (
{Name => "Daniel R. Grayson", Email => "dan@math.uiuc.edu", HomePage => "http://www.math.uiuc.edu/~dan/"},
{Name => "Michael E. Stillman", Email => "mike@math.cornell.edu", HomePage => "http://www.math.cornell.edu/People/Faculty/stillman.html"}
},
Keywords => {"Miscellaneous"},
Areas => {"Miscellaneous"},
HomePage => "https://macaulay2.com/",
PackageImports => {"Complexes", "XML"},
Version => "1.0"
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/BernsteinSato.m2
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,13 @@
newPackage(
"BernsteinSato",
Version => "1.0",
Date => "February 2023",
LastUpdated => "February 2023",
Headline => "Bernstein-Sato",
Authors => {
{ Name => "Anton Leykin", Email => "leykin@math.gatech.edu" },
{ Name => "Harrison Tsai" }
},
Keywords => {"D-modules"},
Areas => {"D-modules"},
PackageImports => {
"PrimaryDecomposition",
"ReesAlgebra",
Expand Down
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/Bertini.m2
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ bertiniPresent := run ("type bertini >/dev/null 2>&1") === 0
newPackage(
"Bertini",
Version => "2.1.2.3",
Date => "Feb 6 2024",
LastUpdated => "Feb 6 2024",
Authors => {
{Name => "Elizabeth Gross",
Email=> "elizabeth.gross@sjsu.edu",
Expand All @@ -19,7 +19,7 @@ newPackage(
HomePage => "http://www.math.gatech.edu/~leykin"}
},
Headline => "interface to Bertini",
Keywords => {"Numerical Algebraic Geometry", "Interfaces"},
Areas => {"Numerical Algebraic Geometry", "Interfaces"},
Configuration => { "BERTINIexecutable"=>"bertini" },
AuxiliaryFiles => true,
PackageExports => {"NAGtypes"},
Expand Down
Loading
Loading