Some Design Theory in Sage

[Nathann Cohen]

Hello everybody !!!!

I would like to see some design theory in Sage, and I looked for the softwares that were already around....

I found :

DESIGN ( a Gap package ) : http://designtheory.org/software/gap_design/htm/chapters.htm
This software needs Nauty, which is not free, and is a GAP package so it can not be used independently

Gosset : http://www.research.att.com/~njas/gosset/
This software seems to be quite good, but does not seem to be under development anymore, and seems to have been licensed under some AT&T license...

So all in all, I do not think this qualifies as a good haul... Do you know of any other Design Theory software around ? What do you like in those two ?

Should we then try to integrate some parts of them, or just try to rewrite the functions in Sage ?

Nathann

[Carlo Hamalainen]

On Sat, Oct 31, 2009 at 9:35 AM, Nathann Cohen <nathan...@gmail.com> wrote:
> I would like to see some design theory in Sage, and I looked for the
> softwares that were already around....

We already have some design theory stuff in Sage:

http://sagemath.org/doc/reference/combinat/designs.html

What do you think is missing? (e.g. classes of designs, calculations
on some type of design, etc).

--
Carlo Hamalainen
http://carlo-hamalainen.net

[Simon King]

Hi!

On 31 Okt., 09:35, Nathann Cohen <nathann.co...@gmail.com> wrote:
> Hello everybody !!!!
>
> I would like to see some design theory in Sage, and I looked for the
> softwares that were already around....
>
> I found :
>
> DESIGN ( a Gap package ) :http://designtheory.org/software/gap_design/htm/chapters.htm
> This software needs Nauty, which is not free, and is a GAP package so it can
> not be used independently

And, if I am not mistaken, Nauty only works on Unix, not on Linux.

Cheers,
Simon

[Carlo Hamalainen]

On Sat, Oct 31, 2009 at 10:48 AM, Simon King <simon...@nuigalway.ie> wrote:
> And, if I am not mistaken, Nauty only works on Unix, not on Linux.

I've used Nauty on Linux for a few years with no problems. It's a bit
of a shame that the license isn't BSD/GPL because it's a great
package.

[Nathann Cohen]

I did not know there was some already... Actually, yhe first thing I
wanted to see in Sage being Steiner Systems, I looked for this string
in search_doc and found nothing... As they are the easiest to
implement, I ( wrongly ) deduced there was nothing yet ^^;

As there are some desings already in Sage, i'll give it a look and
just post patches when I think something else is missing :-)

Thank youuuuuuuu !!!

Nathann

On Oct 31, 10:40 am, Carlo Hamalainen <carlo.hamalai...@gmail.com>
wrote:

[Rob Beezer]

On Oct 31, 3:06 am, Carlo Hamalainen <carlo.hamalai...@gmail.com>
wrote:

> I've used Nauty on Linux for a few years with no problems. It's a bit
> of a shame that the license isn't BSD/GPL because it's a great
> package.

Robert Miller has implemented the functionality of nauty as his NICE
package, within Sage (thus with a GPL license ).

A place to start is

sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pyx

and this also gives ride to a canonical labeling routine for graphs,
which could easily be extended to apply to designs.

Rob

[David Joyner]

Already implemented:

sage: D = BlockDesign(7,[[0,1,2],[0,3,4],[0,5,6],[1,3,5],[1,4,6],[2,3,6],[2,4,5]],
name="Fano plane")
sage: D.automorphism_group()
Permutation Group with generators [(4,5)(6,7), (4,6)(5,7), (2,3)(6,7),
(2,4)(3,5), (1,2)(5,6)]

And yes this uses Robert Miller's NICE.

>
> Rob
> >
>