On Monday, February 5, 2018 at 7:14:12 PM UTC, vdelecroix wrote: > > On 05/02/2018 15:33, Volker Braun wrote: > > Isn't having yet another integer type in Sage a huge liability without > > advantage? Anybody care to explain why we'd want two different gmp/mpir > > wrappers in Sage? Also, confusion factor for users... > > - because gmpy2 is de facto a Python standard (used in mpmath and sympy > for example) > > - no Standard Sage user is asked to know or use gmpy2 or pplpy. > These are respectively used as gmp data transition and backend > for polyhedra > > And without having gmpy2 it is hard to set pplpy a standalone > package. And I see several point in making it happen > > - a potentially much larger user base > > - a potentially much larger developer base > > - pplpy is Python2/Python3 compatible and tested on both > > - pplpy currently includes more ppl features than sage.libs.ppl > > > This introduces various breaking changes, for example right now I can do > > > > sage: from sage.libs.ppl import Variable, Linear_Expression > > sage: Linear_Expression(10).inhomogeneous_term().factor() > > 2 * 5 > > Indeed, this is broken but > > - As already said sage.libs.ppl is not imported on startup and only > used as a backed in the polyhedron code.
ppl is also a backend to linear optimisation, see src/sage/numerical/backends/ppl_backend.pyx > People who do use it can > easily handle the transition > - factorizing 10 this way is a bit strange :-) > > - factor(Linear_Expression(10).inhomogeneous_term()) should work (if it > does not already) > > > On Monday, February 5, 2018 at 10:06:25 AM UTC+1, Jeroen Demeyer wrote: > >> > >> On 2018-02-05 09:11, Vincent Klein wrote: > >>> This require to have pplpy as a standard package. As pplpy use gmpy2 > the > >>> latter should be stantard too. > >>> > >>> Do we agree to do this ? > >> > >> Fine for me. > >> > >> > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
