On 2017-12-11 18:35, Simon King wrote:
Well, we want to mix in P.category().element_class (an abstract class)
into whatever P prescribes for its elements. So, P.element_class
should be a class whose mro also contains abstract element classes
defined in the category.
What I did not say is that th
On Monday, December 11, 2017 at 6:27:27 AM UTC-5, Dima Pasechnik wrote:
>
>
>
> On Monday, December 11, 2017 at 9:56:17 AM UTC, Sarfo wrote:
>>
>> I noticed the sage notebook and jupyter servers still run in the
>> background after i have exited and closed all notebooks and the browser.
>>
>
>
On Sunday, December 10, 2017 at 4:54:03 PM UTC-5, Michael Frey wrote:
>
> It appears that diskimage still has the
> tmp-sage-8.1-OSX_10.13.2_x86_64.app.dmg
> file open. You can find this with "sudo lsof |fgrep tmp-sage-8.1".
> Killing disk image allows the "hdiutil convert -format UDBZ -o
>
Hi Jeroen,
On 2017-12-11, Jeroen Demeyer wrote:
> On 2017-12-11 13:31, Simon King wrote:
>> Except if the basic functionality refers to category stuff. Element
>> creation does!
>
> Can you elaborate on this? In the case where a Parent has an
> element_class attribute, why should element creatio
On 2017-12-11 13:31, Simon King wrote:
Except if the basic functionality refers to category stuff. Element
creation does!
Can you elaborate on this? In the case where a Parent has an
element_class attribute, why should element creation involve categories?
I agree that it should still be *pos
On Monday, December 11, 2017 at 11:56:28 AM UTC, Jori Mäntysalo wrote:
>
> On Mon, 11 Dec 2017, Jori Mantysalo wrote:
>
> > But there is something wrong with those settings. I must test against a
> known
> > good server.
>
> ...and now it works on a test machine. I must still test that on rea
Hi Jeroen,
On 2017-12-11, Jeroen Demeyer wrote:
> On 2017-12-10 22:29, Nicolas M. Thiery wrote:
>> As far as I remember, it's stipulated that any Parent should be in
>> Sets.
>
> I don't think that this is stipulated somewhere.
I think I stated it in the thematic tutorial on "how to implement ne
On 2017-12-10 22:29, Nicolas M. Thiery wrote:
As far as I remember, it's stipulated that any Parent should be in
Sets.
I don't think that this is stipulated somewhere. I also feel that this
shouldn't be a hard requirement. I think that the low-level basic stuff
(I consider creating elements a
On Mon, 11 Dec 2017, Jori Mantysalo wrote:
But there is something wrong with those settings. I must test against a known
good server.
...and now it works on a test machine. I must still test that on real
server, where I had to say pip uninstall, pip install and sage -b to get
ldap settings t
On Monday, December 11, 2017 at 9:56:17 AM UTC, Sarfo wrote:
>
> I noticed the sage notebook and jupyter servers still run in the
> background after i have exited and closed all notebooks and the browser.
>
Do you mean a jupyter notebook whn you say "sage notebook"?
> Please may I know how
On Sun, 10 Dec 2017, Dima Pasechnik wrote:
On my installation, thes files don't exist:
$ ls local/lib/python2.7/site-packages/ldap/
__init__.py __init__.pyc mock.py mock.pyc server.py server.pyc
Confusingly, pip also has a package called python-ldap; if I do
./sage --pip install python-ld
I noticed the sage notebook and jupyter servers still run in the background
after i have exited and closed all notebooks and the browser. Please may I
know how to shut them down without having to manually kill those processes
in the terminal. (I launch the notebook interface with an executable
12 matches
Mail list logo
