Re: [sage-devel] Definite Integral wrong

2020-08-06 Thread rjf
I suppose you could have some function like RPSqrt, for realpositivesqrt which maps from non-negative reals to non-negative reals. It would be an error to type RPSqrt(x) unless x were guaranteed to be oretty much explicitly in [0,oo]. Sqrt(x^2) under some conditions might be considered RPSqrt(

[sage-devel] Jupyter-related tickets need help

2020-08-06 Thread Matthias Koeppe
#30124 (System information, spkg-configure for Jupyter "notebook" package and dependencies) https://trac.sagemath.org/ticket/30124 #30123 (Repackage Sage's cropped threejs as a pip-installable package jupyter-threejs-minimal) https://trac.sagemath.org/ticket/30123 #30298 (Rewrite jupyter kernel

[sage-devel] inconsistencies when computing eigenvectors over a number field and over QQbar

2020-08-06 Thread Paul Nelson
Hello, I'm using SAGE 8.9 via CoCalc. Calling eigenvectors_right() on a matrix m with entries in the number field Q(i) returns some vectors with entries in Q(i), others with entries in QQbar (see example below). I would have expected that applying change_ring(QQbar) to such vectors would prod

Re: [sage-devel] Definite Integral wrong

2020-08-06 Thread kcrisman
On Thursday, August 6, 2020 at 4:07:11 AM UTC-4 Markus Wageringel wrote: > Even if there are two possible choices, the result of the definite > integral should be ±8, not 0. It is rather strange to pick the positive > square root for half the integral and then (discontinuously) the negative >

Re: [sage-devel] Definite Integral wrong

2020-08-06 Thread Markus Wageringel
Even if there are two possible choices, the result of the definite integral should be ±8, not 0. It is rather strange to pick the positive square root for half the integral and then (discontinuously) the negative one for the other half. There is a ticket for exactly this integral, by the way: