Nathann, If you know what you are doing it is not hard to find. Unless of course you receive all the knowledge by hitting TAB :) OK, name it ProjectivePlanePappian, to satisfy your TAB-happy fingers...
Oh well, the fact that you already put a bunch of misnamed stuff into Sage does not mean that you should keep doing this and keep confusing other potential users... Cf our previous disputes about LP vs Integer LP.... On 4 Jan 2014 21:21, "Nathann Cohen" <[email protected]> wrote: > > Helloooooooo ! > > > > Hi Nathann, > > The trac seems to be down for me, so I write here. > > What you propose is a misnaming of the object, akin to, say, creation of a Sage function that returns for given n the next prime power, NextPrimePower, but then you actually make it return next power of 2. > > Your function returns a Desarguesian projective plane, and this term and the order of the plane characterize it uniquely. > > Then name it properly... > > Dima > > Okay, so as you involve everybody, let's explain it to them : > > Patch #15107 adds a method named (at first) designs.ProjectivePlaneDesign. Which returns what is known as a projective plane, i.e. there : http://en.wikipedia.org/wiki/Projective_plane#Finite_projective_planes > > Dima made comments on the tickets and thinks that it should be renamed to one of designs.DesarguesianProjectivePlaneDesign or designs.PappianProjectivePlaneDesign (none of which is "the obvious choice") > > Now Dima, you say that I am misnaming a function but I don't understand how you can defend that : this function *does* return a Projective Plane. It is, indeed, a specific kind of projective planes (I don't think that there is anu other general construction), but it *IS* a projective plane. So how could naming it "ProjectivePlaneDesign" be incorrect ? > > As I was saying on the other thread, we have already things like that : > designs.steiner_triple_system > designs.steiner_quadruple_system > > And of course there are *MANY* such systems for a given input. But well, these functions are only interesting because they return such systems, so the name fits. > > Plus we will soon have a design.BalancedIncompleteBlockDesign, and the same will happen. > > Soooo well.. You agree that this function returns Projective Planes, as you want to call them Desarguesian Projective Planes, but given that the name is not a natural choice and make it harder to find, I think it should be called designs.ProjectivePlane. I don't claim that the function will return anything that it should not : it returns projective planes, as we want it to. > > You cannot say that it is misnamed. > > Nathann -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
