It looks like a permissions error on that file. Does the user you're
running Sage as have permission to open '/home/knsam/.sage/sage_
notebook.sagenb/home/admin/history.pickle'? What does
ls -l /home/knsam/.sage/sage_notebook.sagenb/home/admin/history.pickle
report?
David
On Sun, Dec 16, 2012 a
Hi sage-devel,
I was using symbolic inequalities because I was lazy to do them by hand. It
works well for multiplication and addition :
sage: 10 * (x > 100)
10*x > 1000
sage: 10 + (x > 100)
x + 10 > 110
But not for multiplication by a negative number :
sage: - (x > 100)
-x
Hey Sebastien,
But not for multiplication by a negative number :
>
> sage: - (x > 100)
> -x > -100
>
> Do you consider this to be a bug? I would prefer the answer "-x < -100" to
> preserve the space of solutions. Do you?
>
>
The result is not what I would expect. However, I will let some
On Mon, Dec 17, 2012 at 5:32 PM, Travis Scrimshaw wrote:
> Hey Sebastien,
>
> But not for multiplication by a negative number :
>>
>> sage: - (x > 100)
>> -x > -100
>>
>> Do you consider this to be a bug? I would prefer the answer "-x < -100"
>> to preserve the space of solutions. Do you?
>>
>>
>
On Mon, Dec 17, 2012 at 6:10 PM, Benjamin Jones
wrote:
>
>
> On Mon, Dec 17, 2012 at 5:32 PM, Travis Scrimshaw wrote:
>>
>> Hey Sebastien,
>>
>>> But not for multiplication by a negative number :
>>>
>>> sage: - (x > 100)
>>> -x > -100
>>>
>>> Do you consider this to be a bug? I would prefer the
Oh, yeah! I don't have permission to that file (as knsam!):
-rwx-- 1 root root 18931 Dec 13 18:09
/home/knsam/.sage/sage_notebook.sagenb/home/admin/history.pickle
But, how do I fix this, chmod?
On Tue, Dec 18, 2012 at 1:58 AM, David Roe wrote:
> ls -l /home/knsam/.sage/sage_notebook.sagenb
Yeah. You should chmod or chown the whole .sage directory.
David
On Mon, Dec 17, 2012 at 10:27 PM, Kannappan Sampath wrote:
> Oh, yeah! I don't have permission to that file (as knsam!):
>
> -rwx-- 1 root root 18931 Dec 13 18:09
> /home/knsam/.sage/sage_notebook.sagenb/home/admin/history.pic
Done! But, I think the installation procedure must take care of this but I
cannot be sure whether every one feels that way.
On Tue, Dec 18, 2012 at 8:59 AM, David Roe wrote:
> Yeah. You should chmod or chown the whole .sage directory.
> David
>
>
> On Mon, Dec 17, 2012 at 10:27 PM, Kannappan S
On 12/18/2012 10:10 AM, Benjamin Jones wrote:
if y > 0 is true,
is x*(y > 0) true or false?
Why is this kind of operation (+,-,*, etc) distributive over comparison
operators? Is this distributive operation well defined in general, maybe
according to some theory?
--
You received this message
Hi
It looks like you are running the PPA version. One upgrade (5.1 -> 5.4)
caused a problem by creating a few root-owned files (update-manager did not
honour DOT_SAGE, so we added HOME afterwards as well).
It may have created two or three files as root in the process. You can get
rid of them with
On Mon, Dec 17, 2012 at 9:32 PM, P Purkayastha wrote:
> On 12/18/2012 10:10 AM, Benjamin Jones wrote:
>
>> if y > 0 is true,
>> is x*(y > 0) true or false?
>>
>
> Why is this kind of operation (+,-,*, etc) distributive over comparison
> operators? Is this distributive operation well defined in ge
11 matches
Mail list logo
