[sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2019-08-01 Thread Markus Wageringel
Hi David, my bad, I had forgotten to update the gist. I have just updated it, see [1]. There I used Singular (not libSingular), which usually should not make much of a difference for this kind of computation. However, note that there are some concerning speed issues with Singular/libSingular in

[sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2019-08-01 Thread David Bernal
Hi Markus, can you explain to us how did you modify this in Singular? I tried running your snippet with Cyclic7 and cancelled it after an hour of computation. On Friday, December 7, 2018 at 1:53:18 AM UTC-5, Markus Wageringel wrote: > > Am Donnerstag, 6. Dezember 2018 11:41:23 UTC+1 schrieb Bill

Re: [sage-devel] docker images "latest" and "develop" are old

2019-08-01 Thread Julian Rüth
Hi Markus, Sorry, I had missed this discussion initially. The credentials for docker hub are protected secrets in GitLab CI. They are only provided to protected branches and tags. All tags are protected so they were correctly uploaded to Docker Hub. However, as I wrote on another thread, the br

[sage-devel] Re: Possible to use current Sage version in travis-ci?

2019-08-01 Thread Julian Rüth
Hi Simon, > On Thursday, August 1, 2019 at 12:52:38 PM UTC+2, Simon King wrote: Is it possible to automatically go to the latest available tag? "latest" is the latest stable release of SageMath, and "develop" is the latest beta (see also the README at https://hub.docker.com/r/sagemath/sagemath

Re: [sage-devel] Sage under Cygwin64

2019-08-01 Thread Samuel Lelievre
Miguel, Installation options under Windows 10 include the following three: - activate Microsoft's "Windows Subsystem for Linux" (WSL); for that, provided you have admin rights on that computer, follow the official instructions at https://msdn.microsoft.com/en-us/commandline/wsl/install_gui

Re: [sage-devel] SPAM on trac from github users

2019-08-01 Thread Dima Pasechnik
On Thu, Aug 1, 2019 at 2:45 PM Frédéric Chapoton wrote: > The user gh-mohdazher has just open a spam-ticket on trac. I have nuked this > ticket. > > This is the second time in one month that we observe spamming behaviour from > github users. > > * How to avoid that ? In the previous case it was

[sage-devel] SPAM on trac from github users

2019-08-01 Thread Frédéric Chapoton
Hello, The user gh-mohdazher has just open a spam-ticket on trac. I have nuked this ticket. This is the second time in one month that we observe spamming behaviour from github users. * How to avoid that ? * Can we blacklist eternally these guys ? Who has the power to do that ? Frederic --

[sage-devel] Re: Possible to use current Sage version in travis-ci?

2019-08-01 Thread Simon King
Hi Markus, apparently our posts crossed. On 2019-08-01, Markus Wageringel wrote: > Usually, the latest beta should be available as sagemath/sagemath:develop > at DockerHub. However, for some reason this tag has not been updated in a > while, so it still points to 8.8.beta5. See also > https:/

[sage-devel] Re: Possible to use current Sage version in travis-ci?

2019-08-01 Thread Simon King
Hi Nathan, On 2019-08-01, Nathan Dunfield wrote: > Docker images with beta versions of Sage are available: > > https://hub.docker.com/r/sagemath/sagemath/tags Great, thank you! When applying a patch (from some closed-but-not-merged ticket) to the latest beta tag then things work fine, which prob

Re: [sage-devel] docker images "latest" and "develop" are old

2019-08-01 Thread Markus Wageringel
There also appears to be a problem with the credentials, causing the last step, pushing the image to DockerHub, to silently fail. For example, this is the log for the last run on the develop branch [1], which last ran for 8.8.rc1. $ sh .ci/push-dockerhub.sh sagemath + sh .ci/push-dockerhub.sh s

[sage-devel] Re: Possible to use current Sage version in travis-ci?

2019-08-01 Thread Markus Wageringel
Usually, the latest beta should be available as sagemath/sagemath:develop at DockerHub. However, for some reason this tag has not been updated in a while, so it still points to 8.8.beta5. See also https://groups.google.com/forum/#!topic/sage-devel/hHWlOluXtos. It is also possible to use the doc