We construct a 3 X 21 matrix A and Camion basis B of A such that B doe
s not correspond to an extreme point of the convex hull of basic solut
ions of Ax = b for any b is-an-element-of R3. Computer algebra methods
played a critical role in finding both the matrix A and an analytic p
roof that B is not extremal.