[sage-devel] Re: Formal Symbolic Expressions

2008-09-18 Thread Burcin Erocal
On Thu, 18 Sep 2008 06:57:20 -0700 (PDT) Jason Merrill <[EMAIL PROTECTED]> wrote: > > On Sep 18, 8:01 am, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > Did you manage to build the pynac package? If not, I can post a > > modified version which should build in your environment so you can > > start

[sage-devel] Re: Formal Symbolic Expressions

2008-09-18 Thread Jason Merrill
On Sep 18, 8:01 am, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > There will be a way to represent formal integration and summation. > I believe avoiding automatic simplification of arbitrary expressions > requires more work (I haven't checked this yet.), but even that > shouldn't be too complicate

[sage-devel] Re: Formal Symbolic Expressions

2008-09-18 Thread Burcin Erocal
On Wed, 17 Sep 2008 10:38:10 -0700 (PDT) Jason Merrill <[EMAIL PROTECTED]> wrote: > > On Sep 17, 12:37 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > > > > Jason, > > > > Just a heads up -- your code above is going to become pointless > > when we switch to using Ginac as a backend for symbolic

[sage-devel] Re: Formal Symbolic Expressions

2008-09-17 Thread Jason Merrill
On Sep 17, 12:37 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > > Jason, > > Just a heads up -- your code above is going to become pointless when we switch > to using Ginac as a backend for symbolic manipulation, since Sage will no > longer > keep its own expression tree. Thanks for the heads

[sage-devel] Re: Formal Symbolic Expressions

2008-09-17 Thread William Stein
On Wed, Sep 17, 2008 at 9:46 AM, Jason Grout <[EMAIL PROTECTED]> wrote: > > William Stein wrote: >> On Wed, Sep 17, 2008 at 8:02 AM, Jason Merrill <[EMAIL PROTECTED]> wrote: >>> On Sep 17, 2:20 am, Jason Merrill <[EMAIL PROTECTED]> wrote: Here's a monkeypatch that makes this work(ish) >>

[sage-devel] Re: Formal Symbolic Expressions

2008-09-17 Thread Robert Bradshaw
On Sep 17, 2008, at 9:37 AM, William Stein wrote: > > On Wed, Sep 17, 2008 at 8:02 AM, Jason Merrill > <[EMAIL PROTECTED]> wrote: >> >> On Sep 17, 2:20 am, Jason Merrill <[EMAIL PROTECTED]> wrote: >>> Here's a monkeypatch that makes this work(ish) >>> >>> from sage.calculus.calculus import Symb

[sage-devel] Re: Formal Symbolic Expressions

2008-09-17 Thread Jason Grout
William Stein wrote: > On Wed, Sep 17, 2008 at 8:02 AM, Jason Merrill <[EMAIL PROTECTED]> wrote: >> On Sep 17, 2:20 am, Jason Merrill <[EMAIL PROTECTED]> wrote: >>> Here's a monkeypatch that makes this work(ish) >>> >>> from sage.calculus.calculus import SymbolicExpression >>> class FormalSymbolic

[sage-devel] Re: Formal Symbolic Expressions

2008-09-17 Thread William Stein
On Wed, Sep 17, 2008 at 8:02 AM, Jason Merrill <[EMAIL PROTECTED]> wrote: > > On Sep 17, 2:20 am, Jason Merrill <[EMAIL PROTECTED]> wrote: >> Here's a monkeypatch that makes this work(ish) >> >> from sage.calculus.calculus import SymbolicExpression >> class FormalSymbolicExpression(SymbolicExpress

[sage-devel] Re: Formal Symbolic Expressions

2008-09-17 Thread Jason Merrill
On Sep 17, 2:20 am, Jason Merrill <[EMAIL PROTECTED]> wrote: > Here's a monkeypatch that makes this work(ish) > > from sage.calculus.calculus import SymbolicExpression > class FormalSymbolicExpression(SymbolicExpression): >     def __init__(self,expr): >         self.expr = expr >         # just d