Right, we started with boost-python to have a language to play with. There was
no standalone cython in the first and c++ had not been so well supported by
cython then. So, boost was the rapid way to get a small OSS with few
dependencies. However, the "middle-end" ;-) is flexible, so the bindings
@Andrew Sorry, your Cudd sources are fine, I misunderstood some commit message.
About naming: I personally would prefer BRiAl, it was on my shortlist for
naming the new project 9 years ago. You are free to use it.
@Martin: Thank you for your emergency call at your Blog! Its nice to see that
peop
PS: Perhaps I should admit that PolyBoRi is dead. It's a hard year: Spock,
Winnetou, Dracula - and now PolyBoRi - died.
--
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 emai
>From my point of view a fork - or better call it sequel - would be the best.
Unfortunately, all original developers like me went to industrial positions,
which are completely unrelated to PolyBoRi or any kind of algebraic software.
Meanwhile, family and the new jobs don't leave us time to work
Hi everybody!
> Actually because in sage-on-gentoo we use the system boost we hit that
> particular doctest failure a long time ago. I then asked Alexander Dreyer
> who
> works on polybori if the output was ok and it didn't seem to be concerned.
>
Indeed, you can safely i
Hello Michael!
> it has been a while, i.e.summer 2009 or so, and I no longer have my trac
> account password nor do I recall the email address I used. Anyway, attached
> is a patch that fixes sage -valgrind. Did not see any ticket on track, but
> I noticed that at least the valgrind 3.8.1 spkg
; hard to give general advice. Within Sage, the sig_on()/sig_off()
> mechanism seems to work well, even when system calls are involved.
I'll have a look at the implementation.
Regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. Alexander Dreyer
Abteilung "Systemanalyse, Prognose
When I was wandering around in recent Singular sources (there's an spkg
update pending) I came around an issue I had never deals with before. The
question is how to handle signals, when fork is used? Or more generally:
What to do with signals, when system calls occur? Indeed, one can switch
int
Hi!
> ./ecl_min: error while loading shared libraries: libgmp.so.3: cannot
> open shared object file: No such file or directory
>
> I suspect that the problem is related to the fact, that libgmp.so.3 is
> installed in local/lib64 and not local/lib, but have no solution yet.
you may that the environ
Hi everybody,
I've had added the ability to use command line switches together with
sage -pkg here:http://trac.sagemath.org/sage_trac/ticket/11676
For instance, you can write
sage -pkg -nocompress
instead of sage -pkg_nc, which is the current way to do it.
The idea of additional variants for sa
On 14 Sep., 11:35, Willem Jan Palenstijn wrote:
> On Tue, Sep 13, 2011 at 04:45:58PM -0700, Michael Rubinstein wrote:
> > Thanks! That worked for me too, though I'm not sure how you decided on
> > the specific choices of libraries to link to.
>
> Good to hear. The libraries are just what I needed
s remark, I'll check "my" spkg for this.
I'd prefer this,
because I realized that the spkg also makes my username and group
public.
'tar' does this, by default.
Sorry, I wanted to say: I don't like the default (making my data public).
My best,
Alexander
-
> > If you want to automate it, then either do it upon "sage -spkg" or when
> > merging the spkg (as part of the merger script). I can trivially
> > implement the latter.
I'd suggest to patch sage-pkg to provide clean spkgs (see here
http://trac.sagemath.org/sage_trac/ticket/11676).
But as I unde
Hi,
are there Sage Worksheets around for explaining the advantages of
Sage to people, which usually use Matlab for scientific projects and
industrial feasibility studies. It's usually about ODE and related
stuff.
My Best,
Alexander
--
To post to this group, send an email to sage-devel@googleg
Hi,
> This is just my opinion, but isn't the name SPKG (SAGE package)
> already quite specialised?
indeed, more generic would be something like PKG_ROOT, etc. But since
spkg seems to be established as package system (at least in this
case), one could think of backronyming the "S" in SPKG to somethi
Hi everybody,
on SageDays 24 in Linz a patch for Python's distutils was proposed
(see http://trac.sagemath.org/sage_trac/ticket/9536). This patch makes
it possible to globally deactivatethe a users .pydiutils.cfg file
using a global environment.
Is there somebody around, who can review this?
I al
Hi alltogether!
we finished a prototype to call Sage from within Singular:
http://polybori.blog.de/2010/09/17/psico-sage-from-singular-available-9410285/
This was requested at SageDays 23.5, when I presented the Python
Singular Interface COnnection (PSICO) for using PolyBoRi in Singular.
Greeting
Just to clariy: we are looking for a doctoral candidate (*not* a
postdoc.)
My best,
Alexander
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at ht
PS: You may also use "Reply to Author" to contact me.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
UR
tems, cryptoanalysis, model checking or formal
verification.
The candidate should speak fluently English or German, or both of it.
If you are interested, please contact me via e-mail as soon as
possible (best before end of September)!
Best regards,
Alexander Dreyer
--
To post to this group, s
Hi alltogether,
> During SD10 in Nancy, Michael Brickenstein and Burcin Erocal started
> working on makingPlural (the non-commutative extension of Singular)
> accessible from Sage.
> Oleksandr Motsak and Alexander Dreyer continued this work at SD 24 in
> Linz.
Of course, I forgot t
extension of Singular)
accessible from Sage.
Oleksandr Motsak and Alexander Dreyer continued this work at SD 24 in
Linz.
Newest functionality:
* coercion from basering/Integer types (still needs tests)
* flag to check degeneracy conditions on init
* relations for non-commutative rings
* most
Hi!
> I've used python very little, so my skills in that are poor, so I am
> not going to suggest what may or may not be the best way to do this.
> However, I will point you at
>
> http://trac.sagemath.org/sage_trac/ticket/9551
Maybe the python patch will also work for you.
Best regards,
Alexan
Hi there!
> An alternative would be to to patch distutils to obey some environment
> variable.
I backported the --no-user-cfg stuff in python's distutils and added
an environment variable for simplifying the usage.
The patched skpg is here:
http://sage.math.washington.edu/home/dreyer/suse101/python
Hi!
> Maybe, if the installation procedures makes use of python's distutils.
In python 2.7 there the --no-user-config option to python setup.py.
But backporting that would still need to add --no-user-config to 30+
spkgs.
(This is suggested in the case of rpms, for instance.)
An alternative would b
Hi!
> Could what you found be the reason I get these problems? Perhaps your ticket
> is
> a solution.
Maybe, if the installation procedures makes use of python's distutils.
Regards,
Alexander
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group
s a global
solution.
See http://trac.sagemath.org/sage_trac/ticket/9536
Regards,
Alexander Dreyer
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this gro
ced symbol not found
Any ideas?
Best regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. Alexander Dreyer
Abteilung "Systemanalyse, Prognose und Regelung"
Fraunhofer Institut für Techno- und Wirtschaftsmathematik (ITWM)
Fraunhofer-Platz 1
67663 Kaiserslautern
Telefon +49 (0) 631-3
elopers.sun.com/solaris/articles/cmp_stlport_libCstd.html
I read, that one might have to build with -library=stlport4 .
I'll try it out.
Best regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. Alexander Dreyer
Abteilung "Systemanalyse, Prognose und Regelung"
Fraunhofer Insti
: Error: iterator_traits is
> not a member of std.
std::iterator_traits is part of the C++ standard. So maybe one hat to
tell the Sun-Compiler to obey C++98 or later?
As far as I can see, the remaining errors are caused by that error.
Best regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. A
Hi Rob,
> The power comes at a price - you must be extremely careful with your
> source to get usable output. For example, parentheses in text (not
> math, not tex-code, just your text) must be balanced or the output can
> be useless.
latex2html cannot deal with unknown packages and custom enviro
Hi
> >> I don't know if Sage ignores thePolyBoRi
> >> tutorial anyway. But if it does intend making use of it, then clearly a
> >> LaTex to HTML converter will need to be distributed with Sage.
Sage ignored out tutorial from the beginning. In fact, it was
deactivated via customizes settings.
Not,
Hello,
> Can you post a link to the spkg. I've installed Sun Studio 12 update 1
> on my machine at home, which installs the Sun compilers in a different
> directory to on 't2'. For some reason Sun changed the default from
> /opt/SWUNspro which they have used for years, to /opt/sunstudio12.1
her
Hello,
> In order to obey this, the following lines should be added to
> patch/custom.py:
ok, that seems to fix it indeed. I've attached to corresponding
custom.py to the trac ticket.
Regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. Alexander Dreyer
Abteilung "Systemanaly
iron['CC']
except:
pass
try:
CXX = os.environ['CXX']
except:
pass
---
Regards,
Alexander
--
Dr. rer. nat. Dipl.-Math. Alexander Dreyer
Abteilung "Systemanalyse, Prognose und Regelung"
Fraunhofer Institut für Techno- und Wirtschaftsmathematik (ITWM)
F
Hello Martin, hello Dave,
> Alright, thanks for checking this. I've CCed Alexander so he can tell me what
> he did back then and I can do it too
as far as I can see it from the package, the patch is included. So
maybe, my fix fails for some reason. Is there somewhere on t2 an
experimental Solaris
For those, who like legacy systems:
Sage 4.1 builds on SuSE 10.1 (binary compatible to SuSE Enterprise 10)
32bit:
http://sage.math.washington.edu/home/dreyer/suse101/
Remark: gcc 4.1.2 from SLED 10 SP2 is necessary, as gcc 4.1.0 is quite
buggy.)
Regards,
Alexander
--~--~-~--~~-
Hi,
> PolyBori now fails saying that there are too many errors. The full
> compressed log is available at
>
> http://sage.math.washington.edu/home/mvngu/patch/solaris-install-poly...
I've had a look at it (and the output above).
Try to add:
opts.Add('SHCXX', 'C++ Compiler (preparing shared libs)
Hello again,
> I did receive your email, and replied asking what use name you wanted. I
> don't see to have a response to that.
Unfortunately, I did not receive your reply. (Maybe our global
spamfilter
skipped the mails coming via googlemail.) Here's a direct E-Mail from
my
account here.
> You m
Hello Dave,
> The difference is I don't have CC and friends in the path.
I see. It seems, that scons select different compilers for compiling
object files for the use within shared and non-shared libraries. This
effect is new to me, maybe it depends on the version of scons. I'll
have a look at it
Hello everybody,
> At the moment, we don't know, why Suns compiler is used for C++, while
> gcc is used for C.
I was just wondering: once somebody said, that Sage uses a patched
version of scons, which gives gcc priority over CC. Maybe that patch
was incomplete (lacks g++?) and that causes the in
to call scons accordingly on Solaris.
> What a mess !!
What a pity.
Regards,
Dr. Alexander Dreyer
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googl
Hello Robert,
> 1) Do you have any priorities for features you'd like to see sooner
> rather than later?
>
> 2) What would be *your* preferred syntax for declaring a templated,
> operator-overloading class in C++?
I just wanted to mention, how easily C++ classes could be wrapped
using boost::pyt
Hello!
> > There is no direct interface to CUDD, at least not in the PolyBoRi
> > wrappers. You can see the code for the wrappers in the files:
>
> > c_lib/include/pb_wrap.h
> > sage/libs/polybori/decl.pxi
> > sage/rings/polynomial/pbori.p{yx,xd}
>
> > The last one (.pyx) is the most interesting.
Hi,
> Strange to me that it's only polybori which wouldn't build, and that I
[...]
Maybe polybori is the only package (al least in sage), which uses
scons and sonames. Other packages I know, either do not make use of
the soname or use libtool (the latter ist unfortunately not supported
by scons).
Hi!
> 'LINK': '$SMARTLINK',
> 'LINKCOM': '$LINK -o $TARGET $LINKFLAGS $SOURCES $_LIBDIRFLAGS
> $_LIBFLAGS',
>
> and like the likely culprit IMHO.
yeah, and it seems, that the scons people are not aware of this issue
with the Intel compiler: the (built-in) RPATHPREFIX is in the same
errorous fo
Hi!
> 'LINK': '$SMARTLINK',
> 'LINKCOM': '$LINK -o $TARGET $LINKFLAGS $SOURCES $_LIBDIRFLAGS
> $_LIBFLAGS',
>
> and like the likely culprit IMHO.
yeah, and it seems, that the scons people are not aware of this issue
with the Intel compiler: the (built-in) RPATHPREFIX is in the same
errorous fo
Hi Danny,
although the Intel-Compiler environment is not advised, I would also
be interested in a dump of the scons environment, i.e. the output of
the following:
echo "print Environment().Dump()" > dummyscfile; scons -f dummyscfile;
rm dummyscfile
This might help me to set the correct sonamepref
Hi,
> > Hi, I'm having the same error with 3.2.3 (on Gentoo x86_64). It seems
> > to me that this '-Wl,-soname,libpolybori-0.5.0.so.0' is in the form in
> > which options are given to the compiler in order to pass to the
> > linker, but since this is running the linker directly it should just
> >
> gcd modulo 2^512 doesn't make much sense, does it?
Right, the gcd is another "construction site". (It has to do with
polynomial degrees not with the coefficients.)
Best regards,
Alexander
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@goo
Hello Carl,
Thank you for your fast response!
> I'm not sure it matters to Sage... no matter what data structure you
> use, whoever writes the Sage interface can write code to translate
> back and forth to the normal Sage data types.
>
> I'm not sure I understand what these polynomials are. Are t
to ask you for your opinion: What would you
suggest as data type for those coefficients?
Best regards,
Alexander Dreyer
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-deve
Hello,
> 3) Next failure is polybori-0.3.1.p3
> Michael suggested the change:
>
> #!bin/sh" -> "#!/usr/bin/env bash"
>
> but that does NOT work for me. Numerous errors still appear but they
> are in C++ code and I don't know C++. I hope someone else can fix that
> one. (I will give access to one
Hi there,
I've added patch suggestions for PolyBoRi to the Tracs:
http://trac.sagemath.org/sage_trac/ticket/2999
http://trac.sagemath.org/sage_trac/ticket/3000
BTW, I would have preferred to have tickets per package not per
variable. This way, the names for the patch files will be very long,
as
On 12 Apr., 17:53, mabshoff <[EMAIL PROTECTED]
dortmund.de> wrote:
[...]
> Since we are not sure yet if it is the interface's or PolyBoRi's fault
> I haven't pinged you about this. Malb said that he would poke around
> this weekend since we was working with PolyBoRi anyway. The above is
> new in
Hello everybody,
> I now understand what you meant that these are just generic copyright
> questions that should easily be covered under "fair use".
I just want to mention, that "fair use" is a term, which is part of US
copyright laws, but it does not have an exact equivalent in the laws
of other
Hi everybody,
> Ok, I send the patch to Michael B. today off list, but I hadn't heard
> back yet.
I already incorporated the patch from the trac. In fact, I've
rewritten it a little bit, since HOME and LD_LIBRARY_PATH could be
treated likewise, see:
http://polybori.cvs.sourceforge.net/polybori/Pol
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
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
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
mages
resulting
from the use of or inability to use this document.
COPYRIGHT (c) 2007 by The PolyBoRi Team:
Michael Brickenstein (MFO), mailto:[EMAIL PROTECTED]
Alexander Dreyer (ITWM), mailto:[EMAIL PROTECTED]
PolyBoRi is a joint project of the following institutions
* Mathematisches Forschungsins
regards,
Alexander Dreyer
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http
Hello Michael,
> knowing very little about your setup I can only give you a shot in the
> dark: any chance you are compiling without -fPIC and/or -fpic? From my
> experience this might also point to linker/binutils issues. Maybe you
> should try the whole build with GNU binutils.
We tried out bot
Hello Michael,
> This entails getting it to build on Solaris. I am sure it runs on OSX
> because that Michael Brickenstein has a Mac Laptop. So Michael, does
> the code compile on Solaris? It seems likely because as a future part
> of Singular I am sure that your boss would like to see that it doe
Hi Michael,
> This entails getting it to build on Solaris. I am sure it runs on OSX
> because that Michael Brickenstein has a Mac Laptop. So Michael, does
> the code compile on Solaris? It seems likely because as a future part
> of Singular I am sure that your boss would like to see that it does.
65 matches
Mail list logo
