[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, try to use

[sage-devel] Re: hard-coding symlink mistakes

2007-12-10 Thread Michael Brickenstein
Hi! Just as background: Nearly every path in Singular is adjustable by environment variables. See: kernel/feResource.cc Best regards, Michael On 10 Dez., 15:57, Martin Albrecht [EMAIL PROTECTED] wrote: SINGULAR (very serious): Several Singular-related files in SAGE_ROOT/local/bin/ have

[sage-devel] Re: symbolic logic code

2008-03-05 Thread Michael Brickenstein
)).divisors() Out[2]:{{x(1),x(2)}, {x(1)}, {x(2)}, {}} In [3]:f.zeroesIn((x(1)*x(2)).divisors()) Out[3]:{{x(1),x(2)}, {}} The set of zeroes immediately gives you the canonical DNF x(1)^x(2) or (not x(1)) and (not x(2)) Best regards, Michael Brickenstein

[sage-devel] Re: symbolic logic code

2008-03-10 Thread Michael Brickenstein
Hi! You might want to look for the zeroesIn method to the new section Reinterpretation of Boolean sets as subsets of the vector space in the PolyBoRi tutorial. http://polybori.sourceforge.net/doc/tutorial/index.html Best regards, Michael On 7 Mrz., 10:14, Chris Gorecki [EMAIL PROTECTED] wrote:

[sage-devel] Re: multivariate factoring - use maxima ?

2008-03-31 Thread Michael Brickenstein
Hi! I think, multivariate gcd is a neverending topic, discussed very often in many communities. Actually, I never tried to implement that and hopefully I never will. But I *enjoyed* ;-) many discussions about it. So, I think, if you want to have success, the first task is, what Roman said:

[sage-devel] PolyBoRi Tutorial

2008-04-01 Thread Michael Brickenstein
Hi! Suprise, there exists a tutorial for PolyBoRi. http://polybori.sourceforge.net/doc/tutorial/index.html It is available in tex-format under doc/tutorial/tutorial.tex in our source distribution. think it would be nice, to include it in the SAGE documentation in some way. I started this

[sage-devel] Re: PolyBoRi Tutorial

2008-04-01 Thread Michael Brickenstein
Hi William! It is pure latex (I have chosen this format, as I wanted to reuse it at some day for SAGE). Michael On 1 Apr., 23:53, William Stein [EMAIL PROTECTED] wrote: On Tue, Apr 1, 2008 at 12:39 AM, Michael Brickenstein [EMAIL PROTECTED] wrote:  Hi!  Suprise, there exists

[sage-devel] Re: sdmp - closed-source library for sparse multivariate polynomial arithmetic

2008-04-01 Thread Michael Brickenstein
Hi! Without saying anything about the quality of Romans work (I can't judge that without a deeper look): I don't find it very impressive, posting some benchmark for just one example. Note, that the example is dense. If he is using fast (Strassen-like) algorithms, then it is quite natural, to

[sage-devel] Re: sdmp - closed-source library for sparse multivariate polynomial arithmetic

2008-04-02 Thread Michael Brickenstein
that the leading term of g is not normalized during pseudo division, but that would have to be checked. Best regards. Michael On 2 Apr., 09:39, Roman Pearce [EMAIL PROTECTED] wrote: On Apr 1, 11:36 pm, Michael Brickenstein [EMAIL PROTECTED] wrote: I don't find it very impressive, posting some benchmark

[sage-devel] Re: Ginv 1.2. SPKG

2008-04-04 Thread Michael Brickenstein
I haven't used it yet, but it has an excellent reputation. In particular it is said to be able to compete with Magma over the rationals. Michael On 4 Apr., 16:16, Martin Albrecht [EMAIL PROTECTED] wrote: Hi there, I made an SPKG for Ginv. http://wwwb.math.rwth-aachen.de/Janet/ginv.html

[sage-devel] Re: multivariate factoring - use maxima ?

2008-04-12 Thread Michael Brickenstein
* unknown number of external library users: I am not away of anybody external using giac as a library. From my experience with libSingular I am not too optimistic that we will not run into a number of issues here. Look at #2822: PolyBoRi is designed as a library to be used from Python. But

[sage-devel] Re: textmate

2008-04-18 Thread Michael Brickenstein
here :-). On 19 Apr., 06:49, William Stein [EMAIL PROTECTED] wrote: Hi, Does anybody here use the OS X TextMate programmer's editor? http://macromates.com/ This is a closed source but cheap editor that is evidently popular with professional programmers. Anyway, a student in my class

[sage-devel] Re: Various questions on data bases for Sage

2009-05-28 Thread Michael Brickenstein
Hi! Actually, regarding online databases. There exists RUM. http://python-rum.org/ Guess, who is co-lead developer of that package... Using an SA model, you can set up an online frontend to your database. For your application, the following feature's can help: - it is possible to feed it with

[sage-devel] Re: PolyBoRi - can the status be resolved ?

2009-07-15 Thread Michael Brickenstein
Hello! Thanks for your efforts. The problem is, that for CXX then SUN-compiler was used. You can pass the CXX scons CXX='g++' custom.py CXX='g++' At the moment, we don't know, why Suns compiler is used for C++, while gcc is used for C. Michael On 15 Jul., 08:22, Minh Nguyen

[sage-devel] Re: Sage and Singular Talk

2009-07-15 Thread Michael Brickenstein
Hi Martin! This is an example for open culture, to discuss talks in advance in public mailing lists :-). It would become more emotionally, if you use the heart of mathematics for plotting. f=(2*x^2+y^2+z^2-1)^3-(1/10)*x^2*z^3-y^2*z^3 == 0 Regarding the benchmarks with polybori multiplication:

[sage-devel] Fwd: ANN: psyco V2

2009-07-17 Thread Michael Brickenstein
Maybe not everybody here reads python-announce. So I hope, that's interesting for at least some of you. Michael Anfang der weitergeleiteten E-Mail: Von: Christian Tismer tis...@stackless.com Datum: 17. Juli 2009 04:26:02 MESZ An: undisclosed-recipients: ; Betreff: ANN: psyco V2 Antwort an:

[sage-devel] Re: How to read MS Excel files on sagenb.com?

2009-07-28 Thread Michael Brickenstein
If you don't need formatting, just use CSV. The tools around it are very mature. Michael On 28 Jul., 13:39, Ahmed Fasih wuzzyv...@gmail.com wrote: Hi, I'm using Sage to analyze some financial data (fromhttp://www.econ.yale.edu/~shiller/data.htm) that's only available in XLS. I installed xlrd

[sage-devel] Re: status of OS X 64-bit OS X support

2009-07-30 Thread Michael Brickenstein
I just tried a new clean Sage 4.1.0 installation, everything unmodified using your 64 bit Mac OS X intel binary. The same error as before (I always used your binary, I don't have difficulties to make use of my laptops CPU cycles). gcc --version i686-apple-darwin9-gcc-4.0.1 (GCC) 4.0.1 (Apple

[sage-devel] Re: PolyBoRi 0.6 vs. Sage degrevlex

2009-08-04 Thread Michael Brickenstein
Hi! Maintaining these lookup tables and other tricks is a lot of work, which could be invested elsewhere, e.g. your PHD. Even for me, the difference between these orderings is pure subtility from a users perspective. However the ascending variant is far more efficient with ZDDs. Michael On 4

[sage-devel] Re: PolyBoRi 0.6 vs. Sage degrevlex

2009-08-04 Thread Michael Brickenstein
Well, if you want an degree ordering, which is descending for the variables, we have degree lexicographical ordering in PolyBoRi fully supported. Michael --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from

[sage-devel] Re: Groebner bases over symbolic ring

2009-08-12 Thread Michael Brickenstein
We strongly recommend to use exact types for Groebner bases computations in Singular. Michael --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: Groebner bases over symbolic ring

2009-08-12 Thread Michael Brickenstein
Hmm, poles are not so bad. We can imagine, that you do something like with rational functions: define two expressions are equal, if they are equal on some open and dense subset. If you have something like sin[x] and cos[x-Pi/2] you should add a relation, that they are equal. And I suppose, there

[sage-devel] Re: proposal to make PIL standard

2009-08-14 Thread Michael Brickenstein
Hi! I use PIL for a long time. It is good documented and feels Pythonic. It is pure fun. +1 Michael --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: bibtex function

2009-08-25 Thread Michael Brickenstein
Hi! IMHO, it would be a good start and a big step forward to collect these entries here: http://wiki.sagemath.org/Publications_using_SAGE Michael --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this

[sage-devel] Re: polynomial substitution

2009-09-03 Thread Michael Brickenstein
I forwarded it to our team list. I suppose, that your homomorphism uses Singulars map internally. That should be a good solution for more than two parallel substitutions. Michael On 3 Sep., 08:18, William Stein wst...@gmail.com wrote: Hi Martin (and Sage-devel), I discovered that polynomial

[sage-devel] Re: A ring with matrix ordering

2009-09-04 Thread Michael Brickenstein
Hi Martin! sage: A = random_matrix(ZZ,3,3) sage: TermOrder(A) It looks very natural to me. Michael --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] super commutative and noncommutative rings

2009-09-04 Thread Michael Brickenstein
Hi Simon! It is in fact one of the things that I miss in Sage's polynomial rings (the other thing are supercommutative rings), Burcin will visit KL in octobre to work on the integration of noncommutative algebras in Singular. Maybe, you can give use a list, what you need. Cheers, Michael

[sage-devel] Re: super commutative and noncommutative rings

2009-09-04 Thread Michael Brickenstein
Hi!  * AFAIK, free non-commutative rings are only experimental in Singular, and probably not yet ready for being wrapped in libSingular AFAIK (and I hope, that's more) free algebras in Singular are only an emulation on top of our existing rings and only work up to some degree. I think, this

[sage-devel] Re: super commutative and noncommutative rings

2009-09-04 Thread Michael Brickenstein
Hi! - sort out coercion - wrap various functions defined by Singular: http://www.singular.uni-kl.de/Manual/latest/sing_390.htm#SEC431 This part won't require hard Singular knowledge. We probably will have to add some missing pieces to LibSingularFunction to make the wrapping really easy.

[sage-devel] Re: super commutative and noncommutative rings

2009-09-05 Thread Michael Brickenstein
Hi! More importantly: if Sage accesses the Singular kernel directly - these Singular interpreter markers cannot help Sage... Independent from what is the right solution, I would like to mention, that I worked with Martin on using the same interface to the kernel functions as the Singular

[sage-devel] Re: super commutative and noncommutative rings

2009-09-07 Thread Michael Brickenstein
Hi! Am 07.09.2009 um 14:34 schrieb Oleksandr: Hi Martin, What about Sage implementation for 1. weighting vector(s) a(w1, w2...wn), 2. free module orderings (e.g. c/C) mixed somewhere in between? Does Sage have such a concept? I suppose, that the answer is no. In Sage i'd imagine

[sage-devel] Re: super commutative and noncommutative rings

2009-09-08 Thread Michael Brickenstein
Hi Oleksandr! Am 08.09.2009 um 15:25 schrieb Oleksandr: Hi, On Sep 7, 3:17 pm, Michael Brickenstein brickenst...@mfo.de wrote: Am 07.09.2009 um 14:34 schrieb Oleksandr: What about Sage implementation for 1. weighting vector(s) a(w1, w2...wn), 2. free module orderings (e.g. c/C) mixed

[sage-devel] Re: super commutative and noncommutative rings

2009-09-09 Thread Michael Brickenstein
Hi! It seems to me, that restricted to rings and ideals, the ordering looks like 2 5 -1 -2 So, the Matrix M(1,1,0,-1) is probably useless in this example. Michael Am 09.09.2009 um 12:56 schrieb Martin Albrecht: Hi there, I have to say that I don't like the WeightVector(2,5) +

[sage-devel] Re: New interact sliders

2009-09-21 Thread Michael Brickenstein
[1] Other libraries *may* have more choices: http://developer.yahoo.com/yui/http://www.extjs.com/deploy/dev/examples/samples.html I don't know how difficult it is to mix and match. JQuery (in the compatibility mode) and dojo have a good reputation for mixing with other libraries. Other

[sage-devel] Re: sage notebook project: status report

2009-09-22 Thread Michael Brickenstein
Hi! I had a small look at it. Of course, there is a lot of Sage code in it and it looks, as if you have a lot of partial problems, that will be specific to Sage/... . So it seems, you will need some component architecture like that we are using in RUM. It is completely light weight. The goal

[sage-devel] Re: sage notebook project: status report

2009-09-22 Thread Michael Brickenstein
config). Cheers, Michael On 22 Sep., 10:42, Michael Brickenstein brickenst...@mfo.de wrote: Hi William! Many thanks for pointing that out!  You're exactly right that I'll need a lightweight component architecture, and I'm glad that I don't have to write it. Actually, I am not so very deep

[sage-devel] Re: sage notebook project: status report

2009-09-22 Thread Michael Brickenstein
voila, here it is. http://bitbucket.org/brickenstein/rumcomponent/src/tip/rumcomponent/ See test_component.py for examples. Cheers, Michael On 22 Sep., 17:33, Michael Brickenstein brickenst...@mfo.de wrote: I am just in the progress of seratating the component architecture. I still have a test

[sage-devel] Re: Exterior algebra (again)

2009-09-23 Thread Michael Brickenstein
Hi! On 23 Sep., 11:07, mmarco mma...@unizar.es wrote: I have to do some computations in an exterior algebra, and i have seen that it is not yet implemented in sage, but there is some work in that direction. My question is: will this feature be implemented in sage 4.1.2? If so, how complete

[sage-devel] Re: PIL decoder jpeg not available

2009-09-25 Thread Michael Brickenstein
Hi! I have small doubts, whether libjpeg is delivered with Mac OS X: locate libjpeg gives me the following Third Party App.: /Applications/Gimp.app/Contents/Resources/lib/libjpeg.62.0.0.dylib /Applications/Gimp.app/Contents/Resources/lib/libjpeg.62.dylib

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Michael Brickenstein
I would be interested in real word use cases, which demonstrate, why such a system is needed. E.g., I think Simon king did some cool things involving at least Singular, GAP, Cython... On 30 Apr., 12:00, Roman Pearce [EMAIL PROTECTED] wrote: BTW, asking for contributors is the surest way to get

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Michael Brickenstein
Hi Simon! Do you call the computation of cohomology rings of finite p-groups a real world application?? Sorry, I used the wrong terms. I meant something like: nothing synthetic, just composing a few features, but demonstrating, how SAGE can be used to compute an actual research problem. I was

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Michael Brickenstein
By the way, for me it matters most that Python is a *beautiful* language. Michael On 30 Apr., 14:02, Michael Brickenstein [EMAIL PROTECTED] wrote: Hi Simon! Do you call the computation of cohomology rings of finite p-groups a real world application?? Sorry, I used the wrong terms. I

[sage-devel] Re: Monomial ideal interface

2008-05-10 Thread Michael Brickenstein
Hi! If there is bigger interest in monomial ideals, they can represented very efficiently in the case of Boolean polynomials, by a single decision diagram. Operations between monomial ideals can be implemented by single, very efficient ZDD operations. If you don't have degree bound one per

[sage-devel] Re: Solaris, libSingular, 1/y and coercion

2008-05-31 Thread Michael Brickenstein
No, it seems to be a computation over a finite field (else you shouldn't call npPower). So 0x2 is just 2 mod p. Michael On 31 Mai, 14:38, Martin Albrecht [EMAIL PROTECTED] wrote: On Saturday 31 May 2008, mabshoff wrote: Hello folks, I am sure the subject line will make sure that next to

[sage-devel] Re: how to recognize integers from floats

2008-06-15 Thread Michael Brickenstein
What about re.search(\.,str(n)) ? Michael On 14 Jun., 19:18, Ondrej Certik [EMAIL PROTECTED] wrote: On Sat, Jun 14, 2008 at 6:25 PM, Ondrej Certik [EMAIL PROTECTED] wrote: On Sat, Jun 14, 2008 at 5:44 PM, Ondrej Certik [EMAIL PROTECTED] wrote: Hi, how can I distinguish Sage Integers and

[sage-devel] Re: how to recognize integers from floats

2008-06-16 Thread Michael Brickenstein
He asked about floats. 1/2 is no float ... But you can do: re.search(\.|/,1/2) Ondrej asked how to distinguish Sage Integers from floats without knowing about Sage. I don't know exactly what this means. But, Ondrej, would it be an acceptable solution for you to check whether He didn't

[sage-devel] Re: Gap closing or widening to Mathematica?

2008-07-13 Thread Michael Brickenstein
Uh, I don't know what you are complaining about the GAP to Mathematica could widen? I work heavily on exactly that goal!!! - increasing the distance to their Gröbner bases implementations ;-). I would make myself ridiculous, if I would do benchmarks against it. Just for conformity, I enter the

[sage-devel] Re: symbolic logic statement equivalence

2008-07-15 Thread Michael Brickenstein
Btw. shouldn't that be    sage: a == b   not for *formulas*, since say also involve the syntax. In terms of polynomials (a+b)*c==a*b+b*c But they are different formulas. Anyway: I recommend to multiply the the prop. calc. formulas by converting them to Boolean polynomials (in the quotient

[sage-devel] Re: Debian Sage status

2008-07-25 Thread Michael Brickenstein
- About half the PolyBoRi doctests fail. We had some API changes for 0.5. Burcin knows about that. Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For

[sage-devel] Re: my scipy talk

2008-08-21 Thread Michael Brickenstein
Regarding the fastest in the world statement on the slides, GINV unfortunately can't beat magma. I haven't timed it myself yet, but Vladimir Gerdt claims that it's faster than maple. Actuallly he was very modest and used the term not slower than maple. I am also very interested in

[sage-devel] Re: Major bug in GF(109)['x', 'y']

2008-09-10 Thread Michael Brickenstein
It's probably just a function pointer. void(*nNormalize)(number a); But I am not sure about side effects. Michael On 10 Sep., 15:54, John Cremona [EMAIL PROTECTED] wrote: 2008/9/10 Martin Albrecht [EMAIL PROTECTED]: On Wednesday 10 September 2008, mabshoff wrote: This is double plus

[sage-devel] Re: Major bug in GF(109)['x', 'y']

2008-09-11 Thread Michael Brickenstein
ok, it isn't normalize, but a very small function called npWrite void npWrite (number a) { if ((long)a (npPrimeM 1)) StringAppend(-%d,(int)(npPrimeM- ((long)a))); else StringAppend(%d,(int)((long)a)); } This is set to the current ring in numbers.cc n-nWrite =

[sage-devel] Re: Vote for TinyMCE spkg

2008-10-14 Thread Michael Brickenstein
I made good experiences with TinyMCE in two projects. So a +1 Michael --~--~-~--~~~---~--~~ 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

[sage-devel] Re: Toy-F5

2008-10-22 Thread Michael Brickenstein
That's what I was about to ask.  Interesting!  How much faster? William I think the very first reason is, that the Singular scripting language is strictly inferior to Python (this is why I support Sage). Nevertheless. I just uploaded some nice example to the wiki, for testing your F5

[sage-devel] Re: Toy-F5

2008-10-22 Thread Michael Brickenstein
By the way, I would be interested to know, I they get a result at all with F5 in this example (this would already be great, but no pizza ;-) ). Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this

[sage-devel] Re: Toy-F5

2008-10-23 Thread Michael Brickenstein
Hi Simon! Am 23.10.2008 um 10:53 schrieb Simon King: Dear Michael, On Oct 23, 7:47 am, Michael Brickenstein [EMAIL PROTECTED] wrote: Nevertheless. I just uploaded some nice example to the wiki, for testing your F5 implementation. I was originally provided by Gema Diaz

[sage-devel] Re: Toy-F5

2008-10-23 Thread Michael Brickenstein
realize this isn't worth a pizza, but I wasn't gunning for one either. If you want, I'll try the homogenized system on the basic F5 at work. regards john perry On Oct 23, 4:14 am, Michael Brickenstein [EMAIL PROTECTED] wrote: Hi Simon! Am 23.10.2008 um 10:53 schrieb Simon King: Dear

[sage-devel] Re: Toy-F5

2008-10-23 Thread Michael Brickenstein
Do you consider 139 minutes to be reasonable time for a toy implementation? Absolutely, we are in the double exponential case, where differences are quite big and benchmarking is doomed. Similarly, do you have a toy implementation of slimgb we could run for comparison? By this I mean an

[sage-devel] Re: Error copying ideals over the complexes to Singular.

2008-11-01 Thread Michael Brickenstein
Even, if that bug wouldn't exist, I can only recommend to do such computation over the rationals, if possible. Gröbner bases and similar computations (like syzygies) over floating point numbers are very problematic: What is the leading term of a polynomial, where you can't exactly determine,

[sage-devel] Re: Question to Martin Albrecht

2008-11-12 Thread Michael Brickenstein
http://m4ri.sagemath.org/performance.html On 12 Nov., 11:07, Michel [EMAIL PROTECTED] wrote: If the equations are really linear, then it's trivial. Ah, can you tell me more? Regards, Michel --~--~-~--~~~---~--~~ To post to this group, send email to

[sage-devel] Re: Question to Martin Albrecht

2008-11-12 Thread Michael Brickenstein
Hi! What do you mean by the word linear: x+y+z+1 (which is the normally considered as linear and inhomogeneous). or something like deg bound 1 per variable: x*y*z+1 If the equations are really linear, then it's trivial. On 12 Nov., 09:03, Michel [EMAIL PROTECTED] wrote: Hmm this question is

[sage-devel] Re: Mathematica 7 coming

2008-11-28 Thread Michael Brickenstein
On 15 Nov., 00:41, William Stein [EMAIL PROTECTED] wrote: * Industrial-strengthBooleancomputation I wonder if this is similar to PolyBoRi?  Or if it is some formal logic think. I wondered until today, but now I got the answer:

[sage-devel] Re: Computeralgebra Rundbrief

2008-12-03 Thread Michael Brickenstein
Hi Martin! I think, some parts are a little bit boring. I hope, it is okay, to suggest some German formulations: Personally, I don't find the Python-section very convincing. - The Cython example seems a little bit boring - it is completely unclear to most readers, that it is quite cool to be

[sage-devel] Re: SAT Solvers in Sage, some COQ ?.... General questions

2009-10-23 Thread Michael Brickenstein
Hi! I would like to see that in Sage too. The combination of Gröbner bases and DPLL is very interesting (also from a verification point of view). I can only recommend to read the following paper. C. Condrat and P. Kalla, A Groebner Basis Approach to CNF formulae Preprocessing I think, using

Re: [libsingular-devel] Re: [sage-devel] Re: What is multi-polynomial conversion supposed to do?

2009-12-13 Thread Michael Brickenstein
Hi Martin! I am not an expert for imap. But look at iparith.cc. if ((w=r-idroot-get(v-Name(),myynest))!=NULL){ ...} else { Werror(identifier %s not found in %s,v-Fullname(),u-Fullname()); } First we have to understand, what imap does... pure Singular. ring r=0,(x,y,z),dp; poly f=x+y*z;

[sage-devel] Re: Naming question: monomial vs term

2010-01-13 Thread Michael Brickenstein
+1 for consistency. However, you should really get rid of these evil coefficients, then you can use term as synonym for monomial ;-). Cheers, Michael -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: simplicial complexes, chain complexes, and their homology

2009-01-20 Thread Michael Brickenstein
I don't know the lib, but there exists homolog.lib in Singular: http://www.singular.uni-kl.de/Manual/latest/sing_763.htm#SEC822 (Link is assumed to break, when docs are updated) Michael --~--~-~--~~~---~--~~ To post to this group, send email to

[sage-devel] Re: Very large integers

2009-01-26 Thread Michael Brickenstein
Hi Alexander! I think, you forgot to mention, that you are interested in arithmetic modulo some power power of 2, so maybe 2^512. Additionally, I want to mention, that upto 2^512 is not so large, but just doesn't fit into single words. Michael On 26 Jan., 11:06, Alexander Dreyer

[sage-devel] Re: Very large integers

2009-01-26 Thread Michael Brickenstein
Probably, for numbers with 512 BITs (8 64 BIT words) (in particular with a hard, small bound), I could imagine, that is appropriate to store the data in place, instead of using dynamically allocated memory, as it increases the locality of reference and doesn't use extra memory for pointers/space

[sage-devel] Re: Very large integers

2009-01-29 Thread Michael Brickenstein
Actually, denoting the ideals with braces: (4)+(5)=(1)=(5), as every uneven element is a unit. but e.g. (14)+(4)=(2)!=(1) as 2 is a zero divisor. Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from

[sage-devel] Re: Multivariate GCD

2009-02-04 Thread Michael Brickenstein
Even four times as slow as Magma is still fantastic (for GCDs). While gcd's are not my personal interest, I keep an eye on the subject. I am interested in progresses, and would be willing to promote some cooperation ideas to the Singular group, if you have a good plan. Michael On 5 Feb., 01:09,

[sage-devel] Re: Multivariate GCD

2009-02-05 Thread Michael Brickenstein
Hi! It seems possible to cooperate on two levels: - level 1: I can try to write a paper where I describe some of the ideas I have put in my implementation of the modular multivariate gcd algorithm, in order to help singular or flint implement them, maybe better than I did myself in giac I

[sage-devel] Re: Sage malloc

2009-02-22 Thread Michael Brickenstein
Actually, from my perspective overloading malloc is a constant source of pain. This makes developers fighting malloc implementation, instead of writing algorithms. I would prefer Singular not doing so and I hope, that Sage doesn't follow our bad example. I think, the problem omalloc solves

[sage-devel] Re: make check mit Singular-3-1-0 und sage-3.3

2009-02-25 Thread Michael Brickenstein
Hi! It's true, that redSB might have some influence on the code run inside Singular. In my slimgb test files, usually I do the following: - normalize the leading coefficient to 1 - consider only the leading terms - sort the list If the algorithm gives back not necessarily a reduced GB, but a

[sage-devel] Re: CUDD

2009-02-26 Thread Michael Brickenstein
On 26 Feb., 09:02, Alexander Dreyer jan.alexander.dre...@googlemail.com wrote: 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-devel] Re: Web page looks pretty poor compared to Mathematica's

2009-05-26 Thread Michael Brickenstein
I think the web page is very nice. By the way: If there are problems with cross browser CSS, then a CSS framework like tripoli might help. Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this

[sage-devel] Re: Web page looks pretty poor compared to Mathematica's

2009-05-27 Thread Michael Brickenstein
Well, if you want to know, what's possible look: http://www.csszengarden.com/ Michael On 27 Mai, 11:42, Dr. David Kirkby david.kir...@onetel.net wrote: ahmet alper parker wrote: Anyone know any technical paper about ergonomic and/or functional/aesthetic development/design of a web sites?

[sage-devel] Re: Various questions on data bases for Sage

2009-05-27 Thread Michael Brickenstein
I use SA on a daily basis and its feature set is awesome. I recommend to you using the declarative layer http://www.sqlalchemy.org/docs/05/ormtutorial.html#creating-table-class-and-mapper-all-at-once-declaratively This makes it easier to you, to jump into SA. Moreover, the declarative

[sage-devel] Re: Exterior algebras.

2010-03-24 Thread Michael Brickenstein
Singular includes all necessary stuff, see #4539. Cheers, Michael On 24 Mrz., 00:31, javier vengor...@gmail.com wrote: Somebody wrote [1] a Reduce (cf. [2]) interface some time ago. If it works properly one could try to load Bergmann [3] from it. That would give access to plenty of Groebner

Re: [sage-devel] Re: Exterior algebras.

2010-03-25 Thread Michael Brickenstein
Hi! For the simple case of exterior algebras there exists already ring creation code in the track ticket. It might be a little bit hacky, but it works for now. What is mainly needed, is cleaning the construction for Sage class hierarchies and coercions. Cheers, Michael Am 25.03.2010 um 10:10

[sage-devel] Re: 4.4.1 accessing internet during compilation

2010-05-05 Thread Michael Brickenstein
Maybe EggFreezer can help. http://pypi.python.org/pypi/EggFreezer/0.1.6 Cheers, Michael On 5 Mai, 18:57, Ondrej Certik ond...@certik.cz wrote: On Tue, May 4, 2010 at 10:14 PM, Nils Bruin nbr...@sfu.ca wrote: On May 4, 5:08 pm, Ondrej Certik ond...@certik.cz wrote: I was bitten by this too in

[sage-devel] trac performance (again)

2010-06-30 Thread Michael Brickenstein
Hi! Sorry to post about that subject. And I am sure, that you have already analyzed the trac performance problems quite much and tried everything (also the ideas of this mail). In general, I have the usual bad experiences with trac performance. But I noticed, that trac performance is quite good.

[sage-devel] Re: LibSingular exponentiation

2010-07-05 Thread Michael Brickenstein
Hi! Hmm, costs depend, can be quite extrem in corner cases: - many terms - many variables - few bits per variables - low degree maximal exponent size depends on the ring. I do not know at the moment how to find out. Regarding exponentiation, there is a function pPower(poly p, int i); it uses the

[sage-devel] Re: The Sage Nagbot

2010-07-11 Thread Michael Brickenstein
Hi William! For HTML parsing I recommend http://www.crummy.com/software/BeautifulSoup/ Cheers, Michael On Jul 9, 12:02 am, William Stein wst...@gmail.com wrote: Hi, I just spent a few hours and wrote a Sage Nagbot.  You may have received an email from it. It analyzes each ticket on trac

[sage-devel] Re: Sage Singular -- slides from my talk

2010-07-13 Thread Michael Brickenstein
Hi William! Thanks. I wanted to ask you for them, as I will arrive after 11am. I have an remark: IMHO, Singulars Groebner basis computation is already more than competetive to Maple in general and to Magma over finite fields. Cheers, Michael On Jul 14, 3:13 am, William Stein wst...@gmail.com

[sage-devel] Re: Non-commutative extension for Sage using Singular/Plural

2010-07-23 Thread Michael Brickenstein
, which is the noncommutative part of Singular:http://trac.sagemath.org/sage_trac/ticket/4539 During SD10 in Nancy, Michael Brickenstein and Burcin Erocal started working on making Plural  (the non-commutative extension of Singular) accessible from Sage. Oleksandr Motsak and Alexander Dreyer

[sage-devel] Re: Groebner basis of Polynomials over integer

2010-08-01 Thread Michael Brickenstein
SINGULAR / Development A Computer Algebra System for Polynomial Computations / version 3-1-0 0 by: G.-M. Greuel, G. Pfister, H. Schoenemann\ Mar 2009 FB Mathematik der

Re: [sage-devel] Re: Polynomials are immutable (really?)

2010-08-02 Thread Michael Brickenstein
, Michael Brickenstein brickenst...@mfo.de wrote: I just tried it and the standard library functions also use that optimization. In [1]: from copy import copy In [2]: l=slkl In [3]: copy(l) is l Out[3]: True Cheers, Michael Perhaps my knowledge of Python isn't strong enough, but I

Re: [sage-devel] Re: Polynomials are immutable (really?)

2010-08-02 Thread Michael Brickenstein
is the identity on str. Cheers, Michael Am 02.08.2010 um 11:08 schrieb Sebastian Pancratz: On 2 Aug, 09:57, Michael Brickenstein brickenst...@mfo.de wrote: I just tried it and the standard library functions also use that optimization. In [1]: from copy import copy In [2]: l=slkl In [3]: copy

Re: [sage-devel] Re: Groebner basis of Polynomials over integer

2010-08-03 Thread Michael Brickenstein
--- Michael Brickenstein Mathematisches Forschungsinstitut Oberwolfach gGmbH Schwarzwaldstr. 9 - 11 77709 Oberwolfach Tel.: 07834/979-31 Fax: 07834/979-38 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel

Re: [sage-devel] Re: Groebner basis of Polynomials over integer

2010-08-03 Thread Michael Brickenstein
to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org --- Michael Brickenstein Mathematisches Forschungsinstitut Oberwolfach gGmbH Schwarzwaldstr. 9 - 11 77709

[sage-devel] Re: SharedLibrary on mac OS X

2007-08-24 Thread Michael Brickenstein
Hello! You have to build a bundle. Example: if env['PLATFORM']==darwin: pypb=env.LoadableModule('Singular/polybori_module', wrapper_files, LINKFLAGS=-bundle_loader + SINGULAR_HOME+Singular/ Singular, LIBS=LIBS,LDMODULESUFFIX=.so,

[sage-devel] Re: SharedLibrary on mac OS X

2007-08-24 Thread Michael Brickenstein
, CPPPATH=CPPPATH) On 24 Aug., 11:58, Michael Brickenstein [EMAIL PROTECTED] wrote: Hello! You have to build a bundle. Example: if env['PLATFORM']==darwin: pypb=env.LoadableModule('Singular/polybori_module', wrapper_files, LINKFLAGS=-bundle_loader

[sage-devel] Re: Status of polybori

2007-10-10 Thread Michael Brickenstein
contact Michael Brickenstein and/or Alexander Dreyer directly. Martin -- name: Martin Albrecht _pgp:http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _www:http://www.informatik.uni-bremen.de/~malb _jab: [EMAIL PROTECTED

[sage-devel] Re: PhD position Industrial Algebra available (aka The PolyBoRi PhD)

2010-09-06 Thread Michael Brickenstein
Hi! Actually we have really plenty of ideas and possible applications left from my thesis. And Alexander is cleaning up the PolyBoRi framework ;-) which will be a huge benefit to the candidate. Cheers, Michael On Sep 2, 3:58 pm, Alexander Dreyer alexander.dre...@itwm.fraunhofer.de wrote:

[sage-devel] Re: PhD position Industrial Algebra available (aka The PolyBoRi PhD)

2010-09-13 Thread Michael Brickenstein
On Sep 2, 3:58 pm, Alexander Dreyer alexander.dre...@itwm.fraunhofer.de wrote: Hello everybody, I'm looking for a suitable PhD candidate for a position at the Fraunhofer ITWM in Kaiserslautern, Germany. Actually I suppose that good *intuition* for computational algebra and *creativity* in

[sage-devel] Re: All of sage as a python library

2010-10-27 Thread Michael Brickenstein
Hi! On Oct 27, 3:44 am, William Stein wst...@gmail.com wrote: The above is already how the ecosystem with Python (http://pypi.python.org/pypi), Perl (http://www.cpan.org/), R, etc., work.  Fortunately, Python has reasonably good support already for this. I think that going into this

[sage-devel] Re: code refereeing and code.google.com

2010-10-27 Thread Michael Brickenstein
Since bitbuckets tagline is Free code hosting for 5 users. Unlimited private or public repositories., I would say Google code is vastly better, since it is free for arbitrarily many users. Nothing against google, but the five user limit on bitbucket only affects private repositories. Cheers,

[sage-devel] Re: experiments with singular 3.1.2

2010-11-05 Thread Michael Brickenstein
I reported it to the Singular list. I hope that the interest of the Singular group on libSingular will increase. http://code.google.com/p/convex-singular/wiki/libSingular Cheers, Michael On Nov 5, 10:36 am, François Bissey f.r.bis...@massey.ac.nz wrote: Hi, I have toyed with

Re: [sage-devel] Re: Severe slowness of singular interface on some machines partially caused by _synchronize

2010-11-22 Thread Michael Brickenstein
. rer. nat. Michael Brickenstein Mathematisches Forschungsinstitut Oberwolfach gGmbH Schwarzwaldstr. 9 - 11 77709 Oberwolfach Tel.: 07834/979-31 Fax: 07834/979-38 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel

  1   2   >