Mock Version: 2.15 Mock Version: 2.15 Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/f37-build-672600-75461/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1658275200 Wrote: /builddir/build/SRPMS/cohomCalg-0.32-11.fc37.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/f37-build-672600-75461/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1658275200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Faetx8 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cohomCalg-0.32 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cohomCalg-0.32.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cohomCalg-0.32 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cd /builddir/build/BUILD + cd cohomCalg-0.32 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cohomCalg-test.tar.xz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + rm -f bin/cohomcalg.exe bin/cohomcalg32.exe manual.pdf + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.698pKQ + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd cohomCalg-0.32 + /usr/bin/make -O -j4 V=1 VERBOSE=1 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/main.cpp -o build/main.o g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/secondarycohom.cpp -o build/secondarycohom.o source/secondarycohom.cpp: In member function 'bool CSecondaryCohomology::TraverseSRpowerset(const CInternalData&)': source/secondarycohom.cpp:429:17: warning: unused variable 'stat' [-Wunused-variable] 429 | thread *stat = new thread(StatusOutputWorker, wstat); | ^~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/tokenizer.cpp -o build/tokenizer.o g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/Matop.c -o build/polylib_mod/Matop.o source/polylib_mod/Matop.c: In function 'void ExchangeColumns(Matrix*, int, int)': source/polylib_mod/Matop.c:94:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 94 | for (i = 0; i < M->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'void PutRowLast(Matrix*, int)': source/polylib_mod/Matop.c:193:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 193 | if (Rownumber == X->NbRows-1) | ~~~~~~~~~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:197:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 197 | for (j = 0; j < X->NbColumns; j++) { | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:199:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 199 | for (i = Rownumber; i < X->NbRows-1; i++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'void PutRowFirst(Matrix*, int)': source/polylib_mod/Matop.c:216:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 216 | for (j = 0; j < X->NbColumns; j++) { | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'void PutColumnFirst(Matrix*, int)': source/polylib_mod/Matop.c:236:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 236 | for (i = 0; i < X->NbRows; i ++) { | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'void PutColumnLast(Matrix*, int)': source/polylib_mod/Matop.c:255:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 255 | for (i = 0; i < X->NbRows; i++) { | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c:257:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 257 | for (j = Columnnumber; j < X->NbColumns-1; j++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'Matrix* AddANullRow(Matrix*)': source/polylib_mod/Matop.c:274:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 274 | for (i = 0;i < M->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c:275:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 275 | for (j = 0; j < M->NbColumns ; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:277:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 277 | for (j = 0; j < M->NbColumns; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'Matrix* AddANullColumn(Matrix*)': source/polylib_mod/Matop.c:292:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 292 | for (i = 0;i < M->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c:293:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 293 | for (j = 0; j < M->NbColumns ; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:295:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 295 | for (i = 0; i < M->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'Matrix* RemoveRow(Matrix*, int)': source/polylib_mod/Matop.c:312:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 312 | for ( ; i < Result->NbRows; i++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'Matrix* RemoveNColumns(Matrix*, int, int)': source/polylib_mod/Matop.c:329:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 329 | for (i = 0; i < Result->NbRows; i++) { | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'Matrix* RemoveColumn(Matrix*, int)': source/polylib_mod/Matop.c:347:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 347 | for (i = 0; i < Result->NbRows; i++) { | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Matop.c: In function 'int findHermiteBasis(Matrix*, Matrix**)': source/polylib_mod/Matop.c:377:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 377 | for (i = 0; i < H->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c:381:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 381 | if (i == H->NbRows) { | ~~^~~~~~~~~~~~ source/polylib_mod/Matop.c:394:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 394 | for (i = 0; i < C->NbRows; i++) { | ~~^~~~~~~~~~~ source/polylib_mod/Matop.c:395:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 395 | for (j = 0; j < C->NbColumns; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:398:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 398 | if (j == C->NbColumns) { | ~~^~~~~~~~~~~~~~~ source/polylib_mod/Matop.c:415:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 415 | for (i = 0; i < C->NbColumns; i ++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:418:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 418 | while((curVect < C->NbRows) && (curDim < dim)) { | ~~~~~~~~^~~~~~~~~~~ source/polylib_mod/Matop.c:421:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 421 | for (i = 0; i < C->NbColumns; i++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Matop.c:427:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 427 | if (rank == temp->NbRows) { | ~~~~~^~~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/Lattice.c -o build/polylib_mod/Lattice.o source/polylib_mod/Lattice.c: In function 'Bool sameAffinepart(Lattice*, Lattice*)': source/polylib_mod/Lattice.c:85:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 85 | for (i = 0; i < A->NbRows; i ++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool isEmptyLattice(Lattice*)': source/polylib_mod/Lattice.c:129:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 129 | for (i = 0; i < A->NbRows-1; i ++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:130:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 130 | for (j = 0; j < A->NbColumns-1; j ++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool isLinear(Lattice*)': source/polylib_mod/Lattice.c:156:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 156 | for (i = 0; i < A->NbRows-1; i ++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'void AffineSmith(Lattice*, Lattice**, Lattice**, Lattice**)': source/polylib_mod/Lattice.c:261:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 261 | for (i = 0; i < U[0]->NbRows-1; i ++) { | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:263:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 263 | for(j = 0; j < U[0]->NbColumns-1; j ++) { | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:269:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 269 | for(i = 0; i < U[0]->NbRows-1; i ++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:271:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 271 | for(i = 0; i < Diag[0]->NbRows-1; i ++) { | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool sameLattice(Lattice*, Lattice*)': source/polylib_mod/Lattice.c:387:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 387 | for (i = 0 ; i < A->NbRows; i ++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c:388:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 388 | for (j = 0; j < A->NbColumns; j ++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Lattice* ChangeLatticeDimension(Lattice*, int)': source/polylib_mod/Lattice.c:415:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 415 | if(dimension <= A->NbRows) { | ~~~~~~~~~~^~~~~~~~~~~~ source/polylib_mod/Lattice.c:421:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 421 | for (i = 0; i < A->NbRows; i ++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c:422:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 422 | for (j = 0; j < A->NbRows; j ++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Lattice* ExtractLinearPart(Lattice*)': source/polylib_mod/Lattice.c:444:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 444 | for (i = 0; i < A->NbRows-1; i ++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:445:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 445 | for (j = 0; j < A->NbColumns-1; j ++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Lattice* LatticeIntersection(Lattice*, Lattice*)': source/polylib_mod/Lattice.c:539:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 539 | for (i = 0; i < result->NbRows-1; i ++) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:540:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 540 | for (j = 0; j < result->NbColumns-1; j ++) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:543:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 543 | for (i = 0; i < result->NbRows-1; i ++) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:545:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 545 | for (i = 0; i < result->NbColumns-1; i ++) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Matrix* MakeDioEqforInter(Lattice*, Lattice*)': source/polylib_mod/Lattice.c:583:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 583 | for (i = 0; i < Dio->NbRows; i ++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:584:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 584 | for (j = 0; j < Dio->NbColumns; j ++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:587:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 587 | for (i = 0; i < A->NbRows-1; i++) { | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:591:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 591 | for (i = 0; i < A->NbRows-1 ; i ++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:592:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 592 | for (j = 0; j < A->NbRows-1; j ++) { | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:599:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 599 | for (i = 0; i < A->NbColumns-1; i++) { | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'LatticeUnion* Lattice2LatticeUnion(Lattice*, Lattice*)': source/polylib_mod/Lattice.c:714:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 714 | for (i = 0; i < DiagMatrix->NbRows; i++) | ~~^~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:720:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 720 | for(i = 0; i < newB1->NbRows - 1;i ++) | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:680:31: warning: unused variable 'tempHead' [-Wunused-variable] 680 | LatticeUnion *Head = NULL, *tempHead = NULL; | ^~~~~~~~ source/polylib_mod/Lattice.c: In function 'LatticeUnion* LatticeDifference(Lattice*, Lattice*)': source/polylib_mod/Lattice.c:816:12: warning: unused variable 'Intersection' [-Wunused-variable] 816 | Lattice *Intersection = NULL; | ^~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'LatticeUnion* SplitLattice(Lattice*, Lattice*, Matrix*)': source/polylib_mod/Lattice.c:909:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 909 | for (i = 0; i < C->NbRows ; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'void AddLattice(LatticeUnion*, Matrix*, Matrix*, int, int)': source/polylib_mod/Lattice.c:945:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 945 | for (j = 0; j < B2->NbRows; j++) { | ~~^~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'int FindHermiteBasisofDomain(Polyhedron*, Matrix**)': source/polylib_mod/Lattice.c:1021:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1021 | for (i = 0; i < A->NbRays; i++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c:1032:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1032 | for(i = 0; i < A->NbRays; i++) { | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c:1034:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1034 | for(j = 1; j < A->Dimension+2; j++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1040:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1040 | for (j = 1; j < A->Dimension+1; j++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1047:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1047 | for(i = 0; i < vert->NbRows; i ++) { | ~~^~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1049:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1049 | for (j = 0; j < vert->NbColumns-1; j++) | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1059:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1059 | for (i = 1; i < temp->NbRows; i++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1060:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1060 | for (j = 0; j < temp->NbColumns ; j++) | ~~^~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1068:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1068 | for (i = 0; i < vert->NbRows; i++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1069:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1069 | for (j = 0 ;j < result->NbColumns ; j++) | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1072:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1072 | for (; iNbRows; i++) | ~^~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1073:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1073 | for (j = 0; j < result->NbColumns; j++) | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1094:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1094 | for(j = 0; j < Newmat->NbColumns ; j++) | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1099:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1099 | for (i = 0; i < Image->NbConstraints; i ++) | ~~^~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1101:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1101 | for (j = 1; jDimension+2; j ++) | ~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1106:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1106 | for (i = 0; i < Newmat->NbColumns-1; i++) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Lattice* LatticePreimage(Lattice*, Matrix*)': source/polylib_mod/Lattice.c:1192:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1192 | for (i = 0; i < G->NbRows-1; i++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1193:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1193 | for (j = 0; j < G->NbColumns-1; j++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1196:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1196 | for (i = 0;i < G->NbRows-1; i++) | ~~^~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1197:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1197 | for (j = 0; j < L->NbColumns-1; j++) { | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1202:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1202 | for (i = 0; i < Dio->NbRows-1; i++) { | ~~^~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1207:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1207 | for (i = 0; i < Dio->NbColumns-1; i++) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1217:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1217 | for (i = 0; i < Result->NbRows-1; i++) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1218:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1218 | for (j = 0; j < Result->NbColumns-1; j++) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1221:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1221 | for (i = 0; i < Result->NbRows-1; i ++) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c:1225:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1225 | for (i = 0; i < Result->NbColumns-1; i ++) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool IsLattice(Matrix*)': source/polylib_mod/Lattice.c:1256:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1256 | for (i = 0; i < m->NbColumns-1; i++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool isfulldim(Matrix*)': source/polylib_mod/Lattice.c:1279:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1279 | for (i = 0; i < h->NbRows; i ++) | ~~^~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool Simplify(LatticeUnion**, LatticeUnion**, int)': source/polylib_mod/Lattice.c:1313:27: warning: variable 'num' set but not used [-Wunused-but-set-variable] 1313 | Value cnt, aux, k, fac, num, tmp, foobar; | ^~~ source/polylib_mod/Lattice.c: In function 'int LinearPartCompare(const void*, const void*)': source/polylib_mod/Lattice.c:1437:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1437 | for (i = 0; i < L1[0]->NbRows-1; i++) | ~~^~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'int AffinePartCompare(const void*, const void*)': source/polylib_mod/Lattice.c:1492:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1492 | for (i = 0; i < L1[0]->NbRows; i++) { | ~~^~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool AlmostSameAffinePart(LatticeUnion*, LatticeUnion*)': source/polylib_mod/Lattice.c:1537:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1537 | for (i = 0; i < A->M->NbRows-1; i ++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool AffinePartSimplify(LatticeUnion*, LatticeUnion**)': source/polylib_mod/Lattice.c:1567:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1567 | for (i = 0; i < curlist->M->NbRows - 1; i ++) { | ~~^~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'Bool SameLinearPart(LatticeUnion*, LatticeUnion*)': source/polylib_mod/Lattice.c:1625:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1625 | for (i = 0; i < A->M->NbRows-1; i++) | ~~^~~~~~~~~~~~~~~~ In function 'AffinePartSimplify(LatticeUnion*, LatticeUnion**)', inlined from 'LatticeSimplify' at source/polylib_mod/Lattice.c:1652:27: source/polylib_mod/Lattice.c:1614:16: warning: 'nextlist' may be used uninitialized [-Wmaybe-uninitialized] 1614 | curr->next = nextlist; | ~~~~~~~~~~~^~~~~~~~~~ source/polylib_mod/Lattice.c: In function 'LatticeSimplify': source/polylib_mod/Lattice.c:1554:17: note: 'nextlist' was declared here 1554 | LatticeUnion *nextlist; | ^~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/SolveDio.c -o build/polylib_mod/SolveDio.o source/polylib_mod/SolveDio.c: In function 'int SolveDiophantine(Matrix*, Matrix**, Vector**)': source/polylib_mod/SolveDio.c:104:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 104 | for (i = 0; i < A->NbRows -1; i++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:105:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 105 | for (j = 0; j < A->NbColumns-1; j++) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:164:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 164 | for (i = rank; i < hermi->NbColumns; i++) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:171:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 171 | for (i = rank; i < hermi->NbRows; i++) { | ~~^~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:173:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 173 | for (j = 0; j < hermi->NbColumns; j++) { | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:194:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 194 | if (rank == hermi->NbColumns) | ~~~~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:199:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 199 | for (i = 0; i < U[0]->NbRows; i++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:200:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 200 | for (j = 0; j < U[0]->NbColumns; j++) | ~~^~~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:204:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 204 | for (i = 0; i < unimodinv->NbRows; i++) { | ~~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:208:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 208 | for (j = 0; j < unimodinv->NbColumns; j++) { | ~~^~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c: In function 'void RearrangeMatforSolveDio(Matrix*)': source/polylib_mod/SolveDio.c:259:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 259 | for (i = 0; i < L->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/SolveDio.c:260:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 260 | for (j = 0; j < L->NbColumns; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:266:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 266 | for (j = 0; j < L->NbColumns; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:269:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 269 | if (j == L->NbColumns) { | ~~^~~~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:282:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 282 | for (i = 0; i NbColumns; i++) | ~~^~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:287:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 287 | for (i = 0;i NbColumns; i++) | ~~^~~~~~~~~~~~~ source/polylib_mod/SolveDio.c:290:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 290 | for (i = 0; i < H->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/SolveDio.c:293:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 293 | if (i != H->NbRows) { | ~~^~~~~~~~~~~~ source/polylib_mod/SolveDio.c:306:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 306 | min = (curend >= L->NbColumns) ? L->NbColumns : curend ; | ~~~~~~~^~~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/NormalForms.c -o build/polylib_mod/NormalForms.o source/polylib_mod/NormalForms.c: In function 'Value* ConvertPolMattoDarMat(Matrix*)': source/polylib_mod/NormalForms.c:586:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 586 | for(i=0;iNbRows * A->NbColumns;i++) | ~^~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/NormalForms.c:589:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 589 | for (i = 0; i < A->NbRows; i++) | ~~^~~~~~~~~~~ source/polylib_mod/NormalForms.c:590:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 590 | for (j = 0 ; j < A->NbColumns; j++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/NormalForms.c: In function 'void Smith(Matrix*, Matrix**, Matrix**, Matrix**)': source/polylib_mod/NormalForms.c:629:7: warning: unused variable 'i' [-Wunused-variable] 629 | int i; | ^ source/polylib_mod/NormalForms.c: In function 'void Hermite(Matrix*, Matrix**, Matrix**)': source/polylib_mod/NormalForms.c:681:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 681 | for (i=0; i< A->NbColumns * A->NbColumns; i++) | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/NormalForms.c:683:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 683 | for (i=0; i< A->NbColumns * A->NbColumns; i++) | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/NormalForms.c:707:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 707 | for (i=0; i< A->NbRows * A->NbColumns; i++) | ~^~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/NormalForms.c:709:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 709 | for (i=0; i< A->NbColumns * A->NbColumns; i++) | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/NormalForms.c:711:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 711 | for (i=0; i< A->NbColumns * A->NbColumns; i++) | ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/rationals.cpp -o build/rationals.o source/rationals.cpp: In function 'void CountRationalFunctionsWorker(void*)': source/rationals.cpp:529:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 529 | if (CCmdLineArguments::GetVerboseLevel() < -5) | ^~ source/rationals.cpp:530:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 530 | crd->bReturn = false; return; | ^~~~~~ source/rationals.cpp: In static member function 'static bool CRationals::ComputeCohomology(const CInternalData&, CMonomialsList&, const i32vec64&, std::vector&, std::vector >&)': source/rationals.cpp:693:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation] 693 | for (map::iterator it = ml.ambiguous_monoms.begin(); it != ml.ambiguous_monoms.end(); it++) | ^~~ source/rationals.cpp:695:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' 695 | if (!WaitForAllWorkersFinish()) return false; | ^~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/Zpolyhedron.c -o build/polylib_mod/Zpolyhedron.o source/polylib_mod/Zpolyhedron.c: In function 'ZPolyhedron* SplitZpolyhedron(ZPolyhedron*, Lattice*)': source/polylib_mod/Zpolyhedron.c:973:12: warning: unused variable 'Intersection' [-Wunused-variable] 973 | Lattice *Intersection = NULL; | ^~~~~~~~~~~~ source/polylib_mod/Zpolyhedron.c:974:12: warning: unused variable 'B1' [-Wunused-variable] 974 | Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL; | ^~ source/polylib_mod/Zpolyhedron.c:974:24: warning: unused variable 'B2' [-Wunused-variable] 974 | Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL; | ^~ source/polylib_mod/Zpolyhedron.c:974:36: warning: unused variable 'newB1' [-Wunused-variable] 974 | Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL; | ^~~~~ source/polylib_mod/Zpolyhedron.c:974:51: warning: unused variable 'newB2' [-Wunused-variable] 974 | Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL; | ^~~~~ source/polylib_mod/Zpolyhedron.c:975:11: warning: unused variable 'U' [-Wunused-variable] 975 | Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL; | ^ source/polylib_mod/Zpolyhedron.c:975:21: warning: unused variable 'M1' [-Wunused-variable] 975 | Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL; | ^~ source/polylib_mod/Zpolyhedron.c:975:33: warning: unused variable 'M2' [-Wunused-variable] 975 | Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL; | ^~ source/polylib_mod/Zpolyhedron.c:975:45: warning: unused variable 'M1Inverse' [-Wunused-variable] 975 | Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL; | ^~~~~~~~~ source/polylib_mod/Zpolyhedron.c:975:63: warning: unused variable 'MtProduct' [-Wunused-variable] 975 | Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL; | ^~~~~~~~~ source/polylib_mod/Zpolyhedron.c:976:11: warning: unused variable 'Vinv' [-Wunused-variable] 976 | Matrix *Vinv, *V , *temp, *DiagMatrix ; | ^~~~ source/polylib_mod/Zpolyhedron.c:976:18: warning: unused variable 'V' [-Wunused-variable] 976 | Matrix *Vinv, *V , *temp, *DiagMatrix ; | ^ source/polylib_mod/Zpolyhedron.c:976:23: warning: unused variable 'temp' [-Wunused-variable] 976 | Matrix *Vinv, *V , *temp, *DiagMatrix ; | ^~~~ source/polylib_mod/Zpolyhedron.c:976:30: warning: unused variable 'DiagMatrix' [-Wunused-variable] 976 | Matrix *Vinv, *V , *temp, *DiagMatrix ; | ^~~~~~~~~~ source/polylib_mod/Zpolyhedron.c:980:7: warning: unused variable 'i' [-Wunused-variable] 980 | int i; | ^ source/polylib_mod/Zpolyhedron.c:981:9: warning: unused variable 'k' [-Wunused-variable] 981 | Value k; | ^ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/alpha.c -o build/polylib_mod/alpha.o source/polylib_mod/alpha.c: In function 'int Polyhedron_Not_Empty(Polyhedron*, Polyhedron*, int)': source/polylib_mod/alpha.c:119:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 119 | for (i=0;i<(P->Dimension+2);i++) | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c:132:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 132 | for (i=0;i<(P->Dimension+2);i++) | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c: In function 'int PolyhedronLTQ(Polyhedron*, Polyhedron*, int, int, int)': source/polylib_mod/alpha.c:218:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 218 | for (i=0; iNbConstraints; i++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c:227:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 227 | for (i=0; iNbConstraints; i++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c:260:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 260 | for (i=0; iNbConstraints; i++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c:299:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 299 | for (j=0; jNbConstraints; j++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c: In function 'int GaussSimplify(Matrix*, Matrix*)': source/polylib_mod/alpha.c:467:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 467 | for (i=0; i<(Mat2->NbRows-1);i++) { /* all but the last row 0...0 1 */ | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/alpha.c:389:19: warning: unused variable 't' [-Wunused-variable] 389 | int i, j, k, n, t, pivot, Rank; | ^ source/polylib_mod/alpha.c:389:22: warning: variable 'pivot' set but not used [-Wunused-but-set-variable] 389 | int i, j, k, n, t, pivot, Rank; | ^~~~~ source/polylib_mod/alpha.c: In function 'int PolyhedronTSort(Polyhedron**, unsigned int, unsigned int, unsigned int, int*, int*, unsigned int)': source/polylib_mod/alpha.c:648:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 648 | if (time[i]==t) { | ~~~~~~~^~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/errormsg.c -o build/polylib_mod/errormsg.o g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/compress_parms.c -o build/polylib_mod/compress_parms.o source/polylib_mod/compress_parms.c: In function 'Matrix* int_ker(Matrix*)': source/polylib_mod/compress_parms.c:73:20: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 73 | if (M->NbColumns <= rk) { | ~~~~~~~~~~~~~^~~~~ source/polylib_mod/compress_parms.c:93:12: warning: statement has no effect [-Wunused-value] 93 | H->NbRows==M->NbRows; | ~~~~~~~~~^~~~~~~~~~~ source/polylib_mod/compress_parms.c:58:7: warning: unused variable 'i' [-Wunused-variable] 58 | int i, j, rk; | ^ source/polylib_mod/compress_parms.c:58:10: warning: unused variable 'j' [-Wunused-variable] 58 | int i, j, rk; | ^ In file included from source/polylib_mod/polylib/matrix_addon.h:29, from source/polylib_mod/polylib/polylib.h:45, from source/polylib_mod/compress_parms.c:33: source/polylib_mod/compress_parms.c: In function 'void linearInter(Matrix*, Matrix*, Matrix**, Matrix**)': source/polylib_mod/compress_parms.c:128:19: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 128 | assert(B->NbRows==rk); | ~~~~~~~~~^~~~ source/polylib_mod/compress_parms.c:124:9: warning: unused variable 'j' [-Wunused-variable] 124 | int i,j, z=0; | ^ source/polylib_mod/compress_parms.c: In function 'void Equalities_integerSolution(Matrix*, Matrix**)': source/polylib_mod/compress_parms.c:226:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 226 | for (i=0; i< rk; i++) { | ~^~~~ source/polylib_mod/compress_parms.c:243:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 243 | for (i=rk; i< Eqs->NbColumns-2; i++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/compress_parms.c: In function 'void Equalities_intModBasis(Matrix*, Matrix*, Matrix*, Matrix**)': source/polylib_mod/compress_parms.c:601:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 601 | for (i=0; i< nbEqs; i++) { | ~^~~~~~~ source/polylib_mod/compress_parms.c: In function 'Matrix* Constraints_Remove_parm_eqs(Matrix**, Matrix**, int, unsigned int**)': source/polylib_mod/compress_parms.c:662:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 662 | for (i=0; i< M->NbRows; i++) { | ~^~~~~~~~~~~ source/polylib_mod/compress_parms.c:675:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 675 | for (i=0; i< Ctxt->NbRows; i++) { | ~^~~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:704:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 704 | for (i=0; i< Ctxt->NbRows; i++) { | ~^~~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:713:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 713 | for (i=0; i< M->NbRows; i++) { | ~^~~~~~~~~~~ source/polylib_mod/compress_parms.c:735:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 735 | for (i=0; i< Eqs->NbRows; i++) { | ~^~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:741:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 741 | if (k==Eqs->NbColumns-1) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:766:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 766 | for (j=0; j< Eqs->NbRows; j++) { | ~^~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:772:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 772 | for (j=0; j< Ctxt->NbRows; j++) { | ~^~~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:777:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 777 | for (j=0; j< M->NbRows; j++) { | ~^~~~~~~~~~~ source/polylib_mod/compress_parms.c:802:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 802 | for (i=0; i< M->NbRows; i++) { | ~^~~~~~~~~~~ source/polylib_mod/compress_parms.c:813:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 813 | for (i=0; i< Ctxt->NbRows; i++) { | ~^~~~~~~~~~~~~~ source/polylib_mod/compress_parms.c:825:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 825 | for (i=0; iNbRows; i++) { | ~^~~~~~~~~~~~ source/polylib_mod/compress_parms.c:835:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 835 | for (i=0; iNbRows; i++) { | ~^~~~~~~~~~~~ source/polylib_mod/compress_parms.c: In function 'Matrix* full_dimensionize(const Matrix*, int, Matrix**)': source/polylib_mod/compress_parms.c:998:16: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 998 | for (j=0; j< nbParms; j++) | ~^~~~~~~~~ source/polylib_mod/compress_parms.c:1011:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 1011 | for (i=0; i< nbParms; i++) { | ~^~~~~~~~~ source/polylib_mod/compress_parms.c:1012:16: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 1012 | for (j=0; j< nbParms; j++) | ~^~~~~~~~~ source/polylib_mod/compress_parms.c:1018:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 1018 | for (j=0; j< nbParms; j++) | ~^~~~~~~~~ source/polylib_mod/compress_parms.c:912:33: warning: unused variable 'permutationInv' [-Wunused-variable] 912 | unsigned int * permutation, * permutationInv; | ^~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/iohandler.cpp -o build/iohandler.o source/iohandler.cpp: In member function 'bool CInputFile::ParseInput(const char*)': source/iohandler.cpp:640:25: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare] 640 | if (nVertexCmds > CCmdLineArguments::GetMaxVertices()) { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxVertices() << " coordinates exceeded."); return false; } | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source/iohandler.cpp:641:29: warning: comparison of integer expressions of different signedness: 'std::vector > >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare] 641 | if (vSRideal.size() > CCmdLineArguments::GetMaxSRgens()) { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxSRgens() << " SR generators exceeded."); return false; } | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source/iohandler.cpp:642:31: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare] 642 | if (nAmbientCohomCmds > CCmdLineArguments::GetMaxCohoms()) { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxCohoms() << " requested cohomologies exceeded."); return false; } | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/errors.c -o build/polylib_mod/errors.o g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/homogenization.c -o build/polylib_mod/homogenization.o source/polylib_mod/homogenization.c: In function 'void dehomogenize_enode(enode*, int)': source/polylib_mod/homogenization.c:78:11: warning: unused variable 'temp' [-Wunused-variable] 78 | evalue *temp; | ^~~~ source/polylib_mod/homogenization.c: In function 'evalue* dehomogenize_polynomial(enode*)': source/polylib_mod/homogenization.c:106:10: warning: variable 'som' set but not used [-Wunused-but-set-variable] 106 | double som; | ^~~ source/polylib_mod/homogenization.c: In function 'Polyhedron* dehomogenize_polyhedron(Polyhedron*, int)': source/polylib_mod/homogenization.c:161:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 161 | for (i = 0; i < constr->NbRows; i++){ | ~~^~~~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/eval_ehrhart.c -o build/polylib_mod/eval_ehrhart.o source/polylib_mod/eval_ehrhart.c: In function 'int in_domain(Polyhedron*, Value*)': source/polylib_mod/eval_ehrhart.c:57:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 57 | for(row=0;rowNbConstraints;row++) { | ~~~^~~~~~~~~~~~~~~~~ source/polylib_mod/eval_ehrhart.c:59:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 59 | for(col=1;colDimension+1;col++) { | ~~~^~~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/matrix_addon.c -o build/polylib_mod/matrix_addon.o source/polylib_mod/matrix_addon.c: In function 'void Matrix_identity(unsigned int, Matrix**)': source/polylib_mod/matrix_addon.c:106:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 106 | for (i=0; i< dim; i++) { | ~^~~~~ source/polylib_mod/matrix_addon.c:107:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 107 | for (j=0; j< dim; j++) { | ~^~~~~ In file included from source/polylib_mod/polylib/matrix_addon.h:29, from source/polylib_mod/polylib/polylib.h:45, from source/polylib_mod/matrix_addon.c:28: source/polylib_mod/matrix_addon.c: In function 'Matrix* mtransformation_expand_left_to_dim(Matrix*, int)': source/polylib_mod/matrix_addon.c:160:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 160 | assert(new_dim>=M->NbColumns); | ~~~~~~~^~~~~~~~~~~~~~ source/polylib_mod/matrix_addon.c: In function 'void mpolyhedron_simplify(Matrix*)': source/polylib_mod/matrix_addon.c:176:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 176 | for (i=0; i< polyh->NbRows; i++) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/matrix_addon.c:173:10: warning: unused variable 'j' [-Wunused-variable] 173 | int i, j; | ^ source/polylib_mod/matrix_addon.c: In function 'void eliminate_var_with_constr(Matrix*, unsigned int, Matrix*, unsigned int, unsigned int)': source/polylib_mod/matrix_addon.c:272:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 272 | for (k=1; kNbColumns; k++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/matrix_addon.c: In function 'void Matrix_copySubMatrix(Matrix*, unsigned int, unsigned int, unsigned int, unsigned int, Matrix*, unsigned int, unsigned int)': source/polylib_mod/matrix_addon.c:400:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 400 | for (i=0; i< nbR; i++) { | ~^~~~~ source/polylib_mod/matrix_addon.c: In function 'void Matrix_oppose(Matrix*)': source/polylib_mod/matrix_addon.c:411:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 411 | for (i=0; iNbRows; i++) { | ~^~~~~~~~~~ source/polylib_mod/matrix_addon.c:412:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 412 | for (j=0; j< M->NbColumns; j++) { | ~^~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/ext_ehrhart.c -o build/polylib_mod/ext_ehrhart.o source/polylib_mod/ext_ehrhart.c: In function 'Matrix* CalcBase(Matrix*)': source/polylib_mod/ext_ehrhart.c:58:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 58 | for( l=0 ; lNbRows ; ++l ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:66:39: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 66 | for( j=l+1 ; jNbRows ; ++j ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:81:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 81 | for( l=0 ; lNbRows ; ++l ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:117:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 117 | for( i=0 ; iNbRows ; ++i ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:121:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 121 | for( i=0 ; iNbRows && value_zero_p(B->p[u][i]); ++i ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:123:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 123 | if( iNbRows ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:127:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 127 | for( i=0 ; iNbRows ; ++i ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c: In function 'int existepivot(Matrix*, int)': source/polylib_mod/ext_ehrhart.c:222:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 222 | for( j=l ; jNbRows ; ++j ) | ~^~~~~~~~~~ source/polylib_mod/ext_ehrhart.c: In function 'void swap_line(Matrix*, int, int)': source/polylib_mod/ext_ehrhart.c:247:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 247 | for(i = 0;i < R->NbColumns;i ++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c: In function 'void Soustraire_ligne(Matrix*, int, int, int)': source/polylib_mod/ext_ehrhart.c:299:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 299 | for(i = piv + 1;i < R->NbColumns;i ++) | ~~^~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:307:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 307 | for( i=piv+1 ; iNbColumns && p!=0 ; i++ ) | ~^~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c: In function 'Matrix* Reduce_Matrix(Matrix*)': source/polylib_mod/ext_ehrhart.c:518:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 518 | for (i=0;iNbColumns; i++) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:521:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 521 | for (i=0; iNbRows-1; i++) { | ~^~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c: In function 'void Scalar_product(Value*, Value*, unsigned int, Value*)': source/polylib_mod/ext_ehrhart.c:540:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 540 | for (i=0;iNbRows; i++) { | ~^~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:574:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 574 | for(k=0;kNbRows;i++) { | ~^~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:880:32: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 880 | for (j=0; jNbColumns;j++) { | ~^~~~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:884:36: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 884 | for(i=Tred->NbRows;iNbColumns;i++) { | ~^~~~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:885:32: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 885 | for (j=0;jNbColumns;j++) { | ~^~~~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:930:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 930 | for (k=0;kNbRows;k++) { | ~^~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:936:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 936 | for (j=0;jNbConstraints;j++) { | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:937:28: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 937 | for (k=0;k<=D->Dimension-1;k++) { | ~^~~~~~~~~~~~~~~~ source/polylib_mod/ext_ehrhart.c:951:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 951 | for (k=1;k<=D->Dimension;k++) { | ~^~~~~~~~~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/param.c -o build/polylib_mod/param.o g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/matrix_permutations.c -o build/polylib_mod/matrix_permutations.o source/polylib_mod/matrix_permutations.c: In function 'unsigned int* permutation_inverse(unsigned int*, unsigned int)': source/polylib_mod/matrix_permutations.c:54:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 54 | for (i=0; i< nb_elems; i++) inv_perm[perm[i]] = i; | ~^~~~~~~~~~ source/polylib_mod/matrix_permutations.c: In function 'long long unsigned int eliminable_vars(Matrix*, unsigned int, unsigned int)': source/polylib_mod/matrix_permutations.c:138:12: warning: unused variable 'M' [-Wunused-variable] 138 | Matrix * M, * H, * Q, *U; | ^ source/polylib_mod/matrix_permutations.c: In function 'unsigned int* find_a_permutation(Matrix*, unsigned int)': source/polylib_mod/matrix_permutations.c:229:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 229 | for (i=0; i< nb_vars; i++) { | ~^~~~~~~~~ source/polylib_mod/matrix_permutations.c:214:19: warning: unused variable 'j' [-Wunused-variable] 214 | unsigned int i, j, k; | ^ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/ehrhart.c -o build/polylib_mod/ehrhart.o source/polylib_mod/ehrhart.c: In function 'void addeliminatedparams_evalue(evalue*, Matrix*)': source/polylib_mod/ehrhart.c:602:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 602 | for(i=0;iNbRows-1;i++) | ~^~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:603:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 603 | for(j=0;jNbColumns;j++) | ~^~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'int cherche_min(Value*, Polyhedron*, int)': source/polylib_mod/ehrhart.c:644:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 644 | if(pos > D->Dimension) | ~~~~^~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'Polyhedron* Polyhedron_Preprocess(Polyhedron*, Value*, unsigned int)': source/polylib_mod/ehrhart.c:758:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 758 | for(i=0;iNbConstraints;i++) | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:771:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 771 | for(i=0;iNbConstraints;i++) { | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'Polyhedron* Polyhedron_Preprocess2(Polyhedron*, Value*, Value*, unsigned int)': source/polylib_mod/ehrhart.c:928:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 928 | for(i=0;iDimension;i++) { | ~^~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:932:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 932 | for(j=0;jDimension;j++) | ~^~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:935:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 935 | for(r=1;rNbRays;r++) { | ~^~~~~~~~~~ source/polylib_mod/ehrhart.c:948:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 948 | for(j=0;jDimension;j++) | ~^~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:955:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 955 | for(r=1;rNbRays;r++) { | ~^~~~~~~~~~ source/polylib_mod/ehrhart.c:1029:9: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1029 | if(i!=D->Dimension) { | ~^~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:1035:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1035 | for(i=0;iDimension;i++) { | ~^~~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'void Scan_Vertices(Param_Polyhedron*, Param_Domain*, Matrix*, Value*, int, const char**)': source/polylib_mod/ehrhart.c:1694:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1694 | for(j=0;jVertex->NbRows;j++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:1696:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1696 | for( l=0 ; lVertex->NbColumns-1 ; l++ ) | ~^~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'Enumeration* Enumerate_NoParameters(Polyhedron*, Polyhedron*, Matrix*, Polyhedron*, unsigned int, const char**)': source/polylib_mod/ehrhart.c:1784:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1784 | for(r=0;rNbRays;++r) { | ~^~~~~~~~~~ source/polylib_mod/ehrhart.c:1790:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1790 | for(i=1;iDimension;i++) { | ~^~~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'Enumeration* Polyhedron_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)': source/polylib_mod/ehrhart.c:2052:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2052 | for(r=0;rNbRays;r++) { | ~^~~~~~~~~~~ source/polylib_mod/ehrhart.c:2057:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2057 | if(r==CQ->NbRays) { | ~^~~~~~~~~~~~ source/polylib_mod/ehrhart.c: In function 'Enumeration* Ehrhart_Quick_Apx_Full_Dim(Polyhedron*, Polyhedron*, unsigned int, const char**)': source/polylib_mod/ehrhart.c:2486:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2486 | for(r=0;rNbRays;r++) { | ~^~~~~~~~~~~ source/polylib_mod/ehrhart.c:2491:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2491 | if(r==CQ->NbRays) { | ~^~~~~~~~~~~~ source/polylib_mod/ehrhart.c:2288:9: warning: unused variable 'j' [-Wunused-variable] 2288 | int i,j,hdim, dim, nb_param, np; | ^ source/polylib_mod/ehrhart.c:2296:20: warning: unused variable 'V_tmp' [-Wunused-variable] 2296 | Param_Vertices * V_tmp; | ^~~~~ source/polylib_mod/ehrhart.c: In function 'const char** parmsWithoutElim(const char**, const unsigned int*, unsigned int)': source/polylib_mod/ehrhart.c:2742:14: warning: comparison of integer expressions of different signedness: 'int' and 'const unsigned int' [-Wsign-compare] 2742 | for (k=1; k<= elimParms[0]; k++) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:2743:13: warning: comparison of integer expressions of different signedness: 'int' and 'const unsigned int' [-Wsign-compare] 2743 | while (i!=elimParms[k]) { | ~^~~~~~~~~~~~~~ source/polylib_mod/ehrhart.c:2739:12: warning: unused variable 'j' [-Wunused-variable] 2739 | int i=0, j=0,k; | ^ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/ranking.c -o build/polylib_mod/ranking.o source/polylib_mod/ranking.c: In function 'Polyhedron* LexSmaller(Polyhedron*, Polyhedron*, unsigned int, Polyhedron*, unsigned int)': source/polylib_mod/ranking.c:54:15: warning: unused variable 'j' [-Wunused-variable] 54 | unsigned i, j, k, r; | ^ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/matrix.c -o build/polylib_mod/matrix.o source/polylib_mod/matrix.c:153:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] 153 | value_print(Dst," "P_VALUE_FMT" ",*p++); | ^ source/polylib_mod/matrix.c:915:41: warning: "/*" within comment [-Wcomment] 915 | /* value_set_si(MatInv->p[i][k],1); /* denum */ | source/polylib_mod/matrix.c: In function 'Matrix* Matrix_Alloc(unsigned int, unsigned int)': source/polylib_mod/matrix.c:78:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 78 | for (i=0;ip_Init_size < NbRows * Mat->NbColumns) { | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/matrix.c:123:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 123 | for (i = Mat->p_Init_size; i < Mat->NbColumns*NbRows; ++i) | ~~^~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/matrix.c:129:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 129 | for (i=0;iNbRows;i++) { | ~^~~~~~~~~~~~ source/polylib_mod/matrix.c:184:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 184 | for (j=0;jNbColumns;j++) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/matrix.c: In function 'void right_hermite(Matrix*, Matrix**, Matrix**, Matrix**)': source/polylib_mod/matrix.c:438:21: warning: variable 'rank' set but not used [-Wunused-but-set-variable] 438 | int i, j, nr, nc, rank; | ^~~~ source/polylib_mod/matrix.c: In function 'void left_hermite(Matrix*, Matrix**, Matrix**, Matrix**)': source/polylib_mod/matrix.c:508:21: warning: variable 'rank' set but not used [-Wunused-but-set-variable] 508 | int i, j, nc, nr, rank; | ^~~~ source/polylib_mod/matrix.c: In function 'void rat_prodmat(Matrix*, Matrix*, Matrix*)': source/polylib_mod/matrix.c:733:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 733 | for(k=1;kNbRows;++k) { | ~^~~~~~~~~~ source/polylib_mod/matrix.c:742:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 742 | for(i=0;iNbRows;++i) | ~^~~~~~~~~~ source/polylib_mod/matrix.c:743:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 743 | for(j=0;jNbColumns-1;++j) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/matrix.c:747:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 747 | for(k=0;kNbRows;++k) { | ~^~~~~~~~~~ source/polylib_mod/matrix.c:766:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 766 | for(i=0;iNbRows;++i) { | ~^~~~~~~~~~ source/polylib_mod/matrix.c:723:14: warning: variable 'old_lcm' set but not used [-Wunused-but-set-variable] 723 | Value lcm, old_lcm,gcd,last_column_entry,s1; | ^~~~~~~ source/polylib_mod/matrix.c: In function 'void Matrix_Product(Matrix*, Matrix*, Matrix*)': source/polylib_mod/matrix.c:855:18: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 855 | if(Mat2->NbRows!=Size||Mat3->NbRows!=NbRows||Mat3->NbColumns!=NbColumns) { | ~~~~~~~~~~~~^~~~~~ source/polylib_mod/matrix.c:865:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 865 | for (i=0;iSize;i++) | ~^~~~~~~~~~~~~ source/polylib_mod/vector.c: In function 'void Vector_Print(FILE*, const char*, Vector*)': source/polylib_mod/vector.c:201:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 201 | for (i=0;i=n) { | ~~~~~~~~^~~ source/polylib_mod/vector.c: In function 'Vector* Vector_Read()': source/polylib_mod/vector.c:223:8: warning: ignoring return value of 'int scanf(const char*, ...)' declared with attribute 'warn_unused_result' [-Wunused-result] 223 | scanf("%d", &length); | ~~~~~^~~~~~~~~~~~~~~ source/polylib_mod/vector.c:231:10: warning: ignoring return value of 'int scanf(const char*, ...)' declared with attribute 'warn_unused_result' [-Wunused-result] 231 | scanf("%s",str); | ~~~~~^~~~~~~~~~ source/polylib_mod/vector.c: In function 'value_alloc': source/polylib_mod/vector.c:788:26: warning: 'best' may be used uninitialized [-Wmaybe-uninitialized] 788 | *got = cache[best].size; | ~~~~~~~~~~~~^~~~ source/polylib_mod/vector.c:771:11: note: 'best' was declared here 771 | int best; | ^~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/polyparam.c -o build/polylib_mod/polyparam.o source/polylib_mod/polyparam.c: In function 'Polyhedron* PDomainDifference(Polyhedron*, Polyhedron*, unsigned int)': source/polylib_mod/polyparam.c:124:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 124 | for (i=0; iNbConstraints; i++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'int TestRank(Matrix*)': source/polylib_mod/polyparam.c:160:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 160 | for(k=0;kNbColumns;++k) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:165:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 165 | for(j=k+1;jNbRows;++j) { | ~^~~~~~~~~~~~ source/polylib_mod/polyparam.c:171:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 171 | for(i=k;iNbColumns;++i) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:182:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 182 | if(j>=Mat->NbRows) { | ~^~~~~~~~~~~~~ source/polylib_mod/polyparam.c:192:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 192 | for(j=k+1;jNbRows;++j) { | ~^~~~~~~~~~~~ source/polylib_mod/polyparam.c:196:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 196 | for(i=k+1;iNbColumns;++i) { | ~^~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'void SMPrint(SatMatrix*)': source/polylib_mod/polyparam.c:259:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 259 | for (i=0;iNbRays;++k) { | ~^~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'int count_sat(unsigned int*)': source/polylib_mod/polyparam.c:544:25: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister] 544 | register unsigned int i, tmp, cnt=0; | ^ source/polylib_mod/polyparam.c:544:28: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister] 544 | register unsigned int i, tmp, cnt=0; | ^~~ source/polylib_mod/polyparam.c:544:33: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister] 544 | register unsigned int i, tmp, cnt=0; | ^~~ source/polylib_mod/polyparam.c:546:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 546 | for (i=0; iNbConstraints; ++i) { | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:670:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 670 | for (i = pos; i < D->NbConstraints; ++i) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:676:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 676 | if((pos+nb_un)>D->NbConstraints) return; | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:716:42: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 716 | for (i = 0, c = 0; i < D->NbConstraints; ++i) { | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:717:59: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] 717 | if (egalite[i] == 0 || egalite[i] == -1) | ~~~~~~~~~~~^~~~~ source/polylib_mod/polyparam.c:719:39: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 719 | for (j = 0; j < D->Dimension+1; ++j) | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:746:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 746 | if ((pos+nb_un)>=D->NbConstraints) return; | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'SatMatrix* Poly2Sat(Polyhedron*, unsigned int**)': source/polylib_mod/polyparam.c:778:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 778 | for (k=0; kNbEq;++l) { | ~^~~~~~~~ source/polylib_mod/polyparam.c:906:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 906 | if(i==E->Dimension+1) { | ~^~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:920:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 920 | for(i=0;iDimension+2-E->NbEq;++i) { | ~^~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:922:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 922 | for(j=0;jNbEq;++j) | ~^~~~~~~~ source/polylib_mod/polyparam.c:933:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 933 | for(i=0;iNbColumns;i++) | ~^~~~~~~~~~~~~ source/polylib_mod/polyparam.c:934:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 934 | for(j=0;jNbRows;j++) | ~^~~~~~~~~~ source/polylib_mod/polyparam.c:935:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 935 | if(ref[E->Dimension-m+j+1] == E->Dimension-m+i+1) | ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'Polyhedron* Elim_Columns(Polyhedron*, Polyhedron*, int*, int*)': source/polylib_mod/polyparam.c:973:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 973 | for(l=0;lNbEq;++l) { | ~^~~~~~~~ source/polylib_mod/polyparam.c:974:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 974 | for(c=0;cNbRows;++c) { | ~^~~~~~~~~~ source/polylib_mod/polyparam.c:978:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 978 | for(i=1;iNbColumns;++i) { | ~^~~~~~~~~~~~~ source/polylib_mod/polyparam.c:995:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 995 | for(l=0;lNbRows;++l) | ~^~~~~~~~~~ source/polylib_mod/polyparam.c:996:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 996 | for(c=0;cNbColumns;++c) { | ~^~~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'Polyhedron* Recession_Cone(Polyhedron*, unsigned int, unsigned int)': source/polylib_mod/polyparam.c:1019:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1019 | for (i = 0; i < P->NbConstraints; ++i) | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'int ComputeNPLinesRays(int, Polyhedron*, Matrix**)': source/polylib_mod/polyparam.c:1042:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1042 | for (i = 0; i < RC->NbRays ;i++) | ~~^~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'Param_Polyhedron* Find_m_faces(Polyhedron**, Polyhedron*, int, int, Polyhedron**, Matrix**)': source/polylib_mod/polyparam.c:1157:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1157 | for(j=0,i=0;iNbEq;++i,++j) { | ~^~~~~~~~~ source/polylib_mod/polyparam.c:1185:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1185 | for(i=0;iNbConstraints;++i) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:1287:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1287 | for (i=0; iNbEq; i++) | ~^~~~~~~~~ source/polylib_mod/polyparam.c:1310:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1310 | if (m_dim < D1->NbBid) | ~~~~~~^~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'void Print_Vertex(FILE*, Matrix*, const char**)': source/polylib_mod/polyparam.c:1603:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1603 | for(l=0;lNbRows;++l){ | ~^~~~~~~~~~ source/polylib_mod/polyparam.c:1608:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1608 | for(v=0;v < V->NbColumns-2;++v) { | ~~^~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:1639:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1639 | if(value_posz_p(V->p[l][v]) && !first) | ^~ In file included from source/polylib_mod/polylib/polylib.h:25, from source/polylib_mod/polyparam.c:51: source/polylib_mod/polylib/arithmetique.h:532:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 532 | #define value_gcd(ref,val1,val2) Gcd((val1),(val2),&(ref)) | ^~~ source/polylib_mod/polyparam.c:1641:9: note: in expansion of macro 'value_gcd' 1641 | value_gcd(gcd, V->p[l][v], V->p[l][V->NbColumns-1]); | ^~~~~~~~~ source/polylib_mod/polyparam.c:1651:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1651 | if (lNbRows-1) | ~^~~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'Matrix* VertexCT(Matrix*, Matrix*)': source/polylib_mod/polyparam.c:1672:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1672 | for(i=0;iNbRows;++i) { | ~^~~~~~~~~~ source/polylib_mod/polyparam.c:1674:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1674 | for(j=0;jNbColumns;j++) { | ~^~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:1675:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1675 | for(k=0;kNbRows;k++) | ~^~~~~~~~~~~ source/polylib_mod/polyparam.c:1678:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1678 | if(kNbRows) | ~^~~~~~~~~~~ source/polylib_mod/polyparam.c: In function 'void Print_Domain(FILE*, Polyhedron*, const char**)': source/polylib_mod/polyparam.c:1701:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1701 | for(l=0;lNbConstraints;++l) { | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/polyparam.c:1704:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1704 | for(v=1;v<=D->Dimension;++v) { | ~^~~~~~~~~~~~~~ source/polylib_mod/polyparam.c: At global scope: source/polylib_mod/polyparam.c:252:13: warning: 'void SMPrint(SatMatrix*)' defined but not used [-Wunused-function] 252 | static void SMPrint (SatMatrix *matrix) { | ^~~~~~~ g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64 -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/polyhedron.c -o build/polylib_mod/polyhedron.o source/polylib_mod/polyhedron.c: In function 'void SMPrint(SatMatrix*)': source/polylib_mod/polyhedron.c:169:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 169 | for (i=0;iNbRows; i++) { | ~^~~~~~~~~~~~ source/polylib_mod/polyhedron.c:281:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 281 | for(j=0,jx2=0,bx2=MSB; jNbRows; j++) { | ~^~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'void SatMatrix_Extend(SatMatrix*, Matrix*, unsigned int)': source/polylib_mod/polyhedron.c:370:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 370 | for (i = 0; i < rows; ++i) | ~~^~~~~~ source/polylib_mod/polyhedron.c: In function 'int Chernikova(Matrix*, Matrix*, SatMatrix*, unsigned int, unsigned int, unsigned int, unsigned int)': source/polylib_mod/polyhedron.c:430:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 430 | for (k=FirstConstraint; kjx) { | ~^~~ source/polylib_mod/polyhedron.c: In function 'Polyhedron* Remove_Redundants(Matrix*, Matrix*, SatMatrix*, unsigned int*)': source/polylib_mod/polyhedron.c:918:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 918 | for (j=0; jp[k][0], NbRay) != 0 && k < NbConstraints; k++) | ~~^~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1076:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1076 | if (k==NbConstraints) /* If none found then error */ break; | ~^~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1102:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1102 | for (i = 0; i < NbEq; i++) { | ~~^~~~~~ source/polylib_mod/polyhedron.c:1110:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1110 | for (i=0; ii; i++) { | ~^~~~~~ source/polylib_mod/polyhedron.c:1228:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1228 | for (j=0; jp[i][k]; | ~^~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1376:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1376 | for (i=NbEq; ip[k][jx[j]]&bx[j]; | ~^~~~~~ source/polylib_mod/polyhedron.c:1476:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1476 | for (j=NbBid; j=Dim_RaySpace) { | ~~~^~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'Polyhedron* Polyhedron_Alloc(unsigned int, unsigned int, unsigned int)': source/polylib_mod/polyhedron.c:1593:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1593 | for (i=0;iNbRows; ++i) { | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1791:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1791 | for (k = i+1; k < Constraints->NbRows; ++k) { | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1792:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1792 | for (j = 1; j < Constraints->NbColumns-1; ++j) { | ~~^~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1809:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1809 | if (j == Constraints->NbColumns-1) { | ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1815:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1815 | if (k < Constraints->NbRows) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'int ImplicitEqualities(Matrix*, unsigned int)': source/polylib_mod/polyhedron.c:1840:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1840 | for (row = NbEq; row < Constraints->NbRows; ++row) { | ~~~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1852:33: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1852 | for (nrow = row+1; nrow < Constraints->NbRows; ++nrow) { | ~~~~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1857:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1857 | for (k = d; k < Constraints->NbColumns-1; ++k) { | ~~^~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1866:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1866 | if (k == Constraints->NbColumns-1) { | ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1872:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1872 | if (k != Constraints->NbColumns-2) | ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'Polyhedron* Constraints2Polyhedron(Matrix*, unsigned int)': source/polylib_mod/polyhedron.c:1936:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1936 | for (i = 0; i < Constraints->NbRows; ++i) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1951:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1951 | if (i != NbEq) | ~~^~~~~~~ source/polylib_mod/polyhedron.c:1957:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1957 | for (i = NbEq; i < Constraints->NbRows; ++i) | ~~^~~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:1997:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 1997 | for (i=0; iNbConstraints; k++) { | ~^~~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:2401:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2401 | for (i=0;iNbRays;i++) { | ~^~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'Polyhedron* SubConstraint(Value*, Polyhedron*, unsigned int, int)': source/polylib_mod/polyhedron.c:2530:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2530 | for (i=1; iNbConstraints; k++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:2989:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 2989 | for(i=0;iNbConstraints; i++) { | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'Polyhedron* align_context(Polyhedron*, int, int)': source/polylib_mod/polyhedron.c:3679:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 3679 | if (align_dimension < Pol->Dimension) { | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:3684:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 3684 | if (align_dimension == Pol->Dimension) { | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:3709:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 3709 | for (i = 0; i < NbCons; ++i) { | ~~^~~~~~~~ source/polylib_mod/polyhedron.c:3719:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 3719 | for (i = 0; i < Pol->NbRays; ++i) { | ~~^~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:3667:10: warning: unused variable 'j' [-Wunused-variable] 3667 | int i, j, k; | ^ source/polylib_mod/polyhedron.c: In function 'int lower_upper_bounds(int, Polyhedron*, Value*, Value*, Value*)': source/polylib_mod/polyhedron.c:3823:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 3823 | for (i=0; iNbConstraints; i++) { | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'void Rays_Mult(Value**, Matrix*, Value**, unsigned int)': source/polylib_mod/polyhedron.c:3936:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 3936 | for (i=0; iNbConstraints && pi ; i++) | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:4509:52: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 4509 | for (i=0; iNbConstraints && pi ; i++) | ~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'void Polyhedron_PrintConstraints(FILE*, const char*, Polyhedron*)': source/polylib_mod/polyhedron.c:4628:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 4628 | for( i=0 ; iNbConstraints ; i++ ) | ~^~~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c:4630:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 4630 | for( j=0 ; jDimension+2 ; j++ ) | ~^~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: In function 'Polyhedron* p_simplify_constraints(Polyhedron*, Vector*, Value*, unsigned int)': source/polylib_mod/polyhedron.c:4656:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare] 4656 | for (r = 0; r < R->NbConstraints; ++r) { | ~~^~~~~~~~~~~~~~~~~~ source/polylib_mod/polyhedron.c: At global scope: source/polylib_mod/polyhedron.c:162:13: warning: 'void SMPrint(SatMatrix*)' defined but not used [-Wunused-function] 162 | static void SMPrint (SatMatrix *matrix) { | ^~~~~~~ g++ build/iohandler.o build/main.o build/rationals.o build/secondarycohom.o build/tokenizer.o build/polylib_mod/Lattice.o build/polylib_mod/Matop.o build/polylib_mod/NormalForms.o build/polylib_mod/SolveDio.o build/polylib_mod/Zpolyhedron.o build/polylib_mod/alpha.o build/polylib_mod/compress_parms.o build/polylib_mod/ehrhart.o build/polylib_mod/errormsg.o build/polylib_mod/errors.o build/polylib_mod/eval_ehrhart.o build/polylib_mod/ext_ehrhart.o build/polylib_mod/homogenization.o build/polylib_mod/matrix.o build/polylib_mod/matrix_addon.o build/polylib_mod/matrix_permutations.o build/polylib_mod/param.o build/polylib_mod/polyhedron.o build/polylib_mod/polyparam.o build/polylib_mod/ranking.o build/polylib_mod/vector.o -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -lpthread -o bin/cohomcalg source/polylib_mod/polyhedron.c:104:3: warning: type 'struct SatMatrix' violates the C++ One Definition Rule [-Wodr] 104 | } SatMatrix; | ^ source/polylib_mod/polyparam.c:227:3: note: a different type is defined in another translation unit 227 | } SatMatrix; | ^ source/polylib_mod/polyhedron.c:102:9: note: the first difference of corresponding definitions is field 'p' 102 | int **p; | ^ source/polylib_mod/polyparam.c:225:18: note: a field of same name but different type is defined in another translation unit 225 | unsigned int **p; | ^ + cd manual/latex_source + pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2021/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2021/texmf-var/web2c mktexfmt [INFO]: --- remaking pdflatex with pdftex mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, parameters, LaTeX2e <2020-10-01> patch level 4 (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/l3deprecation.def))) (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex)) hacks, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu)) (/usr/share/texlive/texmf-dist/tex/latex/firstaid/latex2e-first-aid-for-externa l-files.ltx) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2022.11.11) 19194 strings of total length 344850 280641 memory locations dumped; current usage is 165&279285 17486 multiletter control sequences \font\nullfont=nullfont \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\c_initex_cctab=cmr10 at 0.00005pt \font\c_other_cctab=cmr10 at 0.00006pt \font\c_str_cctab=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_info_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt \font\g__regex_balance_intarray=cmr10 at 0.00017pt \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c_code_cctab=cmr10 at 0.00018pt \font\c_document_cctab=cmr10 at 0.0002pt 403423 words of font info for 27 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: exiting with status 0 entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo)) (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty) (/usr/share/texlive/texmf-dist/tex/latex/ncctools/extdash.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty (/usr/share/texlive/texmf-dist/tex/generic/stringenc/stringenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/ifdraft.sty) (/usr/share/texlive/texmf-dist/tex/latex/totpages/totpages.sty (/usr/share/texlive/texmf-dist/tex/latex/base/everyshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1put.fd) Overfull \hbox (22.10924pt too wide) in paragraph at lines 186--188 \T1/cmr/m/n/12 tech-ni-cal ques-tions to [][]Ben-jamin Ju-rke[][], reach-able v ia eMail: [][]mail@benjaminjurke.com[][].[] Overfull \hbox (31.1225pt too wide) in paragraph at lines 186--188 \T1/cmr/m/n/12 For all ques-tions re-gard-ing the [] ex-ten-sion please re-fer to Thorsten Rahn [1.1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map} <./img_GP Lv3_logo_black.pdf> <./img_open_source_logo_gray.pdf> <./cohomCalg_logo.png>] LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i nput line 209. LaTeX Warning: Citation `CohomOfLineBundles:Proof' on page 2 undefined on input line 209. LaTeX Warning: Citation `Jow:2010arXiv1006.0780J' on page 2 undefined on input line 209. LaTeX Warning: Citation `CohomOfLineBundles:Applications' on page 2 undefined o n input line 209. LaTeX Warning: Citation `Blumenhagen:2011xn' on page 2 undefined on input line 209. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd) Underfull \hbox (badness 10000) in paragraph at lines 216--217 LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i nput line 218. Underfull \hbox (badness 10000) in paragraph at lines 218--219 Underfull \hbox (badness 10000) in paragraph at lines 220--221 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [2.2] [3.3] [4.4] [5.5] LaTeX Warning: Reference `inputformat' on page 6 undefined on input line 331. [6.6] LaTeX Warning: Reference `knownproblems' on page 7 undefined on input line 333. [7.7] [8.8] Overfull \hbox (16.15515pt too wide) in paragraph at lines 375--376 []\T1/cmr/m/n/12 This com- Overfull \hbox (10.25746pt too wide) in paragraph at lines 383--384 []\T1/cmr/m/n/12 This com-mand spec-i-fies the [9.9] LaTeX Warning: Reference `knownproblems' on page 10 undefined on input line 397 . Underfull \hbox (badness 10000) in paragraph at lines 409--410 Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There are 4 coordinates, each having 2 GLSM charges:[] Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There are 2 generators of the Stanley-Reisner ideal:[] Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There is 1 ambient space sheaf cohomology requested:[] Underfull \hbox (badness 10000) in paragraph at lines 411--434 [10.10] Underfull \hbox (badness 10000) in paragraph at lines 435--436 Underfull \hbox (badness 10000) in paragraph at lines 437--437 []\T1/txtt/m/n/12 The Serre dualization reduction was unable to uniquely Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 dim H^i(A; O( 2, 4, 1, ..., 3, -2, 1 )) is ambig uous[] Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 candidate results are: = ( 580, 353, 171, 1, 919, 0 )[] Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 = ( 580, 353, 0, 1,1090, 0 )[] Overfull \hbox (77.61894pt too wide) in paragraph at lines 451--451 [] \T1/txtt/m/n/12 dim H^i(A; O( 2, ..., 1 )) could not be determined .[] Overfull \hbox (27.01341pt too wide) in paragraph at lines 459--459 [] \T1/txtt/m/n/12 11.02 seconds sec for the computation of the sec. coho m.[] Overfull \hbox (20.71342pt too wide) in paragraph at lines 459--459 [] \T1/txtt/m/n/12 3.23 seconds sec for the counting of rational function s[] [11.11] [12.12] [13.13] [14.14] LaTeX Warning: Reference `contactaddress' on page 15 undefined on input line 53 4. [15.15] [16.16] LaTeX Warning: Reference `eq_monadsequence' on page 17 undefined on input line 576. Overfull \hbox (18.59279pt too wide) in paragraph at lines 576--577 \T1/cmr/m/n/12 dle charges $\OML/cmm/m/it/12 N[]$ \T1/cmr/m/n/12 in [], for ex- am-ple \T1/txtt/m/n/12 {{1,0},{0,1},{0,1},{0,1},{0,2}}\T1/cmr/m/n/12 . LaTeX Warning: Reference `eq_monadsequence' on page 17 undefined on input line 577. LaTeX Warning: Reference `eq_monadsequence' on page 17 undefined on input line 578. [17.17] Overfull \hbox (58.43507pt too wide) in paragraph at lines 631--631 []\T1/txtt/m/n/12 (*Equivalence Relations*){{1,3},{0,1},{0,1},{0,1},{0,1},{1,0 },{0,1}}};[] Overfull \hbox (0.33917pt too wide) in paragraph at lines 632--633 \T1/cmr/m/n/12 you will get the re-sult \T1/txtt/m/n/12 {487,0,0,0}\T1/cmr/m/n/ 12 , which means that $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E\OT1 /cmr/m/n/12 )) = [18.18] Overfull \hbox (89.93501pt too wide) in paragraph at lines 652--652 []\T1/txtt/m/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di screte Action*)[] Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673 \T1/cmr/m/n/12 Computes the co-ho-mol-ogy di-men-sions of the tan-gent bun-dle of $\OML/cmm/m/it/12 S$\T1/cmr/m/n/12 , i.e. $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m /n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/it/12 T[]\OT1/cmr/m/n/12 )$\T1/cmr/m/n/12 . Overfull \hbox (26.93513pt too wide) detected at line 677 [] [19.19] LaTeX Warning: Reference `eq_monadsequence' on page 20 undefined on input line 714. LaTeX Warning: Reference `eq_monadsequence' on page 20 undefined on input line 714. [20.20] Underfull \hbox (badness 10000) in paragraph at lines 747--748 Overfull \hbox (55.46617pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Coordinates*){v1, v2, v3, v4, v5, v6, v1s, v7, v8, v9, v10 },[] Overfull \hbox (23.96623pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Stanley Reisner*) {{v3,v9},{v5,v9},{v7,v10},{v1,v2,v3},[] Overfull \hbox (36.56621pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Equivalence Relations*){{3, 3, 3, 3, 0}, {2, 2, 2, 2, 0},[ ] Overfull \hbox (20.63515pt too wide) detected at line 774 [] [21.21] LaTeX Warning: Reference `eq_monadsequence' on page 22 undefined on input line 808. [22.22] [23.23] LaTeX Warning: Citation `cohomCalg:Implementation' on page 24 undefined on inpu t line 833. No file manual.bbl. (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-pdfdoc.def) (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-utf8.def) [24.24] (./manual.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon ts/enc/dvips/cm-super/cm-super-ts1.enc}{/usr/share/texlive/texmf-dist/fonts/enc /dvips/base/8r.enc} Output written on manual.pdf (24 pages, 1052091 bytes). Transcript written on manual.log. + bibtex manual This is BibTeX, Version 0.99d (TeX Live 2021) The top-level auxiliary file: manual.aux The style file: utphys.bst Database file #1: manual.bib + pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo)) (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty) (/usr/share/texlive/texmf-dist/tex/latex/ncctools/extdash.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty (/usr/share/texlive/texmf-dist/tex/generic/stringenc/stringenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/ifdraft.sty) (/usr/share/texlive/texmf-dist/tex/latex/totpages/totpages.sty (/usr/share/texlive/texmf-dist/tex/latex/base/everyshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1put.fd) Overfull \hbox (22.10924pt too wide) in paragraph at lines 186--188 \T1/cmr/m/n/12 tech-ni-cal ques-tions to [][]Ben-jamin Ju-rke[][], reach-able v ia eMail: [][]mail@benjaminjurke.com[][].[] Overfull \hbox (31.1225pt too wide) in paragraph at lines 186--188 \T1/cmr/m/n/12 For all ques-tions re-gard-ing the [] ex-ten-sion please re-fer to Thorsten Rahn [1.1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map} <./img_GP Lv3_logo_black.pdf> <./img_open_source_logo_gray.pdf> <./cohomCalg_logo.png>] LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i nput line 209. LaTeX Warning: Citation `CohomOfLineBundles:Proof' on page 2 undefined on input line 209. LaTeX Warning: Citation `Jow:2010arXiv1006.0780J' on page 2 undefined on input line 209. LaTeX Warning: Citation `CohomOfLineBundles:Applications' on page 2 undefined o n input line 209. LaTeX Warning: Citation `Blumenhagen:2011xn' on page 2 undefined on input line 209. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd) Underfull \hbox (badness 10000) in paragraph at lines 216--217 LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i nput line 218. Underfull \hbox (badness 10000) in paragraph at lines 218--219 Underfull \hbox (badness 10000) in paragraph at lines 220--221 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [2.2] (./manual.toc ) [3.3] [4.4] [5.5] [6.6] [7.7] [8.8] Overfull \hbox (16.15515pt too wide) in paragraph at lines 375--376 []\T1/cmr/m/n/12 This com- Overfull \hbox (10.25746pt too wide) in paragraph at lines 383--384 []\T1/cmr/m/n/12 This com-mand spec-i-fies the [9.9] Underfull \hbox (badness 10000) in paragraph at lines 409--410 Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There are 4 coordinates, each having 2 GLSM charges:[] Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There are 2 generators of the Stanley-Reisner ideal:[] Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There is 1 ambient space sheaf cohomology requested:[] Underfull \hbox (badness 10000) in paragraph at lines 411--434 [10.10] Underfull \hbox (badness 10000) in paragraph at lines 435--436 Underfull \hbox (badness 10000) in paragraph at lines 437--437 []\T1/txtt/m/n/12 The Serre dualization reduction was unable to uniquely Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 dim H^i(A; O( 2, 4, 1, ..., 3, -2, 1 )) is ambig uous[] Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 candidate results are: = ( 580, 353, 171, 1, 919, 0 )[] Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 = ( 580, 353, 0, 1,1090, 0 )[] Overfull \hbox (77.61894pt too wide) in paragraph at lines 451--451 [] \T1/txtt/m/n/12 dim H^i(A; O( 2, ..., 1 )) could not be determined .[] Overfull \hbox (27.01341pt too wide) in paragraph at lines 459--459 [] \T1/txtt/m/n/12 11.02 seconds sec for the computation of the sec. coho m.[] Overfull \hbox (20.71342pt too wide) in paragraph at lines 459--459 [] \T1/txtt/m/n/12 3.23 seconds sec for the counting of rational function s[] [11.11] [12.12] [13.13] [14.14] [15.15] [16.16] Overfull \hbox (11.71947pt too wide) in paragraph at lines 576--577 \T1/cmr/m/n/12 dle charges $\OML/cmm/m/it/12 N[]$ \T1/cmr/m/n/12 in [], for ex- am-ple \T1/txtt/m/n/12 {{1,0},{0,1},{0,1},{0,1},{0,2}}\T1/cmr/m/n/12 . [17.17] Overfull \hbox (58.43507pt too wide) in paragraph at lines 631--631 []\T1/txtt/m/n/12 (*Equivalence Relations*){{1,3},{0,1},{0,1},{0,1},{0,1},{1,0 },{0,1}}};[] Overfull \hbox (0.33917pt too wide) in paragraph at lines 632--633 \T1/cmr/m/n/12 you will get the re-sult \T1/txtt/m/n/12 {487,0,0,0}\T1/cmr/m/n/ 12 , which means that $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E\OT1 /cmr/m/n/12 )) = [18.18] Overfull \hbox (89.93501pt too wide) in paragraph at lines 652--652 []\T1/txtt/m/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di screte Action*)[] Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673 \T1/cmr/m/n/12 Computes the co-ho-mol-ogy di-men-sions of the tan-gent bun-dle of $\OML/cmm/m/it/12 S$\T1/cmr/m/n/12 , i.e. $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m /n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/it/12 T[]\OT1/cmr/m/n/12 )$\T1/cmr/m/n/12 . Overfull \hbox (26.93513pt too wide) detected at line 677 [] [19.19] [20.20] Underfull \hbox (badness 10000) in paragraph at lines 747--748 Overfull \hbox (55.46617pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Coordinates*){v1, v2, v3, v4, v5, v6, v1s, v7, v8, v9, v10 },[] Overfull \hbox (23.96623pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Stanley Reisner*) {{v3,v9},{v5,v9},{v7,v10},{v1,v2,v3},[] Overfull \hbox (36.56621pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Equivalence Relations*){{3, 3, 3, 3, 0}, {2, 2, 2, 2, 0},[ ] Overfull \hbox (20.63515pt too wide) detected at line 774 [] [21.21] [22.22] [23.23] LaTeX Warning: Citation `cohomCalg:Implementation' on page 24 undefined on inpu t line 833. (./manual.bbl LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 24 undefined on input line 39. ) (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-pdfdoc.def) (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-utf8.def) [24.24] (./manual.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon ts/enc/dvips/cm-super/cm-super-ts1.enc}{/usr/share/texlive/texmf-dist/fonts/enc /dvips/base/8r.enc} Output written on manual.pdf (24 pages, 1059590 bytes). Transcript written on manual.log. + pdflatex manual This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo)) (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty) (/usr/share/texlive/texmf-dist/tex/latex/ncctools/extdash.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty (/usr/share/texlive/texmf-dist/tex/generic/stringenc/stringenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/ifdraft.sty) (/usr/share/texlive/texmf-dist/tex/latex/totpages/totpages.sty (/usr/share/texlive/texmf-dist/tex/latex/base/everyshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1put.fd) Overfull \hbox (22.10924pt too wide) in paragraph at lines 186--188 \T1/cmr/m/n/12 tech-ni-cal ques-tions to [][]Ben-jamin Ju-rke[][], reach-able v ia eMail: [][]mail@benjaminjurke.com[][].[] Overfull \hbox (31.1225pt too wide) in paragraph at lines 186--188 \T1/cmr/m/n/12 For all ques-tions re-gard-ing the [] ex-ten-sion please re-fer to Thorsten Rahn [1.1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map} <./img_GP Lv3_logo_black.pdf> <./img_open_source_logo_gray.pdf> <./cohomCalg_logo.png>] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) (/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd) Underfull \hbox (badness 10000) in paragraph at lines 216--217 Underfull \hbox (badness 10000) in paragraph at lines 218--219 Underfull \hbox (badness 10000) in paragraph at lines 220--221 (/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [2.2] (./manual.toc ) [3.3] [4.4] [5.5] [6.6] [7.7] [8.8] Overfull \hbox (16.15515pt too wide) in paragraph at lines 375--376 []\T1/cmr/m/n/12 This com- Overfull \hbox (10.25746pt too wide) in paragraph at lines 383--384 []\T1/cmr/m/n/12 This com-mand spec-i-fies the [9.9] Underfull \hbox (badness 10000) in paragraph at lines 409--410 Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There are 4 coordinates, each having 2 GLSM charges:[] Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There are 2 generators of the Stanley-Reisner ideal:[] Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432 [] \T1/txtt/m/n/12 There is 1 ambient space sheaf cohomology requested:[] Underfull \hbox (badness 10000) in paragraph at lines 411--434 [10.10] Underfull \hbox (badness 10000) in paragraph at lines 435--436 Underfull \hbox (badness 10000) in paragraph at lines 437--437 []\T1/txtt/m/n/12 The Serre dualization reduction was unable to uniquely Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 dim H^i(A; O( 2, 4, 1, ..., 3, -2, 1 )) is ambig uous[] Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 candidate results are: = ( 580, 353, 171, 1, 919, 0 )[] Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445 [] \T1/txtt/m/n/12 = ( 580, 353, 0, 1,1090, 0 )[] Overfull \hbox (77.61894pt too wide) in paragraph at lines 451--451 [] \T1/txtt/m/n/12 dim H^i(A; O( 2, ..., 1 )) could not be determined .[] Overfull \hbox (27.01341pt too wide) in paragraph at lines 459--459 [] \T1/txtt/m/n/12 11.02 seconds sec for the computation of the sec. coho m.[] Overfull \hbox (20.71342pt too wide) in paragraph at lines 459--459 [] \T1/txtt/m/n/12 3.23 seconds sec for the counting of rational function s[] [11.11] [12.12] [13.13] [14.14] [15.15] [16.16] Overfull \hbox (11.71947pt too wide) in paragraph at lines 576--577 \T1/cmr/m/n/12 dle charges $\OML/cmm/m/it/12 N[]$ \T1/cmr/m/n/12 in [], for ex- am-ple \T1/txtt/m/n/12 {{1,0},{0,1},{0,1},{0,1},{0,2}}\T1/cmr/m/n/12 . [17.17] Overfull \hbox (58.43507pt too wide) in paragraph at lines 631--631 []\T1/txtt/m/n/12 (*Equivalence Relations*){{1,3},{0,1},{0,1},{0,1},{0,1},{1,0 },{0,1}}};[] Overfull \hbox (0.33917pt too wide) in paragraph at lines 632--633 \T1/cmr/m/n/12 you will get the re-sult \T1/txtt/m/n/12 {487,0,0,0}\T1/cmr/m/n/ 12 , which means that $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E\OT1 /cmr/m/n/12 )) = [18.18] Overfull \hbox (89.93501pt too wide) in paragraph at lines 652--652 []\T1/txtt/m/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di screte Action*)[] Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673 \T1/cmr/m/n/12 Computes the co-ho-mol-ogy di-men-sions of the tan-gent bun-dle of $\OML/cmm/m/it/12 S$\T1/cmr/m/n/12 , i.e. $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m /n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/it/12 T[]\OT1/cmr/m/n/12 )$\T1/cmr/m/n/12 . Overfull \hbox (26.93513pt too wide) detected at line 677 [] [19.19] [20.20] Underfull \hbox (badness 10000) in paragraph at lines 747--748 Overfull \hbox (55.46617pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Coordinates*){v1, v2, v3, v4, v5, v6, v1s, v7, v8, v9, v10 },[] Overfull \hbox (23.96623pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Stanley Reisner*) {{v3,v9},{v5,v9},{v7,v10},{v1,v2,v3},[] Overfull \hbox (36.56621pt too wide) in paragraph at lines 761--761 [] \T1/txtt/m/n/12 (*Equivalence Relations*){{3, 3, 3, 3, 0}, {2, 2, 2, 2, 0},[ ] Overfull \hbox (20.63515pt too wide) detected at line 774 [] [21.21] [22.22] [23.23] (./manual.bbl) (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-pdfdoc.def) (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-utf8.def) [24.24] (./manual.aux) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon ts/enc/dvips/cm-super/cm-super-ts1.enc}{/usr/share/texlive/texmf-dist/fonts/enc /dvips/base/8r.enc} Output written on manual.pdf (24 pages, 1059556 bytes). Transcript written on manual.log. + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.o9gxKd + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64 ++ dirname /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd cohomCalg-0.32 + mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/bin + cp -p bin/cohomcalg /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/bin + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.32-11.fc37 --unique-debug-suffix -0.32-11.fc37.riscv64 --unique-debug-src-base cohomCalg-0.32-11.fc37.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cohomCalg-0.32 extracting debug info from /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/bin/cohomcalg original debug info size: 7688kB, size after compression: 7440kB /usr/bin/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. 1717 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.kv2NG6 + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC ~/build/BUILD/cohomCalg-0.32/bin ~/build/BUILD/cohomCalg-0.32 + CXX=g++ + export CXX + cd cohomCalg-0.32 + pushd bin + for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3 + ./cohomcalg --integrated CP2.in + diff -q out/CP2.out - + for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3 + ./cohomcalg --integrated P31SU7.in + diff -q out/P31SU7.out - + for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3 + ./cohomcalg --integrated Quintic.in + diff -q out/Quintic.out - + for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3 + ./cohomcalg --integrated WCP11114.in + diff -q out/WCP11114.out - + for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3 + ./cohomcalg --integrated dP1.in + diff -q out/dP1.out - + for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3 + ./cohomcalg --integrated dP3.in + diff -q out/dP3.out - + popd ~/build/BUILD/cohomCalg-0.32 + RPM_EC=0 ++ jobs -p + exit 0 Processing files: cohomCalg-0.32-11.fc37.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.w6UML1 + umask 022 + cd /builddir/build/BUILD + cd cohomCalg-0.32 + DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/doc/cohomCalg + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/doc/cohomCalg + cp -pr README.md /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/doc/cohomCalg + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.nTL3Ef + umask 022 + cd /builddir/build/BUILD + cd cohomCalg-0.32 + LICENSEDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/licenses/cohomCalg + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/licenses/cohomCalg + cp -pr LICENSE /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/licenses/cohomCalg + RPM_EC=0 ++ jobs -p + exit 0 Provides: cohomCalg = 0.32-11.fc37 cohomCalg(riscv-64) = 0.32-11.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.34)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.22)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: cohomCalg-doc-0.32-11.fc37.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.CHxn64 + umask 022 + cd /builddir/build/BUILD + cd cohomCalg-0.32 + DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/doc/cohomCalg-doc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/doc/cohomCalg-doc + cp -pr manual/latex_source/manual.pdf /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64/usr/share/doc/cohomCalg-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: cohomCalg-doc = 0.32-11.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cohomCalg-debugsource-0.32-11.fc37.riscv64 Provides: cohomCalg-debugsource = 0.32-11.fc37 cohomCalg-debugsource(riscv-64) = 0.32-11.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cohomCalg-debuginfo-0.32-11.fc37.riscv64 Provides: cohomCalg-debuginfo = 0.32-11.fc37 cohomCalg-debuginfo(riscv-64) = 0.32-11.fc37 debuginfo(build-id) = e39a0b294c57a9345db21bb80f514fd38cc29f87 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cohomCalg-debugsource(riscv-64) = 0.32-11.fc37 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64 Wrote: /builddir/build/RPMS/cohomCalg-0.32-11.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/cohomCalg-doc-0.32-11.fc37.noarch.rpm Wrote: /builddir/build/RPMS/cohomCalg-debugsource-0.32-11.fc37.riscv64.rpm Wrote: /builddir/build/RPMS/cohomCalg-debuginfo-0.32-11.fc37.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.mOcUBV + umask 022 + cd /builddir/build/BUILD + cd cohomCalg-0.32 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-11.fc37.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.sJYHXL + umask 022 + cd /builddir/build/BUILD + rm -rf cohomCalg-0.32 cohomCalg-0.32.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0