apparently I didn't cross-post this to sage-devel. Just in case, Dima On Saturday, 3 May 2014 22:22:22 UTC+2, Dima Pasechnik wrote: > > On 2014-05-03, Vincent Delecroix <> wrote: > > Hello, > > > > I would like more projective planes seen as incidence structure. In > > order to do so I need to introduce what are called near-field [1]. > > Which is not exactly a division ring: the distributivity fail on one > > of the side. > > > > Does anybody has some implementation already? Do you think I need a > > proper category for the near fields? It would be fine to me to set the > > category to "Rings" but perhaps it is more appropriate to have the > > corresponding category. > > Aren't Sage rings meant to have distributivity on both sides? > Probably it might be fun (depending on your notion of fun :)) > to have a category of structures with a ternary operation, > as needed for coordinatizaton of even more general finite > projective planes (then one will also have semi-fields, etc) > > HTH, > Dima > > > Comments might also go on the ticket #16283. > > > > Best > > Vincent > > > > [1] http://en.wikipedia.org/wiki/Near-field_%28mathematics%29 > > > >
-- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.