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.
