This package enables computations with jet functors. It introduces the jets method to compute jets of polynomial rings, ideals, quotients, ring homomorphisms, and varieties. The construction of jets follows an algebraic procedure discussed in several sources, including the first three references below.
Additional features include an alternative algorithm to compute the radical of jets of monomial ideals, a function to construct jets of graphs, a method for principal components of jets, and an option for jets with "projective" gradings.
Version 1.1 of this package was accepted for publication in volume 12 of The Journal of Software for Algebra and Geometry on 20 October 2022, in the article Computing with jets. That version can be obtained from the journal or from the Macaulay2 source code repository.
This documentation describes version 1.1 of Jets.