On 2014-05-03, Vincent Delecroix <[email protected]> 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-nt" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send an email to [email protected]. Visit this group at http://groups.google.com/group/sage-nt. For more options, visit https://groups.google.com/d/optout.
