J Austral Math Soc Ser A 51 pp33--49, 1991.
(Received 10 May 1989)
Given m linearly independent vectors n1, ..., nm Î Zk and an integer l Î [m, k] one proves the existence of l linearly independent vectors p1, ..., pl Î Zk or q1, ..., ql Î Zk of small size (suitably measured) such that the ni's are linear combinations of pj's with rational coefficients of qj's with integer coefficients.
1980 AMS Subject Classification (1985 Revision): 11H41
Last Modified: Mon Feb 3 9:46:10 2003