Can GAP3.4.4 do the following:

- Let A be a set of integer m-tuples (a list of integer-lists, right?)

- Let B be a subset of A

- Let M(A) be the additive group consisting of all possible integer linear
combinations of members in A (what GAP function does this?)

- Define M(B) similarly for B

- Let G be the factor group M(A) / M(B) (I presume FactorGroup is used, but
don't know how to syntactically define the groups M(A) and M(B))

Thank you.

Bruce