Ask Your Question

Eric Gaul's profile - activity

2016-04-20 21:10:11 +0200 received badge  Taxonomist
2015-04-07 17:51:37 +0200 received badge  Notable Question (source)
2015-04-07 17:51:37 +0200 received badge  Popular Question (source)
2014-01-16 11:48:38 +0200 received badge  Editor (source)
2014-01-16 11:48:08 +0200 asked a question Command to get current user of the notebook ?

The only command I found :

user = DATA.split('/home/sageservice/nbfiles.sagenb/home/')[0].split('sage_notebook.sagenb/home/')[1].split('/')[0];

parses a path to the current worksheet and returns the user which owns the current worksheet. This name may be different of the current user, in the case of a shared worksheet. The username I am looking for is in fact the one that is displayed on the top line of the screen...

2013-10-21 08:43:27 +0200 asked a question Problem outputting inequalities

The following code :

x, y, z = var('x, y, z')
x < y < z

outputs :

x < y

but the "< z" seems to be taken into account, as in :

x, y, z = var('x, y, z')
x = 1; y = 2; z = 0 
x < y < z

which prints "False".

Analogous behavior with :

x, y, z = var('x, y, z')
# x = 1; y = 0; z = 0;
x < y or x < z

Is there a way to make Sage prints the entire expression ? It seems like a bug when printing expression containing multiple inequalities.

2013-09-25 11:22:45 +0200 commented question Can you "stop publishing" a previously published worksheet?

I had a related problem by publishing a worksheet that was accessible by the url 'https://<srv_address>/home/pub/13', then deleting the worksheet and emptying the trash. The worksheet stayed among the published documents, and was "owned" by 'pub'. I had no mean to remove it by the notebook menus or commands. Publishing a worksheet created a new directory named '13' in a directory named 'pub' in the directory structure of the notebook ('/home/sagemath/.sage/sage_notebook.sagenb/home/__store__/3/3a/3a2/3a21/pub/13' in my installation). Recursively removing '13' from 'pub' succeeded to remove the worksheet from the list of published documents, but only temporarily. The file comes back in the list of 'published worksheet' after a while. Someone knows how to definitely remove it?