Re: [sage-devel] Re: GIT + release management

2013-07-03 Thread Robert Bradshaw
https://plus.google.com/115360165819500279592/posts/7A8QKtvo2V5 https://groups.google.com/forum/#!topic/sage-git/TRMb6FTEZMg https://groups.google.com/forum/#!topic/sage-git/kxXzaqsngmE On Wed, Jul 3, 2013 at 2:13 AM, Robert Pollak wrote: > > > On Saturday, March 30, 2013 6:00:41 AM UTC+1, Jeroen

[sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread anne1 . schilling
Hi Simon, I don't really like "magma algebra" or "magmatic algebra", but that's > mainly because > I never heard anyone using this notion before. I'd rather describe an > algebra as a > module over an appropriate operade than call it "magma algebra". > > What I'd prefer is very simple: Just s

[sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread Simon King
Hi! On 2013-07-03, anne1.schill...@gmail.com wrote: > MagmaticAlgebras or perhaps AlgebrasOverMagmas or Magma-Algebras (in analogy > to an > R-module) seems to be what you want? > See https://en.wikipedia.org/wiki/Magma_%28algebra%29 > > Otherwise, Travis' suggestion of GeneralAlgebras and Gener

Re: [sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread anne1 . schilling
On 7/3/13 6:21 AM, Nicolas M. Thiery wrote: Dear category fans, One of the features introduced by the category patch #10963 is a new category for algebras that are not necessarily associative nor unital. This is a call for suggestions and votes for a good name for it. - ``Algebras``: t

Re: [sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-03 Thread Volker Braun
On Wednesday, July 3, 2013 11:06:02 AM UTC-4, Ursula wrote: > So why doesn't TOPCOM install with Sage by default? > Its a relatively large package for relatively small feature (regularity testing of generated triangulations and finding triangulations that are not connected by flips to the regu

Re: [sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-03 Thread Ursula Whitcher
On 7/2/2013 1:51 PM, Volker Braun wrote: I agree that this is a usability wart... though really I think the whole idea of installing further components while Sage is running is a bad design choice. For example, if you end up modifying shared libraries that are currently mmaped then bad things wil

Re: [sage-devel] Re: Python 3 update?

2013-07-03 Thread Julien Puydt
Le 03/07/2013 17:01, Volker Braun a écrit : Do we have a wiki page with more up-to-date overview? If not it would be nice to create one... Or a trac ticket, if one wants to create small subtasks. Snark on #sagemath -- You received this message because you are subscribed to the Google Groups

[sage-devel] Re: Python 3 update?

2013-07-03 Thread Volker Braun
Do we have a wiki page with more up-to-date overview? If not it would be nice to create one... On Wednesday, July 3, 2013 10:50:39 AM UTC-4, kcrisman wrote: > > See http://wstein.org/edu/2012/1062/projects/final/miloshevich-nason/ for > now-fairly-old status update. Not that we don't have enou

Re: [sage-devel] Python 3 update?

2013-07-03 Thread Julien Puydt
Le 03/07/2013 16:50, kcrisman a écrit : See http://wstein.org/edu/2012/1062/projects/final/miloshevich-nason/ for now-fairly-old status update. Not that we don't have enough to worry about with a putative transition to git etc., but thought I'd ask whether this can be updated. For instance, Sym

[sage-devel] Python 3 update?

2013-07-03 Thread kcrisman
See http://wstein.org/edu/2012/1062/projects/final/miloshevich-nason/ for now-fairly-old status update. Not that we don't have enough to worry about with a putative transition to git etc., but thought I'd ask whether this can be updated. For instance, Sympy (or at least one of its tarballs) s

[sage-devel] Sage 5.11.beta3 and debian package: ptestlong results

2013-07-03 Thread Julien Puydt
Hi, while Felix spends his summer trying to modify sage's architecture for a better integration in distributions, I'm still playing with the little problems. My little script which makes sage think it compiled things while it really gets the system packages gives the following results: - i

[sage-devel] Re: Changes in Maxima behavior

2013-07-03 Thread kcrisman
On Friday, June 28, 2013 11:14:55 AM UTC-4, rjf wrote: > > > > On Friday, June 28, 2013 5:09:49 AM UTC-7, Joris Vankerschaver wrote: >> >> Hi all, >> > > > >> Is there something I can do to avoid this? > > > > I tried this in Maxima 5.25.1 and 5.28.02 > > You can avoid this problem by

Re: [sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread Julien Puydt
Le 03/07/2013 15:38, Nicolas M. Thiery a écrit : On Wed, Jul 03, 2013 at 03:21:34PM +0200, Nicolas M. Thiery wrote: One of the features introduced by the category patch #10963 is a new category for algebras that are not necessarily associative nor unital. This is a call for suggestions and votes

[sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread Nicolas M. Thiery
On Wed, Jul 03, 2013 at 06:47:12AM -0700, Travis Scrimshaw wrote: > For the category of non-unital rings, how about Rngs? (I'm half joking.) Actually that joke, for good or bad, is what's already been implemented in successively Axiom, MuPAD, and Sage :-) They even had Rigs. And Rgs. But he

[sage-devel] Re: Categories, axioms, C3, and startup time

2013-07-03 Thread Simon King
On 2013-07-03, Nicolas M. Thiery wrote: > On Fri, Jun 28, 2013 at 01:14:48PM +, Simon King wrote: >> Well, you need to construct polynomial rings if you want to >> construct finite fields (non-prime at least). I don't think there's a >> good way to avoid it. > > Sure. But do we -- and do w

[sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread Travis Scrimshaw
Hey Nicolas, For the category of non-unital rings, how about Rngs? (I'm half joking.) Somewhat more serious, GeneralAlgebras/GeneralRings? I think overall we should be consistent between rings and algebras. On the math side of things, doesn't a ring in general has to be distributive; if so, t

[sage-devel] Re: RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread Nicolas M. Thiery
On Wed, Jul 03, 2013 at 03:21:34PM +0200, Nicolas M. Thiery wrote: > One of the features introduced by the category patch #10963 is a new > category for algebras that are not necessarily associative nor unital. > This is a call for suggestions and votes for a good name for it. On a similar note: t

[sage-devel] RFC: a good name the category of algebras that are not necessarily associative nor unital

2013-07-03 Thread Nicolas M. Thiery
Dear category fans, One of the features introduced by the category patch #10963 is a new category for algebras that are not necessarily associative nor unital. This is a call for suggestions and votes for a good name for it. - ``Algebras``: that's wikipedia's choice [1]. However using thi

[sage-devel] Re: Help needed with a memory leak

2013-07-03 Thread Nathann Cohen
Ahaahhahah ! You are totally right ! I had totally forgotten things like '_', which I never use but returns the previous result:-) sage: def test(): : d = graphs.CompleteGraph(1000) : return 1 : sage: get_memory_usage() 1176.9765625 sage: [test() for x in range(10)]

Re: [sage-devel] New basis for an algebra

2013-07-03 Thread Nicolas M. Thiery
On Sun, Jun 30, 2013 at 04:52:18PM -0700, Matthieu Deneufchâtel wrote: >I try to implement the Poincare-Birkhoff-Witt basis of the free algebra. >I defined the elements of this basis and a function which gives the >expansion of an element of the free algebra on this basis; actually, it

Re: [sage-devel] Re: Categories, axioms, C3, and startup time

2013-07-03 Thread Nicolas M. Thiery
On Fri, Jun 28, 2013 at 01:14:48PM +, Simon King wrote: > Well, you need to construct polynomial rings if you want to > construct finite fields (non-prime at least). I don't think there's a > good way to avoid it. Sure. But do we -- and do we need to -- construct any finite field at startu

[sage-devel] Re: Help needed with a memory leak

2013-07-03 Thread Nils Bruin
On Wednesday, July 3, 2013 2:32:14 PM UTC+2, Nathann Cohen wrote: > > Hell everybody !!! > > There is a very ugly memory leak in Sage's graphs, and I have no idea of > how it should be hunted. It is (unfortunately) very easy to produce : > > sage: get_memory_usage() > 956.87890625 > sage

[sage-devel] Help needed with a memory leak

2013-07-03 Thread Nathann Cohen
Hell everybody !!! There is a very ugly memory leak in Sage's graphs, and I have no idea of how it should be hunted. It is (unfortunately) very easy to produce : sage: get_memory_usage() 956.87890625 sage: graphs.CompleteGraph(700) Complete graph: Graph on 700 vertices sage: get_memory_us

Re: [sage-devel] Re: The 2013 Spies Prize winner is...

2013-07-03 Thread Maarten Derickx
After all his hard and good work Jeroen definitely deservers this! Gefeliciteerd Jeroen! Le vendredi 28 juin 2013 12:47:31 UTC+2, Nicolas M. Thiéry a écrit : > > +lots on behalf of the Sage-Combinat community. It's been so helpful > to have someone super competent, timely, and rigorous like you!

[sage-devel] Re: GIT + release management

2013-07-03 Thread Robert Pollak
On Saturday, March 30, 2013 6:00:41 AM UTC+1, Jeroen Demeyer wrote: > > I'm here at the Sage-GIT workshop and it's very clear that the switch to > GIT is happening. > Sorry for jumping in late, but I have only recently started using Sage, and I might want to contribute some smaller patches in

Re: [sage-devel] Re: Sqrt simplification

2013-07-03 Thread Eric Gourgoulhon
Le mercredi 3 juillet 2013 01:07:35 UTC+2, rjf a écrit : > > > > Your statement then translates to RPBSRPN(x^2) = abs(x) . > But then if it ir R+-->R+, the abs() is unnecessary, and RPBSRPN(x^2) = > x. > > No, the abs is necessary: consider the following function: f : R --> R+, x |--> RPBS