[sage-devel] Question to Martin Albrecht

2008-11-11 Thread Michel
Hi, I have a system of 64 inhomogeneous linear equations with 781 unknowns over the field of two elements. I am looking for a solution with at most 38 non-zero unknowns. Is there an efficient way to do this? Any references? As you can guess the question is about reversing a hash, more specifica

[sage-devel] Bug Day 16

2008-11-11 Thread William Stein
Hi, Sage Bug Day 16 will be Thursday, November 13. Sign up now. http://wiki.sagemath.org/bug16 For local Seattle people, some Sage devs are also meeting for lunch at 12pm at Araya's. -- William -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread mhampton
I got the same matrix_double_dense failure as J. Palmieri on intel macs running 10.4 and 10.5, plus this one which only occured on the 10.5 machine: sage -t devel/sage/sage/calculus/wester.py ** File "/Users/mh/sagestuff/sage-3.

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread Jaap Spies
mabshoff wrote: > > Sources and a sage.math only binary can be found at > > http://sage.math.washington.edu/home/mabshoff/release-cycles-3.2/ > On Fedora 9, 32 bits the one and only failure: sage -t devel/sage/sage/combinat/root_system/weyl_characters.py*** *** Error: TIMED OUT! *** *** **

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread John H Palmieri
> Expect some numerical noise doctest failures and some other related > known issues. Please report issues here and check trac for existing > tickets. On an intel mac running 10.5 (after changing my stone-age shell :), sage -testall has two or three problems: the known numerical noise problem in

[sage-devel] Re: Bug Day this Thursday?

2008-11-11 Thread William Stein
On Tue, Nov 11, 2008 at 1:00 PM, mabshoff <[EMAIL PROTECTED]> wrote: > > I know it is late, but will we do a Bug Day this Thursday as planned? > Either way we should announce one for next Thursday now. > Yes, definitely, we'll have Bug Day Thursday as planned! Mark your calendar. William > Chee

[sage-devel] Bug Day this Thursday?

2008-11-11 Thread mabshoff
I know it is late, but will we do a Bug Day this Thursday as planned? Either way we should announce one for next Thursday now. Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, se

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread John H Palmieri
On Nov 11, 12:07 pm, mabshoff <[EMAIL PROTECTED]> wrote: > On Nov 11, 12:02 pm, John H Palmieri <[EMAIL PROTECTED]> wrote: > > > > > On Nov 11, 11:57 am, Jaap Spies <[EMAIL PROTECTED]> wrote: > > > > John H Palmieri wrote: > > > > On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: > > > >> He

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread Clement Pernet
>> - Did anyone keep a list or graph of the desired categories from >> sage days 7? >>For reference, the hierarchy for MuPAD-Combinat is available there: >>http://mupad-combinat.sourceforge.net/Papers/Categories.pdf > > I thought someone took a photo of it, but I don't know who. > I

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread mabshoff
On Nov 11, 12:02 pm, John H Palmieri <[EMAIL PROTECTED]> wrote: > On Nov 11, 11:57 am, Jaap Spies <[EMAIL PROTECTED]> wrote: > > > > > John H Palmieri wrote: > > > On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: > > >> Hello folks, > > > >> here is 3.2.rc0 and I have to confess that I ch

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread Jaap Spies
Jaap Spies wrote: > John H Palmieri wrote: >> On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: >>> Hello folks, >>> >>> here is 3.2.rc0 and I have to confess that I cheated: I did build this >>> on numerous platforms before announcing here (if you hung out in IRC >>> you knew about this rel

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread John H Palmieri
On Nov 11, 11:57 am, Jaap Spies <[EMAIL PROTECTED]> wrote: > John H Palmieri wrote: > > On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: > >> Hello folks, > > >> here is 3.2.rc0 and I have to confess that I cheated: I did build this > >> on numerous platforms before announcing here (if you

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread Jaap Spies
John H Palmieri wrote: > On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: >> Hello folks, >> >> here is 3.2.rc0 and I have to confess that I cheated: I did build this >> on numerous platforms before announcing here (if you hung out in IRC >> you knew about this release for about 6 hours now

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread mabshoff
On Nov 11, 11:27 am, John H Palmieri <[EMAIL PROTECTED]> wrote: > On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: > > > Hello folks, > > > here is 3.2.rc0 and I have to confess that I cheated: I did build this > > on numerous platforms before announcing here (if you hung out in IRC > > y

[sage-devel] Re: Sage 3.2.rc0 released

2008-11-11 Thread John H Palmieri
On Nov 11, 4:24 am, mabshoff <[EMAIL PROTECTED]> wrote: > Hello folks, > > here is 3.2.rc0 and I have to confess that I cheated: I did build this > on numerous platforms before announcing here (if you hung out in IRC > you knew about this release for about 6 hours now) and as it turns out > my cau

[sage-devel] Re: Binomial Ideals

2008-11-11 Thread Bjarke Hammersholt Roune
Hi Thomas, I am interested in monomial ideal computations in Sage, and I'm very open to discuss it, but I won't have time to really work on it until after Christmas. When I did some work on this earlier, I did not find any special monomial ideal classes. So in the interface to Frobby I had to use

[sage-devel] Re: Merging Jon Hanke's quadratic forms code into Sage 3.x

2008-11-11 Thread mabshoff
Hi, I have linked a diff for a first version from the ticket at http://trac.sagemath.org/sage_trac/ticket/4470 It should not be considered anything final yet, i.e. the rename has not been done yet. I am about to fly back, so hopefully in the next day I will have a patch ready for the review pro

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread David Kohel
Hi, I should point out that the class hierarchy should not be confused with the categories. The latter are intended to model the mathematics. In particular a homomorphism in the category of rings should satisfy f(x*y) = f(x)*f(y). Each class is assigned a default category, but the idea is that

[sage-devel] Re: Binomial Ideals

2008-11-11 Thread Martin Albrecht
> Polynomials over Fields of Characteristic zero in the beginning. But the > algorithms are formulated in the general setting. But all the > applications that come to my mind are for characteristic 0. okay, you'll get support for QQ and absolute number fields using libSingular. Relative number f

[sage-devel] Re: Binomial Ideals

2008-11-11 Thread Thomas Kahle
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Martin Albrecht wrote: > On Tuesday 11 November 2008, Thomas Kahle wrote: >> Dear all, > > Hi [sage-devel] and CC Carlo Traverso who might find this discussion > relevant/. > >> I would like to develop a program that does primary decomposition of >

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread Martin Rubey
Ralf Hemmecke <[EMAIL PROTECTED]> writes: > The only difference between Sage and Aldor/panAxiom is that Sage checks > whether the Object can be coerced to SomeType at runtime whereas Aldor > and SPAD allow to check at compile time. I don't think this is the full story. As far as I can see, it

[sage-devel] Sage 3.2.rc0 released

2008-11-11 Thread mabshoff
Hello folks, here is 3.2.rc0 and I have to confess that I cheated: I did build this on numerous platforms before announcing here (if you hung out in IRC you knew about this release for about 6 hours now) and as it turns out my caution was justified. Doctesting is broken with this release unless y

[sage-devel] Sage 3.2.rc0 -t -long -optional failures

2008-11-11 Thread mabshoff
Hello folks, I raised the issue with optional doctest failures in Sage 3.2.a0 a while back and I am glad to report that we have made some progress here: sage -t -long -optional devel/sage/sage/tests/benchmark.py # 4 doctests failed sage -t -long -optional devel/sage/sage/rings/po

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread Ralf Hemmecke
On 11/11/2008 11:38 AM, Martin Rubey wrote: > Robert Bradshaw <[EMAIL PROTECTED]> writes: > >> In Sage, we use the term "coercion" to denote a canonical (using the >> term a bit loosely), implicit map between Parents (or objects of a >> concrete category). E.g. from ZZ to F5 would be a "coerc

[sage-devel] Re: Binomial Ideals

2008-11-11 Thread mabshoff
On Nov 11, 3:38 am, Martin Albrecht <[EMAIL PROTECTED]> wrote: > On Tuesday 11 November 2008, Thomas Kahle wrote: Hi Thomas, Martin, > > Dear all, > > Hi [sage-devel] and CC Carlo Traverso who might find this discussion > relevant/. > > 4ti2 Integration: I know from the authors, that 4ti2 w

[sage-devel] Re: Binomial Ideals

2008-11-11 Thread Martin Albrecht
On Tuesday 11 November 2008, Thomas Kahle wrote: > Dear all, Hi [sage-devel] and CC Carlo Traverso who might find this discussion relevant/. > I would like to develop a program that does primary decomposition of > binomial ideals really fast. > Some hopefully useful algorithms are given in a '9

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread Martin Rubey
Robert Bradshaw <[EMAIL PROTECTED]> writes: > In Sage, we use the term "coercion" to denote a canonical (using the > term a bit loosely), implicit map between Parents (or objects of a > concrete category). E.g. from ZZ to F5 would be a "coercion," but > there is a "conversion" and not a "co

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread Robert Bradshaw
On Nov 11, 2008, at 1:53 AM, Ralf Hemmecke wrote: > On 11/10/2008 10:31 PM, koffie wrote: >>> sage: C = VectorSpaces(GF(5)) >>> sage: C >>> Category of vector spaces over Finite Field of size 5 >>> sage: W = (ZZ^3).span([[1,2,3],[4,5,3]]) >>> sage: W >>> >>> Free module of degree 3 and rank 2 ove

[sage-devel] Re: Categories for the working programmer

2008-11-11 Thread Ralf Hemmecke
On 11/10/2008 10:31 PM, koffie wrote: >> sage: C = VectorSpaces(GF(5)) >> sage: C >> Category of vector spaces over Finite Field of size 5 >> sage: W = (ZZ^3).span([[1,2,3],[4,5,3]]) >> sage: W >> >> Free module of degree 3 and rank 2 over Integer Ring >> Echelon basis matrix: >> [1 2 3] >> [0 3 9

[sage-devel] Re: [sage-combinat-devel] Categories for the working programmer

2008-11-11 Thread Ralf Hemmecke
> Finally, I should note that I do not agree with Ralf's views (quoting > Doye's article on Aldor) on the importance of universal algebra > notions to categories in Axiom. Maybe it belongs somewhere else, but how would you explain to someone who is new to Aldor/panAxiom, what the concept of "ca

[sage-devel] Binomial Ideals

2008-11-11 Thread Thomas Kahle
Dear all, I would like to develop a program that does primary decomposition of binomial ideals really fast. Some hopefully useful algorithms are given in a '96 Paper by David Eisenbud and Bernd Sturmfels. At least the second author is very interested in this project and has many possible applicat