initialization of morphisms on subschemes

[Ben Hutz]

I posted a message a few days ago on sage-devel that failed to stir any interest: https://groups.google.com/forum/?fromgroups#!topic/sage-devel/4h8buvYHxA8

Essentially, it is about what to do when initializing a morphism on a subscheme since the coordinate ring is a quotient ring. The current version essentially quotients by the defining ideal, so you can get some weird results back for the form of the map and doesn't work in all situations. I'm trying to sort this out, but it is not clear to me what the desired behavior is. I'm tempted to just not reduce at all, or perhaps provide some type of "reduce" option or function that is off by default. I don't want to duplicate the sage-devel thread, since it has a bunch of examples of weird behavior or possibly weird behavior, so if any of the dynamics people have an opinion on how this 'should' work, please contribute to the discussion on sage-devel.

Thanks,
  Ben