Le 17/11/2015 08:20, Johan S. R. Nielsen a écrit :
> Cats on the keyboard are dangerous! My cat once ran over my keyboard
> while I was in Vim. The result: deleted all contents of the file, saved
> AND nuked the undo buffer!
>
> Thank goodness for version control...
>
And what about a mouse
Hi.
I noticed book is already there, but Author names were copy-pasted
from position above. This should be "Andrzej Giniewicz and Katarzyna
Zajączkowska" - not "Thorsten Theobald and Sadik Iliman". Also, in
title instead of "ę" there is "\ce" and instead of "ć" there is "ç".
And - the publication
Does anyone know javascript here? We have graph_editor() that works nicely
when starting from scratch. (But forgots labels when modifying existing
graph.)
But there is no way to draw a DIgraph, and it is a little irritating.
--
Jori Mäntysalo
>
> We do have common view that it should be possible to, for example, set
> shape of vertices one-by-one, as now we can set colors.
>
I don't think that it should be hard to do. With all plotting code,
however, you will deal with hundreds of line of codes, tens of
customization that walk on
See http://trac.sagemath.org/ticket/13827 , specially starting from
http://trac.sagemath.org/ticket/13827#comment:5
There is no common view of interface for graph plotting function(s). More
opinions are needed.
* * *
We do have common view that it should be possible to, for example, set
