Sage: Ticket #18948: Strongly Regular Graphs database
https://trac.sagemath.org/ticket/18948
<p>
This ticket implements a new module names <code>strongly_regular_db</code> that lets us build one example of strongly regular graph, given four integer parametes (v,k,lambda,mu).
</p>
<p>
It uses Andries Brouwer's database to return more meaningful non-existence results, and help us find which constructions are missing from the database.
</p>
<p>
With a bit of luck (and time, and work) it would be great if we could reproduce all SRG that are known to exist!
</p>
<p>
The module has a simple structure:
</p>
<p>
has a simple structure:
</p>
<ul><li>A <code>seems_feasible(v,k,l,mu)</code> function that performs the basic artihmetic
checks to figure out if <code>(v,k,l,mu)</code> is realizable. The
'apparently_feasible_parameters(n)` returns the lists of all parameters that
pass these tests for v<n. When n=1301, the set of parameters it returns is
precisely those that appear on your database (this is checked in the code).
</li></ul><ul><li>Several functions (is_paley, is_johnson, ...) test if a given set of
parameters (v,k,l,mu) can be realized with a graph of the corresponding family
(a Paley graph, a Johnson graph, ...). If they can, they return the parameters
of that graph so that it can be built easily.
</li></ul><ul><li>The main function <code>strongly_regular_graph</code> can be called in two ways:
</li></ul><ul><li><code>strongly_regular_graph(v,k,l,mu,existence=True)</code> answers True if such a
graph is known to exists, False if it is known to be infeasible, and Unknown
otherwise.
</li></ul><ul><li><code>strongly_regular_graph(v,k,l,mu)</code> attempts to build and return the
requested graph, and returns a meaningful exception if it cannot.
</li></ul><p>
This branch also updates the package 'graphs', which now ships the database in json format.
</p>
<p>
<a class="ext-link" href="http://www.steinertriples.fr/ncohen/tmp/graphs-20150724.tar.bz2"><span class="icon"></span>http://www.steinertriples.fr/ncohen/tmp/graphs-20150724.tar.bz2</a>
</p>
<p>
Nathann
</p>
en-usSagehttps://trac.sagemath.org/chrome/site/logo_sagemath_trac.png
https://trac.sagemath.org/ticket/18948
Trac 1.1.6ncohenFri, 24 Jul 2015 16:43:40 GMTstatus, description changed
https://trac.sagemath.org/ticket/18948#comment:1
https://trac.sagemath.org/ticket/18948#comment:1
<ul>
<li><strong>status</strong>
changed from <em>new</em> to <em>needs_review</em>
</li>
<li><strong>description</strong>
modified (<a href="/ticket/18948?action=diff&version=1">diff</a>)
</li>
</ul>
TicketncohenFri, 24 Jul 2015 16:44:00 GMTcommit, branch set
https://trac.sagemath.org/ticket/18948#comment:2
https://trac.sagemath.org/ticket/18948#comment:2
<ul>
<li><strong>commit</strong>
set to <em>f599ffee2d99ba7a18f14667b596f921c3b7a995</em>
</li>
<li><strong>branch</strong>
set to <em>u/ncohen/18948</em>
</li>
</ul>
<p>
New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=f599ffee2d99ba7a18f14667b596f921c3b7a995"><span class="icon"></span>f599ffe</a></td><td><code>trac XXX: Strongly Regular Graphs database</code>
</td></tr></table>
TicketgitFri, 24 Jul 2015 16:45:15 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:3
https://trac.sagemath.org/ticket/18948#comment:3
<ul>
<li><strong>commit</strong>
changed from <em>f599ffee2d99ba7a18f14667b596f921c3b7a995</em> to <em>a0173e2789e7a8f79c88a77d753b48788f183e65</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=a0173e2789e7a8f79c88a77d753b48788f183e65"><span class="icon"></span>a0173e2</a></td><td><code>trac #18948: Strongly Regular Graphs database</code>
</td></tr></table>
TicketgitSun, 26 Jul 2015 10:57:08 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:4
https://trac.sagemath.org/ticket/18948#comment:4
<ul>
<li><strong>commit</strong>
changed from <em>a0173e2789e7a8f79c88a77d753b48788f183e65</em> to <em>4adcf950cd34c28460383468b17b59c695633f01</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=4adcf950cd34c28460383468b17b59c695633f01"><span class="icon"></span>4adcf95</a></td><td><code>trac #18948: Two missing graphs</code>
</td></tr></table>
TicketslabbeSun, 26 Jul 2015 11:28:49 GMT
https://trac.sagemath.org/ticket/18948#comment:5
https://trac.sagemath.org/ticket/18948#comment:5
<p>
I think you do not need to edit module_list.py file anymore when there is no dependencies. See <a class="closed ticket" href="https://trac.sagemath.org/ticket/15410" title="enhancement: Simplify cythonization of many sage extensions. (closed: fixed)">#15410</a>.
</p>
TicketncohenSun, 26 Jul 2015 13:15:40 GMT
https://trac.sagemath.org/ticket/18948#comment:6
https://trac.sagemath.org/ticket/18948#comment:6
<blockquote class="citation">
<p>
I think you do not need to edit module_list.py file anymore when there is no dependencies. See <a class="closed ticket" href="https://trac.sagemath.org/ticket/15410" title="enhancement: Simplify cythonization of many sage extensions. (closed: fixed)">#15410</a>.
</p>
</blockquote>
<p>
I removed it and all doctests break because of an import problem. As I do not mind much either way personally, I leave it like that.
</p>
<p>
Nathann
</p>
TicketdimpaseThu, 30 Jul 2015 13:20:33 GMT
https://trac.sagemath.org/ticket/18948#comment:7
https://trac.sagemath.org/ticket/18948#comment:7
<p>
this comment landed on the wrong ticket (<a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a>), sorry:
</p>
<pre class="wiki">Test if a Paley graph is `(v,k,\lambda,\mu)`-strongly regular.
</pre><p>
Huh? Do you mean
</p>
<pre class="wiki">Test whether a `(v,k,\lambda,\mu)`-strongly regular graph is Paley.
</pre><p>
All the similar docstrings have the same problem. Namely, one tests that a (v,k,l,m)-srg is <code>BlahBlah</code>, not the other way around...
</p>
TicketncohenThu, 30 Jul 2015 15:31:55 GMT
https://trac.sagemath.org/ticket/18948#comment:8
https://trac.sagemath.org/ticket/18948#comment:8
<blockquote class="citation">
<p>
this comment landed on the wrong ticket (<a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a>), sorry:
</p>
<pre class="wiki">Test if a Paley graph is `(v,k,\lambda,\mu)`-strongly regular.
</pre><p>
Huh? Do you mean
</p>
<pre class="wiki">Test whether a `(v,k,\lambda,\mu)`-strongly regular graph is Paley.
</pre></blockquote>
<p>
To me your phrasing also sounds incorrect, as it seems to test whether "every (v,k,l,mu)-strongly regular graph is a Paley graph".
</p>
<p>
What about replacing 'a' by 'some'?
</p>
<pre class="wiki">Test if some Paley graph is (v,k,l,mu)-strongly regular
</pre><p>
Nathann
</p>
TicketgitThu, 30 Jul 2015 16:45:16 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:9
https://trac.sagemath.org/ticket/18948#comment:9
<ul>
<li><strong>commit</strong>
changed from <em>4adcf950cd34c28460383468b17b59c695633f01</em> to <em>a9280c9ae07f2703e7d004d463a77d8e6482025f</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=8f254930985e06432a8261c697d2b5e0edf97f9d"><span class="icon"></span>8f25493</a></td><td><code>trac #18948: Merged with 6.9.beta0</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=a9280c9ae07f2703e7d004d463a77d8e6482025f"><span class="icon"></span>a9280c9</a></td><td><code>trac #18948: Rephrasing the doc</code>
</td></tr></table>
TicketdimpaseSat, 01 Aug 2015 08:34:36 GMT
https://trac.sagemath.org/ticket/18948#comment:10
https://trac.sagemath.org/ticket/18948#comment:10
<p>
Do you really want to keep mu as a required by functions parameter? I would rather get rid of it, for it is a simple computation to find mu given the 1st three parameters.
</p>
TicketncohenSat, 01 Aug 2015 08:36:13 GMT
https://trac.sagemath.org/ticket/18948#comment:11
https://trac.sagemath.org/ticket/18948#comment:11
<blockquote class="citation">
<p>
Do you really want to keep mu as a required by functions parameter? I would rather get rid of it, for it is a simple computation to find mu given the 1st three parameters.
</p>
</blockquote>
<p>
I prefer to keep it, for it belongs to the definition of strongly regular graphs. I don't see anything wrong it making it optional: we can replace 'None' by the computed value if necessary.
</p>
<p>
Nathann
</p>
TicketgitSat, 01 Aug 2015 17:04:37 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:12
https://trac.sagemath.org/ticket/18948#comment:12
<ul>
<li><strong>commit</strong>
changed from <em>a9280c9ae07f2703e7d004d463a77d8e6482025f</em> to <em>0ed84411d7d2eb896530a961255739939e3a7609</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=0ed84411d7d2eb896530a961255739939e3a7609"><span class="icon"></span>0ed8441</a></td><td><code>trac #18948: guess mu</code>
</td></tr></table>
TicketgitSat, 01 Aug 2015 17:05:25 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:13
https://trac.sagemath.org/ticket/18948#comment:13
<ul>
<li><strong>commit</strong>
changed from <em>0ed84411d7d2eb896530a961255739939e3a7609</em> to <em>cf8f2dad1cd90ff5aaa0cec15a25f87c64289719</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=cf8f2dad1cd90ff5aaa0cec15a25f87c64289719"><span class="icon"></span>cf8f2da</a></td><td><code>trac #18948: guess mu</code>
</td></tr></table>
TicketdimpaseSat, 01 Aug 2015 19:50:48 GMT
https://trac.sagemath.org/ticket/18948#comment:14
https://trac.sagemath.org/ticket/18948#comment:14
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:13" title="Comment 13">git</a>:
</p>
<blockquote class="citation">
<p>
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=cf8f2dad1cd90ff5aaa0cec15a25f87c64289719"><span class="icon"></span>cf8f2da</a></td><td><code>trac #18948: guess mu</code>
</td></tr></table>
</blockquote>
<p>
How about functions like <code>is_paley()</code>? They also do not need <code>mu</code>...
</p>
<p>
By the way, what is the point of doing <code>return (lambda q : PaleyGraph(q),v)</code> instead of
<code>return PaleyGraph(v)</code> ?
</p>
TicketncohenSat, 01 Aug 2015 22:33:23 GMT
https://trac.sagemath.org/ticket/18948#comment:15
https://trac.sagemath.org/ticket/18948#comment:15
<blockquote class="citation">
<p>
How about functions like <code>is_paley()</code>? They also do not need <code>mu</code>...
</p>
</blockquote>
<p>
If you think that this feature would be useful, I have nothing against your adding it in another ticket. I do not see the point, as those functions are not even meant to be called directly by users, who can do so with 'strongly_regular_graph' (which can automatically guess 'mu' if needed).
</p>
<blockquote class="citation">
<p>
By the way, what is the point of doing <code>return (lambda q : PaleyGraph(q),v)</code> instead of
<code>return PaleyGraph(v)</code> ?
</p>
</blockquote>
<p>
That's in order to be able to tell if the construction *can* be done without doing it (which can take quite some time). Very useful to know which entries Sage can build to compare it to the list of those that are known to exist. I used a design similar to the one used in <code>sage.combinat.designs.orthogonal_arrays_find_construction</code>, where many functions exist to *guess* the parameters of some constructions (exactly like it is done here). With these design, knowing if something can be built and getting the data to build it is done in the same operation. There are two advantages:
</p>
<p>
1) No need of a 'exists=True' optional keyword when you call the function
2) No 'if exists' everywhere in the code's function, to return 'True' instead of returning the graph
3) If you want to test the existence, THEN build the graph, you do not call the function twice with different parameters (which would not use the function's cache, and so you compute the decomposition twice).
</p>
<p>
Admittedly, the functions of the design code are computationally much more expensive than those.
</p>
<p>
Nathann
</p>
TicketdimpaseMon, 03 Aug 2015 07:56:37 GMT
https://trac.sagemath.org/ticket/18948#comment:16
https://trac.sagemath.org/ticket/18948#comment:16
<p>
it seems that
</p>
<pre class="wiki">cdef eigenvalues(int v,int k,int l,int mu)
</pre><p>
only returns correct results for the non-Paley (non-conference) case (i.e. the case where the eigenvalues are not integer).
</p>
<p>
This should be documented, at least.
</p>
TicketgitMon, 03 Aug 2015 08:04:45 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:17
https://trac.sagemath.org/ticket/18948#comment:17
<ul>
<li><strong>commit</strong>
changed from <em>cf8f2dad1cd90ff5aaa0cec15a25f87c64289719</em> to <em>aed4022eb9ea74be3cb3acab1ff9b1570b01c6e8</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=aed4022eb9ea74be3cb3acab1ff9b1570b01c6e8"><span class="icon"></span>aed4022</a></td><td><code>trac #18948: DOcstring</code>
</td></tr></table>
TicketgitMon, 03 Aug 2015 08:05:15 GMTcommit changed
https://trac.sagemath.org/ticket/18948#comment:18
https://trac.sagemath.org/ticket/18948#comment:18
<ul>
<li><strong>commit</strong>
changed from <em>aed4022eb9ea74be3cb3acab1ff9b1570b01c6e8</em> to <em>4f51703c4e63909516d4711714a5429cfd4f5050</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=4f51703c4e63909516d4711714a5429cfd4f5050"><span class="icon"></span>4f51703</a></td><td><code>trac #18948: DOcstring</code>
</td></tr></table>
TicketdimpaseMon, 03 Aug 2015 08:42:50 GMT
https://trac.sagemath.org/ticket/18948#comment:19
https://trac.sagemath.org/ticket/18948#comment:19
<p>
there are easy to implement necessary conditions on parameters which don't seem to be there, e.g. Krein conditions, absolute bound, etc; see 9.1.8 in <a class="ext-link" href="http://www.win.tue.nl/~aeb/2WF02/spectra.pdf"><span class="icon"></span>http://www.win.tue.nl/~aeb/2WF02/spectra.pdf</a>
</p>
<p>
I don't mind them to be added in a follow-up ticket, but it has to be done, I think.
</p>
TicketncohenMon, 03 Aug 2015 08:45:47 GMT
https://trac.sagemath.org/ticket/18948#comment:20
https://trac.sagemath.org/ticket/18948#comment:20
<blockquote class="citation">
<p>
I don't mind them to be added in a follow-up ticket, but it has to be done, I think.
</p>
</blockquote>
<p>
I know, I already have plans for that. I planned to do it after <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a>.
</p>
<p>
Nathann
</p>
TicketdimpaseMon, 03 Aug 2015 08:46:39 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:21
https://trac.sagemath.org/ticket/18948#comment:21
<ul>
<li><strong>status</strong>
changed from <em>needs_review</em> to <em>positive_review</em>
</li>
</ul>
TicketncohenMon, 03 Aug 2015 08:47:44 GMT
https://trac.sagemath.org/ticket/18948#comment:22
https://trac.sagemath.org/ticket/18948#comment:22
<p>
Thanks !
</p>
TicketgitMon, 03 Aug 2015 09:40:47 GMTstatus, commit changed
https://trac.sagemath.org/ticket/18948#comment:23
https://trac.sagemath.org/ticket/18948#comment:23
<ul>
<li><strong>status</strong>
changed from <em>positive_review</em> to <em>needs_review</em>
</li>
<li><strong>commit</strong>
changed from <em>4f51703c4e63909516d4711714a5429cfd4f5050</em> to <em>a75774fa9f6168b4f0e34c6cdd93496f7283b179</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=a75774fa9f6168b4f0e34c6cdd93496f7283b179"><span class="icon"></span>a75774f</a></td><td><code>trac #18948: take into account the BIBD from #18934</code>
</td></tr></table>
TicketncohenMon, 03 Aug 2015 09:40:58 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:24
https://trac.sagemath.org/ticket/18948#comment:24
<ul>
<li><strong>status</strong>
changed from <em>needs_review</em> to <em>positive_review</em>
</li>
</ul>
TicketncohenMon, 03 Aug 2015 11:00:09 GMT
https://trac.sagemath.org/ticket/18948#comment:25
https://trac.sagemath.org/ticket/18948#comment:25
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:20" title="Comment 20">ncohen</a>:
</p>
<blockquote class="citation">
<blockquote class="citation">
<p>
I don't mind them to be added in a follow-up ticket, but it has to be done, I think.
</p>
</blockquote>
<p>
I know, I already have plans for that. I planned to do it after <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a>.
</p>
</blockquote>
<p>
Done at <a class="closed ticket" href="https://trac.sagemath.org/ticket/18982" title="enhancement: New non-existence tests for strongly regular graphs (closed: fixed)">#18982</a>.
</p>
<p>
Nathann
</p>
TicketvbraunMon, 03 Aug 2015 20:38:51 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:26
https://trac.sagemath.org/ticket/18948#comment:26
<ul>
<li><strong>status</strong>
changed from <em>positive_review</em> to <em>needs_work</em>
</li>
</ul>
<p>
Reviewer name
</p>
TicketdimpaseMon, 03 Aug 2015 20:39:53 GMTreviewer set
https://trac.sagemath.org/ticket/18948#comment:27
https://trac.sagemath.org/ticket/18948#comment:27
<ul>
<li><strong>reviewer</strong>
set to <em>Dima Pasechnik</em>
</li>
</ul>
TicketncohenTue, 04 Aug 2015 06:59:19 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:28
https://trac.sagemath.org/ticket/18948#comment:28
<ul>
<li><strong>status</strong>
changed from <em>needs_work</em> to <em>positive_review</em>
</li>
</ul>
TicketdimpaseTue, 04 Aug 2015 15:42:39 GMT
https://trac.sagemath.org/ticket/18948#comment:29
https://trac.sagemath.org/ticket/18948#comment:29
<p>
these graphs, O(2d-1,q), are available, but not known to your DB:
</p>
<pre class="wiki">sage: o=graphs.OrthogonalPolarGraph(5,4)
sage: o.is_strongly_regular(parameters=True)
(85, 20, 3, 5)
sage: graphs.strongly_regular_graph(85, 20, 3, 5)
---------------------------------------------------------------------------
RuntimeError Traceback (most recent call last)
<ipython-input-29-152b95dceef4> in <module>()
----> 1 graphs.strongly_regular_graph(Integer(85), Integer(20), Integer(3), Integer(5))
/home/dima/software/sage/src/sage/graphs/strongly_regular_db.pyx in sage.graphs.strongly_regular_db.strongly_regular_graph (build/cythonized/sage/graphs/strongly_regular_db.c:12463)()
1061 if existence:
1062 return True
-> 1063 raise RuntimeError(("Andries Brouwer's database claims that such a "+
1064 "({},{},{},{})-strongly regular graph exists, but "+
1065 "Sage does not know how to build it. If *you* do, "+
RuntimeError: Andries Brouwer's database claims that such a (85,20,3,5)-strongly regular graph exists, but Sage does not know how to build it. If *you* do, please get in touch with us on sage-devel!
Comments: O(5,4) Sp(4,4); GQ(4,4)
sage:
</pre>
TicketncohenTue, 04 Aug 2015 20:35:00 GMT
https://trac.sagemath.org/ticket/18948#comment:30
https://trac.sagemath.org/ticket/18948#comment:30
<blockquote class="citation">
<p>
these graphs, O(2d-1,q), are available, but not known to your DB:
</p>
</blockquote>
<p>
Done at <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>
</p>
<pre class="wiki">sage: graphs.strongly_regular_graph(85, 20, 3, 5)
Orthogonal Polar Graph O(5, 4): Graph on 85 vertices
</pre><p>
Nathann
</p>
TicketgitWed, 05 Aug 2015 07:08:53 GMTstatus, commit changed
https://trac.sagemath.org/ticket/18948#comment:31
https://trac.sagemath.org/ticket/18948#comment:31
<ul>
<li><strong>status</strong>
changed from <em>positive_review</em> to <em>needs_review</em>
</li>
<li><strong>commit</strong>
changed from <em>a75774fa9f6168b4f0e34c6cdd93496f7283b179</em> to <em>d1d25a03964f92c590449bebd359b21e7feaf349</em>
</li>
</ul>
<p>
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
</p>
<table class="wiki">
<tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=a0cac6672fd589aaee7f10742dea975a167ecffe"><span class="icon"></span>a0cac66</a></td><td><code>trac #18934: new BIBD: (91,7,1), (66,6,1), (76,6,1), (96,6,1)</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=e46b0583561c5c69722a306f1cd68675715556ef"><span class="icon"></span>e46b058</a></td><td><code>trac #18934: New (v,6,1)-BIBD with v=201</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=a04a2fb5139cd4f1f601935f07d63e09a03fcf95"><span class="icon"></span>a04a2fb</a></td><td><code>trac #18934: Broken doctests</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=11e9f1f3b3b9a64326bfe71dc1bf96c91fe52de6"><span class="icon"></span>11e9f1f</a></td><td><code>trac #18934: Last one -> (126,6,1)-BIBD</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=796bcdef235cd4edc3e945f36a9514d284b44af1"><span class="icon"></span>796bcde</a></td><td><code>trac #18934: Merged with 6.8.rc1</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=6ed1abf670cc7212d0f287458bd3af9588adf21c"><span class="icon"></span>6ed1abf</a></td><td><code>trac #18934: Fixed credits</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=62ce12cc9dc565215e7b0e364b446ef331e8ddfa"><span class="icon"></span>62ce12c</a></td><td><code>trac #18934: Merged with beta0</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=f4f5566608602fe875b998b58dfcfb951701f643"><span class="icon"></span>f4f5566</a></td><td><code>trac #18948: Merge with updated #18934</code>
</td></tr><tr><td><a class="ext-link" href="http://git.sagemath.org/sage.git/commit/?id=d1d25a03964f92c590449bebd359b21e7feaf349"><span class="icon"></span>d1d25a0</a></td><td><code>trac #18948: Broken doctest</code>
</td></tr></table>
TicketncohenWed, 05 Aug 2015 07:09:13 GMTstatus changed; dependencies set
https://trac.sagemath.org/ticket/18948#comment:32
https://trac.sagemath.org/ticket/18948#comment:32
<ul>
<li><strong>status</strong>
changed from <em>needs_review</em> to <em>positive_review</em>
</li>
<li><strong>dependencies</strong>
set to <em>#18934</em>
</li>
</ul>
TicketvbraunWed, 05 Aug 2015 07:54:20 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:33
https://trac.sagemath.org/ticket/18948#comment:33
<ul>
<li><strong>status</strong>
changed from <em>positive_review</em> to <em>needs_work</em>
</li>
</ul>
<p>
With <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>, <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a>, and <a class="closed ticket" href="https://trac.sagemath.org/ticket/18948" title="enhancement: Strongly Regular Graphs database (closed: fixed)">#18948</a>:
</p>
<pre class="wiki">sage -t --long src/sage/graphs/strongly_regular_db.pyx
**********************************************************************
File "src/sage/graphs/strongly_regular_db.pyx", line 1209, in sage.graphs.strongly_regular_db._check_database
Failed example:
_check_database() # long time
Expected:
Sage cannot build a (45 22 10 11 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Mathon78">Mathon</a>; 2-graph*
...
In Andries Brouwer's database:
- 448 impossible entries
- 2950 undecided entries
- 1140 realizable entries (Sage misses 298 of them)
Got:
Sage cannot build a (45 22 10 11 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Mathon78">Mathon</a>; 2-graph*
Sage cannot build a (96 19 2 4 ) that exists. Comment from Brouwer's database: Haemers(4); <a href="srgtabrefs.html#Muzychuk07">Muzychuk S6</a> (n=4,d=2); <a href="srgtabrefs.html#Brouwer_et_al03">Brouwer-Koolen-Klin</a>; <a href="srgtabrefs.html#Golemac_et_al06">Golemac et al.</a>
Sage cannot build a (96 20 4 4 ) that exists. Comment from Brouwer's database: GQ(5,3); <a href="srgtabrefs.html#Brouwer_et_al03">Brouwer-Koolen-Klin</a>; <a href="srgtabrefs.html#Golemac_et_al06">Golemac et al.</a>
Sage cannot build a (96 75 58 60 ) that exists. Comment from Brouwer's database:
Sage cannot build a (96 76 60 60 ) that exists. Comment from Brouwer's database:
Sage cannot build a (100 44 18 20 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#JorgensenKlin03">Jrgensen-Klin</a>; RSHCD<sup></sup>; 2-graph
Sage cannot build a (100 45 20 20 ) that exists. Comment from Brouwer's database: OA(10,5)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (100 54 28 30 ) that exists. Comment from Brouwer's database: OA(10,6)?; 2-graph
Sage cannot build a (100 55 30 30 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (105 32 4 12 ) that exists. Comment from Brouwer's database: Aut L(3,4) on flags (rk 4) - <a href="srgtabrefs.html#GoethalsSeidel70">Goethals & Seidel</a>, unique by <a href="srgtabrefs.html#Coolsaet05">Coolsaet</a>
Sage cannot build a (105 72 51 45 ) that exists. Comment from Brouwer's database:
Sage cannot build a (120 42 8 18 ) that exists. Comment from Brouwer's database: L(3,4) on Baer subplanes (rk 5), unique by <a href="srgtabrefs.html#DegraerCoolsaet08">Degraer & Coolsaet</a>
Sage cannot build a (120 51 18 24 ) that exists. Comment from Brouwer's database: NO<sup></sup>(5,4); 2-graph
Sage cannot build a (120 56 28 24 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (120 63 30 36 ) that exists. Comment from Brouwer's database: dist. 2 in J(10,3) - Mathon; NO<sup>+</sup>(8,2); Goethals-Seidel(3,7); pg(7,8,4) - <a href="srgtabrefs.html#Cohen81">Cohen</a>; see also <a href="srgtabrefs.html#DeClerckDelanote00">De Clerck & Delanote</a>; 2-graph
Sage cannot build a (120 68 40 36 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (120 77 52 44 ) that exists. Comment from Brouwer's database: Witt: intersection-3 graph of a 2-(21,7,12) design with block intersections 1, 3
Sage cannot build a (122 55 24 25 ) that exists. Comment from Brouwer's database: switch OA(11,6)+*; switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (122 66 35 36 ) that exists. Comment from Brouwer's database: S(2,6,61)?; 2-graph
Sage cannot build a (125 28 3 7 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=5,r=3); GQ(4,6)
Sage cannot build a (125 52 15 26 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=5,r=2); pg(4,12,2)?; 2-graph*
Sage cannot build a (125 72 45 36 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (125 96 74 72 ) that exists. Comment from Brouwer's database:
Sage cannot build a (126 25 8 4 ) that exists. Comment from Brouwer's database: dist. 1 or 4 in J(9,4) - Mathon, Buekenhout & Hubaut
Sage cannot build a (126 45 12 18 ) that exists. Comment from Brouwer's database: NO<sup></sup>(6,3); pg(5,8,2)?
Sage cannot build a (126 50 13 24 ) that exists. Comment from Brouwer's database: Goethals - unique by <a href="srgtabrefs.html#CoolsaetDegraer08">Coolsaet & Degraer</a>; 2-graph
Sage cannot build a (126 60 33 24 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (126 65 28 39 ) that exists. Comment from Brouwer's database: pg(5,12,3)?; Taylor 2-graph for U<sub>3</sub>(5)
Sage cannot build a (126 75 48 39 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (126 80 52 48 ) that exists. Comment from Brouwer's database:
Sage cannot build a (126 100 78 84 ) that exists. Comment from Brouwer's database:
Sage cannot build a (136 60 24 28 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (136 63 30 28 ) that exists. Comment from Brouwer's database: NO<sup></sup>(8,2); 2-graph
Sage cannot build a (136 72 36 40 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (136 75 42 40 ) that exists. Comment from Brouwer's database: NO<sup>+</sup>(5,4); 2-graph
Sage cannot build a (144 39 6 12 ) that exists. Comment from Brouwer's database: L<sub>3</sub>(3) (rk 8)
Sage cannot build a (144 65 28 30 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (144 78 42 42 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (144 104 76 72 ) that exists. Comment from Brouwer's database:
Sage cannot build a (165 36 3 9 ) that exists. Comment from Brouwer's database: U(5,2) polar graph; GQ(4,8)
Sage cannot build a (165 128 100 96 ) that exists. Comment from Brouwer's database:
Sage cannot build a (170 78 35 36 ) that exists. Comment from Brouwer's database: switch OA(13,7)+*; 2-graph
Sage cannot build a (170 91 48 49 ) that exists. Comment from Brouwer's database: S(2,7,85)?; 2-graph
Sage cannot build a (175 30 5 5 ) that exists. Comment from Brouwer's database: GQ(6,4)
Sage cannot build a (175 72 20 36 ) that exists. Comment from Brouwer's database: edges of Hoffman-Singleton graph - Haemers; pg(4,17,2) - <a href="srgtabrefs.html#Haemers81">Haemers</a>; 2-graph*
Sage cannot build a (175 102 65 51 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (175 144 118 120 ) that exists. Comment from Brouwer's database:
Sage cannot build a (176 40 12 8 ) that exists. Comment from Brouwer's database: pg(10,3,2) does not exist (Absolute bound for line graph)
Sage cannot build a (176 49 12 14 ) that exists. Comment from Brouwer's database: Higman symmetric 2-design; pg(7,6,2)?
Sage cannot build a (176 70 18 34 ) that exists. Comment from Brouwer's database: S(4,7,23)S(3,6,22) - M<sub>22</sub>/Alt(7); unique by Coolsaet & Degraer; 2-graph
Sage cannot build a (176 85 48 34 ) that exists. Comment from Brouwer's database: Haemers; 2-graph
Sage cannot build a (176 90 38 54 ) that exists. Comment from Brouwer's database: pg(5,17,3)?; 2-graph
Sage cannot build a (176 105 68 54 ) that exists. Comment from Brouwer's database: Witt 3-(22,7,4): intersection-3 graph of a quasisymmetric 2-(22,7,16) design with intersection numbers 1, 3; 2-graph
Sage cannot build a (176 126 90 90 ) that exists. Comment from Brouwer's database:
Sage cannot build a (176 135 102 108 ) that exists. Comment from Brouwer's database: NU(5,2)
Sage cannot build a (196 90 40 42 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (196 91 42 42 ) that exists. Comment from Brouwer's database: OA(14,7)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (196 104 54 56 ) that exists. Comment from Brouwer's database: OA(14,8)?; 2-graph
Sage cannot build a (196 105 56 56 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (209 100 45 50 ) that exists. Comment from Brouwer's database: pg(10,9,5)?; 2-graph*
Sage cannot build a (209 108 57 54 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (210 99 48 45 ) that exists. Comment from Brouwer's database: Sym(7) - Klin; 2-graph
Sage cannot build a (210 110 55 60 ) that exists. Comment from Brouwer's database: pg(11,9,6)?; 2-graph
Sage cannot build a (220 84 38 28 ) that exists. Comment from Brouwer's database: Tonchev: intersection-3 graph of a 2-(45,9,8) design with block intersections 1, 3
Sage cannot build a (220 135 78 90 ) that exists. Comment from Brouwer's database: pg(9,14,6)?
Sage cannot build a (225 98 43 42 ) that exists. Comment from Brouwer's database: OA(15,7)?; Pasechnik(15)
Sage cannot build a (225 112 55 56 ) that exists. Comment from Brouwer's database: skewhad$^2$; OA(15,8)?; 2-graph*
Sage cannot build a (225 126 69 72 ) that exists. Comment from Brouwer's database: OA(15,9)?
Sage cannot build a (226 105 48 49 ) that exists. Comment from Brouwer's database: switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (226 120 63 64 ) that exists. Comment from Brouwer's database: S(2,8,113)?; 2-graph
Sage cannot build a (243 22 1 2 ) that exists. Comment from Brouwer's database: 3<sup>5</sup>.2.M<sub>11</sub> (rk 3) - Berlekamp-vanLint-Seidel; Golay code: projective ternary [11,5] code with weights 6, 9
Sage cannot build a (243 110 37 60 ) that exists. Comment from Brouwer's database: 3<sup>5</sup>.2.M<sub>11</sub> (rk 3) - Delsarte; projective ternary [55,5] code with weights 36, 45
Sage cannot build a (243 132 81 60 ) that exists. Comment from Brouwer's database:
Sage cannot build a (243 220 199 200 ) that exists. Comment from Brouwer's database:
Sage cannot build a (253 112 36 60 ) that exists. Comment from Brouwer's database: S(4,7,23) - M<sub>23</sub>
Sage cannot build a (253 140 87 65 ) that exists. Comment from Brouwer's database: Witt 4-(23,7,1): intersection-3 graph of a 2-(23,7,21) design with block intersections 1, 3
Sage cannot build a (256 68 12 20 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Brouwer85">Brouwer</a>(q=2,d=4,e=2,-); projective binary [68,8] code with weights 32, 40
Sage cannot build a (256 85 24 30 ) that exists. Comment from Brouwer's database: vanLint-Schrijver(1); CK - CY1: projective binary [85,8] code with weights 40, 48
Sage cannot build a (256 102 38 42 ) that exists. Comment from Brouwer's database: 2<sup>8</sup>.L<sub>2</sub>(17) (rk 3) - Liebeck; vanLint-Schrijver(2); CK - CY1: projective 4-ary [34,4] code with weights 24, 28
Sage cannot build a (256 153 92 90 ) that exists. Comment from Brouwer's database: vanLint-Schrijver(3)
Sage cannot build a (256 170 114 110 ) that exists. Comment from Brouwer's database: vanLint-Schrijver(2)
Sage cannot build a (256 187 138 132 ) that exists. Comment from Brouwer's database:
Sage cannot build a (276 135 78 54 ) that exists. Comment from Brouwer's database: Conway-Goethals&Seidel; 2-graph
Sage cannot build a (276 140 58 84 ) that exists. Comment from Brouwer's database: pg(5,27,3)?; 2-graph
Sage cannot build a (279 128 52 64 ) that exists. Comment from Brouwer's database: pg(8,15,4)?; 2-graph*
Sage cannot build a (279 150 85 75 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (280 36 8 4 ) that exists. Comment from Brouwer's database: J<sub>2</sub> / 3PGL<sub>2</sub>(9) (rk 4); U(4,3) polar graph; GQ(9,3)
Sage cannot build a (280 117 44 52 ) that exists. Comment from Brouwer's database: pg(9,12,4)?
Sage cannot build a (280 162 96 90 ) that exists. Comment from Brouwer's database: Sym(9) (rk 5) - Mathon & Rosa
Sage cannot build a (280 243 210 216 ) that exists. Comment from Brouwer's database:
Sage cannot build a (290 136 63 64 ) that exists. Comment from Brouwer's database: switch OA(17,9)+*; 2-graph
Sage cannot build a (290 153 80 81 ) that exists. Comment from Brouwer's database: S(2,9,145)?; 2-graph
Sage cannot build a (297 40 7 5 ) that exists. Comment from Brouwer's database: dual polar graph of lines in U<sub>5</sub>(2); GQ(8,4)
Sage cannot build a (297 256 220 224 ) that exists. Comment from Brouwer's database:
Sage cannot build a (300 65 10 15 ) that exists. Comment from Brouwer's database: NO<sup>,orth</sup>(5,5)
Sage cannot build a (300 104 28 40 ) that exists. Comment from Brouwer's database: NO<sup></sup>(5,5)
Sage cannot build a (300 195 130 120 ) that exists. Comment from Brouwer's database:
Sage cannot build a (300 234 183 180 ) that exists. Comment from Brouwer's database:
Sage cannot build a (323 160 78 80 ) that exists. Comment from Brouwer's database: pg(16,9,8)?; 2-graph*
Sage cannot build a (323 162 81 81 ) that exists. Comment from Brouwer's database: S(2,9,153)?; 2-graph*
Sage cannot build a (324 152 70 72 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (324 153 72 72 ) that exists. Comment from Brouwer's database: OA(18,9)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (324 170 88 90 ) that exists. Comment from Brouwer's database: OA(18,10)?; 2-graph
Sage cannot build a (324 171 90 90 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (325 60 15 10 ) that exists. Comment from Brouwer's database: NO<sup>+,orth</sup>(5,5); pg(12,4,2)?
Sage cannot build a (325 144 68 60 ) that exists. Comment from Brouwer's database: NO<sup>+</sup>(5,5)
Sage cannot build a (325 180 95 105 ) that exists. Comment from Brouwer's database: pg(12,14,7)?
Sage cannot build a (325 264 213 220 ) that exists. Comment from Brouwer's database:
Sage cannot build a (343 54 5 9 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=7,r=4); GQ(6,8)
Sage cannot build a (343 150 53 75 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=7,r=2); pg(6,24,3)?; 2-graph*
Sage cannot build a (343 192 116 96 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (343 288 242 240 ) that exists. Comment from Brouwer's database:
Sage cannot build a (344 168 92 72 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (344 175 78 100 ) that exists. Comment from Brouwer's database: pg(7,24,4)?; Taylor 2-graph for U<sub>3</sub>(7)
Sage cannot build a (351 126 45 45 ) that exists. Comment from Brouwer's database:
Sage cannot build a (351 224 142 144 ) that exists. Comment from Brouwer's database: NO<sup></sup>(7,3)
Sage cannot build a (362 171 80 81 ) that exists. Comment from Brouwer's database: switch OA(19,10)+*; switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (362 190 99 100 ) that exists. Comment from Brouwer's database: S(2,10,181)?; 2-graph
Sage cannot build a (378 52 1 8 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#CossidentePenttila05">Cossidente-Penttila hemisystem</a> in PG(3,5<sup>2</sup>)
Sage cannot build a (378 116 34 36 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Muzychuk07">Muzychuk S6</a> (n=3,d=3)
Sage cannot build a (378 117 36 36 ) that exists. Comment from Brouwer's database: pg(13,8,4)?
Sage cannot build a (378 260 178 180 ) that exists. Comment from Brouwer's database: NO<sup>+</sup>(7,3)
Sage cannot build a (378 261 180 180 ) that exists. Comment from Brouwer's database:
Sage cannot build a (378 325 280 275 ) that exists. Comment from Brouwer's database:
Sage cannot build a (399 198 97 99 ) that exists. Comment from Brouwer's database: pg(18,10,9)?; 2-graph*
Sage cannot build a (399 200 100 100 ) that exists. Comment from Brouwer's database: S(2,10,190)?; 2-graph*
Sage cannot build a (400 189 88 90 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (400 190 90 90 ) that exists. Comment from Brouwer's database: OA(20,10)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (400 209 108 110 ) that exists. Comment from Brouwer's database: OA(20,11)?; Goethals-Seidel(2,19); 2-graph
Sage cannot build a (400 210 110 110 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (416 100 36 20 ) that exists. Comment from Brouwer's database: G<sub>2</sub>(4).2 / J<sub>2</sub>.2; subconstituent of Suz graph
Sage cannot build a (416 315 234 252 ) that exists. Comment from Brouwer's database: pg(15,20,12)?
Sage cannot build a (441 56 7 7 ) that exists. Comment from Brouwer's database: GQ(8,6)
Sage cannot build a (441 220 109 110 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Mathon78">Mathon</a>; OA(21,11)?; 2-graph*
Sage cannot build a (441 384 334 336 ) that exists. Comment from Brouwer's database:
Sage cannot build a (496 240 120 112 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (496 255 126 136 ) that exists. Comment from Brouwer's database: NO<sup>+</sup>(10,2); Goethals-Seidel(3,15); pg(15,16,8)?; 2-graph
Sage cannot build a (512 70 6 10 ) that exists. Comment from Brouwer's database: GQ(7,9); from a hyperoval: projective 8-ary [10,3] code with weights 8, 10
Sage cannot build a (512 73 12 10 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#FiedlerKlin98">Fiedler-Klin</a>; <a href="srgtabrefs.html#Kohnert07">Kohnert</a>: projective binary [73,9] code with weights 32, 40
Sage cannot build a (512 133 24 38 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=8,r=3); pg(7,18,2)?
Sage cannot build a (512 196 60 84 ) that exists. Comment from Brouwer's database: pg(7,27,3); projective 8-ary [28,3] code with weights 24, 28
Sage cannot build a (512 219 106 84 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#FiedlerKlin98">Fiedler-Klin</a>; projective binary [219,9] code with weights 96, 112
Sage cannot build a (512 292 156 180 ) that exists. Comment from Brouwer's database:
Sage cannot build a (512 315 202 180 ) that exists. Comment from Brouwer's database:
Sage cannot build a (512 378 282 270 ) that exists. Comment from Brouwer's database:
Sage cannot build a (512 438 374 378 ) that exists. Comment from Brouwer's database:
Sage cannot build a (512 441 380 378 ) that exists. Comment from Brouwer's database:
Sage cannot build a (528 255 126 120 ) that exists. Comment from Brouwer's database: NO<sup></sup>(10,2); <a href="srgtabrefs.html#Muzychuk07">Muzychuk S2</a> (r=4); 2-graph
Sage cannot build a (528 272 136 144 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (530 253 120 121 ) that exists. Comment from Brouwer's database: switch OA(23,12)+*; switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (530 276 143 144 ) that exists. Comment from Brouwer's database: S(2,12,265)?; 2-graph
Sage cannot build a (539 250 105 125 ) that exists. Comment from Brouwer's database: pg(10,24,5)?; 2-graph*
Sage cannot build a (539 288 162 144 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (540 224 88 96 ) that exists. Comment from Brouwer's database: NU(4,3); pg(14,15,6)?
Sage cannot build a (540 264 138 120 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (540 275 130 150 ) that exists. Comment from Brouwer's database: Goethals-Seidel(5,11); pg(11,24,6)?; 2-graph
Sage cannot build a (540 315 186 180 ) that exists. Comment from Brouwer's database:
Sage cannot build a (560 208 72 80 ) that exists. Comment from Brouwer's database: Sz(8) (rk 17); pg(13,15,5)?
Sage cannot build a (560 351 222 216 ) that exists. Comment from Brouwer's database:
Sage cannot build a (575 286 141 143 ) that exists. Comment from Brouwer's database: pg(22,12,11)?; 2-graph*
Sage cannot build a (575 288 144 144 ) that exists. Comment from Brouwer's database: S(2,12,276)?; 2-graph*
Sage cannot build a (576 275 130 132 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (576 276 132 132 ) that exists. Comment from Brouwer's database: OA(24,12)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (576 299 154 156 ) that exists. Comment from Brouwer's database: OA(24,13)?; Goethals-Seidel(2,23); 2-graph
Sage cannot build a (576 300 156 156 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (625 156 29 42 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Bouyukliev_et_al06">Bouyukliev-Fack-Willems-Winne</a>: projective 5-ary [39,4] code with weights 30, 35
Sage cannot build a (625 208 63 72 ) that exists. Comment from Brouwer's database: vanLint-Schrijver(1); CK - CY1: projective 5-ary [52,4] code with weights 40, 45
Sage cannot build a (625 416 279 272 ) that exists. Comment from Brouwer's database: vanLint-Schrijver(2)
Sage cannot build a (625 468 353 342 ) that exists. Comment from Brouwer's database:
Sage cannot build a (626 300 143 144 ) that exists. Comment from Brouwer's database: switch OA(25,13)+*; 2-graph
Sage cannot build a (626 325 168 169 ) that exists. Comment from Brouwer's database: S(2,13,313)?; 2-graph
Sage cannot build a (630 85 20 10 ) that exists. Comment from Brouwer's database: pg(17,4,2) - <a href="srgtabrefs.html#Haemers81">Haemers</a>
Sage cannot build a (630 544 468 480 ) that exists. Comment from Brouwer's database:
Sage cannot build a (640 71 6 8 ) that exists. Comment from Brouwer's database: Haemers(8); <a href="srgtabrefs.html#Muzychuk07">Muzychuk S6</a> (n=8,d=2)
Sage cannot build a (640 72 8 8 ) that exists. Comment from Brouwer's database: GQ(9,7)
Sage cannot build a (640 567 502 504 ) that exists. Comment from Brouwer's database:
Sage cannot build a (640 568 504 504 ) that exists. Comment from Brouwer's database:
Sage cannot build a (672 176 40 48 ) that exists. Comment from Brouwer's database: pg(11,15,3)?
Sage cannot build a (672 495 366 360 ) that exists. Comment from Brouwer's database: NU(6,2)
Sage cannot build a (675 336 166 168 ) that exists. Comment from Brouwer's database: pg(24,13,12)?; 2-graph*
Sage cannot build a (675 338 169 169 ) that exists. Comment from Brouwer's database: S(2,13,325)?; 2-graph*
Sage cannot build a (676 325 156 156 ) that exists. Comment from Brouwer's database: OA(26,13)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (676 350 180 182 ) that exists. Comment from Brouwer's database: OA(26,14)?; 2-graph
Sage cannot build a (693 180 51 45 ) that exists. Comment from Brouwer's database: U<sub>6</sub>(2) / 2<sup>9</sup>.U<sub>4</sub>(2); subconstituent of Fi<sub>22</sub> graph; U(6,2) polar graph; pg(20,8,5)?
Sage cannot build a (693 512 376 384 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 88 7 11 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=9,r=5); GQ(8,10)
Sage cannot build a (729 112 1 20 ) that exists. Comment from Brouwer's database: 3<sup>6</sup>.2.L3(4) (rk 3) - <a href="srgtabrefs.html#Hill73">Hill</a> cap: projective ternary [56,6] code with weights 36, 45; <a href="srgtabrefs.html#BondarenkoRadchenko12">Bondarenko-Radchenko</a>
Sage cannot build a (729 168 27 42 ) that exists. Comment from Brouwer's database: pg(8,20,2) - <a href="srgtabrefs.html#DeClerck_et_al02">Mathon</a>; <a href="srgtabrefs.html#Gulliver96">Gulliver</a>: projective ternary [84,6] code with weights 54, 63
Sage cannot build a (729 252 81 90 ) that exists. Comment from Brouwer's database: VNO<sup></sup>(6,3) affine polar graph; projective ternary [126,6] code with weights 81, 90
Sage cannot build a (729 280 103 110 ) that exists. Comment from Brouwer's database: 35-set of type (2,5) in PG(2,9) - <a href="srgtabrefs.html#deResmini87">De Resmini</a>: projective 9-ary [35,3] code with weights 30, 33
Sage cannot build a (729 308 127 132 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Gulliver96a">Gulliver</a>: projective ternary [154,6] code with weights 99, 108
Sage cannot build a (729 328 127 164 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Godsil92">Godsil</a>(q=9,r=2); pg(8,40,4)?; 2-graph*
Sage cannot build a (729 336 153 156 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#PenttilaRoyle95">Penttila & Royle</a>: projective 9-ary [42,3] code with weights 36, 39
Sage cannot build a (729 392 211 210 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 400 235 200 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (729 420 243 240 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 448 277 272 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 476 313 306 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 560 433 420 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 616 523 506 ) that exists. Comment from Brouwer's database:
Sage cannot build a (729 640 562 560 ) that exists. Comment from Brouwer's database:
Sage cannot build a (730 351 168 169 ) that exists. Comment from Brouwer's database: switch OA(27,14)+*; switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (730 360 195 160 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (730 369 168 205 ) that exists. Comment from Brouwer's database: pg(9,40,5)?; Taylor 2-graph for U<sub>3</sub>(9)
Sage cannot build a (730 378 195 196 ) that exists. Comment from Brouwer's database: S(2,14,365)?; 2-graph
Sage cannot build a (765 192 48 48 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#IoninKharaghani03">Ionin-Kharaghani</a>; pg(16,11,4)?
Sage cannot build a (765 572 427 429 ) that exists. Comment from Brouwer's database:
Sage cannot build a (779 378 177 189 ) that exists. Comment from Brouwer's database: pg(18,20,9)?; 2-graph*
Sage cannot build a (779 400 210 200 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (780 380 190 180 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (780 399 198 210 ) that exists. Comment from Brouwer's database: Goethals-Seidel(3,19); pg(19,20,10)?; 2-graph
Sage cannot build a (783 390 193 195 ) that exists. Comment from Brouwer's database: pg(26,14,13)?; 2-graph*
Sage cannot build a (783 392 196 196 ) that exists. Comment from Brouwer's database: S(2,14,378)?; 2-graph*
Sage cannot build a (784 243 82 72 ) that exists. Comment from Brouwer's database: Mathon; OA(28,9)?
Sage cannot build a (784 270 98 90 ) that exists. Comment from Brouwer's database: Mathon; OA(28,10)?
Sage cannot build a (784 297 116 110 ) that exists. Comment from Brouwer's database: Mathon; OA(28,11)?
Sage cannot build a (784 377 180 182 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (784 378 182 182 ) that exists. Comment from Brouwer's database: OA(28,14)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (784 405 208 210 ) that exists. Comment from Brouwer's database: OA(28,15)?; Goethals-Seidel(2,27); 2-graph
Sage cannot build a (784 406 210 210 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (784 486 298 306 ) that exists. Comment from Brouwer's database: OA(28,18)?
Sage cannot build a (784 513 332 342 ) that exists. Comment from Brouwer's database: OA(28,19)?
Sage cannot build a (784 540 368 380 ) that exists. Comment from Brouwer's database: OA(28,20)?
Sage cannot build a (842 406 195 196 ) that exists. Comment from Brouwer's database: switch OA(29,15)+*; 2-graph
Sage cannot build a (842 435 224 225 ) that exists. Comment from Brouwer's database: S(2,15,421)?; 2-graph
Sage cannot build a (891 90 9 9 ) that exists. Comment from Brouwer's database: GQ(10,8)
Sage cannot build a (891 800 718 720 ) that exists. Comment from Brouwer's database:
Sage cannot build a (899 448 222 224 ) that exists. Comment from Brouwer's database: pg(28,15,14)?; 2-graph*
Sage cannot build a (899 450 225 225 ) that exists. Comment from Brouwer's database: S(2,15,435)?; 2-graph*
Sage cannot build a (900 435 210 210 ) that exists. Comment from Brouwer's database: OA(30,15)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (900 464 238 240 ) that exists. Comment from Brouwer's database: OA(30,16)?; 2-graph
Sage cannot build a (936 375 150 150 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#JankoKharaghani02">Janko-Kharaghani</a>; pg(25,14,10)?
Sage cannot build a (936 560 334 336 ) that exists. Comment from Brouwer's database:
Sage cannot build a (957 256 80 64 ) that exists. Comment from Brouwer's database: S(2,8,232)
Sage cannot build a (957 700 507 525 ) that exists. Comment from Brouwer's database: pg(28,24,21)
Sage cannot build a (962 465 224 225 ) that exists. Comment from Brouwer's database: switch OA(31,16)+*; switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (962 496 255 256 ) that exists. Comment from Brouwer's database: S(2,16,481)?; 2-graph
Sage cannot build a (975 462 205 231 ) that exists. Comment from Brouwer's database: pg(14,32,7)?; 2-graph*
Sage cannot build a (975 512 280 256 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (976 480 248 224 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (976 495 238 264 ) that exists. Comment from Brouwer's database: Goethals-Seidel(5,15); pg(15,32,8)?; 2-graph
Sage cannot build a (1024 231 38 56 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Polhill09">Polhill</a>; possibly projective 4-ary [77,5] code with weights 56, 64
Sage cannot build a (1024 264 56 72 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Polhill09">Polhill</a>; pg(11,23,3)?; possibly projective 4-ary [88,5] code with weights 64, 72
Sage cannot build a (1024 297 76 90 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Polhill09">Polhill</a>; possibly projective 4-ary [99,5] code with weights 72, 80
Sage cannot build a (1024 330 98 110 ) that exists. Comment from Brouwer's database: <a href="srgtabrefs.html#Polhill08">Polhill</a>; pg(15,21,5)?; possibly projective 4-ary [110,5] code with weights 80, 88
Sage cannot build a (1024 693 472 462 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1024 726 518 506 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1024 759 566 552 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1024 792 616 600 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1080 351 126 108 ) that exists. Comment from Brouwer's database: NO<sup>+</sup>(4,3)
Sage cannot build a (1080 728 484 504 ) that exists. Comment from Brouwer's database: pg(26,27,18) - Mathon
Sage cannot build a (1105 80 15 5 ) that exists. Comment from Brouwer's database: U(4,4) polar graph; GQ(16,4)
Sage cannot build a (1105 1024 948 960 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1107 378 117 135 ) that exists. Comment from Brouwer's database: NO<sup></sup>(8,3)
Sage cannot build a (1107 728 484 468 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1176 300 54 84 ) that exists. Comment from Brouwer's database: NO<sup></sup>(5,7)
Sage cannot build a (1176 875 658 630 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1215 574 253 287 ) that exists. Comment from Brouwer's database: pg(14,40,7)?; 2-graph*
Sage cannot build a (1215 640 352 320 ) that exists. Comment from Brouwer's database: 2-graph*
Sage cannot build a (1216 600 312 280 ) that exists. Comment from Brouwer's database: 2-graph
Sage cannot build a (1216 615 294 328 ) that exists. Comment from Brouwer's database: Goethals-Seidel(6,15); pg(15,40,8)?; 2-graph
Sage cannot build a (1225 384 138 112 ) that exists. Comment from Brouwer's database: NO<sup>+</sup>(5,7)
Sage cannot build a (1225 578 273 272 ) that exists. Comment from Brouwer's database: OA(35,17)?; Pasechnik(35)
Sage cannot build a (1225 612 305 306 ) that exists. Comment from Brouwer's database: skewhad$^2$; OA(35,18)?; 2-graph*
Sage cannot build a (1225 646 339 342 ) that exists. Comment from Brouwer's database: OA(35,19)?
Sage cannot build a (1225 840 567 595 ) that exists. Comment from Brouwer's database: pg(24,34,17)?
Sage cannot build a (1226 595 288 289 ) that exists. Comment from Brouwer's database: switch skewhad<sup>2</sup>+*; 2-graph
Sage cannot build a (1226 630 323 324 ) that exists. Comment from Brouwer's database: S(2,18,613)?; 2-graph
Sage cannot build a (1288 495 206 180 ) that exists. Comment from Brouwer's database:
Sage cannot build a (1288 792 476 504 ) that exists. Comment from Brouwer's database: M<sub>24</sub> / 2.M<sub>12</sub>; pairs of dodecads; pg(22,35,14)?
Sage cannot build a (1295 646 321 323 ) that exists. Comment from Brouwer's database: pg(34,18,17)?; 2-graph*
Sage cannot build a (1295 648 324 324 ) that exists. Comment from Brouwer's database: S(2,18,630)?; 2-graph*
Sage cannot build a (1296 629 304 306 ) that exists. Comment from Brouwer's database: RSHCD<sup></sup>; 2-graph
Sage cannot build a (1296 630 306 306 ) that exists. Comment from Brouwer's database: OA(36,18)?; RSHCD<sup>+</sup>; 2-graph
Sage cannot build a (1296 665 340 342 ) that exists. Comment from Brouwer's database: OA(36,19)?; Goethals-Seidel(2,35); 2-graph
Sage cannot build a (1296 666 342 342 ) that exists. Comment from Brouwer's database: 2-graph
<BLANKLINE>
In Andries Brouwer's database:
- 448 impossible entries
- 2950 undecided entries
- 1140 realizable entries (Sage misses 276 of them)
**********************************************************************
1 item had failures:
1 of 3 in sage.graphs.strongly_regular_db._check_database
[94 tests, 1 failure, 43.92 s]
sage -t --long src/sage/groups/perm_gps/permutation_groups_catalog.py
</pre>
TicketncohenWed, 05 Aug 2015 07:57:40 GMT
https://trac.sagemath.org/ticket/18948#comment:34
https://trac.sagemath.org/ticket/18948#comment:34
<p>
Why exactly are you seting this ticket to <code>needs_work</code> ? All tests pass on my machine.
</p>
TicketncohenWed, 05 Aug 2015 08:00:46 GMT
https://trac.sagemath.org/ticket/18948#comment:35
https://trac.sagemath.org/ticket/18948#comment:35
<blockquote class="citation">
<p>
With <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>, <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a>, and <a class="closed ticket" href="https://trac.sagemath.org/ticket/18948" title="enhancement: Strongly Regular Graphs database (closed: fixed)">#18948</a>:
</p>
</blockquote>
<p>
Both <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> and <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a> depend on <a class="closed ticket" href="https://trac.sagemath.org/ticket/18948" title="enhancement: Strongly Regular Graphs database (closed: fixed)">#18948</a>.
</p>
<p>
Nathann
</p>
TicketncohenWed, 05 Aug 2015 08:00:52 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:36
https://trac.sagemath.org/ticket/18948#comment:36
<ul>
<li><strong>status</strong>
changed from <em>needs_work</em> to <em>positive_review</em>
</li>
</ul>
TicketvbraunWed, 05 Aug 2015 08:02:35 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:37
https://trac.sagemath.org/ticket/18948#comment:37
<ul>
<li><strong>status</strong>
changed from <em>positive_review</em> to <em>needs_work</em>
</li>
</ul>
<p>
Yes so if its not this ticket then its one of the dependencies. I'll leave it to you to figure out which of your tickets breaks the test.
</p>
TicketncohenWed, 05 Aug 2015 08:03:37 GMT
https://trac.sagemath.org/ticket/18948#comment:38
https://trac.sagemath.org/ticket/18948#comment:38
<p>
This ticket has only one dependency, i.e. <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a>. You must be confused.
</p>
TicketvbraunWed, 05 Aug 2015 08:04:59 GMT
https://trac.sagemath.org/ticket/18948#comment:39
https://trac.sagemath.org/ticket/18948#comment:39
<p>
The dependency is fine. But when I merge this ticket and then <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> and <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a> on top of this ticket then tests fail.
</p>
TicketncohenWed, 05 Aug 2015 08:05:54 GMT
https://trac.sagemath.org/ticket/18948#comment:40
https://trac.sagemath.org/ticket/18948#comment:40
<p>
I don't know what exactly you are doing, but unless there is something wrong with this branch as it is, please set it back to <code>positive_review</code>.
</p>
TicketncohenWed, 05 Aug 2015 08:09:51 GMT
https://trac.sagemath.org/ticket/18948#comment:41
https://trac.sagemath.org/ticket/18948#comment:41
<p>
By the way, all 'merge' operations that you may perform between those three tickets should result in a 'fast-forward', as they are all linearly ordered.
</p>
TicketvbraunWed, 05 Aug 2015 08:10:19 GMT
https://trac.sagemath.org/ticket/18948#comment:42
https://trac.sagemath.org/ticket/18948#comment:42
<p>
There is something wrong with this branch, it doctests implementation details instead of mathematical truths. Hence it is so fragile that even you yourself can't avoid breaking it. You can take care of the problem here or in a subsequent ticket, I don't care which.
</p>
TicketncohenWed, 05 Aug 2015 08:14:36 GMT
https://trac.sagemath.org/ticket/18948#comment:43
https://trac.sagemath.org/ticket/18948#comment:43
<blockquote class="citation">
<p>
There is something wrong with this branch, it doctests implementation details instead of mathematical truths.
</p>
</blockquote>
<p>
Wow. I could remove 50% of Sage's doctests with a rule like that.
</p>
<blockquote class="citation">
<p>
Hence it is so fragile that even you yourself can't avoid breaking it. You can take care of the problem here or in a subsequent ticket, I don't care which.
</p>
</blockquote>
<p>
Excellent. Then if you agree that rewriting the dependencies of 3 stacked tickets is a bad idea, then I chose to do it later.
</p>
<p>
The doctest counts the number of graphs that we are not able to build automatically. These doctests are very precious, and there are many like that in the combinat.design folder already. It is admittedly a mess during the early stages of the implementation, especially when you forget (as I did) to order everything linearly from the beginning.
</p>
<p>
When tickets will start getting merged it will become easier. Here my trouble today was with <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a>, which is "not in a release beta" but "already closed". If not for that, I would have moved it atop of the others, and there would have been no work involved.
</p>
<p>
Nathann
</p>
TicketncohenWed, 05 Aug 2015 08:19:07 GMT
https://trac.sagemath.org/ticket/18948#comment:44
https://trac.sagemath.org/ticket/18948#comment:44
<p>
Dima? Unless you can tell me what you request to be changed on this ticket, please set it back to its original status.
</p>
TicketvbraunWed, 05 Aug 2015 08:20:06 GMT
https://trac.sagemath.org/ticket/18948#comment:45
https://trac.sagemath.org/ticket/18948#comment:45
<p>
Well as long as you are only hurting yourself good luck with that. Of course you could alternatively run your own doctests before having <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> reviewed, that would also avoid test failures.
</p>
<p>
Just set this ticket back to positive review once you have fixed <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> or wherever you want to address it.
</p>
TicketdimpaseWed, 05 Aug 2015 08:20:24 GMTattachment set
https://trac.sagemath.org/ticket/18948
https://trac.sagemath.org/ticket/18948
<ul>
<li><strong>attachment</strong>
set to <em>log</em>
</li>
</ul>
<p>
top part of git log
</p>
TicketdimpaseWed, 05 Aug 2015 08:21:57 GMT
https://trac.sagemath.org/ticket/18948#comment:46
https://trac.sagemath.org/ticket/18948#comment:46
<p>
I have very similar failure if I test with <code>--long</code>. The relevant part of the git log is attached.
</p>
TicketncohenWed, 05 Aug 2015 08:22:45 GMT
https://trac.sagemath.org/ticket/18948#comment:47
https://trac.sagemath.org/ticket/18948#comment:47
<blockquote class="citation">
<p>
Of course you could alternatively run your own doctests before having <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> reviewed, that would also avoid test failures.
</p>
</blockquote>
<p>
Scuse me, can you show me this 'doctest failure' you mention? I do not see it. I load the branch, I run the tests, they pass. Something different happens on your computer?
</p>
<blockquote class="citation">
<p>
Just set this ticket back to positive review once you have fixed <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> or wherever you want to address it.
</p>
</blockquote>
<p>
Tell me what you want to see fixed, and I will. If there is nothing to fix here, please change the status.
</p>
<p>
Nathann
</p>
TicketncohenWed, 05 Aug 2015 08:23:39 GMT
https://trac.sagemath.org/ticket/18948#comment:48
https://trac.sagemath.org/ticket/18948#comment:48
<blockquote class="citation">
<p>
I have very similar failure if I test with <code>--long</code>. The relevant part of the git log is attached.
</p>
</blockquote>
<p>
Then the answer is in your git log: there are commits from <a class="closed ticket" href="https://trac.sagemath.org/ticket/18972" title="enhancement: twographs and Seidel switching (closed: fixed)">#18972</a> in your history, which have nothing to do there.
</p>
<p>
Nathann
</p>
TicketvbraunWed, 05 Aug 2015 08:24:58 GMT
https://trac.sagemath.org/ticket/18948#comment:49
https://trac.sagemath.org/ticket/18948#comment:49
<p>
I want fixed that: <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a> + <a class="closed ticket" href="https://trac.sagemath.org/ticket/18960" title="enhancement: Strongly Regular Graphs from two-weight codes (closed: fixed)">#18960</a> + <a class="closed ticket" href="https://trac.sagemath.org/ticket/18948" title="enhancement: Strongly Regular Graphs database (closed: fixed)">#18948</a> together shall pass doctests.
</p>
TicketncohenWed, 05 Aug 2015 08:25:57 GMT
https://trac.sagemath.org/ticket/18948#comment:50
https://trac.sagemath.org/ticket/18948#comment:50
<p>
They do. Have you found a proof of the contrary? You do not even have to merge them, they are linearly ordered already.
</p>
TicketncohenWed, 05 Aug 2015 08:26:48 GMT
https://trac.sagemath.org/ticket/18948#comment:51
https://trac.sagemath.org/ticket/18948#comment:51
<p>
Unless you want also me to magically make them pass doctests with a non-reviewed ticket <a class="closed ticket" href="https://trac.sagemath.org/ticket/18972" title="enhancement: twographs and Seidel switching (closed: fixed)">#18972</a>, as Dima seems to expect?
</p>
TicketdimpaseWed, 05 Aug 2015 08:28:26 GMT
https://trac.sagemath.org/ticket/18948#comment:52
https://trac.sagemath.org/ticket/18948#comment:52
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:48" title="Comment 48">ncohen</a>:
</p>
<blockquote class="citation">
<blockquote class="citation">
<p>
I have very similar failure if I test with <code>--long</code>. The relevant part of the git log is attached.
</p>
</blockquote>
<p>
Then the answer is in your git log: there are commits from <a class="closed ticket" href="https://trac.sagemath.org/ticket/18972" title="enhancement: twographs and Seidel switching (closed: fixed)">#18972</a> in your history, which have nothing to do there.
</p>
</blockquote>
<p>
These commits should not affect the outcome, or at least I don't see how they can.
Or, if you like, I have weird test failures on my branch due to something in your already reviewed tickets...
</p>
TicketvbraunWed, 05 Aug 2015 08:29:11 GMT
https://trac.sagemath.org/ticket/18948#comment:53
https://trac.sagemath.org/ticket/18948#comment:53
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:50" title="Comment 50">ncohen</a>:
</p>
<blockquote class="citation">
<p>
They do. Have you found a proof of the contrary?
</p>
</blockquote>
<p>
Yes, <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:33" title="Comment 33">comment:33</a>
</p>
TicketncohenWed, 05 Aug 2015 08:30:11 GMT
https://trac.sagemath.org/ticket/18948#comment:54
https://trac.sagemath.org/ticket/18948#comment:54
<blockquote class="citation">
<p>
These commits should not affect the outcome, or at least I don't see how they can.
</p>
</blockquote>
<p>
Easy: you add constructions of strongly regular graphs. The only thing this doctest does is check the *COUNT* of them (note that the individual lines naming each graph are not check, except the first, because of '...'). Given that you add constructions, the final number changes, and the doctest breaks.
</p>
<blockquote class="citation">
<p>
Or, if you like, I have weird test failures on my branch due to something in your already reviewed tickets...
</p>
</blockquote>
<p>
Just load *ONLY* the branch, and you will not have any problem. If you add other commits, now, I can do no magic.
</p>
<p>
Nathann
</p>
TicketncohenWed, 05 Aug 2015 08:32:03 GMT
https://trac.sagemath.org/ticket/18948#comment:55
https://trac.sagemath.org/ticket/18948#comment:55
<blockquote class="citation">
<p>
Yes, <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:33" title="Comment 33">comment:33</a>
</p>
</blockquote>
<p>
If you read his 'history' file you will see that he tested more commits than that. He also had some commits of hiw own patch (<a class="closed ticket" href="https://trac.sagemath.org/ticket/18972" title="enhancement: twographs and Seidel switching (closed: fixed)">#18972</a>) in his history. If you load only the branch on my tickets things work, but you can't expect me to fix in my branches the errors introduced on non-reviewed tickets. The only thing that it proves is that <a class="closed ticket" href="https://trac.sagemath.org/ticket/18972" title="enhancement: twographs and Seidel switching (closed: fixed)">#18972</a> needs to be rebased on <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>. And that's clearly not my job.
</p>
<p>
Nathann
</p>
TicketvbraunWed, 05 Aug 2015 08:35:11 GMT
https://trac.sagemath.org/ticket/18948#comment:56
https://trac.sagemath.org/ticket/18948#comment:56
<p>
<a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:33" title="Comment 33">comment:33</a> is from the buildbot and does not include any non-reviewed tickets:
</p>
<p>
<a class="ext-link" href="http://build.sagemath.org/release/builders/%20%20slow%20AIMS%20%20%28Debian%207%2032%20bit%29%20incremental/builds/37"><span class="icon"></span>http://build.sagemath.org/release/builders/%20%20slow%20AIMS%20%20%28Debian%207%2032%20bit%29%20incremental/builds/37</a>
</p>
TicketdimpaseWed, 05 Aug 2015 08:35:27 GMT
https://trac.sagemath.org/ticket/18948#comment:57
https://trac.sagemath.org/ticket/18948#comment:57
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:54" title="Comment 54">ncohen</a>:
</p>
<blockquote class="citation">
<blockquote class="citation">
<p>
These commits should not affect the outcome, or at least I don't see how they can.
</p>
</blockquote>
<p>
Easy: you add constructions of strongly regular graphs. The only thing this doctest does is check the *COUNT* of them (note that the individual lines naming each graph are not check, except the first, because of '...'). Given that you add constructions, the final number changes, and the doctest breaks.
</p>
</blockquote>
<p>
Oh hell... How about we add a special tag (say, countexamples) to these counting test(s), so that they don't normally run.
</p>
<blockquote class="citation">
<blockquote class="citation">
<p>
Or, if you like, I have weird test failures on my branch due to something in your already reviewed tickets...
</p>
</blockquote>
<p>
Just load *ONLY* the branch, and you will not have any problem. If you add other commits, now, I can do no magic.
</p>
</blockquote>
<p>
The problem is that nobody expects the Spanish Inquisition hitting on your tests this way. Doctesting such counts is akin to doctesting number of Sage tests that pass...
</p>
TicketncohenWed, 05 Aug 2015 08:38:22 GMT
https://trac.sagemath.org/ticket/18948#comment:58
https://trac.sagemath.org/ticket/18948#comment:58
<blockquote class="citation">
<p>
The problem is that nobody expects the Spanish Inquisition hitting on your tests this way. Doctesting such counts is akin to doctesting number of Sage tests that pass...
</p>
</blockquote>
<p>
Regardless of that, the doctests pass, in this ticket and in those above.
</p>
<p>
Nathann
</p>
TicketncohenWed, 05 Aug 2015 08:40:05 GMT
https://trac.sagemath.org/ticket/18948#comment:59
https://trac.sagemath.org/ticket/18948#comment:59
<blockquote class="citation">
<p>
<a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:33" title="Comment 33">comment:33</a> is from the buildbot and does not include any non-reviewed tickets:
</p>
</blockquote>
<p>
Is this buildbot running beta0 (which does *not* include <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a>) or is it running your own more-updated relase (which includes <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a>)?
</p>
TicketvbraunWed, 05 Aug 2015 08:40:50 GMT
https://trac.sagemath.org/ticket/18948#comment:60
https://trac.sagemath.org/ticket/18948#comment:60
<p>
The buildbot always merges dependencies first; Currently I'm at
</p>
<pre class="wiki">d3a0be9 Trac #18989: Incorrect input_alphabet in FiniteStateMachine.disjoint_union
00f8736 Trac #18938: Refactor shortest paths
387fe06 Trac #17462: Remove the (deprecated) _boundary parameter
d868995 Trac #18608: Arc method in BalancedIncompleteBlockDesign class
649bf59 Trac #18585: Comparison of sparse polynomials
d9bb5de Trac #18978: gf2x fails to build with GCC 5.2
3c97405 Trac #18775: polytopes.icosidodecahedron and graphs.TruncatedIcosidodecahedralGraph
af59a3f Trac #18977: ncurses fails to build with GCC 5.2
4f379dc Trac #18860: Faster Poyhedron.graph()
47f6780 Trac #18975: make searches case-insensitive by default
50f503f Trac #18976: Update to IPython 3.2.1
8063cb3 Trac #18961: upgrade ECL to 15.3.7
d6a3379 Trac #18934: New (v,6,1)-BIBD with v<=201
82513eb Trac #18089: Automaton.shannon_parry_markov_chain: New method
01a74d6 Trac #10194: Set factories
3b7932c Trac #18963: Remove 5 occurrences of FSMOldProcessOutput (Followup to #16133)
9559da6 Trac #18967: Silence the messages about deleting empty directories
0247d96 Trac #18742: interactive_simplex_method: Support several styles corresponding to major textbooks
571ad54 Trac #18910: Boost minimum spanning tree
c33a40b Trac #18876: Boost Cuthill-McKee, King Ordering
02125c0 Trac #18557: Implement FiniteStateMachine.disjoint_union (and .__or__)
f4a0ac6 Trac #18556: FiniteStateMachine.is_deterministic: machines with >1 initial states are non-deterministic
c0d4e06 Trac #18282: Fixes, cleanup and improvements to the default evaluation method for univariate polynomials
b74bb0b Trac #12607: ChainComplex reports zero homology groups (depending on ChomP)
d401fff Trac #18831: Hyperelliptic point counting various methods disagree
edb1b08 Updated Sage version to 6.9.beta0
</pre>
TicketncohenWed, 05 Aug 2015 08:43:17 GMT
https://trac.sagemath.org/ticket/18948#comment:61
https://trac.sagemath.org/ticket/18948#comment:61
<blockquote class="citation">
<p>
The buildbot always merges dependencies first; Currently I'm at
</p>
</blockquote>
<p>
So that is your explanation. Yesterday, or that night, you ran the doctests on a version of Sage which included <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a>. This branch, at that time, did not have <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a> as a dependency. This morning, I rebased this ticket (and those above) over <a class="closed ticket" href="https://trac.sagemath.org/ticket/18934" title="enhancement: New (v,6,1)-BIBD with v<=201 (closed: fixed)">#18934</a>, and I fixed it. So now it should work, because of this rebasing. So unless you find something wrong with this branch, please set it back to its original status.
</p>
<p>
Nathann
</p>
TicketvbraunWed, 05 Aug 2015 08:47:06 GMT
https://trac.sagemath.org/ticket/18948#comment:62
https://trac.sagemath.org/ticket/18948#comment:62
<p>
And this is why it shouldn't be possible to change positively reviewed branches... we can implement a cool-off period just for you if you prefer ;-)
</p>
TicketdimpaseWed, 05 Aug 2015 08:47:41 GMT
https://trac.sagemath.org/ticket/18948#comment:63
https://trac.sagemath.org/ticket/18948#comment:63
<p>
As the reviewer, I hereby humbly beg for the <code>_check_database()</code> test to be amended; either
suppress checking the actual numbers by <code>...</code>, or give it an extra optional tag so that it does not stand in the way.
</p>
TicketncohenWed, 05 Aug 2015 08:48:25 GMT
https://trac.sagemath.org/ticket/18948#comment:64
https://trac.sagemath.org/ticket/18948#comment:64
<blockquote class="citation">
<p>
And this is why it shouldn't be possible to change positively reviewed branches... we can implement a cool-off period just for you if you prefer ;-)
</p>
</blockquote>
<p>
Create a poll on sage-devel.
</p>
TicketncohenWed, 05 Aug 2015 08:49:36 GMT
https://trac.sagemath.org/ticket/18948#comment:65
https://trac.sagemath.org/ticket/18948#comment:65
<blockquote class="citation">
<p>
As the reviewer, I hereby humbly beg for the <code>_check_database()</code> test to be amended; either
suppress checking the actual numbers by <code>...</code>, or give it an extra optional tag so that it does not stand in the way.
</p>
</blockquote>
<p>
If we do it now, I will have to re-merge 3 linearly ordered patches again. So let's do that later.
</p>
<p>
Nathann
</p>
TicketdimpaseWed, 05 Aug 2015 08:54:30 GMT
https://trac.sagemath.org/ticket/18948#comment:66
https://trac.sagemath.org/ticket/18948#comment:66
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:65" title="Comment 65">ncohen</a>:
</p>
<blockquote class="citation">
<blockquote class="citation">
<p>
As the reviewer, I hereby humbly beg for the <code>_check_database()</code> test to be amended; either
suppress checking the actual numbers by <code>...</code>, or give it an extra optional tag so that it does not stand in the way.
</p>
</blockquote>
<p>
If we do it now, I will have to re-merge 3 linearly ordered patches again. So let's do that later.
</p>
</blockquote>
<p>
Can you do this on <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>, or whatever ticket that has the latest commits in this chain?
</p>
TicketncohenWed, 05 Aug 2015 08:56:55 GMT
https://trac.sagemath.org/ticket/18948#comment:67
https://trac.sagemath.org/ticket/18948#comment:67
<p>
Yeah yeah. I'm against it, but after having been complaining pointlessly for 30 minutes on a ticket because you were all testing something different from the branch stored on this ticket, I won't even bother trying to explain.
</p>
<p>
Nathann
</p>
TicketncohenWed, 05 Aug 2015 08:57:28 GMT
https://trac.sagemath.org/ticket/18948#comment:68
https://trac.sagemath.org/ticket/18948#comment:68
<p>
Easier to blame the doctest, of course.
</p>
TicketncohenWed, 05 Aug 2015 08:58:34 GMT
https://trac.sagemath.org/ticket/18948#comment:69
https://trac.sagemath.org/ticket/18948#comment:69
<p>
Let's create another ticket for that. It's unrelated to the topic of <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>..
</p>
TicketncohenWed, 05 Aug 2015 09:00:25 GMT
https://trac.sagemath.org/ticket/18948#comment:70
https://trac.sagemath.org/ticket/18948#comment:70
<p>
So? Are you now convinced that there is no broken doctest in this ticket, and that it can be set back to its original status ?
</p>
TicketvbraunWed, 05 Aug 2015 09:10:00 GMTstatus changed
https://trac.sagemath.org/ticket/18948#comment:71
https://trac.sagemath.org/ticket/18948#comment:71
<ul>
<li><strong>status</strong>
changed from <em>needs_work</em> to <em>positive_review</em>
</li>
</ul>
<p>
I'm not necessarily convinced but I can try again... hopefully I'll get through a testing cycle before the branch changes again ;-)
</p>
TicketncohenWed, 05 Aug 2015 09:11:00 GMT
https://trac.sagemath.org/ticket/18948#comment:72
https://trac.sagemath.org/ticket/18948#comment:72
<blockquote class="citation">
<p>
I'm not necessarily convinced but I can try again... hopefully I'll get through a testing cycle before the branch changes again ;-)
</p>
</blockquote>
<p>
Yeah, sorry for that. I should have remembered to keep such tickets in a linear order at all times.
</p>
TicketdimpaseWed, 05 Aug 2015 09:13:13 GMT
https://trac.sagemath.org/ticket/18948#comment:73
https://trac.sagemath.org/ticket/18948#comment:73
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/18948#comment:69" title="Comment 69">ncohen</a>:
</p>
<blockquote class="citation">
<p>
Let's create another ticket for that. It's unrelated to the topic of <a class="closed ticket" href="https://trac.sagemath.org/ticket/18988" title="enhancement: Orthogonal Polar graphs in strongly_regular_graph (closed: fixed)">#18988</a>..
</p>
</blockquote>
<p>
As you like. Please do.
</p>
TicketvbraunWed, 05 Aug 2015 16:58:56 GMTstatus, branch changed; resolution set
https://trac.sagemath.org/ticket/18948#comment:74
https://trac.sagemath.org/ticket/18948#comment:74
<ul>
<li><strong>status</strong>
changed from <em>positive_review</em> to <em>closed</em>
</li>
<li><strong>resolution</strong>
set to <em>fixed</em>
</li>
<li><strong>branch</strong>
changed from <em>u/ncohen/18948</em> to <em>d1d25a03964f92c590449bebd359b21e7feaf349</em>
</li>
</ul>
Ticket