On 2013-04-11, Jason B. Hill wrote:
> --e89a8f64674d73946104da0e3a61
> Content-Type: text/plain; charset=ISO-8859-1
>
>> no, no, that's not what you want to do, certainly. A much more efficient
>> way
>> is to compute a strong generating set w.r.t. a "canonical" minimal base.
>>
> data into a cano
Le 11/04/2013 06:32, Nils Bruin a écrit :
On Apr 10, 8:52 pm, Dima Pasechnik wrote:
2) yes to CSDP becoming an experimental package.
Doing that requires no different work from preparing it to be an
optional package, so why not do that first? Once that's done I would
expect it'll be pretty smo
On Apr 10, 8:52 pm, Dima Pasechnik wrote:
> 2) yes to CSDP becoming an experimental package.
Doing that requires no different work from preparing it to be an
optional package, so why not do that first? Once that's done I would
expect it'll be pretty smooth sailing into optional status.
--
You r
> no, no, that's not what you want to do, certainly. A much more efficient
> way
> is to compute a strong generating set w.r.t. a "canonical" minimal base.
>
data into a canonical form of a permutation group.
There is no "canonical" minimal base, unless one specifies the group action
to such an ex
On Wednesday, 10 April 2013 20:59:49 UTC+8, Christian Stump wrote:
>
> Hi,
>
> I wonder if there is a way to get a canonical form of a subgroup of a
> permutation group (or, even better, any group). This would be
> something like a method "canonical_labeling" for permutation groups
> that ret
the latter command (hg --debug clone http://combinat.sagemath.org/patches/ )
works for me, I didn't try the former.
On Wednesday, 10 April 2013 03:42:43 UTC+8, fhivert wrote:
>
> Dear All,
>
> I'm stuck on the following agravating problem: hg refuses to connect to
> combinat:
>
> popcorn-
Dear all,
we'd like to add CSDP, (a fast semidefinite programming solver, one of the
very best around),
as an optional package.
https://projects.coin-or.org/Csdp/
It is a C library+headers, and I've written almost all what is needed
(besides spkg-install etc)
to have it seamlessly installable
> In GAP one would just IdGroup() to get a unique label.
Is this given for any finite group in GAP, or is this depending on
http://www.gap-system.org/Packages/sgl.html ? It looks like there is
not much to do beyond these IdGroup in Sage since I guess they would
have gone beyond n=22 in Gap otherwi
On Wed, Apr 10, 2013 at 4:04 PM, Tobias Hansen wrote:
> Am 10.04.2013 17:43, schrieb Felix Salfelder:
> > several parts of fixing/changing/improving the sage (the system) build
> > system is unrelated to distributing sage "the library". so "changes to
> > the build system in Sage" is somewhat vag
Hi,
I'll give some answers from my point of view as one of the lead of sage-on-
gentoo https://github.com/cschwan/sage-on-gentoo. Some of the problems
discussed we encountered and have an opinion on. Whether some of the things
we do or have done are applicable to Debian is best answered by Debian
Am 10.04.2013 17:43, schrieb Felix Salfelder:
> several parts of fixing/changing/improving the sage (the system) build
> system is unrelated to distributing sage "the library". so "changes to
> the build system in Sage" is somewhat vague.
>
> i think a build system for the sage library should at le
Never mind. Apparently, my .patch files didn't download correctly. After
grabbing new versions, this *is* fixed in #8335 for me.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, sen
The patches apply just fine on my Ubuntu system, but I'm still getting the
same results
N=matrix(QQ,[[1,1],[0,1]])
T=matrix(GF(7),[[1,1],[0,1]])
L=N*T
L,L.parent()
([0 0]
[0 0], Full MatrixSpace of 2 by 2 dense matrices over Ring of integers
modulo 1)
Just to be clear I applied the three "appl
On 10.04.2013 17:43, Felix Salfelder wrote:
> Hi Tobias
>
> On Tue, Apr 09, 2013 at 10:26:30AM +0200, Tobias Hansen wrote:
>> No, the toplevel install script must just be able to skip the
>> compilation of these spkg's. And tell the Sage library to use the
>> libraries that are available and were
On 09.04.2013 14:18, Tobias Hansen wrote:
> On 04/09/2013 10:26 AM, Tobias Hansen wrote:
>>>
>>> a build system for sage ("the library") could be used to switch between
>>> system headers/libraries and stuff installed to /some/sage/prefix.
>>> in order to make use of these switches from sage ("the
On 09.04.2013 10:26, Tobias Hansen wrote:
> Hi Felix,
>
> On 04/09/2013 09:49 AM, Felix Salfelder wrote:
>> a proper build system for sage ("the library") with the usual dependency
>> checks seems neccesary (if not sufficient) for distributions. i can
>> think of
>> a way to implement this (probab
Sorry, there were a few mails that missed the list:
On 09.04.2013 09:49, Felix Salfelder wrote:
> Hi
>
> thanks for establishing this!
>
> i can imagine applying for that project. at least i'll have some time
> left in summer, as i'm on parental leave and i found a nursery...
> i'd like to discu
hmm. I just tried this again on my desktop (OSX 10.8) with sage 5.8. Here
the patches fail to apply on a clean clone. for the psuedo-conway patch I
get:
failed to synchronize metadata for "sage/rings/finite_rings/constructor.py"
If I forge on regardless with the other two, then I get the same
On Wednesday, April 10, 2013 5:49:20 PM UTC+2, Nils Bruin wrote:
>
> On Apr 10, 2:19 am, Jean-Pierre Flori wrote:
> > I've just built 5.8 + #8335 and this is indeed fixed, are you sure you
> > rebuilt the Sage library after applying the patches?
>
> Yes, I see. That patch changes the unique "
On Apr 10, 2:19 am, Jean-Pierre Flori wrote:
> I've just built 5.8 + #8335 and this is indeed fixed, are you sure you
> rebuilt the Sage library after applying the patches?
Yes, I see. That patch changes the unique "rank = 7" to "rank = 4.5"
in the relevant file, so that should do the trick. Did
It may be relevant to look at the canonical labelling used for Galois
grousp (see for example http://www.lmfdb.org/GaloisGroup/ and click on
the word "label").
John
On 10 April 2013 14:19, Nicolas M. Thiery wrote:
> Hi Christian,
>
> On Wed, Apr 10, 2013 at 07:59:49AM -0500, Christian St
Hi Christian,
On Wed, Apr 10, 2013 at 07:59:49AM -0500, Christian Stump wrote:
> I wonder if there is a way to get a canonical form of a subgroup of a
> permutation group (or, even better, any group). This would be
> something like a method "canonical_labeling" for permutation groups
> tha
Clearly there is no canonical form for arbitrary groups/subgroups since
there is no algorithm to compare finitely generated groups. For finite
groups there is, of course. In GAP one would just IdGroup() to get a unique
label. A GPL-ed clone of the finite groups database in GAP would be nice,
th
Hi,
I wonder if there is a way to get a canonical form of a subgroup of a
permutation group (or, even better, any group). This would be
something like a method "canonical_labeling" for permutation groups
that returns an isomorphic permutation group, and such that two groups
are isomorphic if and o
I've just built 5.8 + #8335 and this is indeed fixed, are you sure you
rebuilt the Sage library after applying the patches?
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an
On Wednesday, April 10, 2013 10:28:51 AM UTC+2, Nils Bruin wrote:
>
> The problem may be this:
>
> sage: S=Rationals()
> sage: R=GF(7)
> sage: from sage.categories.pushout import *
> sage: pushout(R,S)
> Ring of integers modulo 1
> sage: R_tower = construction_tower(R)
> sage: S_tower = co
The problem may be this:
sage: S=Rationals()
sage: R=GF(7)
sage: from sage.categories.pushout import *
sage: pushout(R,S)
Ring of integers modulo 1
sage: R_tower = construction_tower(R)
sage: S_tower = construction_tower(S)
sage: R_tower
[(None, Finite Field of size 7), (QuotientFunctor, Integer R
I've dealt with similar nice things at #8335 indeed.
IIRC, at some point I had to enable coercion into ZZ(1) to make thing work,
but then I thought this was really pointless and got similar doctests
failure concerning matrix multiplication, so I forbid somewhere in the
corecion model to quotient
28 matches
Mail list logo
