Re: [sage-devel] Re: missing docker images of sagemath

2021-01-20 Thread julian...@fsfe.org
Hi Dima, the patching that fails is only meant to make the docker image work in a local developer setup where you have your sage source tree (with changes and untracked files) mounted into the docker container. In the CI context the line that reads `git status --porcelain` in the Dockerfile sho

[sage-devel] Re: is_invertible() too slow comparing to rank() over GF(2^k)

2021-01-20 Thread 'Travis Scrimshaw' via sage-devel
It would be good to implement this directly in the Matrix_gf2e_dense class rather than do anything in the generic implementation. However, you have to be a little careful for the case when it is a 0x0 matrix. Best, Travis On Thursday, January 21, 2021 at 5:48:40 AM UTC+10 dmo...@deductivepress

[sage-devel] Re: missing docker images of sagemath

2021-01-20 Thread julian...@fsfe.org
Hi Frédéric, docker pull source-clean is expected to fail. We should probably add a message there that explains that. It says `docker pul ... || true` in the script there. On Sunday, October 25, 2020 at 1:52:48 PM UTC+1 Frédéric Chapoton wrote: > Build failure comes from not being able to pull

[sage-devel] Re: is_invertible() too slow comparing to rank() over GF(2^k)

2021-01-20 Thread dmo...@deductivepress.ca
Speeding up by a factor of 4500 in a common use case sounds like a good idea. Please open a ticket. (Or do you want me to do it?) On Tuesday, January 19, 2021 at 11:05:58 PM UTC-7 a.simpl...@gmail.com wrote: > I am running Sagemath 9.1 on macOS 10.15.17 > but I think this issue is more about ma

Re: [sage-devel] Use SymEngine as a symbolic mathematics backend for SAGE

2021-01-20 Thread parisse
As the author of a CAS, I can state that you need much more than 2 weeks to learn a programming language to make a CAS, and much much more if you want to be fast. Life is short, therefore choose your programming language carefully! I don't regret my choice for C (+ C++ STL and operator redefini

Re: [sage-devel] Use SymEngine as a symbolic mathematics backend for SAGE

2021-01-20 Thread rjf
I think you have to figure that there is a difference in productivity of people who just learned Python in high school and would really like to write a computer algebra system versus people who know more mathematics, are comfortable spending 2 weeks learning lisp, spending ?? (weeks? months?) st

Re: [sage-devel] Use SymEngine as a symbolic mathematics backend for SAGE

2021-01-20 Thread kcrisman
> > As to the question of replacing backends, there is already a ticket (which > I cannot find right now, my apologies) which started the process of seeing > what doctests would fail if we went to Sympy as default. Presumably > something similar could be done with this engine (I don't know if

Re: [sage-devel] Use SymEngine as a symbolic mathematics backend for SAGE

2021-01-20 Thread kcrisman
> Just a suggestion: if you want to improve the speed of symbolic >> mathematics as done by Maxima, and you are no longer insisting on the use >> of Python, why not write in Lisp, and make Maxima faster? > > > oh well - anyway, it is fun to watch C/C++ programmers discovering the > wrath of

Re: [sage-devel] Use SymEngine as a symbolic mathematics backend for SAGE

2021-01-20 Thread Dima Pasechnik
On Wed, 20 Jan 2021, 01:06 rjf, wrote: > Just a suggestion: if you want to improve the speed of symbolic > mathematics as done by Maxima, and you are no longer insisting on the use > of Python, why not write in Lisp, and make Maxima faster? oh well - anyway, it is fun to watch C/C++ programme