Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 835 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 835 Bytes
Raw

ExteriorIdeals

A Macaulay2 package for working with ideals over exterior algebra.

Introduction

Let K be a field, V a K-vector space with basis {e_1, ...,e_n}, and E the exterior algebra of V. We introduce a Macaulay2 package that allows one to deal with classes of monomial ideals in E.

  • More precisely, we implement some algorithms in order to easily compute stable, strongly stable and lexsegment ideals in E.
  • Moreover, an algorithm to check whether an (n+1)-tuple (1, h_1, ..., h_n) (h_1 <= n= dim_K V) of nonnegative integers is the Hilbert function of a graded K-algebra of the form E/I, with I graded ideal of E, is given.
  • In particular, if H_(E/I) is the Hilbert function of a graded K-algebra E/I, the package is able to construct the unique lexsegment ideal I^lex such that H_(E/I) = H_(E/I^lex).