Re: Symbolic derivation, of an unknown function



In article <45ad4d26$0$2321$426a74cc@xxxxxxxxxxxx>,
Jérôme Collet <Jerome.Collet@xxxxxxxxxxx> wrote:
I have a problem similar (but much more complicated) to the
following :
I have two functions, I0 and I1 depending of u
I know that :
dI0/du=a
I0+I1=u
I would like my computer algebra system remark that:
dI1/du=1-a

I use Maxima, and I could not get the result. I would like to
know if it
is even possible, or if I would have to switch to another CAS (Axiom,
for example).

In Maple 10:

I1sol:= subs(dsolve({D(I0)(u)=a, I0(u)+I1(u)=u}), I1(u)):
D(I1)(u) = diff(I1sol,u);

D(I1)(u) = -a+1

Robert Israel israel@xxxxxxxxxxx
Department of Mathematics http://www.math.ubc.ca/~israel
University of British Columbia Vancouver, BC, Canada
.



Relevant Pages

  • Re: Steps towards writing a computer algebra system
    ... > good to have a computer algebra system that comes with complete ... Axiom was originally written at IBM Research (I'm one of the original ... Almost all of them disappeared because the funding ran out. ... Computational mathematics differs from other software in that respect. ...
    (sci.math.symbolic)
  • [ANN] Axiom Workshop 2007 - second announcement
    ... Axiom is a Computer Algebra System with a long tradition. ... Francois Descouens Symmetric functions and Hopf algebras ... Usage and design in MuPAD-Combinat ...
    (sci.math.symbolic)
  • Re: Symbolic derivation, of an unknown function
    ... I0 and I1 depending of u ... I would like my computer algebra system remark that: ... new differentiation rules and to solve systems of equations. ... Then to define the partial derivatives of P implicitly one would write: ...
    (sci.math.symbolic)
  • [ANN] Axiom Workshop 2006 - rescheduled!
    ... Domain Specific Packages and their Mathematics ... Axiom is a Computer Algebra System with a long tradition. ... The workshop aims at a cooperation of Axiom developers with developers of ...
    (sci.math.symbolic)
  • [ANN] Axiom Workshop 2006 -- Final Announcement
    ... computer algebra system axiom. ... in Hagenberg, Austria ... Axiom is a Computer Algebra System with a long tradition. ... The workshop aims at a cooperation of Axiom developers with developers of ...
    (sci.math.symbolic)