#18948: Strongly Regular Graphs database
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_work
Type: | Milestone: sage-6.8
enhancement | Resolution:
Priority: major | Merged in:
Component: graph | Reviewers: Dima Pasechnik
theory | Work issues:
Keywords: | Commit:
Authors: | d1d25a03964f92c590449bebd359b21e7feaf349
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
u/ncohen/18948 |
Dependencies: |
#18934 |
-------------------------+-------------------------------------------------
Changes (by vbraun):
* status: positive_review => needs_work
Comment:
With #18988, #18960, and #18948:
{{{
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
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18948#comment:33>
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.
