  Every normal toric ideal of codimension two is minimally generated by a
Grobner basis with squarefree initial monomials. A polynomial time algorithm is
presented for checking whether a toric ideal of fixed codimension is normal.
