AlgebraicRulesExtended

an extension of AlgebraicRules

Copyright Allan Hayes 1993,1994,1995
hay@haystack.demon.co.uk

<<AlgebraicRulesExtended`

Examples

Getting inside expressions; ordering replecements

Tan[s^2 - c^2]/.AlgebraicRulesExtended[c^2 + s^2 == 1]

Tan[s^2 - c^2]/.AlgebraicRulesExtended[c^2 + s^2 == 1,{s}]

Tan[s^2 - c^2]/.
	AlgebraicRulesExtended[c^2 + s^2 == 1,{OtherVariables, s}]

Getting inside heads.

a[a]/.AlgebraicRulesExtended[a==b]

a[a]/.AlgebraicRulesExtended[a==b, Heads -> True]

Which application method?

Sin[a]^3/.AlgebraicRulesExtended[{a==c, Sin[a]^2 == p},{Sin[a]}]

Sin[a]^3/.AlgebraicRulesExtended[{a==c, Sin[a]^2 == p},{Sin[a]},
   ApplicationMethod -> 2]

ar = AlgebraicRulesExtended[{a==c, Sin[a]^2 == p},{Sin[a]}]; 
ReplaceAll[Sin[a]^3, ar, ApplicationMethod -> 2]

Deciding options at use

ar = AlgebraicRulesExtended[a==b]; 
 ReplaceAll[a[a], ar, Heads->True]

ar = AlgebraicRulesExtended[a x == b x + 1,x]
DivisorsUsed/.ar

Usage Messages

?AlgebraicRulesExtendedInfo

?AlgebraicRulesExtended

?OtherVariables

?ApplicationMethod

?DivisorsUsed

Options[AlgebraicRulesExtended]