[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-18 Thread Simon King
Hi Anne, On 18 Apr., 17:50, Anne Schilling wrote: > Thanks for your answer. By degree you mean the degree of the relations or > the degree of the expressions in the quotient monoid/ring? Everything in Letterplace is subject to a degree bound. That bound is static in Singular: You need to fix it

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-18 Thread Anne Schilling
Hi Simon, On 18 Apr., 04:49, Anne Schilling wrote: Hi Simon, Using your letterplace code, I get the following error: Singular error: no more memory System 65340600k:65340600k Appl 1084175k/64215466k Malloc 18133k/0k Valloc 65281508k/64215466k Pages 16320377/0 Regions 127623:127623 halt 14

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-18 Thread Simon King
PS: On 18 Apr., 12:04, "Nicolas M. Thiery" wrote: > Out of curiosity: does Singular have any builtin memory limit, or is > it just using as much memory as is available on the system, as the > above seems to suggest? We are using libSingular in this example, not a Singular subprocess via pexpect.

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-18 Thread Simon King
Hi Nicolas, On 18 Apr., 12:04, "Nicolas M. Thiery" wrote: > Out of curiosity: does Singular have any builtin memory limit, or is > it just using as much memory as is available on the system, as the > above seems to suggest? Sorry, I have no idea if you need ulimit to prevent Singular from eating

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-18 Thread Nicolas M. Thiery
On Mon, Apr 18, 2011 at 12:47:05AM -0700, Simon King wrote: > On 18 Apr., 04:49, Anne Schilling wrote: > > Using your letterplace code, I get the following error: > > > > Singular error: no more memory > > System 65340600k:65340600k Appl 1084175k/64215466k Malloc 18133k/0k Valloc > > 65281508k/64

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-18 Thread Simon King
Hi Anne, On 18 Apr., 04:49, Anne Schilling wrote: > Hi Simon, > > Using your letterplace code, I get the following error: > > Singular error: no more memory > System 65340600k:65340600k Appl 1084175k/64215466k Malloc 18133k/0k Valloc > 65281508k/64215466k Pages 16320377/0 Regions 127623:127623 >

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-17 Thread Anne Schilling
Hi Simon, Using your letterplace code, I get the following error: Singular error: no more memory System 65340600k:65340600k Appl 1084175k/64215466k Malloc 18133k/0k Valloc 65281508k/64215466k Pages 16320377/0 Regions 127623:127623 halt 14 Smaller computations are working fine. Any idea of ho

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-04 Thread Anne Schilling
On 4/4/11 11:39 AM, Simon King wrote: Hi Anne, On 4 Apr., 06:42, Anne Schilling wrote: Ok. Will you open it? Or do you want me to do so? I'd prefer if you do. Ok, this is now #11127. Cheers, Anne -- You received this message because you are subscribed to the Google Groups "sage-combin

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-04 Thread Simon King
Hi Anne, On 4 Apr., 06:42, Anne Schilling wrote: > Ok. Will you open it? Or do you want me to do so? > I'd prefer if you do. Cheers, Simon -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combi

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-03 Thread Anne Schilling
Hi Simon, On 2 Apr., 08:50, Anne Schilling wrote: ... I think this makes sense; when the elements in the quotient are printed, there is also a choice which representative is printed. So going through the iterator, one would just expect to give one of the representatives. The result of the iter

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-03 Thread Simon King
Hi Anne, On 2 Apr., 08:50, Anne Schilling wrote: > ... > I think this makes sense; when the elements in the quotient are printed, > there is also a choice which representative is printed. So going through > the iterator, one would just expect to give one of the representatives. > The result of th

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-01 Thread Anne Schilling
Hi Simon, On 1 Apr., 00:09, Anne Schilling wrote: I have a question regarding the quotients. If I work in the free algebra sage: F = FreeAlgebra(QQ,3,'x',implementation='letterplace') sage: x = F.gens() sage: p=x[1]*x[0]+x[2]*x[2] I can iterate over the elements: sage: [w for w in p] [((0,

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-01 Thread Nicolas M. Thiery
On Fri, Apr 01, 2011 at 12:07:36AM -0700, Simon King wrote: > On 31 Mrz., 21:35, Simon King wrote: > > Once again, I forgot to include __init__.py in a patch. I will update > > it on  trac tomorrow. > > Done. I don't know why, but aparently mercurial will not include an > empty file in the patch.

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-04-01 Thread Simon King
Hi Anne, On 31 Mrz., 21:35, Simon King wrote: > Once again, I forgot to include __init__.py in a patch. I will update > it on  trac tomorrow. Done. I don't know why, but aparently mercurial will not include an empty file in the patch. So, I filled __init__.py with a comment. You can play with t

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-31 Thread Simon King
Hi Anne, On 1 Apr., 00:09, Anne Schilling wrote: > I have a question regarding the quotients. If I work in the free algebra > > sage: F = FreeAlgebra(QQ,3,'x',implementation='letterplace') > sage: x = F.gens() > sage: p=x[1]*x[0]+x[2]*x[2] > > I can iterate over the elements: > > sage: [w for w i

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-31 Thread Anne Schilling
Hi Simon, Thank you for your answers! I keep working with the combined patch trac7797-full_letterplace_wrapper.patch for now. I have a question regarding the quotients. If I work in the free algebra sage: F = FreeAlgebra(QQ,3,'x',implementation='letterplace') sage: x = F.gens() sage: p=x[1]*x

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-31 Thread Simon King
Here is the solution: Create an empty file __init__.py in .../sage/algebras/letterplace/, for examply with touch sage/algebras/letterplace/__init__.py (when you are in SAGE_ROOT/devel/sage/) Then, sage -br should do the trick. Once again, I forgot to include __init__.py in a patch. I will u

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-31 Thread Simon King
Hi Anne On 31 Mrz., 14:09, Anne Schilling wrote: > /Applications/sage-4.6.2/devel/sage-combinat/sage/algebras/letterplace/free_algebra_letterplace.pxd:15:72: > Name 'FreeAlgebraElement_letterplace' not declared in module > 'sage.algebras.letterplace.free_algebra_element_letterplace' I can repr

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-31 Thread Simon King
On 31 Mrz., 14:09, Anne Schilling wrote: > /Applications/sage-4.6.2/devel/sage-combinat/sage/algebras/letterplace/free_algebra_letterplace.pxd:15:72: > Name 'FreeAlgebraElement_letterplace' not declared in module > 'sage.algebras.letterplace.free_algebra_element_letterplace' On the other hand, i

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-31 Thread Simon King
Hi Anne, On 31 Mrz., 14:09, Anne Schilling wrote: > Hi Simon, > > Applying your two patches > > trac11068_nc_ideals_and_quotients.patch > trac7797-full_letterplace_wrapper_rel11068.patch > > in this order, I get the attached error for sage -b. Am I missing a patch? Do you also have the patch fro

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-29 Thread Simon King
Hi Nicolas, On 29 Mrz., 11:19, "Nicolas M. Thiery" wrote: > All good, as long as it plays smoothly with the patches posted on > #9944! Hm. I guess that it is better to post on #9944 rather than on #9138, then. Cheers, Simon -- You received this message because you are subscribed to the Google

Re: [sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-29 Thread Nicolas M. Thiery
On Tue, Mar 29, 2011 at 02:05:11AM -0700, Simon King wrote: > On 29 Mrz., 11:00, "Nicolas M. Thiery" > wrote: > > I am happy with the recycling of this ticket. Especially since we also > > have #9944: categories for polynomial rings. > > I guess that could be fixed as well. Currently I have > s

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-29 Thread Simon King
Hi Nicolas, On 29 Mrz., 11:00, "Nicolas M. Thiery" wrote: > I am happy with the recycling of this ticket. Especially since we also > have #9944: categories for polynomial rings. I guess that could be fixed as well. Currently I have sage: QQ['x'].category() Category of algebras over Rational