On 2017-08-11, Richard_L wrote:
> That's a bit puzzling. In the Sage code, line 36 defines the manifold over
> the real field. That is supposed to be inherited by the chart in line 39:
>
> M = Manifold(1*3,'R^3',field='real',start_index=1)
> U = M.open_subset('U')
>
> Rho. = U.chart("r12:(0,+oo)
Strange... why the quasar patchbot was trying to download this!?
On 12/08/2017 00:44, Volker Braun wrote:
Maybe review https://trac.sagemath.org/ticket/22400 first? ;P
On Friday, August 11, 2017 at 10:58:57 PM UTC+2, vdelecroix wrote:
Got the following
[Errno 404] Not Found:
'//sagepad.org/s
Found local metadata for deformation-d05941b
Attempting to download package deformation-d05941b.tar.bz2 from mirrors
Downloading the Sage mirror list
Searching fastest mirror
185ms: http://files.sagemath.org/
2352ms: http://ftp.iitm.ac.in/sage/
WARNING [mirror_list|_rank_mirrors:136]: timed out
There is indeed a problem with checksums
$ cat build/pkgs/deformation/package-version.txt
d05941b
$ cat build/pkgs/deformation/checksums.ini
tarball=deformation-VERSION.tar.bz2
sha1=317fb76c884fa4b6b92ed0b171a0b9fdb3bdc90f
md5=e4af9b93ddc85ebb52d9fa1fedd75887
cksum=4134074975
$ sha1sum upstream/d
I've re-uploaded it...
On Saturday, August 12, 2017 at 9:53:00 AM UTC+2, vdelecroix wrote:
>
> There is indeed a problem with checksums
>
> $ cat build/pkgs/deformation/package-version.txt
> d05941b
> $ cat build/pkgs/deformation/checksums.ini
> tarball=deformation-VERSION.tar.bz2
> sha1=317f
seems to me that asking for the "sign" of b^(1/3) in the complex domain
is nonsense. There are 3 cube roots. Let q be one of them; it doesn't
matter which.
then - (1+sqrt(3)*i)*q/2are the other two. Yes, two. because there
are two sqrt(3).
If you cannot deal with all 3 of them in Sage, th
On 2017-08-12, rjf wrote:
> seems to me that asking for the "sign" of b^(1/3) in the complex domain
> is nonsense.
sign(c - (b*c)^(1/3)) actually was encountered when Maxima was trying to
find the sign of some other expression. When domain = complex,
SIGNDIFF-SPECIAL alternates between sign(c -
On Saturday, August 12, 2017 at 4:50:28 PM UTC-7, rjf wrote:
>
> seems to me that asking for the "sign" of b^(1/3) in the complex domain
> is nonsense. There are 3 cube roots. Let q be one of them; it doesn't
> matter which.
> then - (1+sqrt(3)*i)*q/2are the other two. Yes, two. because th
On 2017-08-12, rjf wrote:
> seems to me that asking for the "sign" of b^(1/3) in the complex domain
> is nonsense.
After thinking about this some more, I think maybe you're right --
SIGNDIFF-SPECIAL, which is doing the c^3 - b*c --> c - (b*c)^(1/3) that
leads into trouble, should maybe inhibit t