Received: by 10.52.88.102 with SMTP id bf6mr2893998vdb.2.1330125865796;
        Fri, 24 Feb 2012 15:24:25 -0800 (PST)
X-BeenThere: sage-devel@googlegroups.com
Received: by 10.52.166.66 with SMTP id ze2ls1981285vdb.4.gmail; Fri, 24 Feb
 2012 15:24:22 -0800 (PST)
MIME-Version: 1.0
Received: by 10.52.89.235 with SMTP id br11mr518231vdb.9.1330125862334; Fri,
 24 Feb 2012 15:24:22 -0800 (PST)
Authentication-Results: ls.google.com; spf=pass (google.com: domain of
 20100.delecr...@gmail.com designates internal as permitted sender)
 smtp.mail=20100.delecr...@gmail.com; dkim=pass
 header...@gmail.com
Received: by w4g2000vbc.googlegroups.com with HTTP; Fri, 24 Feb 2012 15:24:22
 -0800 (PST)
Date: Fri, 24 Feb 2012 15:24:22 -0800 (PST)
In-Reply-To: <d30c57f1-f206-4b48-a06e-afd87eeec794@j8g2000yqm.googlegroups.com>
References: <d30c57f1-f206-4b48-a06e-afd87eeec794@j8g2000yqm.googlegroups.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Uzbl (Webkit 1.2) (Linux x86_64 [x86_64]),gzip(gfe)
Message-ID: <7337bc5a-d4f7-489a-8cd8-3798d59e0a64@w4g2000vbc.googlegroups.com>
Subject: Re: matrix semigroups in SAGE
From: Vincent D <20100.delecr...@gmail.com>
To: sage-devel <sage-devel@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1

Hi,

The best place to look at is in sage/categories/examples/
semigroups.py.

Following FreeSemiGroup in the file mentioned above, I was able to
implement 1) in 50 lines, which make me think that the category
mechanism is not so bad ;-)

I do have a question : do you know a small set of generators for that
semigroup ?

Cheers,