[sage-devel] Re: PolyBoRi integration

2007-12-05 Thread William Stein
On Dec 5, 2007 1:36 AM, Ralf-Philipp Weinmann <[EMAIL PROTECTED]> wrote: > But anyway, I think we can put the issue about PolyBoRi taking too > long to build at rest. :) OK, put to rest. And off-list Michael Brickenstein sent me some applications of PolyBoRi to a paper I wrote in grad school 11

[sage-devel] Re: PolyBoRi integration

2007-12-05 Thread Justin C. Walker
On Dec 5, 2007, at 02:01 , Michael Brickenstein wrote: > > There is no policy. Fee free to do so :-). Please, no! Don't cross-post. Justin -- Justin C. Walker, Curmudgeon at Large Institute for the Absorption of Federal Funds --- I'm beginning to like the cut of his jibberish. --

[sage-devel] Re: PolyBoRi integration

2007-12-05 Thread Michael Brickenstein
There is no policy. Fee free to do so :-). On 5 Dez., 10:59, Ralf-Philipp Weinmann <[EMAIL PROTECTED] darmstadt.de> wrote: > On Dec 4, 2007, at 19:57 , Burcin Erocal wrote: > > > > > Note that this is for comments and testing only, and is not at all > > complete. I know one way of crashing it, tr

[sage-devel] Re: PolyBoRi integration

2007-12-05 Thread Ralf-Philipp Weinmann
On Dec 4, 2007, at 19:57 , Burcin Erocal wrote: Note that this is for comments and testing only, and is not at all complete. I know one way of crashing it, try to use BooleSet iterators. I just built it and will do some preliminary testing today! Thanks for your work! Comments, suggest

[sage-devel] Re: PolyBoRi integration

2007-12-05 Thread Ralf-Philipp Weinmann
On Dec 4, 2007, at 20:11 , William Stein wrote: > >>> Hey, it failed for me :-) on ubuntu 32-bit linux: >> >> I removed the pushd and popd, apparently they are bashisms. >> >> Here is the new package: >> >> http://www.risc.uni-linz.ac.at/people/berocal/sage/polybori-0.1-r4.spkg > > I've update

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Alexander Dreyer
Hi everybody, build succeeds on a Intel(R) Xeon(R) CPU 5148 @ 2.33GHz running SLES 10 64Bit (SuSE 10.1 + full patches) [...] scons: done building targets. Done installing PolyBoRi. real3m32.929s user2m49.039s sys 0m17.821s Successfully installed polybori-0.1-r4 Best regards, Ale

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread William Stein
> > Hey, it failed for me :-) on ubuntu 32-bit linux: > > I removed the pushd and popd, apparently they are bashisms. > > Here is the new package: > > http://www.risc.uni-linz.ac.at/people/berocal/sage/polybori-0.1-r4.spkg I've updated the package on sagemath.org; I then did install_package('

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Burcin Erocal
On Tue, 4 Dec 2007 17:43:44 +0100 Burcin Erocal <[EMAIL PROTECTED]> wrote: > > > Could Burcin post a link to his patch bundle that provides library > > > support for PolyBoRi for Sage in this thread, so we can all try > > > it out? > > OK, until I update to 2.8.15, merge the changes into my rep

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Burcin Erocal
On Tue, 4 Dec 2007 08:40:52 -0800 "William Stein" <[EMAIL PROTECTED]> wrote: > > On Dec 4, 2007 8:35 AM, Jaap Spies <[EMAIL PROTECTED]> wrote: > > > > William Stein wrote: > > > Regarding PolyBoRi, (1) it is now an optional package (I just > > > added it to the optional package list). It woul

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Nick Alexander
On 4-Dec-07, at 8:43 AM, Burcin Erocal wrote: > > On Tue, 4 Dec 2007 08:30:39 -0800 (PST) > mabshoff <[EMAIL PROTECTED]> wrote: > > >>> Could Burcin post a link to his patch bundle that provides library >>> support for PolyBoRi for Sage in this thread, so we can all try >>> it out? Worked for

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Burcin Erocal
On Tue, 4 Dec 2007 08:30:39 -0800 (PST) mabshoff <[EMAIL PROTECTED]> wrote: > > Could Burcin post a link to his patch bundle that provides library > > support for PolyBoRi for Sage in this thread, so we can all try > > it out? > > Yep, that should happen ASAP. OK, until I update to 2.8.15, mer

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread William Stein
On Dec 4, 2007 8:35 AM, Jaap Spies <[EMAIL PROTECTED]> wrote: > > William Stein wrote: > > > > > Regarding PolyBoRi, (1) it is now an optional package (I just added > > it to the optional package list). It would be good if everybody > > reading this with interest in polybori and some cycles to s

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Jaap Spies
William Stein wrote: > > Regarding PolyBoRi, (1) it is now an optional package (I just added > it to the optional package list). It would be good if everybody > reading this with interest in polybori and some cycles to spare > could type > sage: install_package('polybori-0.1-r3') > and rep

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread mabshoff
On Dec 4, 4:58 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > On Dec 4, 2007 6:54 AM, mabshoff > > > > <[EMAIL PROTECTED]> wrote: > > On Dec 4, 3:32 pm, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > > Hello, > > > > On Tue, 4 Dec 2007 01:40:36 -0800 (PST) > > > > Alexander Dreyer <[EMAIL PROTEC

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread William Stein
On Dec 4, 2007 6:54 AM, mabshoff <[EMAIL PROTECTED]> wrote: > On Dec 4, 3:32 pm, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > Hello, > > > > On Tue, 4 Dec 2007 01:40:36 -0800 (PST) > > > > Alexander Dreyer <[EMAIL PROTECTED]> wrote: > > > The essential part of PolyBoRi (using the built-ininterface

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread mabshoff
On Dec 4, 3:32 pm, Burcin Erocal <[EMAIL PROTECTED]> wrote: > Hello, > > On Tue, 4 Dec 2007 01:40:36 -0800 (PST) > > Alexander Dreyer <[EMAIL PROTECTED]> wrote: > > The essential part of PolyBoRi (using the built-ininterface) can be > > built in about 3 minutes on a Intel(R) Xeon(R) CPU5148 @ 2

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Burcin Erocal
Hello, On Tue, 4 Dec 2007 01:40:36 -0800 (PST) Alexander Dreyer <[EMAIL PROTECTED]> wrote: > The essential part of PolyBoRi (using the built-ininterface) can be > built in about 3 minutes on a Intel(R) Xeon(R) CPU5148 @ 2.33GHz > (using one cpu only). I'll try to find the corresponding scons >

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Alexander Dreyer
Hello again, The essential part of PolyBoRi (using the built-ininterface) can be built in about 3 minutes on a Intel(R) Xeon(R) CPU5148 @ 2.33GHz (using one cpu only). I'll try to find the corresponding scons commands for the spkg and the Sage-wrapper and give to to Burcin. Best regards, Alexa

[sage-devel] Re: PolyBoRi integration

2007-12-04 Thread Alexander Dreyer
Hi anybody, > it might be true that more users care about R but what if a minority really > really pushes for PolyBoRi? ;-) > > In any case, I am BCC'ing this to Michael and Andreas maybe they have some > wisdom to share how to cut the compile time of PolyBoRi. Hm, is this really a problem? From