Thank you,
there is a last one in the test suite when running TP17-sol.cas
Code : Tout sélectionner
usr/include/c++/12/bits/stl_vector.h:1123: std::vector<_Tp, _Alloc>::reference std::vector<_Tp, _Alloc>::operator[](size_type) [with _Tp = long long int; _Alloc = std::allocator<long long int>; reference = long long int&; size_type = long unsigned int]: Assertion '__n < this->size()' failed.
Thread 15 "icas" received signal SIGABRT, Aborted.
[Switching to Thread 0x7fffb97fa640 (LWP 83814)]
0x00007ffff4e8ec0c in __pthread_kill_implementation () from /lib64/libc.so.6
Missing separate debuginfos, use: dnf debuginfo-install bzip2-libs-1.0.8-11.fc36.x86_64 cddlib-0.94m-3.fc36.x86_64 cliquer-libs-1.22-3.fc36.x86_64 cocoalib-0.99800-1.fc36.x86_64 cyrus-sasl-lib-2.1.27-18.fc36.x86_64 elfutils-libelf-0.188-3.fc36.x86_64 expat-2.5.0-1.fc36.x86_64 flexiblas-netlib-3.2.1-1.fc36.x86_64 flexiblas-openblas-openmp-3.2.1-1.fc36.x86_64 fltk-1.3.8-2.fc36.x86_64 fontconfig-2.14.1-2.fc36.x86_64 freetype-2.12.1-2.fc36.x86_64 gf2x-1.3.0-6.fc36.x86_64 glib2-2.72.3-1.fc36.x86_64 glibc-2.35-21.fc36.x86_64 glpk-5.0-4.fc36.x86_64 gmp-6.2.1-2.fc36.x86_64 gmp-c++-6.2.1-2.fc36.x86_64 gmp-ecm-libs-7.0.4-17.fc36.x86_64 graphite2-1.3.14-9.fc36.x86_64 gsl-2.6-6.fc36.x86_64 harfbuzz-4.0.0-2.fc36.x86_64 keyutils-libs-1.6.1-4.fc36.x86_64 krb5-libs-1.19.2-12.fc36.x86_64 libX11-1.7.3.1-2.fc36.x86_64 libX11-xcb-1.7.3.1-2.fc36.x86_64 libXau-1.0.9-8.fc36.x86_64 libXcursor-1.2.0-7.fc36.x86_64 libXext-1.3.4-8.fc36.x86_64 libXfixes-6.0.0-3.fc36.x86_64 libXft-2.3.4-2.fc36.x86_64 libXrandr-1.5.2-8.fc36.x86_64 libXrender-0.9.10-16.fc36.x86_64 libao-1.2.0-22.fc36.x86_64 libbrotli-1.0.9-7.fc36.x86_64 libcom_err-1.46.5-2.fc36.x86_64 libcurl-7.82.0-12.fc36.x86_64 libffi-3.4.2-8.fc36.x86_64 libfrobby-0.9.0-25.fc36.x86_64 libgcc-12.2.1-4.fc36.x86_64 libgfan-0.6.2-13.fc36.x86_64 libgfortran-12.2.1-4.fc36.x86_64 libglvnd-glx-1.4.0-4.fc36.x86_64 libgomp-12.2.1-4.fc36.x86_64 libidn2-2.3.4-1.fc36.x86_64 libjpeg-turbo-2.1.2-2.fc36.x86_64 libnauty-2.7.4-1.fc36.x86_64 libnghttp2-1.51.0-1.fc36.x86_64 libpng-1.6.37-12.fc36.x86_64 libpsl-0.21.1-5.fc36.x86_64 libquadmath-12.2.1-4.fc36.x86_64 libselinux-3.3-4.fc36.x86_64 libssh-0.9.6-4.fc36.x86_64 libstdc++-12.2.1-4.fc36.x86_64 libunistring-1.0-1.fc36.x86_64 libxcb-1.13.1-9.fc36.x86_64 libxcrypt-4.4.33-4.fc36.x86_64 libxshmfence-1.3-10.fc36.x86_64 mesa-dri-drivers-22.1.7-1.fc36.x86_64 mesa-libglapi-22.1.7-1.fc36.x86_64 mpfi-1.5.4-1.fc36.x86_64 mpfr-4.1.0-9.fc36.x86_64 ncurses-libs-6.2-9.20210508.fc36.x86_64 ntl-11.5.1-3.fc36.x86_64 openblas-openmp-0.3.19-3.fc36.x86_64 openldap-2.6.3-1.fc36.x86_64 openssl-libs-3.0.5-2.fc36.x86_64 pcre-8.45-1.fc36.1.x86_64 readline-8.2-2.fc36.x86_64 suitesparse-5.10.1-2.fc36.x86_64 vulkan-loader-1.3.204.0-1.fc36.x86_64 xz-libs-5.2.5-9.fc36.x86_64 zlib-1.2.11-33.fc36.x86_64
(gdb) bt
#0 0x00007ffff4e8ec0c in __pthread_kill_implementation () from /lib64/libc.so.6
#1 0x00007ffff4e3e986 in raise () from /lib64/libc.so.6
#2 0x00007ffff4e287f4 in abort () from /lib64/libc.so.6
#3 0x00007ffff52d7da0 in std::__glibcxx_assert_fail(char const*, int, char const*, char const*) ()
from /lib64/libstdc++.so.6
#4 0x00007ffff69ba56f in std::vector<long long, std::allocator<long long> >::operator[] (this=0x7fffb97e7270, __n=9)
at /usr/include/c++/12/bits/stl_vector.h:1123
#5 0x00007ffff6bcd493 in giac::smallmodrref_upper (N=std::vector of length 2, capacity 2 = {...}, l=0, lmax=2, c=0,
cmax=9, modulo=535316269) at vecteur.cc:8282
#6 0x00007ffff6ff8c69 in giac::zf4mod<giac::tdeg_t11> (res=..., G=std::vector of length 4, capacity 4 = {...},
env=535316269, B=std::vector of length 2, capacity 2 = {...}, permuBptr=@0x7fffb97e7b80: 0x7fff9c0b9eb0,
f4buchbergerv=..., learning=true, learned_position=@0x7fffb97e78d0: 0, pairs_reducing_to_zero=0x7fffb97e83b0,
f4buchberger_info=std::vector of length 1, capacity 1024 = {...}, f4buchberger_info_position=@0x7fffb97e78d4: 0,
recomputeR=false, age=1, multimodular=true, parallel=1, interreduce=0) at cocoa.cc:12378
#7 0x00007ffff6f928f8 in giac::in_zgbasis<giac::tdeg_t11> (resmod=..., ressize=4,
G=std::vector of length 4, capacity 4 = {...}, env=535316269, totdeg=true,
pairs_reducing_to_zero=0x7fffb97e83b0, f4buchberger_info=std::vector of length 1, capacity 1024 = {...},
recomputeR=false, eliminate_flag=false, multimodular=true, parallel=1, interred=true) at cocoa.cc:13169
#8 0x00007ffff6f3701b in giac::zgbasisrur<giac::tdeg_t11> (res8=..., resmod=...,
G=std::vector of length 4, capacity 4 = {...}, env=535316269, totdeg=true,
pairs_reducing_to_zero=0x7fffb97e83b0, f4buchberger_info=std::vector of length 1, capacity 1024 = {...},
recomputeR=false, convertpoly8=false, eliminate_flag=false, multimodular=true, parallel=1, interred=true,
rurinzgbasis=@0x7fffb97e8038: 0, rurv=..., rurs=..., rurlm=..., rurlmmodradical=..., rurgblmptr=0x7fffb97e87b0,
rurlmptr=0x7fffb97e8730) at cocoa.cc:13375
#9 0x00007ffff6f309b4 in giac::in_mod_gbasis<giac::tdeg_t11> (res=..., modularcheck=false, zdata=true,
rur=@0x7fffb97edff8: 1, contextptr=0x7fffffffd6f0, gbasis_par=..., gbasis_logz_age=0) at cocoa.cc:15273
(gdb) f 5
#5 0x00007ffff6bcd493 in giac::smallmodrref_upper (N=std::vector of length 2, capacity 2 = {...}, l=0, lmax=2, c=0,
cmax=9, modulo=535316269) at vecteur.cc:8282
8282 longlong * ptr= &buffer[C],*ptrend=&buffer[cmax]-4;
(gdb) p cmax
$1 = 9
(gdb) p buffer
$2 = std::vector of length 9, capacity 9 = {1, -21168063, 0, 206820931, 71328779, -2017049, 218771579, 16114079,
57360739}
may be: &buffer[cmax-4] ?
NB: In TP11 the pari_isprime(p,1) output has changed from pari, it is now just answering 1 instead of a certificate.
so the output shoud be updated:
Code : Tout sélectionner
[fred@fedora check]$ diff TP11-sol.cas.out1~ TP11-sol.cas.out1
13c13
< matrix[[2,7,1],[3,2,1],[389,2,1],[733,2,1],[156904374622257604823879982847602392900751802349981470895277241,2,matrix[[2,13,1],[3,3,1],[5,2,1],[7,2,1],[56467,2,1],[6553084925887974620811527,2,matrix[[2,5,1],[19,2,1],[71,2,1],[126823,2,1]]]]]],
---
> 1,