Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Knowledge/partial_fractions.sml
changeset 52105 2786cc9704c8
parent 52103 0d13f07d8e2a
child 55444 ede4248a827b 
     1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Mon Sep 16 11:28:43 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Mon Sep 16 12:20:00 2013 +0200
     1.3 @@ -251,7 +251,7 @@
     1.4    "~ matches (?a = 0) (3 = 3 * A / 4) | ~ lhs (3 = 3 * A / 4) is_poly_in A," ^
     1.5    "A = 4,lhs (3 + -3 / 4 * A = 0) is_poly_in A,lhs (3 + -3 / 4 * A = 0) has_degree_in A = 1," ^
     1.6    "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) has_degree_in z = 2," ^
     1.7 -  "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) is_poly_in z,z = 1 / 2,z = -1 / 4,z ~= 0,z is_polyexp]"
     1.8 +  "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) is_poly_in z,z = 1 / 2,z = -1 / 4,z is_polyexp]"
     1.9  then ()
    1.10    else error "autoCalculate for met_partial_fraction changed: final result"
    1.11
wneuper/isa