[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread Tim Lahey
On Nov 24, 2008, at 8:45 PM, William Stein wrote: On Mon, Nov 24, 2008 at 4:46 PM, Tim Lahey [EMAIL PROTECTED] wrote: Hi, Is there a specific way to add rules (and apply them) to rewrite expressions in Sage? Such as, log(a)-log(b) = log(a/b) I need this (and others) in order to

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread William Stein
On Mon, Nov 24, 2008 at 6:03 PM, Tim Lahey [EMAIL PROTECTED] wrote: On Nov 24, 2008, at 8:45 PM, William Stein wrote: On Mon, Nov 24, 2008 at 4:46 PM, Tim Lahey [EMAIL PROTECTED] wrote: Hi, Is there a specific way to add rules (and apply them) to rewrite expressions in Sage? Such as,

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread Tim Lahey
On Nov 24, 2008, at 9:05 PM, William Stein wrote: I can easily run timing comparisons between maxima and FriCAS, but because of how sympy does things (with its separate variables), I'll have to run them separately. Comparing maxima and FriCAS, the timings are pretty close on both for

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread mabshoff
On Nov 24, 6:17 pm, Tim Lahey [EMAIL PROTECTED] wrote: On Nov 24, 2008, at 9:05 PM, William Stein wrote: Hi, I can easily run timing comparisons between maxima and FriCAS, but because of how sympy does things (with its separate variables), I'll have   to run them separately.

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread Tim Lahey
On Nov 24, 2008, at 9:21 PM, mabshoff wrote: We have a timeit doctest framework that is supposed to hunt for speed regressions. It is merged in 3.2, but we need infrastructure to compare the output from several runs. But I guess you are asking if timeit('foo') could return the time so

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread Mike Hansen
On Mon, Nov 24, 2008 at 6:31 PM, Tim Lahey [EMAIL PROTECTED] wrote: I know I could parse the output, but I thought someone might have done it and it sounds like the timeit doctest framework might do it. Where can I find this in the source so I can see how it is doing it? You can do this in

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread mabshoff
On Nov 24, 7:03 pm, Tim Lahey [EMAIL PROTECTED] wrote: On Nov 24, 2008, at 9:51 PM, Mike Hansen wrote: You can do this in 3.2: sage: s = timeit.eval(2+3) sage: s 625 loops, best of 3: 942 ns per loop sage: s.stats (625, 3, 3, 942.230224609375, 'ns') The code is in

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread Tim Lahey
On Nov 24, 2008, at 10:07 PM, mabshoff wrote: You should consider creating one or a couple large files with the integrals for doctesting and stuff them into $SAGE_ROOT/devel/tests. Hopefully it can be arranged to feed the input into Maxima/Axiom/ Maple/ MMA/sympy and so on and compare the

[sage-support] Re: Simplification/Rewrite Rules?

2008-11-24 Thread William Stein
On Mon, Nov 24, 2008 at 6:17 PM, Tim Lahey [EMAIL PROTECTED] wrote: On Nov 24, 2008, at 9:05 PM, William Stein wrote: I can easily run timing comparisons between maxima and FriCAS, but because of how sympy does things (with its separate variables), I'll have to run them separately.