CoordinateRingOfGraph now allows empty lists of indeterminates
the main operation for Eliminate now expects a matrix and a list

all other operations are no derived from this one