Hi David, I think it would be best to construct them as toric varieties. This'll give you lots of functionality. For starters you should probably add a weighted projective space constructor to the toric_varieties library. There is already a toric_varieties.P(int), how about toric_varieties.WP(list of ints). If you want to provide specialized implementations for toric algorithms you can derive from the ToricVarieties class.
Volker On Sunday, May 20, 2012 3:06:16 PM UTC-4, David Eklund wrote: > > Hi, > > > I'm considering opening a ticket for the implementation of weighted > projective spaces (in a class of its own). I think it could be quite useful > in general but there are also algebraic varieties already in Sage for which > weighted projective space is a natural habitat (like hyperelliptic curves). > > > Does this sound like a good idea? Or is it superfluous? > > > Are there tickets on this already? > > > Any ideas of how it can be done? For example, does anyone know how it is > done in Magma? > > > Some technical remarks: it might be that the work is essentially already > done in connection with toric varieties. I'm not sure exactly which > functionalities I would like, but at least I want to construct them by > simply giving the weights and also define subschemes by giving a bunch of > weighted homogenous polynomials. Perhaps test smoothness of such subschemes > etc. Maybe weighted projective spaces should be constructed as toric > varieties. Or perhaps it is better to make an independent implementation of > them. Any thoughts? > > > thanks! > > /David Eklund > -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org