# the upstream source contains C++ code, and has no clearly defined and versioned ABI
libsingular4m4n1: package-name-doesnt-match-sonames

### An isolated mathematically impossible computation in factory/NTLconvert.cc
### is managed with exit(3); this sounds as a clumsy DEBUG policy rather than a
### design issue, but still an issue that has to be fixed by the upstream team
### itself.
### Singular comes with its own memory library omalloc that hooks `out of memory'
### events (OM_OUT_OF_MEMORY_HOOK in omalloc/omAllocSystem.c) before to implement
### an unreachable exit(3); this looks as a clumsy emergency exit policy rather
### than a design issue that may be revisited only to please lintian.
##libsingular4m4n1: exit-in-shared-library

# the upstream source contains C++ code, and has no clearly defined and versioned ABI
libsingular4m4n1: no-symbols-control-file
libsingular4m4n1: package-name-doesnt-match-sonames libsingular4m4n1
