--- Richard Fateman <fateman@cs.berkeley.edu> wrote:
>
>
> C Y wrote:
> >
> > --- David Holmgren <DavidHolmgren@smarttech.com> wrote:
> > > Hi - I intended to write loexpand:super , which does solve the
> > > problem.
> > > Generally speaking, with most computer algebra systems you have
> to
> > > give the
> > > program some assistance at some stage in the calculation. I
> think
> > > that this
> > > is the point that Dr. Fateman was trying to get across; you have
> to
> > > be
> > > willing to use things like expand and factor.
> >
> > Well, I don't really have a clue about stuff like this, but why
> > couldn't we teach the solve package to try some of the expand and
> > factor stuff itself? If it doesn't like the form that's given, try
> > changing it around a bit before abandoning the effort?
>
> Since you seem to think this is easy, feel free to write such
> a program!
As I've said, I didn't know enough to know if it could be done or not.
I'm quite willing to accept the more informed opinion that there is no
simple or worthwhile way to do it. I just figured maybe there was some
other reason for not putting it in besides difficulty, like keeping the
code clean or that such methods weren't generally useful, but evidently
that isn't the case.
> PS. It is unlikely that solve likes or does not like forms
> of input :)
> You could try writing what amounts to a bunch of rules,
> as a first stab at it.
That's sort of what I ment - I seem to recall somewhere an example of
an integral being possible only if you used some expand operations and
such, but I guess that was different from the solve case.
CY
__________________________________________________
Do You Yahoo!?
Listen to your Yahoo! Mail messages from any phone.
http://phone.yahoo.com