- To: mathgroup at smc.vnet.net
- Subject: [mg127477] AlgebraicRules
- From: Murray Eisenberg <murray at math.umass.edu>
- Date: Sat, 28 Jul 2012 02:38:59 -0400 (EDT)
- Delivered-to: firstname.lastname@example.org
- Delivered-to: email@example.com
- Delivered-to: firstname.lastname@example.org
- Delivered-to: email@example.com
- Reply-to: murray at math.umass.edu
In a very recent post by Fred Simons, he cited his paper "Computer
algebra in service courses", available as:
In it, he proves a certain trig identity. He begins by using TrigExpand
to obtain a certain polynoial, call it "expanded", in Sin[x] and Cos[x].
Then he uses the function AlgebraicRules:
Sin[x]^2 + Cos[x]^2 == 1, TrigExpand[Sin[3x]] == 1/2}]
I only vaguely recall having seen AlgebraicRules back in Version 2.2 but
have not come across it since.
Although AlgebraicRules persists in the current version of Mathematica,
the docs say that since Version 3.0, Algebraic Rules has been superseded
Can PolynomialReduce in fact be used _directly_ on an expression that is
not a polynomial in, say, a single variable x but rather in the pair of
functions Sin[x] and Cos[x]?
Or must one revert to the artifice of replacing Sin[x] and Cos[x] by new
variable names, use PolynomialReduce, and finally reverse the
replacement to get back to the original variable x?
Murray Eisenberg murray at math.umass.edu
Mathematics & Statistics Dept.
Lederle Graduate Research Tower phone 413 549-1020 (H)
University of Massachusetts 413 545-2859 (W)
710 North Pleasant Street fax 413 545-1801
Amherst, MA 01003-9305
Prev by Date:
Re: How to relate two functions
Next by Date:
mac new OS "mountain lion", compile function, C compiler (vrs. 8.0.4)
Previous by thread:
Subject: Re: Using Fit to interpolate data
Next by thread: