Package: lrslib Version: 0.62-2 Severity: serious -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256
Control: fixed -1 0.70-2 On i386, I tried 3 or for sample ine files from the source and each one terminated after reporting a single basis. Sample run follows. (unstable-i386-sbuild)bremner@convex:~/lrslib/ine/cocoa13$ lrs bv8.ine *lrs:lrslib v.6.2 2016.3.28(64bit,lrsgmp.h gmp v.6.1) *Copyright (C) 1995,2016, David Avis a...@cs.mcgill.ca *Input taken from file bv8.ine V-representation begin ***** 73 rational 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 V#1 R#0 B#1 h=0 facets 24 25 26 27 28 29 32 33 34 35 36 39 40 41 42 43 46 47 48 49 50 53 54 55 56 57 60 61 62 63 64 67 68 69 70 71 74 75 76 77 78 79 81 82 83 84 85 86 87 I#56 det= 1 in_det= 1 z= 0 end *Tree truncated at depth -1 *Totals: vertices=1 rays=0 bases=1 integer_vertices=1 *Dictionary Cache: max size= 1 misses= 1/1 Tree Depth= 0 *lrs:lrslib v.6.2 2016.3.28(64bit,lrsgmp.h) *0.017u 0.000s 1692Kb 0 flts 0 swaps 32 blks-in 0 blks-out I'm not sure this is really worth debugging, as it seems fixed in the version in experimental. - -- System Information: Debian Release: buster/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'testing') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.19.0-1-amd64 (SMP w/8 CPU cores) Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE=en_CA:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages lrslib depends on: ii libc6 2.28-2 ii libgmp10 2:6.1.2+dfsg-4 ii liblrs0 0.70-1 lrslib recommends no packages. lrslib suggests no packages. - -- no debconf information -----BEGIN PGP SIGNATURE----- iQGzBAEBCAAdFiEE3VS2dnyDRXKVCQCp8gKXHaSnniwFAlw7Z+oACgkQ8gKXHaSn niy2GAwAkfkrEq2++ySRFA82ydX6vvvLSexbCpn/h+UFwdxOZYtV4kgDwZDBrHww 0W5PZrbKTvMNiVQCDW7lqdKlgEofiiaTRCQunosM2biSQYhpoX+fDjf5SkrDArUL nuwbnr1ue9af0HvVXHiKpRuNONiJ/6JeIwxhceXS89AM1SJrjhMrePIkVtnjvtkL r+npIlckY5ToGWpuXay5BJ6wTpZGuoWQkSffGPbRB84efQTfayd76xDRSPOhv2SA wl9aye1mxESVztZZYXDsNasuBpKpHdqM9TQsMG8uTpLin1p6CNvLhwITfyaUgooG zzDY/cSu2+huzvLvLjmoaqevw5v09n1/HjIrk1a0Qf6seFN++apogXt25B1i1Wg+ kSKvFC0h9QUcYzpI5mn6Rf91RsQD/N4a5q+MqaHG9HLy2r/FnroFAYwxnqVEJXGl ctHQPVT7QAvBjzhuomJG3IDoVW2xCFROf0S/tP1M7eU8B1Dn6HWcb2qCyHJxRZla qkhPA1eg =wiBa -----END PGP SIGNATURE-----
