[Debian-science-sagemath] 62 failed tests and classification of remaining failures

[Ximin Luo]

Everything seems to be fine, link wise [1]. It is the RDF test that fails:

sage: Polyhedron(point_list)
A 3-dimensional polyhedron in RDF^3 defined as the convex hull of 14 vertices

and the QQ test passes. However sage 7.3 defines:

class Polyhedron_RDF_cdd(Polyhedron_cdd, Polyhedron_RDF):
    _cdd_executable = 'cdd_both_reps'

Would it be appropriate to change this to cdd_both_reps_gmp? Not sure why the test passes in vanilla sage though (or does it)...

X

[1]
$ ldd -r /usr/bin/cdd_both_reps_gmp 
	linux-vdso.so.1 (0x00007ffc896ba000)
	libcddgmp.so.0 => /usr/lib/x86_64-linux-gnu/libcddgmp.so.0 (0x00007fd52f55a000)
	libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007fd52f2d7000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fd52ef35000)
	/lib64/ld-linux-x86-64.so.2 (0x000055df3fd9e000)
$ ldd -r /usr/bin/cdd_both_reps
	linux-vdso.so.1 (0x00007ffeaeb7a000)
	libcdd.so.0 => /usr/lib/x86_64-linux-gnu/libcdd.so.0 (0x00007f15d83fd000)
	libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f15d817a000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f15d7dd8000)
	/lib64/ld-linux-x86-64.so.2 (0x000055c949fc7000)

François Bissey:
> Hum, would need to check that the _gmp executable of cddlib are actually
> linked to libcddgmp.so and ultimately to libgmp.so.
> 
> François
> 
>> On 8/10/2016, at 23:08, Ximin Luo <infinity0 at debian.org> wrote:
>>
>> # One case of "Error: Numerical inconsistency is found.  Use the GMP exact arithmetic."
>> sage -t --long src/sage/geometry/polyhedron/backend_cdd.py  # 7 doctests failed
> 
> 
> _______________________________________________
> Debian-science-sagemath mailing list
> Debian-science-sagemath at lists.alioth.debian.org
> https://lists.alioth.debian.org/mailman/listinfo/debian-science-sagemath
> 


-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git