Re: [sympy] Re: expressions containing unevaluated functions

2012-05-23 Thread krastanov.ste...@gmail.com
> I'd really like to see what the point of this is, because, for now, I'm > only seeing the complications caused by all the special cases and the > possibilities for unexpected interactions. > An example from the (upcoming) differential geometry module: p is a point with x=a and y=b rect is the

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread krastanov.ste...@gmail.com
>> >> And shamelessly hijacking the thread: are there any objections to >> `differential_geometry` for the module on which I am working? > > How about diffgeo, or diffgeometry? > diffgeometry sounds a bit better than the current one. I will probably use it. I was also amused by the option to call

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Aaron Meurer
On Wed, May 23, 2012 at 9:35 AM, krastanov.ste...@gmail.com wrote: > On 23 May 2012 17:25, Sergiu Ivanov wrote: >> Hello, >> >> I am trying to figure out what name to give to the new category theory >> module.  I have considered a number of possibilities: >> >> * ct -- this corresponds to the com

Re: [sympy] Re: expressions containing unevaluated functions

2012-05-23 Thread Ronan Lamy
Le samedi 19 mai 2012 à 17:53 +0200, krastanov.ste...@gmail.com a écrit : > Thanks, this discussion made many of the dark corners of sympy a bit > less frightening for me. I will try to play around with some of the > ideas/changes that were mentioned. > > Getting back to the issue from the first m

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Joachim Durchholz
Am 23.05.2012 17:45, schrieb Tom Bachmann: I agree ct is too short. Imho it shouldn't be too long either (because then I have difficulty thinking the module name in my head -- not sure if this explanation makes sense or is even relevant). Yes, it does make sense and yes, it is relevant. If some

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Joachim Durchholz
Am 23.05.2012 17:37, schrieb Chris Smith: This is ok, too. ntheory is used for 'numbertheory' so maybe ctheory could be used? That naming scheme will give "gtheory" for both group theory and game theory. For that reason, I consider "ntheory" a naming mistake best not repeated. -- You receive

Re: [sympy] method needs a home

2012-05-23 Thread Chris Smith
On Wed, May 23, 2012 at 9:26 PM, krastanov.ste...@gmail.com wrote: > I am sorry for not participating in the pull request discussions. > Maybe this was discussed, but why would you prefer this method instead > of: > > In [3]: (f(x,y)+1).subs(f, Lambda([x, y], x+y)) > Out[3]: x + y + 1 > > It seems

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Sergiu Ivanov
On Wed, May 23, 2012 at 6:45 PM, Tom Bachmann wrote: > > I have no strong opinion and I don't think it matters much either way. If we > come up with an ingenious choice later (before the first release, > obviously), renaming is always a possiblity. Sure. > My personal favorite would be categorie

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Sergiu Ivanov
On Wed, May 23, 2012 at 6:35 PM, krastanov.ste...@gmail.com wrote: > On 23 May 2012 17:25, Sergiu Ivanov wrote: >> >> * categorytheory -- the fairest and the easiest to read, but it might >>  be a bit too long; it's my favourite though. > > I would like an underscore there: category_theory I don

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Sergiu Ivanov
On Wed, May 23, 2012 at 6:37 PM, Chris Smith wrote: > >> * categories -- this seems to fit nicely with the nomenclature of >>  existing modules in SymPy (polys, series, integrals, matrices, >>  etc.), however, I am not sure as to the intuitiveness of this name >>  either; I wonder how easy it woul

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Tom Bachmann
Hi, I have no strong opinion and I don't think it matters much either way. If we come up with an ingenious choice later (before the first release, obviously), renaming is always a possiblity. I agree ct is too short. Imho it shouldn't be too long either (because then I have difficulty thinki

Re: [sympy] method needs a home

2012-05-23 Thread krastanov.ste...@gmail.com
I am sorry for not participating in the pull request discussions. Maybe this was discussed, but why would you prefer this method instead of: In [3]: (f(x,y)+1).subs(f, Lambda([x, y], x+y)) Out[3]: x + y + 1 It seems that this does the same thing with a slightly different syntax. Otherwise the `i

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread Chris Smith
> * categories -- this seems to fit nicely with the nomenclature of >  existing modules in SymPy (polys, series, integrals, matrices, >  etc.), however, I am not sure as to the intuitiveness of this name >  either; I wonder how easy it would be to confuse this name for >  something having to do wit

Re: [sympy] Name for Category Theory Module

2012-05-23 Thread krastanov.ste...@gmail.com
On 23 May 2012 17:25, Sergiu Ivanov wrote: > Hello, > > I am trying to figure out what name to give to the new category theory > module.  I have considered a number of possibilities: > > * ct -- this corresponds to the common abbreviation of "category >  theory" as CT, but I'm afraid is absolutely

Re: [sympy] method needs a home

2012-05-23 Thread Chris Smith
>> `f(x, y).foo(f(a, b), a +b) -> x + y` It replaces a generic function with an expression. So f(x,y) in the above is replaced with the sum of its arguments, regardless of what the arguments are. f(1,2) would be replaced with 3 and f(1, -x - y) would be replaced with 1 - x - y. (It does a little

[sympy] Name for Category Theory Module

2012-05-23 Thread Sergiu Ivanov
Hello, I am trying to figure out what name to give to the new category theory module. I have considered a number of possibilities: * ct -- this corresponds to the common abbreviation of "category theory" as CT, but I'm afraid is absolutely non-suggestive; * categories -- this seems to fit nic

Re: [sympy] method needs a home

2012-05-23 Thread Ronan Lamy
Le mercredi 23 mai 2012 à 01:45 -0700, smichr a écrit : > Pull request 1272 is languishing for lack of an agreeable location for > this functionality: > > > `f(x, y).foo(f(a, b), a +b) -> x + y` > > > Making this part of subs, rewrite, and replace has been voted down. If > it is to be a stand-a

Re: [sympy] GSoC Project Related Discussion CC-ed to the List -- OK?

2012-05-23 Thread Sergiu Ivanov
On Wed, May 23, 2012 at 1:40 AM, Aaron Meurer wrote: > > Absolutely.  The more discussion that happens publicly (i.e., on the > list, or the issue tracker/pull requests), the better, because then > the community will be involved in the project and can give any > additional input that they may have

Re: [sympy] method needs a home

2012-05-23 Thread Sergiu Ivanov
Hello, On Wed, May 23, 2012 at 11:45 AM, smichr wrote: > > Pull request 1272 is languishing for lack of an agreeable location for this > functionality: > > `f(x, y).foo(f(a, b), a +b) -> x + y` > > Making this part of subs, rewrite, and replace has been voted down. If it is > to be a stand-alone 

[sympy] the plotting module, review, bugfixes, etc. Was: dealing with complex values in plots

2012-05-23 Thread krastanov.ste...@gmail.com
I've got another pull request with nice new features against my branch for the new plotting module: https://github.com/Krastanov/sympy/pull/5 Feel free to discuss it and help with reviewing it. However it would be nice if all this goes into the official repo, so it is more visible. There are pro

[sympy] method needs a home

2012-05-23 Thread smichr
Pull request 1272 is languishing for lack of an agreeable location for this functionality: `f(x, y).foo(f(a, b), a +b) -> x + y` Making this part of subs, rewrite, and replace has been voted down. If it is to be a stand-alone method, are there suggestions for the name you would expect to use i