Re: How to I get Maple to spit out 1?

Path	csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!gegeweb.org!newsfeed.kamp.net!newsfeed.kamp.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	Axel Vogt <&noreply@axelvogt.de>
Newsgroups	comp.soft-sys.math.maple, sci.math.symbolic
Subject	Re: How to I get Maple to spit out 1?
Date	Thu, 14 Jul 2011 21:48:44 +0200
Lines	39
Message-ID	<988vhsFn06U1@mid.individual.net> (permalink)
References	<SalmonEgg-AD7243.16274013072011@news60.forteinc.com> <987jtmF301U1@mid.individual.net> <SalmonEgg-E36EEF.05235914072011@news60.forteinc.com>
Reply-To	&noreply@axelvogt.de
Mime-Version	1.0
Content-Type	text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding	7bit
X-Trace	individual.net aliGTBCDZOPc+5pxhM3UCAJ8dKNNTZevIKmUpzWZDxFB/NW+g=
Cancel-Lock	sha1:X2gf6krAKpWT2+9AoV00wm8WG8o=
User-Agent	Mozilla/5.0 (Windows NT 5.1; rv:5.0) Gecko/20110624 Thunderbird/5.0
In-Reply-To	<SalmonEgg-E36EEF.05235914072011@news60.forteinc.com>
Xref	x330-a1.tempe.blueboxinc.net comp.soft-sys.math.maple:212

Cross-posted to 2 groups.

Show key headers only | View raw

On 14.07.2011 14:23, Salmon Egg wrote:
> In article<987jtmF301U1@mid.individual.net>,
>   Axel Vogt<&noreply@axelvogt.de>  wrote:
>
>> The simplification problem is not specific for Maple, but it
>> is a problem in any symbolic software system (thus I included
>> sci.math.symbolic)
>
> To my mind, one of the big advantages of something like Maple is to
> simply complicated expressions. At least, I would hope that you could
> tell if expression A is equivalent to expression B. That is, Maple would
> be able to tell if A=B is true or false. Unfortunately, that will
> require simplification to happen automatically in most cases.

My knowledge is quite limited (thus cross-posted), but practically:

- you have to measure 'simple' and that may not result in s.th. you
expect (say: you want a fraction, but the algo leads to s.th. else)

- you want the system to try 'all' ways - but that may be quite
expensive in general (just not in your situation), thus the coders
decided not to implement that (with/out specific demand). That will
lead to terrific many options - or that one CAS will do a specific
task quite easily, while for others it is a mess (need to provide
many hints/commands)

- there are situations, where it will too complicated to find good
answers, examples are long or nested expressions of 'roots' or the
nasty trigonometric expressions

There are situations, where Maple finds A=B, sometimes it is more
easy to simplify A - B and do the rest by hand. And sometimes it
is better to look at A/B.

Moreover - if I remember correctly - it has a general switch to
instruct it to invest a lot of time to test for zero.

I would not hope (in general) that it could 'prove' equivalence
without guidance (however in your case: yes, I would expect).

Back to comp.soft-sys.math.maple | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

How to I get Maple to spit out 1? Salmon Egg <SalmonEgg@sbcglobal.net> - 2011-07-13 16:27 -0700
  Re: How to I get Maple to spit out 1? Axel Vogt <&noreply@axelvogt.de> - 2011-07-14 09:24 +0200
    Re: How to I get Maple to spit out 1? "G. A. Edgar" <edgar@math.ohio-state.edu.invalid> - 2011-07-14 06:20 -0600
    Re: How to I get Maple to spit out 1? Salmon Egg <SalmonEgg@sbcglobal.net> - 2011-07-14 05:23 -0700
      Re: How to I get Maple to spit out 1? Axel Vogt <&noreply@axelvogt.de> - 2011-07-14 21:48 +0200
    Re: How to I get Maple to spit out 1? Evan24 <ha15@earthlink.net> - 2011-07-14 15:19 +0000
    Re: How to I get Maple to spit out 1? clicliclic@freenet.de - 2011-07-14 22:30 +0200

csiph-web