ExteriorIdeals -- a package for working with ideals over exterior algebra
Description
ExteriorIdeals is a package for creating and manipulating ideals over exterior algebra Other acknowledgements:
The method
isLexIdeal was taken from Chris Francisco's package: LexIdeals, which is available at
LexIdeals
Version
This documentation describes version 1.0 of ExteriorIdeals.
Source code
The source code from which this documentation is derived is in the file ExteriorIdeals.m2.
Exports
-
Functions and commands
-
allHilbertSequences -- compute all Hilbert sequences of quotients in an exterior algebra
-
hilbertSequence -- compute the Hilbert sequence of a given ideal in an exterior algebra
-
initialDegree -- compute the initial degree of a graded ideal
-
isHilbertSequence -- whether the given sequence is a Hilbert sequence
-
isLexIdeal -- whether an ideal is lex
-
isStableIdeal -- whether a monomial ideal in an exterior algebra is stable
-
isStronglyStableIdeal -- whether a monomial ideal in an exterior algebra is strongly stable
-
lexIdeal -- compute the lex ideal with a given Hilbert function in an exterior algebra
-
macaulayExpansion -- compute the Macaulay expansion of a positive integer
-
solveMacaulayExpansion -- compute the sum of a Macaulay expansion
-
stableIdeal -- compute the smallest stable ideal in an exterior algebra containing a given monomial ideal
-
stronglyStableIdeal -- compute the smallest strongly stable ideal in an exterior algebra containing a given monomial ideal
-
Symbols
-
Shift -- optional argument for macaulayExpansion