Re: [sympy] Re: numerical evaluation of internal function

2012-04-07 Thread Chris Smith
On Sat, Apr 7, 2012 at 1:04 AM, vweber wrote: > Dear All > > I get a mixed behavior for the nfloat procedure with exponents, in the > equation one exponent is evaluated and the other not. Can you take a look at https://github.com/sympy/sympy/pull/1223 where this is now corrected. /c -- You rec

Re: [sympy] GSoC 2012 Proposal: Step by Step Manipulation

2012-04-07 Thread Sergiu Ivanov
On Fri, Apr 6, 2012 at 11:22 PM, Ashwini Oruganti wrot> > Well, it's too late to change it in the proposal now :-| That's right, but you still can comment on your proposal(s), which does give a bit of flexibility. (At least that's what I hope for :-) Sergiu -- You received this message becaus

[sympy] Email problems

2012-04-07 Thread Tom Bachmann
Hi all, sorry to bother you with such trivialities. It seems that the web.de email system is experiencing some difficulties. I couldn't find anything on the web about this, but for me it manifests in severely delayed or outright lost (hard to tell the difference) messages. As of this morning

Re: [sympy] Help in pushing Commits!

2012-04-07 Thread Sergiu Ivanov
On Fri, Apr 6, 2012 at 7:24 PM, Tim Lahey wrote: > On Fri, Apr 6, 2012 at 12:21 PM, Chris Smith wrote: >> >> >> On Fri, Apr 6, 2012 at 9:53 PM, Saurabh Jha wrote: >>> >>> I made some changes and tried to push the commits, but it returned an >>> error-- >>> >>> error: The requested URL returned e

[sympy] Re: Sympy.physics.mechanics and its approach

2012-04-07 Thread Gilbert gede
Inertia dyadics are fixed to the frame they are originally defined in; you cannot rotate a fixed vector/dyadic in its frame, but you can rotate the frame they are fixed in relative to another frame. What you can then do, for both dyadics and vectors, is express them in this different rotated frame.

Re: [sympy] Re: Improvement and bug fixing work for SymPy Bot

2012-04-07 Thread Joachim Durchholz
Am 07.04.2012 07:31, schrieb Aaron Meurer: @Aaron: Are external dependencies okay for Bot? Yeah, though the ability to just download and run the bot is nice. Given Python's dynamic nature, it should be possible to detect whether the logging library is available, and to log to stdout if it is

Re: [sympy] Re: Improvement and bug fixing work for SymPy Bot

2012-04-07 Thread Sergiu Ivanov
On Sat, Apr 7, 2012 at 12:50 PM, Joachim Durchholz wrote: > Am 07.04.2012 07:31, schrieb Aaron Meurer: >>> >>> @Aaron: Are external dependencies okay for Bot? >> >> >> Yeah, though the ability to just download and run the bot is nice. > > > Given Python's dynamic nature, it should be possible to d

Re: [sympy] Merging GSoC code sooner this year

2012-04-07 Thread Tom Bachmann
On 04.04.2012 20:37, Tom Bachmann wrote: (Maybe I'm wrong and we should really be doing five-line pull requests as long as they are atomic. I'm not experienced enough with git to say for sure whether that's idiocy or actually the best approach. Maybe somebody should try this out.) The real pro

Re: [sympy] sympy/polys/domains: Ring vs. RingDomain

2012-04-07 Thread Sergiu Ivanov
On Thu, Apr 5, 2012 at 1:13 AM, Aaron Meurer wrote: >> I'm not sure I see your point here; indeed, an ideal of ring with a >> multiplicative unit need not necessarily include the unit, but this >> doesn't make it less of a ring. > > Yes it does.  It makes it not a ring at all.  A ring is a set wit

Re: [sympy] sympy/polys/domains: Ring vs. RingDomain

2012-04-07 Thread Sergiu Ivanov
On Thu, Apr 5, 2012 at 1:20 AM, Tom Bachmann wrote: > > In my background "ring" is synonymous with commutative unital ring. As far > as I know there is quite a large body of mathematics (mainly related to > representation theory) devoted to the study of non-commutative rings as > well. Yeah, I ca

Re: [sympy] sympy/polys/domains: Ring vs. RingDomain

2012-04-07 Thread Sergiu Ivanov
On Thu, Apr 5, 2012 at 2:04 AM, Aaron Meurer wrote: > > So an ideal class structure would represent this.  CommutativeRing > would derive from Ring, but not all subclasses of Ring would be > subclasses of CommutativeRing. Totally right. > It may make sense to have Ring derive > from Ideal.  If y

Re: [sympy] sympy/polys/domains: Ring vs. RingDomain

2012-04-07 Thread Tom Bachmann
Therefore, if a ring is unital by definition, I maintain that no inheritance should be introduced between Ring and Ideal. I concur. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsub

Re: [sympy] sympy/polys/domains: Ring vs. RingDomain

2012-04-07 Thread Sergiu Ivanov
Hello, On Wed, Apr 4, 2012 at 10:26 PM, Mateusz Paprocki wrote: > > I'm joining this discussion a little late, but let me clarify a few things. > If you look into the source code of polys, you'll see that sometimes I use > a*b (+, - (both), *, **), and sometimes domain.op(a, b) (e.g. QQ.quo(a, b)

Re: [sympy] Merging GSoC code sooner this year

2012-04-07 Thread Sergiu Ivanov
On Sat, Apr 7, 2012 at 1:16 PM, Tom Bachmann wrote: > On 04.04.2012 20:37, Tom Bachmann wrote: >>> >    update_branch latest_and_greatest my_pull_request) > > #!/usr/bin/zsh > > echo "Updating $2 from $1." > > comment=$(git log $2 | head -5 | tail -1) > newrev=$(git log $1 | grep -B 4 -F "$comment

Re: [sympy] Merging GSoC code sooner this year

2012-04-07 Thread Tom Bachmann
On 07.04.2012 13:22, Sergiu Ivanov wrote: On Sat, Apr 7, 2012 at 1:16 PM, Tom Bachmann wrote: On 04.04.2012 20:37, Tom Bachmann wrote: update_branch latest_and_greatest my_pull_request) #!/usr/bin/zsh echo "Updating $2 from $1." comment=$(git log $2 | head -5 | tail -1) newrev=$(git l

Re: [sympy] Merging GSoC code sooner this year

2012-04-07 Thread Sergiu Ivanov
On Sat, Apr 7, 2012 at 3:30 PM, Tom Bachmann wrote: > On 07.04.2012 13:22, Sergiu Ivanov wrote: >> >> On Sat, Apr 7, 2012 at 1:16 PM, Tom Bachmann  wrote: >>> >>> On 04.04.2012 20:37, Tom Bachmann wrote: > > >>>    update_branch latest_and_greatest my_pull_request) >>> >>> #!/usr/bin/zsh >

Re: [sympy] GSoC 2012: Category Theory Module

2012-04-07 Thread Tom Bachmann
On 07.04.2012 16:38, Sergiu Ivanov wrote: On Fri, Apr 6, 2012 at 12:00 PM, Tom Bachmann wrote: Let me first say that it would be quite amazing to have sympy code to check commutativity of diagrams. However, I think there is a reason that "no" computer programs for category theory exist so far:

Re: [sympy] GSoC 2012: Category Theory Module

2012-04-07 Thread Sergiu Ivanov
On Sat, Apr 7, 2012 at 7:45 PM, Tom Bachmann wrote: > On 07.04.2012 16:38, Sergiu Ivanov wrote: >> >> On Fri, Apr 6, 2012 at 12:00 PM, Tom Bachmann  wrote: >>> >>> >>> Let me first say that it would be quite amazing to have sympy code to >>> check >>> commutativity of diagrams. However, I think th

Re: [sympy] GSoC 2012: Category Theory Module

2012-04-07 Thread Tom Bachmann
Hm. It seems my perspective on category theory is indeed skewed towards applications. I have seen some horrendous diagrams, but only in settings where the desired method of proof is diagram chasing. I see. Diagram chasing is a very cool thing, I would be very glad to give it a try at implementi

Re: [sympy] GSoC 2012: Category Theory Module

2012-04-07 Thread Sergiu Ivanov
On Sat, Apr 7, 2012 at 9:12 PM, Tom Bachmann wrote: >>> Hm. It seems my perspective on category theory is indeed skewed towards >>> applications. I have seen some horrendous diagrams, but only in settings >>> where the desired method of proof is diagram chasing. >> >> >> I see. >> >> Diagram chasi

Re: [sympy] GSoC 2012 Proposal: Step by Step Manipulation

2012-04-07 Thread Ronan Lamy
Le vendredi 06 avril 2012 à 22:01 +0200, Joachim Durchholz a écrit : > Am 05.04.2012 22:18, schrieb Ronan Lamy: > > To know > > whether something should be a function or an object, you need to ask > > yourself whether it's an action or a thing. Here, we clearly have > > actions, because the names

Re: [sympy] GSoC 2012: Category Theory Module

2012-04-07 Thread Ronan Lamy
Le samedi 07 avril 2012 à 21:55 +0300, Sergiu Ivanov a écrit : > On Sat, Apr 7, 2012 at 9:12 PM, Tom Bachmann wrote: > >>> Hm. It seems my perspective on category theory is indeed skewed towards > >>> applications. I have seen some horrendous diagrams, but only in settings > >>> where the desired

Re: [sympy] Email problems

2012-04-07 Thread Aaron Meurer
So should we use your gmail address from now on? I don't personally know of anything that you missed (for the group(s), just check the archives). Aaron Meurer On Sat, Apr 7, 2012 at 2:42 AM, Tom Bachmann wrote: > Hi all, > > sorry to bother you with such trivialities. It seems that the web.de e

[sympy] GSoC Proposal : SymPy for Android

2012-04-07 Thread Rishav Das
I submitted a proposal for GSoC at the google-melange site. However, I've detailed the proposal a little more at : https://github.com/sympy/sympy/wiki/GSoC-2012-Application--Rishav-Binayak-Das--Mobile-Application-for-SymPy If possible, may I be given a chance to make the same modifications at the