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. 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.
