[sage-devel] Re: Cross-type comparisons

On Sunday, December 18, 2016 at 10:58:42 AM UTC+1, Marc Mezzarobba wrote: > > Thank you for you comments. > > Kwankyu Lee wrote: > > (1) "x != y" should behave always and exactly as "not (x == y)" > > This is difficult to achieve. > For example, in interval arithmetic, one usually expects

Re: [sage-devel] Re: trac is down

works for me, too On Sunday, December 18, 2016 at 11:55:31 PM UTC+1, William wrote: > > The trac website is up for me and my uptimerobot monitor hasn't shown any > downtime. > > On Sun, Dec 18, 2016 at 2:17 PM Maxie Schmidt > wrote: > >> The trac server ssh and website are

Re: [sage-devel] Re: trac is down

The server has been down for me since yesterday afternoon. I'm getting connection timed out messages over ssh and from my web browser. On Dec 18, 2016 4:55 PM, "William Stein" wrote: The trac website is up for me and my uptimerobot monitor hasn't shown any downtime. On Sun,

Re: [sage-devel] Re: trac is down

The trac website is up for me and my uptimerobot monitor hasn't shown any downtime. On Sun, Dec 18, 2016 at 2:17 PM Maxie Schmidt wrote: > The trac server ssh and website are still down when I check them as well. > > > On Sunday, December 18, 2016 at 8:06:38 AM UTC-6, Ralf

[sage-devel] Re: trac is down

The trac server ssh and website are still down when I check them as well. On Sunday, December 18, 2016 at 8:06:38 AM UTC-6, Ralf Stephan wrote: > > Site unreachable. Maybe that causes the SSH key problem in another thread > as well. > -- You received this message because you are subscribed to

[sage-devel] Re: Problems Authenticating to Trac Server with Public Key

On Sunday, December 18, 2016 at 7:30:16 PM UTC+1, Maxie Schmidt wrote: > > The trac server and website are down right now for me as well. Here is the > output of "ssh -vvv myuse...@trac.sagemath.org " from > yesterday: > Thats to be expected, you don't have a unix user account on trac. Only

[sage-devel] Re: Problems Authenticating to Trac Server with Public Key

The trac server and website are down right now for me as well. Here is the output of "ssh -vvv myusern...@trac.sagemath.org" from yesterday: OpenSSH_7.2p2 Ubuntu-4ubuntu2.1, OpenSSL 1.0.2g 1 Mar 2016 debug1: Reading configuration data /etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19:

Re: [sage-devel] trac is down

On Sun, Dec 18, 2016 at 06:06:38AM -0800, Ralf Stephan wrote: > Site unreachable. Maybe that causes the SSH key problem in another thread > as well. The website works for me. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To

[sage-devel] trac is down

Site unreachable. Maybe that causes the SSH key problem in another thread as well. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to

[sage-devel] Re: Problems Authenticating to Trac Server with Public Key

ssh-add -l will list your key only if you previously added it with ssh-add. I have such a command in my .bashrc and it asks for the password once per login. I also find that the ssh commands you gave do give me a Permission denied as well so I think that is unrelated. Saturday, December 17, 2016

Re: [sage-devel] Re: Cross-type comparisons

Hi, On Sun, Dec 18, 2016 at 10:58:26AM +0100, Marc Mezzarobba wrote: [...] > In other words: the choice has been made, long ago, to have ==/!= in > Sage stand for "semantic" comparison of mathematical objects rather than > "syntactic" comparison of data structures. I don't think it was the >

[sage-devel] Re: Cross-type comparisons

Thank you for you comments. Kwankyu Lee wrote: > (1) "x != y" should behave always and exactly as "not (x == y)" This is difficult to achieve. For example, in interval arithmetic, one usually expects a == b to return True iff a and b are equal point intervals, and a != b to return True iff a

[sage-devel] Re: Problems Authenticating to Trac Server with Public Key

Can you run ssh -vv g...@trac.sagemath.org info and look through the debug info? On Saturday, December 17, 2016 at 7:27:21 PM UTC+1, Maxie Schmidt wrote: > > Hello. > > I have an account on and have uploaded my local id_rsa.pub key in the sage > math trac server web interface. The command