Ideal Characterisation of the Greatest Common Divisor of a Finite Integer List