#19279: IncidenceStructure.is_generalized_quadrangle
-------------------------------------+-------------------------------------
Reporter: ncohen | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.9
Component: combinatorial | Resolution:
designs | Merged in:
Keywords: | Reviewers:
Authors: Nathann Cohen | Work issues:
Report Upstream: N/A | Commit:
Branch: u/ncohen/19279 | 4f8a84b8f65b917883e46e28b8942ae52dd09b3d
Dependencies: #19277 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by dimpase):
Replying to [comment:5 ncohen]:
> > 1) GQs don't necessary admit parameters; e.g.
>
> I implemented the definition from Wikipedia:
> https://en.wikipedia.org/wiki/Generalized_quadrangle
>
> Is it wrong?
it a definition that is unnecessarily restrictive, and actually
contradicts with what wikipedia defines as a polar space. Saying that a GQ
is a polar space (and it is saying it) in wikipedia sense will disallow
t=1 or s=1.
>
> > 2) the incidence graph is bipartite, and thus must have even girth
(equal to 8, to get a GQ).
>
> Soooooooooo you want me to change something in my code/doc, arguing that
it would make absolutely no difference because both are correct? `:-)
well, in a comment in the code you say that the girth must be at least 7;
but you never ever get 7 or any odd number...
--
Ticket URL: <http://trac.sagemath.org/ticket/19279#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/d/optout.
