On Fri, Oct 14, 2016 at 1:17 PM, Watson Ladd <watsonbl...@gmail.com> wrote: > Dear all, > > I'm currently working on writing some python that can produce a quadratic > form from genus invariants. I've already implemented the rational invariants > case, and would be willing to put it into Sage at some point. > > For the genus invariants I need to do variable substitutions on quadratic > forms. There does not appear to be a function to do this in the quadratic > forms class, so I've had to make my own representation. There is an > implementation for particularly simple substitutions, but not more complex > ones. Is this something that should also be fixed?
YES -- Jon Hanke (and Justin Walker) put a massive amount of work into quadratic forms a few years ago, but in recent times they have lingered. It's really fantastic that you're going to add some functionality to them and fill in some gaps! Go for it. William > > Sincerely, > Watson > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.