[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#951553: marked as done (ITP: qepcad -- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition)

Your message dated Thu, 14 Oct 2021 13:00:10 +0000
with message-id <E1mb0LC-00045I-GX@fasolo.debian.org>
and subject line Bug#951553: fixed in qepcad 1.74+ds-1
has caused the Debian Bug report #951553,
regarding ITP: qepcad -- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
951553: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951553
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist

* Package name    : qepcad
  Version         : B 1.72
  Upstream Author : Christopher W Brown <wcbrown@usna.edu>
* URL             : https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html
* License         : BSD, MIT
  Programming Lang: C
  Description     : Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due orginally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. Presented here is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction. QEPCAD and the SACLIB library are the result of a program of research by George Collins and his PhD students that has spanned several decades ... and continues still!

I extended and improved QEPCAD for several years. Improvements that didn't involve changes to the way the program interacted with the user I'd just go ahead and make. However, changes that affected the interaction of QEPCAD and the user, or changes that added new features were "tacked on" to the program, requiring the user to know about extra commands. Moreover, there was no cannonical source for QEPCAD distribution or documentation, and no internet accessible source at all. This branch of QEPCAD, QEPCAD "B", was introduced to address those problems - to make QEPCAD easily accessable through the internet, to provide good documentation, and to incorporate many improvements and extensions in a way that makes them most accessible to the user.

--- End Message ---
--- Begin Message --- 
Source: qepcad
Source-Version: 1.74+ds-1
Done: Doug Torrance <dtorrance@piedmont.edu>

We believe that the bug you reported is fixed in the latest version of
qepcad, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 951553@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Doug Torrance <dtorrance@piedmont.edu> (supplier of updated qepcad package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 07 Jul 2021 18:41:52 +0530
Source: qepcad
Binary: qepcad qepcad-dbgsym
Architecture: source amd64
Version: 1.74+ds-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Doug Torrance <dtorrance@piedmont.edu>
Description:
 qepcad     - quantifier elimination tool
Closes: 951553
Changes:
 qepcad (1.74+ds-1) unstable; urgency=low
 .
   * Initial release (Closes: #951553).
Checksums-Sha1:
 08e6b06ad50052487b85a8184413ffb093f6020a 2059 qepcad_1.74+ds-1.dsc
 3c482a88bf552cea6702e4db6a3d17e4b7549eb6 255020 qepcad_1.74+ds.orig.tar.xz
 d61e7e21b9ee2e2a76655f5a0a7886c9105e6c4b 25476 qepcad_1.74+ds-1.debian.tar.xz
 be7f66e4fbb5b0b1a7ec3de9f42b05dae742aa03 2555400 qepcad-dbgsym_1.74+ds-1_amd64.deb
 4d9248171b9decaee3432a4a0743a30e42609c26 8305 qepcad_1.74+ds-1_amd64.buildinfo
 cc711a5a55b79f470f4b403a5e22c69756df3158 452332 qepcad_1.74+ds-1_amd64.deb
Checksums-Sha256:
 cd9f195f8321dafdf0eb554b80a2a676f9c559bb3330c04a83b0389525bb1735 2059 qepcad_1.74+ds-1.dsc
 9154d6a42c754dde447d0611ce5b9fedfaa401dbb647c854bcbb7aae53605e35 255020 qepcad_1.74+ds.orig.tar.xz
 e303642c2e2f421a27e747c0032fccd3f2676fe4a0880c396e016fd6a58a1e7e 25476 qepcad_1.74+ds-1.debian.tar.xz
 4e5796e67a6dbd38435136ac4c9939e7e2eb9752ced92885a8d83fee9c6f5e4d 2555400 qepcad-dbgsym_1.74+ds-1_amd64.deb
 62e36de7747b04470455896a8dd141efbf84c38f7d10e94c522b07f437ee8999 8305 qepcad_1.74+ds-1_amd64.buildinfo
 b8cba7f7fa72a931a0476f391c4455918176621e30a7fab26f72ccb470280f87 452332 qepcad_1.74+ds-1_amd64.deb
Files:
 e54095e2a50e28f6f015fdd29409a22c 2059 math optional qepcad_1.74+ds-1.dsc
 7d3f85d253473f6d90d83033ff22820d 255020 math optional qepcad_1.74+ds.orig.tar.xz
 53fed90fa8b32589dcbe70c6433de08d 25476 math optional qepcad_1.74+ds-1.debian.tar.xz
 13931b1f0ccca35e7ef8a0e5ec55b0e1 2555400 debug optional qepcad-dbgsym_1.74+ds-1_amd64.deb
 edb67e61c5ebfc29e6f376ebaad7bcfc 8305 math optional qepcad_1.74+ds-1_amd64.buildinfo
 6f7f39e603177e092893d676e1cf4358 452332 math optional qepcad_1.74+ds-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAmDlqoIUHG5wYXRyYTk3
NEBnbWFpbC5jb20ACgkQALrnSzQzafFsqA/8DIprBntyoP5Z/vw+5dcvvaGNP7Om
QnK6+MWnqAY7nP3KAe/Y0Qe68l89hnGnOTKKpsSoJMP8LntMOtRPibI/RM6o+BOj
Amb1d1eAn/eolbB/QKwC37PjCPfqaxVBg0K5UQCh19BDBqf/0XlRdTrZn8i9W5G+
SgYAP1G8vY27YxXOvHHbCSdwUp78PH28Q7W7iqvf6615/QgRzzGh96VQ0IWxfn92
1wm0Ie4pEPg2MAUktGRaaM/dOVx6bmQxCdR8IjamQHPeRQGCSHhkuA3z4rvUAGgN
+eeXlfnQI5Rjl7Iv1dPk6zl8+aliIxBYUOew2lxD8kzpjNrnVZW2mUISZgsiXs9I
qYTAglwvmOEil2vQ/UvpcPBY2cPALmg/xBIx4g07a+nBsY11gqhC+AYxA1r70diS
XIU28veJ8w0HroCODiw+AKqe4af1LH7U2uwVVvhgKnNhs5LIopA5vf+QT/hCi8Jx
X36ytJVIaGLE2+T680xv2LaevDNFQGyIoOVbKUC3GiwlgtTVzgseJ5Hk4RYEFj9k
HCU//lJ0soXMD8CkNwK9ZeGMGUmqIkDZ2N/qHlcjRfJCeiIAtGg4VPa1QchNYl5X
hXp8Hj9k2La/SDUJ8Jw/sg8wsW01IwQRTPdlmsYLikSo0Z7oiIWO09L1M2lORi9y
D8+hGQsWAH4zqeI=
=nSf7
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: