[sage-devel] Re: possibly controversial question: "Can I create commercial software using SageMath?"

2016-08-22 Thread Robert Dodier
On 2016-08-20, Volker Braun wrote: > And, as you know, if there is any question about interpretation then > the court will almost certainly side with the interpretations written > previously by the FSF, so in practice the FSF's interpretation does > matter. I hadn't heard

[sage-devel] Re: daily WTF?

2016-08-22 Thread Robert Dodier
On 2016-08-20, Volker Braun wrote: > The many ways of implementing xor... > > Incidentally, if there is some global switch to return certificates instead > of booleans then the sum version is the correct one ;-) I don't understand this point, but it sounds interesting.

[sage-devel] Re: [Yet again] Sage's R vs system's R

2016-08-22 Thread kcrisman
> > Make R optional? (Nothing in Sage depends on it, except for the > interface to it, including Rpy2.) > > Gosh, R has been standard for*ever*, practically, and is often heavily advertised as a good reason to use Sage. There are certainly many who have been using them together (as

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread VulK
Hi All, thank you very much for all the inputs! > Breath-first search = Search & pray? ;-) > > (Possibly infinite apnoea can't be healthy.) /me fails :) > Well, one usually implements checkpoints for such things (continually > saving state to optionally resume later if interrupted). I am not

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread Sébastien Labbé
sage: RecursivelyEnumeratedSet? > See also http://doc.sagemath.org/html/en/reference/structure/sage/sets/recursively_enumerated_set.html If the structure of your set is a tree or forest, then you may be interested in using parallel computations on your structure provided by

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread Sébastien Labbé
Do you know about sage: RecursivelyEnumeratedSet? -- 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+unsubscr...@googlegroups.com. To post to this group,

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread Volker Braun
On Monday, August 22, 2016 at 8:27:28 PM UTC+2, Nils Bruin wrote: > > Iterators themselves are required to be "iterable", but in a strange way: > calling "iter" on an iterators gives you back an identical object! In > particular, if I is an iterator then calling next(I) and next(iter(I)) >

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread Nils Bruin
On Monday, August 22, 2016 at 10:53:23 AM UTC-7, Volker Braun wrote: > IMHO iterators must not have global state, which is really just a > corollary to "global variables are bad". In particular, iterating twice > simultaneously should work. With the exception of input iterators of > course,

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread Volker Braun
On Monday, August 22, 2016 at 6:12:50 PM UTC+2, Nils Bruin wrote: > > Perhaps it's cleaner to hand out iterator objects that are kept track of > in the relevant loop. That iterator would then just die whenever the frames > of a KeyboardInterrupt exception are discarded and the flawed state >

[sage-devel] Re: [sage-combinat-devel] Multiple versions of SageMath's documentation online

2016-08-22 Thread Samuel Lelievre
Le lundi 22 août 2016 16:53:56 UTC+2, Nicolas M. Thiery a écrit : > >Dear Samuel, Frédéric, Harald, > > Sorry for the slow answer; I am just back from vacations. > > Thanks Sam, Frédéric for the pings! > > On Thu, Aug 11, 2016 at 10:46:08PM +0200, Samuel Lelièvre wrote: > >This

Re: [sage-combinat-devel] Multiple versions of SageMath's documentation online

2016-08-22 Thread Samuel Lelievre
Le lundi 22 août 2016 16:53:56 UTC+2, Nicolas M. Thiery a écrit : > >Dear Samuel, Frédéric, Harald, > > Sorry for the slow answer; I am just back from vacations. > > Thanks Sam, Frédéric for the pings! > > On Thu, Aug 11, 2016 at 10:46:08PM +0200, Samuel Lelièvre wrote: > >This

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread Nils Bruin
On Monday, August 22, 2016 at 12:42:26 AM UTC-7, Salvatore Stella wrote: > > At the moment the init function of :class:`ClusterAlgebra` calls > :meth:`reset_exploring_iterator` that creates an instance of :meth:`seeds` > and > stores it in an internal var ``_sd_iter``. Are you really getting

[sage-devel] Re: Iterators and KeyboardInterrupt

2016-08-22 Thread leif
VulK wrote: > Dear All, > in a ticket (#21254) I recently created with Dylan Rupel I need to explore a > (possibly) infinite n-regular tree in a breath-first search. Breath-first search = Search & pray? ;-) (Possibly infinite apnoea can't be healthy.) > The way it is > implemented right now is

[sage-combinat-devel] Re: Multiple versions of SageMath's documentation online

2016-08-22 Thread leif
Nicolas M. Thiery wrote: > On Thu, Aug 11, 2016 at 10:46:08PM +0200, Samuel Lelièvre wrote: >>(SNIP) >>In addition, it seems that the version of the documentation at >>[10]combinat.sagemath.org/doc corresponds to SageMath 6.3 >>, while SageMath is now at 7.3. >>Combinat people,

[sage-devel] Re: [sage-combinat-devel] Multiple versions of SageMath's documentation online

2016-08-22 Thread Nicolas M. Thiery
Dear Samuel, Frédéric, Harald, Sorry for the slow answer; I am just back from vacations. Thanks Sam, Frédéric for the pings! On Thu, Aug 11, 2016 at 10:46:08PM +0200, Samuel Lelièvre wrote: >This post on sage-devel >

Re: [sage-combinat-devel] Multiple versions of SageMath's documentation online

2016-08-22 Thread Nicolas M. Thiery
Dear Samuel, Frédéric, Harald, Sorry for the slow answer; I am just back from vacations. Thanks Sam, Frédéric for the pings! On Thu, Aug 11, 2016 at 10:46:08PM +0200, Samuel Lelièvre wrote: >This post on sage-devel >

[sage-devel] Re: [Yet again] Sage's R vs system's R

2016-08-22 Thread leif
Emmanuel Charpentier wrote: > From Trac#20523 : > > Replying to [comment:9 tscrim]: >> I get a failure trying to install this on Cygwin32 with >> {{{ >> checking for lzma_version_number in -llzma... no >> configure: error: "liblzma library and headers are

[sage-devel] Re: Good news on the Windows/Cygwin front

2016-08-22 Thread Emmanuel Charpentier
Could you have a look at Trac#20523 ? This trivial update bangs on a missing dependency on Cygwin... Le lundi 22 août 2016 11:19:38 UTC+2, Erik Bray a écrit : > > Hi all, > > Here is the result of my latest run of `./sage -t -a` on Cygwin 64-bit: > > $

[sage-devel] Re: [Yet again] Sage's R vs system's R

2016-08-22 Thread Emmanuel Charpentier
>From Trac#20523 : Replying to [comment:9 tscrim]: > I get a failure trying to install this on Cygwin32 with > {{{ > checking for lzma_version_number in -llzma... no > configure: error: "liblzma library and headers are required" > Error configuring R. >

Re: [sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-22 Thread Erik Bray
On Sun, Aug 21, 2016 at 8:14 PM, Dima Pasechnik wrote: > > > On Sunday, August 21, 2016 at 5:23:28 PM UTC+1, Volker Braun wrote: >> >> This should be fixed now >> > Thanks much, Volker! > I installed usual ubuntu updates from standard debs, but as you pointed out > to me there

Re: [sage-devel] Re: Dealing with libc math differences

2016-08-22 Thread Erik Bray
On Sat, Aug 20, 2016 at 3:47 PM, leif wrote: > Erik Bray wrote: >> On Fri, Aug 19, 2016 at 11:00 AM, Erik Bray wrote: >>> On Wed, Aug 10, 2016 at 1:38 PM, Erik Bray wrote: Hi all, Sorry if this has been discussed

[sage-devel] Good news on the Windows/Cygwin front

2016-08-22 Thread Erik Bray
Hi all, Here is the result of my latest run of `./sage -t -a` on Cygwin 64-bit: $ ./sage -t -a Running doctests with ID 2016-08-19-18-59-29-d5e4434f. Git branch: cygwin Using --optional=mpir,python2,sage Doctesting entire Sage library. Doctesting 3444 files. ...

[sage-devel] Iterators and KeyboardInterrupt

2016-08-22 Thread VulK
Dear All, in a ticket (#21254) I recently created with Dylan Rupel I need to explore a (possibly) infinite n-regular tree in a breath-first search. The way it is implemented right now is via iterators. I am writing to you to ask if there is a preferred way to deal with user interaction and