Hi all,

On Saturday 13 Jun 2015 10:41:15 Francois Bissey wrote:
> I think Andrew has already done quite a bit of the porting to autotools and
> some python 3 fixes. But neither he or I want to be a maintainer - at least
> for the long term.

ah, sorry that I missed that. Great! How about this:

1. We create an organisation on GitHub PolyBoRi3 

2. We move Andrew's current version over there

3. I volunteer to be *a* maintainer, help would greatly be appreciated

I envision that it would be good to split PolyBoRi up roughly as follows to 
make maintenance simpler (please do tell me if this is silly). This way we 
keep dependencies of Sage as external dependencies and don't have to suck 
large parts into the Sage library proper:

- polybori-core (libpolybori, Cudd, groebner (?))

the C++ stuff that doesn't involve python at all. This would be a standard 
package in Sage (hopefully) and autotoolised.

- polybori-python-binding-boost (PyPolyBoRi)

the C++ boost stuff which does the Python bindings. This is not used by Sage - 
I believe - so we don't care much. Autotoolised, but not a priority, because 
Sage has its own Cython bindings reimplementing this stuff.

- polybori-python

The Python stuff which can be managed by distutils or whatever the kids are 
using now. This could in principle be an optional package, but I guess it 
might as well be standard given that's pure python and relatively small.

Cheers,
Martin

-- 
.www: https://martinralbrecht.wordpress.com
.pgp: 40BC 7F0D 724B 4AB1 CC98 4014 A040 043C 6532 AFB4
.xmpp: martinralbre...@jabber.ccc.de
.twitter: https://twitter.com/martinralbrecht
.keybase: https://keybase.io/martinralbrecht

-- 
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to