From: Kenny
Subject: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48a77e90$0$29517$607ed4bc@cv.net>
The problem was a^4*a^-6, I said a^-2, my software 
(http://www.theoryyalgebra.com/) said it was not simplest form, but 
1/a^2 was.

Who is right?!!!

Mind you the target is an educational setting, if that matters.

I think my software is right, but I started to wonder.

cheers, kenny
---
http://www.theoryyalgebra.com/

From: Don Geddis
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <87vdy0fhlz.fsf@geddis.org>
Kenny <·········@gmail.com> wrote on Sat, 16 Aug 2008:
> The problem was a^4*a^-6, I said a^-2, my software
> (http://www.theoryyalgebra.com/) said it was not simplest form, but 1/a^2
> was.  Who is right?!!!  Mind you the target is an educational setting, if
> that matters.  I think my software is right, but I started to wonder.

Do you think "simplest form" has a precise definition, over all possible
mathematical expressions?  That there is always a single, correct answer?

I suspect that, in some corner cases, the "correct" answer may depend on
context.

        -- Don
_______________________________________________________________________________
Don Geddis                  http://don.geddis.org/               ···@geddis.org
I think there are some things you can only learn by experience.  Like, never
put an ice cube down the back of somebody who's shooting a bow and arrow.
	-- Deep Thoughts, by Jack Handey [1999]
From: Kenny
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48a7af30$0$29509$607ed4bc@cv.net>
Don Geddis wrote:
> Kenny <·········@gmail.com> wrote on Sat, 16 Aug 2008:
> 
>>The problem was a^4*a^-6, I said a^-2, my software
>>(http://www.theoryyalgebra.com/) said it was not simplest form, but 1/a^2
>>was.  Who is right?!!!  Mind you the target is an educational setting, if
>>that matters.  I think my software is right, but I started to wonder.
> 
> 
> Do you think "simplest form" has a precise definition, over all possible
> mathematical expressions?  That there is always a single, correct answer?

I thought that was 42.

Anyway, you are right, I neglected option three, aka "both acceptable". 
I have a lot of different rewrites I try to identify acceptable 
alternative forms, so one option is indeed to create another such 
rewrite. We will have new ballots printed and hold new elections.

> 
> I suspect that, in some corner cases, the "correct" answer may depend on
> context.

Yeah. I think a^-2 is cool, but if it were a^-2 * b^3 I would like to 
see b^3 / a^2.

Ah, Just checked my Gustafson&Frisk "Beginning Algebra": 1/a^2 is The 
One Correct Answer. :)

kt
From: Leandro Rios
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48a987a3$0$19369$834e42db@reader.greatnowhere.com>
Kenny escribi�:
> Don Geddis wrote:
>> Kenny <·········@gmail.com> wrote on Sat, 16 Aug 2008:
>>
>>> The problem was a^4*a^-6, I said a^-2, my software
>>> (http://www.theoryyalgebra.com/) said it was not simplest form, but 
>>> 1/a^2
>>> was.  Who is right?!!!  Mind you the target is an educational 
>>> setting, if
>>> that matters.  I think my software is right, but I started to wonder.
>>
>>
>> Do you think "simplest form" has a precise definition, over all possible
>> mathematical expressions?  That there is always a single, correct answer?
> 
> I thought that was 42.
> 
> Anyway, you are right, I neglected option three, aka "both acceptable". 
> I have a lot of different rewrites I try to identify acceptable 
> alternative forms, so one option is indeed to create another such 
> rewrite. We will have new ballots printed and hold new elections.
> 
>>
>> I suspect that, in some corner cases, the "correct" answer may depend on
>> context.
> 
> Yeah. I think a^-2 is cool, but if it were a^-2 * b^3 I would like to 
> see b^3 / a^2.
> 
> Ah, Just checked my Gustafson&Frisk "Beginning Algebra": 1/a^2 is The 
> One Correct Answer. :)
> 
> kt

But if you want to be absolutely helpful to your prospective users, 
accept any of both answers as good and show the alternative, in order to 
reinforce the learning of the relationship between a^-2 and 1/a^2.

And if possible, explain why it is so.

And if you can, go *personally* to explain why... Sorry. Leaving user 
mode right now.

Leandro
From: D Herring
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <DeCdnafPBOHJBzrVnZ2dnUVZ_o_inZ2d@comcast.com>
Kenny wrote:
> The problem was a^4*a^-6, I said a^-2, my software 
> (http://www.theoryyalgebra.com/) said it was not simplest form, but 
> 1/a^2 was.

Simplest form is ill-defined.  Personally, I'd accept both.  Some 
educators prefer 1/a^2 since it avoids negative exponents while others 
prefer a^-2 since it avoids the fraction, hence being marginally simpler.

Just be sure to document what your software expects and/or provide a 
config option for the teacher to set.

That's my two cents.  You might also query sci.math.symbolic -- its 
not completely dead -- or ask the developers of Axiom/FriCAS/OpenAxiom 
or Maxima or Sage or...

- Daniel
From: George Neuner
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <32hga4h3h142oksgn1l6pvlmmevincipf7@4ax.com>
On Sat, 16 Aug 2008 23:25:59 -0400, D Herring
<········@at.tentpost.dot.com> wrote:

>Kenny wrote:
>> The problem was a^4*a^-6, I said a^-2, my software 
>> (http://www.theoryyalgebra.com/) said it was not simplest form, but 
>> 1/a^2 was.
>
>Simplest form is ill-defined.  Personally, I'd accept both.  Some 
>educators prefer 1/a^2 since it avoids negative exponents while others 
>prefer a^-2 since it avoids the fraction, hence being marginally simpler.
>
>Just be sure to document what your software expects and/or provide a 
>config option for the teacher to set.

Or make sure the software accepts both.

>That's my two cents.  You might also query sci.math.symbolic -- its 
>not completely dead -- or ask the developers of Axiom/FriCAS/OpenAxiom 
>or Maxima or Sage or...
>
>- Daniel

George
From: Frederick Williams
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48A7F3EF.E8B67E1A@tesco.net>
Kenny wrote:
> 
> The problem was a^4*a^-6, I said a^-2, my software
> (http://www.theoryyalgebra.com/) said it was not simplest form, but
> 1/a^2 was.
> 
> Who is right?!!!

"Simplest form" has no precise definition so the question is not
answerable.  In the context of formalized languages "simplest" could be
defined to mean "that which has the smallest number of symbols", but
that is of no relevance here.

-- 
He is not here; but far away
  The noise of life begins again
  And ghastly thro' the drizzling rain
On the bald street breaks the blank day.
From: Kenny
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48a815af$0$7337$607ed4bc@cv.net>
Frederick Williams wrote:
> Kenny wrote:
> 
>>The problem was a^4*a^-6, I said a^-2, my software
>>(http://www.theoryyalgebra.com/) said it was not simplest form, but
>>1/a^2 was.
>>
>>Who is right?!!!
> 
> 
> "Simplest form" has no precise definition so the question is not
> answerable.  

If you gave a test and said reduce to simplest form... well, one book I 
have explicitly says to rewrite without negative exponents. I imagine 
before any test we would spell that out, or on the test likewise make 
the requirmeent explicit.

I think I will let the community complain, and it may well end up a 
preference.

> In the context of formalized languages "simplest" could be
> defined to mean "that which has the smallest number of symbols", but
> that is of no relevance here.
> 

I heard that suggestion on my last such suggestion. Ironically 1/a^2 has 
more symbols than a^-2.

thx to all for the input.

kenny
---
http://www.theoryyalgebra.com/
From: Frederick Williams
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48A835B2.98CE415@tesco.net>
Kenny wrote:
> 
> Frederick Williams wrote:
> > Kenny wrote:
> >
> >>The problem was a^4*a^-6, I said a^-2, my software
> >>(http://www.theoryyalgebra.com/) said it was not simplest form, but
> >>1/a^2 was.
> >>
> >>Who is right?!!!
> >
> >
> > "Simplest form" has no precise definition so the question is not
> > answerable.
> 
> If you gave a test and said reduce to simplest form...

If I was in that position (luckily I'm not) I'd accept both 1/a^2 and
a^-2 as correct.

> well, one book I
> have explicitly says to rewrite without negative exponents. I imagine
> before any test we would spell that out, or on the test likewise make
> the requirmeent explicit.

-- 
He is not here; but far away
  The noise of life begins again
  And ghastly thro' the drizzling rain
On the bald street breaks the blank day.
From: Dana DeLouis
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <Z74qk.11855$XB4.6383@bignews9.bellsouth.net>
Pj4gIG15IHNvZnR3YXJlIHNhaWQgaXQgd2FzIG5vdCBzaW1wbGVzdCBmb3JtLCBidXQgLi4uDQoN
ClNvbWUgb3RoZXIgcHJvZ3JhbXMsIGxpa2UgTWF0aGVtYXRpY2EsIGRlZmF1bHQgdG8gInNpbXBs
ZXIiIGZvcm0gdXNpbmcgUG93ZXIgYmVjYXVzZSBpdCBpcyBlYXNpZXIgdG8gdXNlIGZvciB0aGUg
Y29tcHV0ZXIuICBGcm9tIGEgY29tcHV0ZXIncyBwb2ludCBvZiB2aWV3LCB0aGUgIjEiIGRvZXMg
bm90IG5lZWQgdG8gYmUgdGhlcmUuDQoNCkZ1bGxGb3JtW2FeNC9hXjZdDQoNClBvd2VyW2EsIC0y
XQ0KDQpNb3N0IGRpdmlzaW9ucyB5b3Ugc2VlIHdpdGggbWF0aCBzb2Z0d2FyZSBhcmUgY29udmVy
dGVkIHRvIFBvd2VyLiAgRXZlbiBhIHNpbXBsZSBkaXZpc2lvbiBsaWtlIHRoaXMgdXNlcyBQb3dl
ci4NCg0KMS95IC8vIEZ1bGxGb3JtIA0KDQpQb3dlclt5LCAtMV0NCg0KQXMgb3RoZXJzIGhhdmUg
c2FpZCwgdGhlcmUgaXMgbm8gcmVhbCBkZWZpbml0aW9uIG9mICAic2ltcGxlc3QgZm9ybSINCi0t
IA0KRGFuYQ0KDQoNCiJGcmVkZXJpY2sgV2lsbGlhbXMiIDxmcmVkZXJpY2sud2lsbGlhbXMyQHRl
c2NvLm5ldD4gd3JvdGUgaW4gbWVzc2FnZSBuZXdzOjQ4QTgzNUIyLjk4Q0U0MTVAdGVzY28ubmV0
Li4uDQo+IEtlbm55IHdyb3RlOg0KPj4gDQo+PiBGcmVkZXJpY2sgV2lsbGlhbXMgd3JvdGU6DQo+
PiA+IEtlbm55IHdyb3RlOg0KPj4gPg0KPj4gPj5UaGUgcHJvYmxlbSB3YXMgYV40KmFeLTYsIEkg
c2FpZCBhXi0yLCBteSBzb2Z0d2FyZQ0KPj4gPj4oaHR0cDovL3d3dy50aGVvcnl5YWxnZWJyYS5j
b20vKSBzYWlkIGl0IHdhcyBub3Qgc2ltcGxlc3QgZm9ybSwgYnV0DQo+PiA+PjEvYV4yIHdhcy4N
Cj4+ID4+DQo+PiA+PldobyBpcyByaWdodD8hISENCj4+ID4NCj4+ID4NCj4+ID4gIlNpbXBsZXN0
IGZvcm0iIGhhcyBubyBwcmVjaXNlIGRlZmluaXRpb24gc28gdGhlIHF1ZXN0aW9uIGlzIG5vdA0K
Pj4gPiBhbnN3ZXJhYmxlLg0KPj4gDQo+PiBJZiB5b3UgZ2F2ZSBhIHRlc3QgYW5kIHNhaWQgcmVk
dWNlIHRvIHNpbXBsZXN0IGZvcm0uLi4NCj4gDQo+IElmIEkgd2FzIGluIHRoYXQgcG9zaXRpb24g
KGx1Y2tpbHkgSSdtIG5vdCkgSSdkIGFjY2VwdCBib3RoIDEvYV4yIGFuZA0KPiBhXi0yIGFzIGNv
cnJlY3QuDQo+IA0KPj4gd2VsbCwgb25lIGJvb2sgSQ0KPj4gaGF2ZSBleHBsaWNpdGx5IHNheXMg
dG8gcmV3cml0ZSB3aXRob3V0IG5lZ2F0aXZlIGV4cG9uZW50cy4gSSBpbWFnaW5lDQo+PiBiZWZv
cmUgYW55IHRlc3Qgd2Ugd291bGQgc3BlbGwgdGhhdCBvdXQsIG9yIG9uIHRoZSB0ZXN0IGxpa2V3
aXNlIG1ha2UNCj4+IHRoZSByZXF1aXJtZWVudCBleHBsaWNpdC4NCj4gDQo+IC0tIA0KPiBIZSBp
cyBub3QgaGVyZTsgYnV0IGZhciBhd2F5DQo+ICBUaGUgbm9pc2Ugb2YgbGlmZSBiZWdpbnMgYWdh
aW4NCj4gIEFuZCBnaGFzdGx5IHRocm8nIHRoZSBkcml6emxpbmcgcmFpbg0KPiBPbiB0aGUgYmFs
ZCBzdHJlZXQgYnJlYWtzIHRoZSBibGFuayBkYXku
From: hostlocal
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <g8g6o5$p9e$1@news.albasani.net>
"Kenny" <·········@gmail.com> wrote in message 
······························@cv.net...
> The problem was a^4*a^-6, I said a^-2, my software 
> (http://www.theoryyalgebra.com/) said it was not simplest form, but 1/a^2 
> was.
>
> Who is right?!!!
>
> Mind you the target is an educational setting, if that matters.
>
> I think my software is right, but I started to wonder.
>
> cheers, kenny
> ---
> http://www.theoryyalgebra.com/


a^-2   is,    least number of symbols -- from Ga Tech Math dept 
From: Kenny
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <48aba0f9$0$7347$607ed4bc@cv.net>
hostlocal wrote:
> "Kenny" <·········@gmail.com> wrote in message 
> ······························@cv.net...
> 
>>The problem was a^4*a^-6, I said a^-2, my software 
>>(http://www.theoryyalgebra.com/) said it was not simplest form, but 1/a^2 
>>was.
>>
>>Who is right?!!!
>>
>>Mind you the target is an educational setting, if that matters.
>>
>>I think my software is right, but I started to wonder.
>>
>>cheers, kenny
>>---
>>http://www.theoryyalgebra.com/
> 
> 
> 
> a^-2   is,    least number of symbols -- from Ga Tech Math dept 
> 
> 

Yeah, I think the instructions to elim neg expons has to be explicit or 
this is acceptable. But I think the /math/ denoted by 1/a^2 is much 
simpler than that denoted by a^-2. The latter goes through a^0-2 to a 
def of division of a^m/a^n = a^m-n to get to the idea that a^-2 is the 
inverse of a^2, while 1/a^2 Just Says It. So symbol-counting may not be 
the right criterion.

kt
From: Kaz Kylheku
Subject: Re: Is a^-2 in simplest form? (Hoist on my own petard!)
Date: 
Message-ID: <20080820122401.253@gmail.com>
On 2008-08-17, Kenny <·········@gmail.com> wrote:
> The problem was a^4*a^-6, I said a^-2, my software 
> (http://www.theoryyalgebra.com/) said it was not simplest form, but 
> 1/a^2 was.
>
> Who is right?!!!

The Harrop complexities H of these formulae are:

  H(a^-2)  = 4
  H(1/a^2) = 5

So according to this metric, the former is the simpler.