The commands lift and reduce are used to determine whether the columns of a given matrix are in the submodule generated by a given standard basis. The result of the lift command is also part of the output of the reduce command. The lift command is included only for convenience.