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
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
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
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
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.
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
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
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
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
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
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
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
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)
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
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
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
>
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:
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
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
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
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
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
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
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
24 matches
Mail list logo