On May 17, 2007, at 6:37 AM, Martin Albrecht wrote:
> > OI agree. Also, if you think about it there are a huge number of >> different elements that do support some sort of notion of >> substitution. >> I think Michel's suggestion is pretty good. > > Okay then, I will incorporate this patch into my patchset then > which I will > send around today where MPolynomials over QQ and GF(p) use the > libSINGULAR as > default implementation and "make test" passes! Another way to think of this: subs is basically just mapping through some kind of homomorphism. As long as this makes sense for the parent of the Element, then it makes sense. Unfortunately there's a lot of scope for Elements for which this kind of homomorphism doesn't make any sense. It would probably make sense for any Element whose parent is a ParentWithGens. We don't have a ElementOfParentWithGens though, do we. David --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
