arguments: F:freemodule a:intarray >> freemodule
Return the graded free module F(a), where the length of a should be the number of degree vectors in the base ring of F.
