Jets, a computer algebra on diffieties

Jets is a set of Maple procedures to facilitate solution of differential equations in total derivatives on diffieties. Otherwise said, Jets is a tool to compute symmetries, conservation laws, zero-curvature representations, recursion operators, any many other invariants of systems of partial differential equations.