]> www.ginac.de Git - ginac.git/commitdiff
some cleanups
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 28 Feb 2003 20:51:35 +0000 (20:51 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 28 Feb 2003 20:51:35 +0000 (20:51 +0000)
doc/tutorial/ginac.texi

index 66a20b4e9e7d9a111fd3a80b4af230e85db53a93..51782eef38953cd8fac683106e1c6c723519fda7 100644 (file)
@@ -3378,21 +3378,16 @@ The last example would be written in C++ in this way:
 @end example
 
 @subsection Algebraic substitutions
-This subsection is not written by one of the original authors of GiNaC but
-by Chris Dams. All errors in the here described feature can be attributed to
-him (but mailed to the GiNaC mailing list, which he reads).
+The @code{subs()} method has an extra, optional, argument. This argument can
+be used to pass one of the @code{subs_options} to it. The only option that is
+currently available is the @code{subs_smart} option which affects
+multiplications and powers. If you want to substitute some factors of a
+product, you only need to list these factors in your pattern. Furthermore, if
+an (integer) power of some expression occurs in your pattern and in the
+expression that you want the substitution to occur in, it can be substituted
+as many times as possible, without getting negative powers.
 
-The @code{subs()} method has an extra, optional, argument. This
-argument can be used to pass one of the @code{subs_options} to it.
-The only option that is currently
-available is the @code{subs_smart} option and it affects multiplications
-and powers. If you want to substitute some factors of a multiplication, you
-only need to list these factors in your pattern. Furthermore if a(n) (integer)
-power of some expression occurs in your pattern and in the expression that
-you want the substitution to occur in, it can be substituted as many times
-as possible, without getting negative powers.
-
-An example clarifies it all (hopefully).
+An example clarifies it all (hopefully):
 
 @example
 cout << (a*a*a*a+b*b*b*b+pow(x+y,4)).subs(wild()*wild()==pow(wild(),3),
@@ -3435,6 +3430,7 @@ cout << expand((a*sin(x+y)*sin(x+y)+a*cos(x+y)*cos(x+y)+b)
 // --> b+a
 @end example
 
+
 @node Applying a Function on Subexpressions, Polynomial Arithmetic, Pattern Matching and Advanced Substitutions, Methods and Functions
 @c    node-name, next, previous, up
 @section Applying a Function on Subexpressions