MinimalIdeal(S) calculates the smallest ideal containing the list of vectors S.

A list of vectors is returned.

The command MinimalIdeal is part of the DifferentialGeometry:-LieAlgebras package.  It can be used in the form MinimalIdeal(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-MinimalIdeal(...).