fixes bug #97

kernel, in the case that the target ring F is a quotient ring, defines the graph ideal to live in source**ambient F rather than source**F, then adds the ideal of F. This should make no difference except when ideal F == ambient F, where it fixes bug #97.