[sage-devel] log_repr/log in finite field,

2008-07-14 Thread Soroosh Yazdani
Is there a particular reason why the log_repr in finite fields returns a string instead of an integer? Actually, more important than that, the following fails: F=GF(5) r=F.multiplicative_generator() r.log_repr() <--- comes back with an error log(r,r) < also comes back with an error. This is n

[sage-devel] Re: bug in RIng

2008-07-14 Thread mabshoff
On Jul 14, 6:34 pm, "David Joyner" <[EMAIL PROTECTED]> wrote: > Wow, thanks! I'll make up a patch right now. I am not so sure this is the proper fix, but you ought to open a ticket for the issue anyway. Thanks, Michael --~--~-~--~~~---~--~~ To post to this gr

[sage-devel] Re: bug in RIng

2008-07-14 Thread David Joyner
Wow, thanks! I'll make up a patch right now. On Mon, Jul 14, 2008 at 3:25 PM, cgb <[EMAIL PROTECTED]> wrote: > > I think the solution is just to define __rmul__ : > > sage: x = PolynomialRing(QQ,'x').gen() > sage: f = Piecewise([[(0,1),1*x^0]]) > sage: r = f*2 > sage: r = 2*f > -

[sage-devel] Re: symbolic logic statement equivalence

2008-07-14 Thread Pablo De Napoli
Hi Chris and others, Certainly there are betters ways to do that. For this and similar problems in propositional logic, I would suggest to wrap a SAT solver. (see the article on wikipedia) http://en.wikipedia.org/wiki/SAT_solver##Algorithms_for_solving_SAT and the ticket #418 "Wrap minisat" ht

[sage-devel] Re: Help fixing pari shared library across all platforms

2008-07-14 Thread mabshoff
On Jul 14, 5:44 pm, "Dr. David Kirkby" <[EMAIL PROTECTED]> wrote: > On 14 Jul, 19:20, mabshoff <[EMAIL PROTECTED]> wrote: > > > On Jul 14, 1:18 am, "Dr. David Kirkby" <[EMAIL PROTECTED]> > > wrote: > > > Hi David, > > Hi Michael, Hi David, > > It will be one probably somewhat large spkg. When

[sage-devel] Re: Help fixing pari shared library across all platforms

2008-07-14 Thread Dr. David Kirkby
On 14 Jul, 19:20, mabshoff <[EMAIL PROTECTED]> wrote: > On Jul 14, 1:18 am, "Dr. David Kirkby" <[EMAIL PROTECTED]> > wrote: > > Hi David, Hi Michael, > It will be one probably somewhat large spkg. When you build Sage on > Solaris it will recommend that you use it before anything else in Sage >

[sage-devel] Re: symbolic logic statement equivalence

2008-07-14 Thread Carl Witty
On Jul 14, 3:59 pm, Chris Gorecki <[EMAIL PROTECTED]> wrote: > Hi All, > > I'm currently trying to implement a function for the propositional > calculus package that would determine if two statements are logically > equivalent.  The usage would be something along the lines of: > > sage: a = prop

[sage-devel] symbolic logic statement equivalence

2008-07-14 Thread Chris Gorecki
Hi All, I'm currently trying to implement a function for the propositional calculus package that would determine if two statements are logically equivalent. The usage would be something along the lines of: sage: a = propcalc.formula('a | (b&c)') sage: b = propcalc.formula('(x&y) | z') sage: a.e

[sage-devel] Sage-3.0.5 Solaris-x86-sse3 binary

2008-07-14 Thread mabshoff
Hello folks, since Sage on Solaris is more than a little tricky to build at the moment I packaged up a 3.0.5 build at http://sage.math.washington.edu/home/mabshoff/release-cycles-3.0.5/sage-3.0.5-sse3-i86pc-SunOS_BETA.tar.gz Notice that it still has some serious bugs in it (41 doctests fai

[sage-devel] Re: book that uses sage

2008-07-14 Thread Robert Schwarz
On page 4, under "Background", it says: The reader [...] must have know the basics of groups [...], which seems to be a typo. It's not important at all, but I bet you'll be happy for every error fixed before the book's in print. --~--~-~--~~~---~--~~ To post to th

[sage-devel] Re: book that uses sage

2008-07-14 Thread Robert Schwarz
On page 4, under Background, it says: The reader [...] must have know the basics of groups, rings, [...] This is minor, but you'll sure be happy for every error fixed before the book's in print. --~--~-~--~~~---~--~~ To post to this group, send email to sage-deve

[sage-devel] Re: bug in RIng

2008-07-14 Thread cgb
I think the solution is just to define __rmul__ : sage: x = PolynomialRing(QQ,'x').gen() sage: f = Piecewise([[(0,1),1*x^0]]) sage: r = f*2 sage: r = 2*f --- TypeError Traceback (most recent ca

[sage-devel] Re: Help fixing pari shared library across all platforms

2008-07-14 Thread mabshoff
On Jul 14, 1:18 am, "Dr. David Kirkby" <[EMAIL PROTECTED]> wrote: Hi David, > What exactly do you mean to "provide a Sage toolchain for Solaris"? Is > that a complete binary distribution of a compiler, linker, assembler, > make, etc etc or a set of detailed instructions on how to produce such

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

2008-07-14 Thread Harald Schilly
On Jul 14, 7:40 am, Robert Dodier <[EMAIL PROTECTED]> wrote: > Harald Schilly wrote: > > >http://www.sciviews.org/benchmark/index.html > > I have seen this benchmark, it's outdated and i think totally wrong. > > Aside from being out of date, what's wrong with it? Well, in my opinion benchmarks on

[sage-devel] Re: Wrappers for Integer and RealNumber types

2008-07-14 Thread Mike Hansen
> then neither MyFloat.__mul__ or MyFloat.__rmul__ is called, sage must > down cast MyFloat to a sage RealNumer and perform the operation? > > I imagine that this could be fixed by not deriving MyFloat from float, > but is there a better way to do this? Sage has some rules that tell it to convert

[sage-devel] Re: Wrappers for Integer and RealNumber types

2008-07-14 Thread David Bate
Dear Mike, I have mul and rmul in my class definition. This all works fine in python, but it fails when using sage integers/floats. If I call sage: a = MyFloat(2) sage: 3*a by adding some extra code, I see that MyFloat.__mul__(self,other) is called, and in fact the type of both self and other is

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

2008-07-14 Thread Stan Schymanski
I fully agree with David. I started using Mathematica during my PhD project, when the equations I was dealing with just became too complex to be dealt with using paper and pencil. I must say that I would not have been able to finish my PhD without such a software. I was very glad to find out that

[sage-devel] Re: Help fixing pari shared library across all platforms

2008-07-14 Thread Dr. David Kirkby
On 13 Jul, 23:41, mabshoff <[EMAIL PROTECTED]> wrote: > > > It does depend on the toolchain on Linux also, more about that below. > The plan is to provide a Sage toolchain for Solaris since everything > else is too broken and/or too variable to work out of the box. It is > the only way to bui