- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(modernize_ppl): Avoid deprecations.
by Abramo Bagnara 27 Sep '25

27 Sep '25

Module: ppl/ppl Branch: modernize_ppl Commit: c347aef13f954500d819dffe13793e1bba55d360 Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Fri Sep 12 15:04:49 2025 +0200 Avoid deprecations. --- src/Congruence_System_defs.hh | 13 +++++++------ src/Constraint_System_defs.hh | 12 ++++++------ src/Determinate_defs.hh | 2 +- src/Generator_System_defs.hh | 12 ++++++------ src/Grid_Generator_System_defs.hh | 12 ++++++------ src/Pointset_Ask_Tell_inlines.hh | 5 +++-- src/Pointset_Powerset_inlines.hh | 5 +++-- src/Powerset_inlines.hh | 4 ++-- src/Ptr_Iterator_defs.hh | 11 ++++------- 9 files changed, 38 insertions(+), 38 deletions(-) diff --git a/src/Congruence_System_defs.hh b/src/Congruence_System_defs.hh index cc7d31db9..86f4622a6 100644 --- a/src/Congruence_System_defs.hh +++ b/src/Congruence_System_defs.hh @@ -247,13 +247,14 @@ public: cout << *i << endl; \endcode */ - class const_iterator - : public std::iterator<std::forward_iterator_tag, - Congruence, - std::ptrdiff_t, - const Congruence*, - const Congruence&> { + class const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Congruence value_type; + typedef std::ptrdiff_t difference_type; + typedef const Congruence* pointer; + typedef const Congruence& reference; + //! Default constructor. const_iterator(); diff --git a/src/Constraint_System_defs.hh b/src/Constraint_System_defs.hh index d79047c60..cf8402dd4 100644 --- a/src/Constraint_System_defs.hh +++ b/src/Constraint_System_defs.hh @@ -607,13 +607,13 @@ for (Constraint_System::const_iterator i = cs.begin(), // NOTE: This is not an inner class of Constraint_System, so Constraint can // declare that this class is his friend without including this file // (the .types.hh file suffices). -class Parma_Polyhedra_Library::Constraint_System_const_iterator - : public std::iterator<std::forward_iterator_tag, - Constraint, - std::ptrdiff_t, - const Constraint*, - const Constraint&> { +class Parma_Polyhedra_Library::Constraint_System_const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Constraint value_type; + typedef std::ptrdiff_t difference_type; + typedef const Constraint* pointer; + typedef const Constraint& reference; //! Default constructor. Constraint_System_const_iterator(); diff --git a/src/Determinate_defs.hh b/src/Determinate_defs.hh index 886d6919b..fcdc169a2 100644 --- a/src/Determinate_defs.hh +++ b/src/Determinate_defs.hh @@ -211,7 +211,7 @@ public: having signature <CODE>void foo(PSET& x, const PSET& y)</CODE> that applies an operator to \c x and \c y and assigns the result to \c x. For instance, such a function object is obtained by - <CODE>std::mem_fun_ref(&C_Polyhedron::intersection_assign)</CODE>. + <CODE>std::mem_fn(&C_Polyhedron::intersection_assign)</CODE>. */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename Binary_Operator_Assign> diff --git a/src/Generator_System_defs.hh b/src/Generator_System_defs.hh index 2a3b91b4d..dcb0e5c6e 100644 --- a/src/Generator_System_defs.hh +++ b/src/Generator_System_defs.hh @@ -677,13 +677,13 @@ const Generator_System& gs = ph.generators(); copy(gs.begin(), gs.end(), ostream_iterator<Generator>(cout, "\n")); \endcode */ -class Parma_Polyhedra_Library::Generator_System_const_iterator - : public std::iterator<std::forward_iterator_tag, - Generator, - std::ptrdiff_t, - const Generator*, - const Generator&> { +class Parma_Polyhedra_Library::Generator_System_const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Generator value_type; + typedef std::ptrdiff_t difference_type; + typedef const Generator* pointer; + typedef const Generator& reference; //! Default constructor. Generator_System_const_iterator(); diff --git a/src/Grid_Generator_System_defs.hh b/src/Grid_Generator_System_defs.hh index 49b69a4d7..ad59c4014 100644 --- a/src/Grid_Generator_System_defs.hh +++ b/src/Grid_Generator_System_defs.hh @@ -275,13 +275,13 @@ public: copy(ggs.begin(), ggs.end(), ostream_iterator<Grid_Generator>(cout, "\n")); \endcode */ - class const_iterator - : public std::iterator<std::forward_iterator_tag, - Grid_Generator, - std::ptrdiff_t, - const Grid_Generator*, - const Grid_Generator&> { + class const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Grid_Generator value_type; + typedef std::ptrdiff_t difference_type; + typedef const Grid_Generator* pointer; + typedef const Grid_Generator& reference; //! Default constructor. const_iterator(); diff --git a/src/Pointset_Ask_Tell_inlines.hh b/src/Pointset_Ask_Tell_inlines.hh index 3486c04d6..93e067d96 100644 --- a/src/Pointset_Ask_Tell_inlines.hh +++ b/src/Pointset_Ask_Tell_inlines.hh @@ -34,6 +34,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "NNC_Polyhedron_defs.hh" #include <algorithm> #include <deque> +#include <functional> namespace Parma_Polyhedra_Library { @@ -121,7 +122,7 @@ Pointset_Ask_Tell<PSET>::intersection_assign(const Pointset_Ask_Tell& y) { Pointset_Ask_Tell& x = *this; x.pairwise_apply_assign (y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::intersection_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::intersection_assign))); } template <typename PSET> @@ -130,7 +131,7 @@ Pointset_Ask_Tell<PSET>::time_elapse_assign(const Pointset_Ask_Tell& y) { Pointset_Ask_Tell& x = *this; x.pairwise_apply_assign (y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::time_elapse_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::time_elapse_assign))); } template <typename PSET> diff --git a/src/Pointset_Powerset_inlines.hh b/src/Pointset_Powerset_inlines.hh index 1d59d5372..692992580 100644 --- a/src/Pointset_Powerset_inlines.hh +++ b/src/Pointset_Powerset_inlines.hh @@ -34,6 +34,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "NNC_Polyhedron_defs.hh" #include <algorithm> #include <deque> +#include <functional> namespace Parma_Polyhedra_Library { @@ -221,7 +222,7 @@ inline void Pointset_Powerset<PSET>::intersection_assign(const Pointset_Powerset& y) { Pointset_Powerset& x = *this; x.pairwise_apply_assign(y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::intersection_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::intersection_assign))); } template <typename PSET> @@ -229,7 +230,7 @@ inline void Pointset_Powerset<PSET>::time_elapse_assign(const Pointset_Powerset& y) { Pointset_Powerset& x = *this; x.pairwise_apply_assign(y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::time_elapse_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::time_elapse_assign))); } template <typename PSET> diff --git a/src/Powerset_inlines.hh b/src/Powerset_inlines.hh index d3483053b..86ca5733c 100644 --- a/src/Powerset_inlines.hh +++ b/src/Powerset_inlines.hh @@ -26,6 +26,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "assertions.hh" #include <algorithm> +#include <functional> namespace Parma_Polyhedra_Library { @@ -193,11 +194,10 @@ Powerset<D>::collapse() { collapse(sequence.begin()); } } - template <typename D> inline void Powerset<D>::meet_assign(const Powerset& y) { - pairwise_apply_assign(y, std::mem_fun_ref(&D::meet_assign)); + pairwise_apply_assign(y, std::mem_fn(&D::meet_assign)); } template <typename D> diff --git a/src/Ptr_Iterator_defs.hh b/src/Ptr_Iterator_defs.hh index 393a35724..b3510f825 100644 --- a/src/Ptr_Iterator_defs.hh +++ b/src/Ptr_Iterator_defs.hh @@ -65,16 +65,13 @@ Ptr_Iterator operator+(typename Ptr_Iterator::difference_type m, //! A class to define STL const and non-const iterators from pointer types. #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename P> -class Parma_Polyhedra_Library::Implementation::Ptr_Iterator - : public std::iterator<typename std::iterator_traits::iterator_category, - typename std::iterator_traits::value_type, - typename std::iterator_traits::difference_type, - typename std::iterator_traits::pointer, - typename std::iterator_traits::reference> { +class Parma_Polyhedra_Library::Implementation::Ptr_Iterator { public: + typedef typename std::iterator_traits::iterator_category iterator_category; + typedef typename std::iterator_traits::value_type value_type; typedef typename std::iterator_traits::difference_type difference_type; - typedef typename std::iterator_traits::reference reference; typedef typename std::iterator_traits::pointer pointer; + typedef typename std::iterator_traits::reference reference; //! Default constructor: no guarantees. Ptr_Iterator();

1 0

Re: Disjunction of two Pointset_Powerset? (likely bug in the OCaml binding)
by BUGSENG Support 22 Sep '25

22 Sep '25

Dear Étienne, thank you for contacting us directly. The ppl-devel mailing list has been relocated under a different domain (bugseng.com), we did not receive you emails. A notice informing of the relocation has been sent to all mailing list subscribers on Jan 22. Subject was: "PPL-devel mailing list relocation". Please, see the new PPL-devel home at: https://support.bugseng.com/cgi-bin/mailman/listinfo/ppl-devel Thank you for the bug report, we will look at it as soon as possible. Can you please share with us a testcase to reproduce the error? Do you have any additional information that might be helpful? Thank you, regards Federico On 08/11/24 14:00, Étienne André wrote: > Dear PPL developers, > > I received a "mailer daemon" in reply to my former email related to a > likely bug in the OCaml interface, so I take the liberty to write > another email (see below). > > Many thanks for your answer. > > Best, > > Étienne André > Université Sorbonne Paris Nord > https://lipn.univ-paris13.fr/~andre/ > > Le 22/10/2024 à 15:09, Étienne André a écrit : >> >> Dear PPL developers, >> >> We didn't have news since March, but we tried to investigate the >> problem, and it looks now rather likely to us that the bug mentioned >> in my first email /does/ come from a bug in PPL, more precisely from >> the OCaml binding. It is likely that some "free" operations on >> pointers in the binding are unnecessary, and cause the garbage >> collector to access some already destroyed objects, leading to >> segmentation faults. >> >> My colleagues are trying to fix the binding so as to remove the "free" >> operations, and let the OCaml garbage collector do its job naturally. >> >> We still want to point out this issue, and we do encourage you in >> investigating this matter. >> >> Best, >> >> Étienne André >> Université Sorbonne Paris Nord >> https://lipn.univ-paris13.fr/~andre/ >> >>> Em sex., 31 de mai. de 2024 às 13:34, Étienne André >>> <Andre.Etienne(a)lipn13.fr> escreveu: >>> >>> Dear PPL developers, >>> >>> I wonder whether you had received our email, and might have an >>> idea of why we encounter an issue of corrupted memory with >>> Pointset_Powerset. >>> >>> Thank you! >>> >>> Best, >>> >>> Étienne André >>> Université Sorbonne Paris Nord >>> https://lipn.univ-paris13.fr/~andre/ >>> >>> Le 18/03/2024 à 11:09, Étienne André a écrit : >>>> >>>> Dear PPL developers, >>>> >>>> We got an issue in developing IMITATOR with the PPL OCaml >>>> binding, most probably not related to a PPL bug (even if we >>>> don't fully exclude it either). >>>> >>>> Our goal is to perform the disjunction of two Pointset_Powerset, >>>> i.e., union_assign p1 p2, where p1 gets as the result the union >>>> of p1 and p2. >>>> >>>> I don't think there is a function to directly do this in PPL? If >>>> there is, which one should we use? >>>> >>>> Our algorithm is as follows: >>>> >>>> 1. get all disjuncts of p2 (using an iterator) >>>> 2. for each disjunct, add it to p1 using the PPL OCaml binding >>>> function ppl_Pointset_Powerset_NNC_Polyhedron_add_disjunct >>>> >>>> Is that the right way to do? >>>> >>>> >>>> We got dimensions exceptions, both very random (changing the >>>> input file name yields a different exception!) and with >>>> completely funny dimensions (such as 208 or 416) for a system >>>> that has only 2 dimensions, and/or segmentation faults/core dump >>>> which might come from a corrupted memory somewhere. >>>> >>>> We use OCaml 4.14.1 with (presumably) PPL 1:1.2-8.1build1. >>>> >>>> Thanks! >>>> >>>> Best, >>>> >>>> -- >>>> Étienne André >>>> Université Sorbonne Paris Nord >>>> https://lipn.univ-paris13.fr/~andre/ >>> >>> >>> >>> -- >>> att. Tomaz Gomes

2 1

[GIT] ppl/ppl(devel): Avoid deprecations.
by Abramo Bagnara 12 Sep '25

12 Sep '25

Module: ppl/ppl Branch: devel Commit: c347aef13f954500d819dffe13793e1bba55d360 Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Fri Sep 12 15:04:49 2025 +0200 Avoid deprecations. --- src/Congruence_System_defs.hh | 13 +++++++------ src/Constraint_System_defs.hh | 12 ++++++------ src/Determinate_defs.hh | 2 +- src/Generator_System_defs.hh | 12 ++++++------ src/Grid_Generator_System_defs.hh | 12 ++++++------ src/Pointset_Ask_Tell_inlines.hh | 5 +++-- src/Pointset_Powerset_inlines.hh | 5 +++-- src/Powerset_inlines.hh | 4 ++-- src/Ptr_Iterator_defs.hh | 11 ++++------- 9 files changed, 38 insertions(+), 38 deletions(-) diff --git a/src/Congruence_System_defs.hh b/src/Congruence_System_defs.hh index cc7d31db9..86f4622a6 100644 --- a/src/Congruence_System_defs.hh +++ b/src/Congruence_System_defs.hh @@ -247,13 +247,14 @@ public: cout << *i << endl; \endcode */ - class const_iterator - : public std::iterator<std::forward_iterator_tag, - Congruence, - std::ptrdiff_t, - const Congruence*, - const Congruence&> { + class const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Congruence value_type; + typedef std::ptrdiff_t difference_type; + typedef const Congruence* pointer; + typedef const Congruence& reference; + //! Default constructor. const_iterator(); diff --git a/src/Constraint_System_defs.hh b/src/Constraint_System_defs.hh index d79047c60..cf8402dd4 100644 --- a/src/Constraint_System_defs.hh +++ b/src/Constraint_System_defs.hh @@ -607,13 +607,13 @@ for (Constraint_System::const_iterator i = cs.begin(), // NOTE: This is not an inner class of Constraint_System, so Constraint can // declare that this class is his friend without including this file // (the .types.hh file suffices). -class Parma_Polyhedra_Library::Constraint_System_const_iterator - : public std::iterator<std::forward_iterator_tag, - Constraint, - std::ptrdiff_t, - const Constraint*, - const Constraint&> { +class Parma_Polyhedra_Library::Constraint_System_const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Constraint value_type; + typedef std::ptrdiff_t difference_type; + typedef const Constraint* pointer; + typedef const Constraint& reference; //! Default constructor. Constraint_System_const_iterator(); diff --git a/src/Determinate_defs.hh b/src/Determinate_defs.hh index 886d6919b..fcdc169a2 100644 --- a/src/Determinate_defs.hh +++ b/src/Determinate_defs.hh @@ -211,7 +211,7 @@ public: having signature <CODE>void foo(PSET& x, const PSET& y)</CODE> that applies an operator to \c x and \c y and assigns the result to \c x. For instance, such a function object is obtained by - <CODE>std::mem_fun_ref(&C_Polyhedron::intersection_assign)</CODE>. + <CODE>std::mem_fn(&C_Polyhedron::intersection_assign)</CODE>. */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename Binary_Operator_Assign> diff --git a/src/Generator_System_defs.hh b/src/Generator_System_defs.hh index 2a3b91b4d..dcb0e5c6e 100644 --- a/src/Generator_System_defs.hh +++ b/src/Generator_System_defs.hh @@ -677,13 +677,13 @@ const Generator_System& gs = ph.generators(); copy(gs.begin(), gs.end(), ostream_iterator<Generator>(cout, "\n")); \endcode */ -class Parma_Polyhedra_Library::Generator_System_const_iterator - : public std::iterator<std::forward_iterator_tag, - Generator, - std::ptrdiff_t, - const Generator*, - const Generator&> { +class Parma_Polyhedra_Library::Generator_System_const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Generator value_type; + typedef std::ptrdiff_t difference_type; + typedef const Generator* pointer; + typedef const Generator& reference; //! Default constructor. Generator_System_const_iterator(); diff --git a/src/Grid_Generator_System_defs.hh b/src/Grid_Generator_System_defs.hh index 49b69a4d7..ad59c4014 100644 --- a/src/Grid_Generator_System_defs.hh +++ b/src/Grid_Generator_System_defs.hh @@ -275,13 +275,13 @@ public: copy(ggs.begin(), ggs.end(), ostream_iterator<Grid_Generator>(cout, "\n")); \endcode */ - class const_iterator - : public std::iterator<std::forward_iterator_tag, - Grid_Generator, - std::ptrdiff_t, - const Grid_Generator*, - const Grid_Generator&> { + class const_iterator { public: + typedef std::forward_iterator_tag iterator_category; + typedef Grid_Generator value_type; + typedef std::ptrdiff_t difference_type; + typedef const Grid_Generator* pointer; + typedef const Grid_Generator& reference; //! Default constructor. const_iterator(); diff --git a/src/Pointset_Ask_Tell_inlines.hh b/src/Pointset_Ask_Tell_inlines.hh index 3486c04d6..93e067d96 100644 --- a/src/Pointset_Ask_Tell_inlines.hh +++ b/src/Pointset_Ask_Tell_inlines.hh @@ -34,6 +34,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "NNC_Polyhedron_defs.hh" #include <algorithm> #include <deque> +#include <functional> namespace Parma_Polyhedra_Library { @@ -121,7 +122,7 @@ Pointset_Ask_Tell<PSET>::intersection_assign(const Pointset_Ask_Tell& y) { Pointset_Ask_Tell& x = *this; x.pairwise_apply_assign (y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::intersection_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::intersection_assign))); } template <typename PSET> @@ -130,7 +131,7 @@ Pointset_Ask_Tell<PSET>::time_elapse_assign(const Pointset_Ask_Tell& y) { Pointset_Ask_Tell& x = *this; x.pairwise_apply_assign (y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::time_elapse_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::time_elapse_assign))); } template <typename PSET> diff --git a/src/Pointset_Powerset_inlines.hh b/src/Pointset_Powerset_inlines.hh index 1d59d5372..692992580 100644 --- a/src/Pointset_Powerset_inlines.hh +++ b/src/Pointset_Powerset_inlines.hh @@ -34,6 +34,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "NNC_Polyhedron_defs.hh" #include <algorithm> #include <deque> +#include <functional> namespace Parma_Polyhedra_Library { @@ -221,7 +222,7 @@ inline void Pointset_Powerset<PSET>::intersection_assign(const Pointset_Powerset& y) { Pointset_Powerset& x = *this; x.pairwise_apply_assign(y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::intersection_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::intersection_assign))); } template <typename PSET> @@ -229,7 +230,7 @@ inline void Pointset_Powerset<PSET>::time_elapse_assign(const Pointset_Powerset& y) { Pointset_Powerset& x = *this; x.pairwise_apply_assign(y, - Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::time_elapse_assign))); + Det_PSET::lift_op_assign(std::mem_fn(&PSET::time_elapse_assign))); } template <typename PSET> diff --git a/src/Powerset_inlines.hh b/src/Powerset_inlines.hh index d3483053b..86ca5733c 100644 --- a/src/Powerset_inlines.hh +++ b/src/Powerset_inlines.hh @@ -26,6 +26,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "assertions.hh" #include <algorithm> +#include <functional> namespace Parma_Polyhedra_Library { @@ -193,11 +194,10 @@ Powerset<D>::collapse() { collapse(sequence.begin()); } } - template <typename D> inline void Powerset<D>::meet_assign(const Powerset& y) { - pairwise_apply_assign(y, std::mem_fun_ref(&D::meet_assign)); + pairwise_apply_assign(y, std::mem_fn(&D::meet_assign)); } template <typename D> diff --git a/src/Ptr_Iterator_defs.hh b/src/Ptr_Iterator_defs.hh index 393a35724..b3510f825 100644 --- a/src/Ptr_Iterator_defs.hh +++ b/src/Ptr_Iterator_defs.hh @@ -65,16 +65,13 @@ Ptr_Iterator operator+(typename Ptr_Iterator::difference_type m, //! A class to define STL const and non-const iterators from pointer types. #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename P> -class Parma_Polyhedra_Library::Implementation::Ptr_Iterator - : public std::iterator<typename std::iterator_traits::iterator_category, - typename std::iterator_traits::value_type, - typename std::iterator_traits::difference_type, - typename std::iterator_traits::pointer, - typename std::iterator_traits::reference> { +class Parma_Polyhedra_Library::Implementation::Ptr_Iterator { public: + typedef typename std::iterator_traits::iterator_category iterator_category; + typedef typename std::iterator_traits::value_type value_type; typedef typename std::iterator_traits::difference_type difference_type; - typedef typename std::iterator_traits::reference reference; typedef typename std::iterator_traits::pointer pointer; + typedef typename std::iterator_traits::reference reference; //! Default constructor: no guarantees. Ptr_Iterator();

1 0

For V -> H conversion, how to provide points with noninteger coordinates?
by wundermonk＠gmail.com 18 Aug '25

18 Aug '25

Hello Roberto, Yes, applying the idea in the link works. I attach a snapshot of the key code on godbolt: https://godbolt.org/z/b9EaPMvbq I have a few follow-up queries. (1) What is the difference between if (!guarded_read(in, rational_coefficients[i])) { https://github.com/BUGSENG/PPL/blob/92d0704d3309d55f39a647595f8383b86fcd57e… and if (!guarded_read(in, d)) { https://github.com/BUGSENG/PPL/blob/92d0704d3309d55f39a647595f8383b86fcd57e… The first is for rationals and the second is for reals. Does the rationals part of the code read in separately the numerator (2) and denominator (3, say) while the reals part of the code read in a decimal, say, in this case, 0.6666666666667, directly? (2) In the code I have (link of godbolt provided), I store in rational_coefficients[ ] a double which is obtained by (double)numerator/(double)denominator. Could you please confirm that this is the canonical/right way to input points / rays with noninteger coefficients -- that is where numerator and denominator are integer type? (3) Is there an interface in PPL which accepts from the user only the integer numerator and integer denominator and within PPL converts these into appropriate rationals? The reason why I ask is that within another package (unmaintained now), PORTA, the user is able to separately enter the integer numerator and integer denominator and the code manages these "appropriately" within its internals. See for e.g., file inout.c within the PORTA package https://porta.zib.de/porta-1.4.1.zip function scan_line. As a naive end user, it appears to me that treating fractions could be compiler/OS dependent and hence user explicitly providing rational input as (double)numerator/(double)denominator could give rise to different ways in which rational_coefficients[] data structure is stored depending on the compiler/OS on which the program is run. Would it not be better and more robust to ask from the user only for the integer numerator and integer denominator and "convert" these appropriately (as the function "normalize" in PPL does) in a fashion which is independent of the OS/compiler used? Again, this is a naive question as an end user. Please let me know if my concern is not relevant here. Thank you for your help.

1 0

Git clone error
by wundermonk＠gmail.com 14 Aug '25

14 Aug '25

Hello, I am trying to install PPL on a new machine running 24.04 LTS ubuntu. I have git version 2.43.0 https://www.bugseng.com/ppl-download/ppl-git seems to indicate that git clone should work, but I obtain the following error: :~$ git clone git://git.bugseng.com/ppl/ppl.git Cloning into 'ppl'... fatal: unable to connect to git.bugseng.com: git.bugseng.com[0: 79.60.221.62]: errno=Connection refused In an earlier exchange, Roberto suggested the following: "Again: do not use any bzip2 old distribution of PPL: use the Git version, devel branch." Thank you. Tryer

4 7

Cannot download zip file
by Jaime ARIAS 24 Jan '25

24 Jan '25

Dear PPL developers, I’m trying to download the zip file from your website (https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.zip) However, I was not unable to download it :’( Could you please help me. Thank you in advance, Sincerely, Jaime -------------------------------------------------------------- Jaime Arias https://lipn.univ-paris13.fr/~arias CNRS Research Engineer (LoVe Team) LIPN, CNRS UMR 7030 Institut Galilée - Université Sorbonne Paris Nord 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, France tel: [+33] 01 49 40 40 67 --------------------------------------------------------------

3 3

Re: Query on checking out the 'devel' branch
by anoninus 23 Jan '25

23 Jan '25

Hello, I am trying to install PPL on a new machine running 24.04 LTS ubuntu. I have git version 2.43.0 https://www.bugseng.com/ppl-download/ppl-git seems to indicate that git clone should work, but I obtain the following error: :~$ git clone git://git.bugseng.com/ppl/ppl.git Cloning into 'ppl'... fatal: unable to connect to git.bugseng.com: git.bugseng.com[0: 79.60.221.62]: errno=Connection refused In an earlier exchange, Roberto suggested the following: "Again: do not use any bzip2 old distribution of PPL: use the Git version, devel branch." Thank you. Tryer On Thu, Jan 23, 2025 at 8:33 AM anoninus <wundermonk(a)gmail.com> wrote: > > Hello, > > I am trying to install PPL on a new machine running 24.04 LTS ubuntu. > I have git version 2.43.0 > > https://www.bugseng.com/ppl-download/ppl-git seems to indicate that > git clone should work, but I obtain the following error: > > :~$ git clone git://git.bugseng.com/ppl/ppl.git > Cloning into 'ppl'... > fatal: unable to connect to git.bugseng.com: > git.bugseng.com[0: 79.60.221.62]: errno=Connection refused > > In an earlier exchange, Roberto suggested the following: > > "Again: do not use any bzip2 old distribution of PPL: use > the Git version, devel branch." > > Thank you. > Tryer > > On Sun, Mar 20, 2022 at 4:59 AM anoninus <wundermonk(a)gmail.com> wrote: > > > > It seems to be working fine now. > > > > Thanks. > > > > On Sun, Mar 13, 2022 at 2:22 PM anoninus <wundermonk(a)gmail.com> wrote: > >> > >> Hello, > >> > >> It has been suggested to clone the library from the git repository and checkout the `devel` branch. > >> > >> For e.g., > >> > >> https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html > >> https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html > >> https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html > >> > >> I have cloned the repository by doing: > >> > >> $ git clone git://git.bugseng.com/ppl/ppl.git > >> $ cd ppl > >> ppl$ git branch -r > >> :~/ppl$ git branch -r > >> origin/COW > >> origin/HEAD -> origin/master > >> origin/MPI > >> origin/alt_lgo > >> origin/alt_nnc > >> origin/altnum > >> origin/bounded_arithmetic > >> origin/compliance > >> origin/deprecated_0_11_removal > >> origin/floating_point > >> origin/formatted_output > >> origin/generalized_streams > >> origin/grids > >> origin/interfaces > >> origin/lazy > >> origin/master > >> origin/octagons > >> origin/pip > >> origin/polynomials > >> origin/polyops > >> origin/positive > >> origin/ppl-0_10-branch > >> origin/ppl-0_11-branch > >> origin/ppl-0_12-branch > >> origin/ppl-0_3-branch > >> origin/ppl-0_4-branch > >> origin/ppl-0_5-branch > >> origin/ppl-0_6-branch > >> origin/ppl-0_7-branch > >> origin/ppl-0_8-branch > >> origin/ppl-0_9-branch > >> origin/ppl-1_0-branch > >> origin/ppl-1_1-branch > >> origin/ppl-1_2-branch > >> origin/products > >> origin/serial > >> origin/simplex > >> origin/space_dim > >> origin/sparse_matrices > >> origin/strict > >> origin/termination > >> > >> That is, there does not seem to be a 'devel' branch anywhere. > >> > >> As suggested in the 3rd link above the error is produced: https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html > >> > >> :~/ppl$ git checkout devel > >> error: pathspec 'devel' did not match any file(s) known to git > >> > >> I have also gone through README.configure, but that also does not specify the command that will checkout the devel branch. > >> > >> Thanks. > >> Tryer

1 0

[GIT] ppl/ppl(devel): Extended copyright years.
by Abramo Bagnara 21 Jan '25

21 Jan '25

1 0

[GIT] ppl/ppl(devel): __attribute__((weak)) does not work on MinGW, neither 32-bit nor 64-bit.
by Abramo Bagnara 08 Oct '24

08 Oct '24

Module: ppl/ppl Branch: devel Commit: c97ab86a3632ce7a0510586e3b426b588b70e800 Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Tue Oct 8 23:24:01 2024 +0200 __attribute__((weak)) does not work on MinGW, neither 32-bit nor 64-bit. --- src/assertions.hh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/assertions.hh b/src/assertions.hh index 8b205506f..b87ddb56b 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -100,9 +100,10 @@ namespace Parma_Polyhedra_Library { // Note: __attribute__((weak)) does not work on 64-bit Cygwin. // See https://trac.sagemath.org/ticket/16152 and links therein. -// It also does not work on 64-bit MinGW. +// It also does not work on MinGW. #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ - && !((defined(__CYGWIN__) || defined(__MINGW32__))&& defined(__x86_64__)) + && !(defined(__CYGWIN__) && defined(__x86_64__)) \ + && !defined(__MINGW32__) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))

1 0

[GIT] ppl/ppl(devel): __attribute__((weak)) does not work on 64-bit MinGW.
by Abramo Bagnara 11 Sep '24

11 Sep '24

Module: ppl/ppl Branch: devel Commit: bcedca2d38d714ff88f01b3bfa16269effa4807a Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Wed Sep 11 16:27:43 2024 +0200 __attribute__((weak)) does not work on 64-bit MinGW. --- src/assertions.hh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/assertions.hh b/src/assertions.hh index 477947b3c..8b205506f 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -100,8 +100,9 @@ namespace Parma_Polyhedra_Library { // Note: __attribute__((weak)) does not work on 64-bit Cygwin. // See https://trac.sagemath.org/ticket/16152 and links therein. +// It also does not work on 64-bit MinGW. #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ - && !(defined(__CYGWIN__) && defined(__x86_64__)) + && !((defined(__CYGWIN__) || defined(__MINGW32__))&& defined(__x86_64__)) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))

1 0