On 18 January 2024 18:21:00 GMT, Nils Bruin wrote:
>Since a while I've started getting notifications " Run failed: Build Docker
>images and push to DockerHub - develop". I don't recall asking for those or
>setting something up to trigger these workflows/builds. It looks like it's
>something
Since a while I've started getting notifications " Run failed: Build Docker
images and push to DockerHub - develop". I don't recall asking for those or
setting something up to trigger these workflows/builds. It looks like it's
something that's happening in my github account so I should be able t
On Wednesday 17 January 2024 at 23:51:05 UTC-8 Martin R wrote:
Over at https://github.com/sagemath/sage/pull/37033 I am hitting the
following question:
Is it possible to have a ring UndeterminedCoefficientRing(R) which, for
every functorial construction F(R) has pushout
F(UndeterminedCoefficie
On Wednesday, January 17, 2024 at 4:36:20 PM UTC Aurore Guillevic wrote:
Yes, my problem is solved. Indeed, it was caused by an old manual
installation of gmp, still present in /usr/local.
I ran make with --with-system-gmp=no to be sure that sage would re-build
its own gmp. Finally it worked.
On Thu, Jan 18, 2024 at 11:39 AM 'Ruchit Jagodara' via sage-devel
wrote:
>
> Actually, that won't work according to the implementation.
sorry, I don't understand what won't work.
Did you mean to ask a different question?
> Can you please take a look at the code I wrote (although I have not writt
Actually, that won't work according to the implementation. Can you please
take a look at the code I wrote (although I have not written it according
to codestyle of sage, yet. But I will do that when the code starts
working.), where minimum_generating_set is the main function?
Link-
https://g
