new OA for n=112,160,176,208,224,352,416,514,544,640,796,896 #16604

nathanncohen · 2014-07-02T17:16:22Z

As the title says.

Because this method also needs to shorten a matrix in the middle of OA_from_Vmt, it is split into QDM_from_Vmt and OA_from_quasi_difference_matrix (which was already called).

Nathann

Depends on #16582
Depends on #16797

CC: @videlec

Component: combinatorial designs

Author: Nathann Cohen

Branch/Commit: 24c4f7f

Reviewer: Vincent Delecroix

Issue created by migration from https://trac.sagemath.org/ticket/16604

The text was updated successfully, but these errors were encountered:

nathanncohen · 2014-07-02T17:16:59Z

Branch: u/ncohen/16604

sagetrac-git · 2014-07-02T17:17:06Z

Commit: 00654fb

sagetrac-git · 2014-07-02T17:17:06Z

Branch pushed to git repo; I updated commit sha1. New commits:

`01689fd`	`trac #16582: MOLS: Table with n<600 and updated syntax`
`0c08a79`	`trac #16582: Merged with beta5`
`00654fb`	`trac #16604: new OA for n=112,160,224,514,796`

videlec · 2014-07-03T06:26:53Z

comment:3

Hey Nathann,

In OA_14_124, it is not safe to ask for a finite field of size 2⁵ and hope that, by chance, its generator satisfies w^5 + w^2 + 1 = 0. You would rather give the constructor an explicit polynomial:

sage: R = PolynomialRing(GF(2),'x')
sage: x = R.gen()
sage: GF(2**5, 'w', modulus=x**5+x**2+1)
Finite Field in w of size 2^5

and I got a docbuild error

OSError: [combinat ] None:5: WARNING: citation not found: BvR514

Vincent

nathanncohen · 2014-07-03T11:38:58Z

comment:4

Yo !

In OA_14_124, it is not safe to ask for a finite field of size 2⁵ and hope that, by chance, its generator satisfies w^5 + w^2 + 1 = 0.

Yeah... And "by chance" it always works ?

Given that you are the one to complain about this, I will use the first's trick against you : conway=True :-P

and I got a docbuild error

OSError: [combinat ] None:5: WARNING: citation not found: BvR514

Ahahahah. I must have replaced 82 with 514 at some point :-D

I had also "made a small mistake" in the implementation. I had forgotten to set some flag from "False" to "True", which means that the new OA have a longer width. I didn't like to notice that I had implemented so many new OA and that they did not even reach the Handbook's bound.... Now all is good :-P

I also added an OA for 640, freshly debugged.

Nathann

sagetrac-git · 2014-07-03T11:39:06Z

Changed commit from 00654fb to ee7ac60

sagetrac-git · 2014-07-03T11:39:06Z

Branch pushed to git repo; I updated commit sha1. New commits:

`ee7ac60`	`trac #16604: OA for n=640, reviewer's remarks and silly mistake`

sagetrac-git · 2014-07-03T11:57:52Z

Changed commit from ee7ac60 to ba6609d

sagetrac-git · 2014-07-03T11:57:52Z

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

`ba6609d`	`trac #16604: OA for n=640, reviewer's remarks and silly mistake`

nathanncohen · 2014-07-03T11:58:14Z

comment:7

(I had forgotten a "Found by Julian R. Abel" line)

Nathann

nathanncohen · 2014-07-04T08:02:15Z

comment:8

added a OA(15,896).

sagetrac-git · 2014-07-04T08:04:39Z

Changed commit from ba6609d to c218148

sagetrac-git · 2014-07-04T08:04:39Z

Branch pushed to git repo; I updated commit sha1. New commits:

`c218148`	`trac #16604: OA(15,896)`

sagetrac-git · 2014-07-04T12:10:22Z

Changed commit from c218148 to 03c2ca3

sagetrac-git · 2014-07-04T12:10:22Z

Branch pushed to git repo; I updated commit sha1. New commits:

`03c2ca3`	`trac #16604: OA(16,208)`

sagetrac-git · 2014-07-04T12:12:35Z

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

`6074f4b`	`trac #16604: OA(16,208)`

sagetrac-git · 2014-07-04T12:12:35Z

Changed commit from 03c2ca3 to 6074f4b

videlec · 2014-08-11T10:51:58Z

comment:46

The matrix A has as many rows as the length of Y and has 2|G| columns...

Vincent

nathanncohen · 2014-08-11T11:13:03Z

comment:47

Cool ! This time I got it ! :-D

It really is hell with everybody using the matrix or its transpose T_T

By the wayyyyyy... As this function is now public... Would you feel like writing some code to check that all constraints are satisfied ? ^^;

You see all these things better than I, that's why I ask... ^^;

Nathann

sagetrac-git · 2014-08-11T12:02:52Z

Branch pushed to git repo; I updated commit sha1. New commits:

`bff470e`	`trac #16604: small check of dimensions`

sagetrac-git · 2014-08-11T12:02:52Z

Changed commit from d612056 to bff470e

videlec · 2014-08-11T12:03:38Z

comment:49

Good idea. I did the dimension check... if we want more, we need is_difference_matrix.

I would go for a positive review at this stage... what do you think?

Vincent

nathanncohen · 2014-08-11T12:11:54Z

comment:50

Yo !

Good idea. I did the dimension check... if we want more, we need is_difference_matrix.

We don't have is_difference_matrix ? O_o

Okay then I will write this today. You may like difference families but I like difference matrices.

We need a is_difference_matrix. Then we'll finish this ticket.

Nathann

nathanncohen · 2014-08-11T19:27:50Z

comment:51

Ticket for is_difference_matrix: #16797

Nathann

nathanncohen · 2014-08-11T19:27:50Z

Changed dependencies from #16582 to #16582,#16797

sagetrac-git · 2014-08-13T10:55:07Z

Changed commit from bff470e to 579e75b

sagetrac-git · 2014-08-13T10:55:07Z

Branch pushed to git repo; I updated commit sha1. New commits:

`8f10d94`	`trac #16797: is_difference_matrix`
`aa097f6`	`trac #16797: Fit with the current definition until we can change everything at once`
`5d21b8c`	`trac #16797: int * and ** instead of Python list`
`8f29bd1`	`trac #16797: change int to int * in a malloc`
`811e3e9`	`trac #16797: better malloc + better error msg`
`1b8c2e3`	`trac #16797: More compact mallocs`
`b78c347`	`trac #16797: Reorder the arguments to copy is_orthogonal_array`
`6c21904`	`trac #16797: correct a row/column inversion`
`48b6902`	`trac #16604: merge #16797`
`579e75b`	`trac #16604: input check + doctest`

videlec · 2014-08-13T10:55:51Z

comment:53

Needs review.

Vincent

sagetrac-git · 2014-08-13T12:40:50Z

Changed commit from 579e75b to 05c6915

sagetrac-git · 2014-08-13T12:40:50Z

Branch pushed to git repo; I updated commit sha1. New commits:

`e1a83d0`	`trac #16604: Optional check flag`
`05c6915`	`trac #16604: Variable rename and list->set`

nathanncohen · 2014-08-13T13:34:38Z

comment:55

Your turn !

Nathann

videlec · 2014-08-13T15:15:19Z

comment:56

I am happy with the current version.

Vincent

videlec · 2014-08-13T15:15:19Z

Reviewer: Vincent Delecroix

sagetrac-git · 2014-08-16T06:58:46Z

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:

`dee4275`	`trac #16797: Merged with 6.4.beta0`
`24c4f7f`	`trac #16604: Merge with updated #16797`

sagetrac-git · 2014-08-16T06:58:46Z

Changed commit from 05c6915 to 24c4f7f

vbraun · 2014-08-16T09:32:21Z

Changed branch from public/16604 to 24c4f7f

### 📚 Description   - move `powerset` (= `subsets`) from the problematic `sage.misc.misc` module to `sage.combinat.subset`, - likewise we move the implementation of `uniq` (`sage.misc.misc._stable_uniq`) and finish the job from #27014, - we remove `sage.misc.misc.union`, deprecated in #16604, - some other fixes to imports.  Part of: - #29705  ### 📝 Checklist  - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies  - Depends on #35672  URL: #35564 Reported by: Matthias Köppe Reviewer(s): David Coudert, Matthias Köppe

nathanncohen mannequin added this to the sage-6.3 milestone Jul 2, 2014

nathanncohen mannequin added c: combinatorial designs labels Jul 2, 2014

nathanncohen mannequin added the s: needs review label Jul 2, 2014

videlec added s: needs work and removed s: needs review labels Jul 3, 2014

nathanncohen mannequin changed the title ~~new OA for n=112,160,224,514,796~~ new OA for n=112,160,224,514,640,796 Jul 3, 2014

nathanncohen mannequin added s: needs review and removed s: needs work labels Jul 3, 2014

nathanncohen mannequin changed the title ~~new OA for n=112,160,224,514,640,796~~ new OA for n=112,160,224,514,640,796,896 Jul 4, 2014

nathanncohen mannequin changed the title ~~new OA for n=112,160,224,514,640,796,896~~ new OA for n=112,160,208,224,514,640,796,896 Jul 4, 2014

nathanncohen mannequin changed the title ~~new OA for n=112,160,208,224,514,640,796,896~~ new OA for n=112,160,176,208,224,514,640,796,896 Jul 5, 2014

videlec added s: positive review and removed s: needs review labels Aug 13, 2014

sagetrac-git mannequin added s: needs review and removed s: positive review labels Aug 16, 2014

nathanncohen mannequin added s: positive review and removed s: needs review labels Aug 16, 2014

vbraun removed the s: positive review label Aug 16, 2014

vbraun closed this as completed in 63387fd Aug 16, 2014

nathanncohen mannequin mentioned this issue Aug 16, 2014

OA for n=1046,1059,2164,3992,3994 #16662

Closed

mkoeppe mentioned this issue May 28, 2023

sage.misc.misc, sage.combinat: Modularization fixes #35564

Merged

5 tasks

new OA for n=112,160,176,208,224,352,416,514,544,640,796,896 #16604

new OA for n=112,160,176,208,224,352,416,514,544,640,796,896 #16604

Comments

nathanncohen mannequin commented Jul 2, 2014

nathanncohen mannequin commented Jul 2, 2014

sagetrac-git mannequin commented Jul 2, 2014

sagetrac-git mannequin commented Jul 2, 2014

videlec commented Jul 3, 2014

nathanncohen mannequin commented Jul 3, 2014

sagetrac-git mannequin commented Jul 3, 2014

sagetrac-git mannequin commented Jul 3, 2014

sagetrac-git mannequin commented Jul 3, 2014

sagetrac-git mannequin commented Jul 3, 2014

nathanncohen mannequin commented Jul 3, 2014

nathanncohen mannequin commented Jul 4, 2014

sagetrac-git mannequin commented Jul 4, 2014

sagetrac-git mannequin commented Jul 4, 2014

sagetrac-git mannequin commented Jul 4, 2014

sagetrac-git mannequin commented Jul 4, 2014

sagetrac-git mannequin commented Jul 4, 2014

sagetrac-git mannequin commented Jul 4, 2014

videlec commented Aug 11, 2014

nathanncohen mannequin commented Aug 11, 2014

sagetrac-git mannequin commented Aug 11, 2014

sagetrac-git mannequin commented Aug 11, 2014

videlec commented Aug 11, 2014

nathanncohen mannequin commented Aug 11, 2014

nathanncohen mannequin commented Aug 11, 2014

nathanncohen mannequin commented Aug 11, 2014

sagetrac-git mannequin commented Aug 13, 2014

sagetrac-git mannequin commented Aug 13, 2014

videlec commented Aug 13, 2014

sagetrac-git mannequin commented Aug 13, 2014

sagetrac-git mannequin commented Aug 13, 2014

nathanncohen mannequin commented Aug 13, 2014

videlec commented Aug 13, 2014

videlec commented Aug 13, 2014

sagetrac-git mannequin commented Aug 16, 2014

sagetrac-git mannequin commented Aug 16, 2014

vbraun commented Aug 16, 2014