==31448== Memcheck, a memory error detector
==31448== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==31448== Using Valgrind-3.16.1 and LibVEX; rerun with -h for copyright info
==31448== Command: ./icas eliminate([((C-B)/(C-A))/((B-A)/(B-C))-t1,((A-B)/(A-D))/((A-D)/(A-C))-t2,((A-D)/(B-C))^2-t3],[A,B,C,D])
==31448== 
// Using locale /usr/share/locale/
// fr_FR.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 1
==31448== Invalid read of size 8
==31448==    at 0x401D704: strncmp (strcmp.S:175)
==31448==    by 0x400604D: is_dst (dl-load.c:209)
==31448==    by 0x4008566: _dl_dst_count (dl-load.c:246)
==31448==    by 0x4008757: expand_dynamic_string_token (dl-load.c:388)
==31448==    by 0x40088D1: fillin_rpath.isra.0 (dl-load.c:460)
==31448==    by 0x4008BE1: decompose_rpath (dl-load.c:631)
==31448==    by 0x4009745: cache_rpath (dl-load.c:673)
==31448==    by 0x4009745: cache_rpath (dl-load.c:654)
==31448==    by 0x4009745: _dl_map_object (dl-load.c:2074)
==31448==    by 0x400DDC0: openaux (dl-deps.c:64)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x400E138: _dl_map_object_deps (dl-deps.c:248)
==31448==    by 0x4013DAA: dl_open_worker (dl-open.c:571)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==  Address 0x9c638c9 is 9 bytes inside a block of size 15 alloc'd
==31448==    at 0x483877F: malloc (vg_replace_malloc.c:307)
==31448==    by 0x401C26A: strdup (strdup.c:42)
==31448==    by 0x4008B74: decompose_rpath (dl-load.c:606)
==31448==    by 0x4009745: cache_rpath (dl-load.c:673)
==31448==    by 0x4009745: cache_rpath (dl-load.c:654)
==31448==    by 0x4009745: _dl_map_object (dl-load.c:2074)
==31448==    by 0x400DDC0: openaux (dl-deps.c:64)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x400E138: _dl_map_object_deps (dl-deps.c:248)
==31448==    by 0x4013DAA: dl_open_worker (dl-open.c:571)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x40138F9: _dl_open (dl-open.c:837)
==31448==    by 0x4E68257: dlopen_doit (dlopen.c:66)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448== 
==31448== Invalid read of size 8
==31448==    at 0x401D704: strncmp (strcmp.S:175)
==31448==    by 0x400604D: is_dst (dl-load.c:209)
==31448==    by 0x400861E: _dl_dst_substitute (dl-load.c:288)
==31448==    by 0x40088D1: fillin_rpath.isra.0 (dl-load.c:460)
==31448==    by 0x4008BE1: decompose_rpath (dl-load.c:631)
==31448==    by 0x4009745: cache_rpath (dl-load.c:673)
==31448==    by 0x4009745: cache_rpath (dl-load.c:654)
==31448==    by 0x4009745: _dl_map_object (dl-load.c:2074)
==31448==    by 0x400DDC0: openaux (dl-deps.c:64)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x400E138: _dl_map_object_deps (dl-deps.c:248)
==31448==    by 0x4013DAA: dl_open_worker (dl-open.c:571)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x40138F9: _dl_open (dl-open.c:837)
==31448==  Address 0x9c638c9 is 9 bytes inside a block of size 15 alloc'd
==31448==    at 0x483877F: malloc (vg_replace_malloc.c:307)
==31448==    by 0x401C26A: strdup (strdup.c:42)
==31448==    by 0x4008B74: decompose_rpath (dl-load.c:606)
==31448==    by 0x4009745: cache_rpath (dl-load.c:673)
==31448==    by 0x4009745: cache_rpath (dl-load.c:654)
==31448==    by 0x4009745: _dl_map_object (dl-load.c:2074)
==31448==    by 0x400DDC0: openaux (dl-deps.c:64)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x400E138: _dl_map_object_deps (dl-deps.c:248)
==31448==    by 0x4013DAA: dl_open_worker (dl-open.c:571)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448==    by 0x40138F9: _dl_open (dl-open.c:837)
==31448==    by 0x4E68257: dlopen_doit (dlopen.c:66)
==31448==    by 0x6C09B4F: _dl_catch_exception (dl-error-skeleton.c:208)
==31448== 
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
// Giac share root-directory:/usr/share/giac/
// Non determinisitic Groebner basis algorithm over the rationals. Error probability is less than 1e-07 et est estimée etre plus petite que 10^-18. Utilisez proba_epsilon:=0 pour un résultat certifie, attention cela prend plus de temps.

Temps mis pour l'évaluation: 1.1
[t1*t2*t3+1]
// Time 1.19
// Total time 1.19
==31448== 
==31448== HEAP SUMMARY:
==31448==     in use at exit: 7,059,164 bytes in 39,685 blocks
==31448==   total heap usage: 165,756 allocs, 126,071 frees, 31,123,952 bytes allocated
==31448== 
==31448== LEAK SUMMARY:
==31448==    definitely lost: 46,209 bytes in 2,142 blocks
==31448==    indirectly lost: 402,721 bytes in 1,831 blocks
==31448==      possibly lost: 30,528 bytes in 114 blocks
==31448==    still reachable: 6,579,706 bytes in 35,598 blocks
==31448==                       of which reachable via heuristic:
==31448==                         newarray           : 31,992 bytes in 1 blocks
==31448==         suppressed: 0 bytes in 0 blocks
==31448== Rerun with --leak-check=full to see details of leaked memory
==31448== 
==31448== For lists of detected and suppressed errors, rerun with: -s
==31448== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
