From ee57948aedcfc1b5411e3e0b61a79003689e64c0 Mon Sep 17 00:00:00 2001 From: Angus Griffith <16sn6uv@gmail.com> Date: Tue, 5 Feb 2013 12:08:33 +1100 Subject: [PATCH 1/2] add missing string breaks and trailing semicolons to user_interface and system_interface --- system_interface.M | 12 ++++++------ user_interface.M | 6 +++--- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/system_interface.M b/system_interface.M index 4a8b3a4..8c7ef60 100644 --- a/system_interface.M +++ b/system_interface.M @@ -12,7 +12,7 @@ NIL::usage = SimplifyMessage::usage = " SimplifyMessage is a list of rules and formulas which are \ - results of intermediate steps of simplification. " + results of intermediate steps of simplification. "; SimplifyIfChanged::usage = " SimplifyIfChanged[f1, f2] gives StrongSimplify[f2] as answer \ @@ -86,7 +86,7 @@ UserFunctions::usage = GivenFormulas::usage = " GivenFormulas is a list of given properties which can be seen \ - using PrintGiven. " + using PrintGiven. "; (* these functions are provided in package inequality.M *) @@ -108,7 +108,7 @@ RulesForRelations::usage = of some equations and inequalities. "; DepthCount::usage = - " DepthCount is the current depth for using bound to prove + " DepthCount is the current depth for using bound to prove \ inequalities. "; @@ -168,7 +168,7 @@ Requantify::usage = PositivePosition. "; PositivePosition::usage = - " PositivePosition means the positive position in a sequent. + " PositivePosition means the positive position in a sequent. \ (See also quantify) "; NegativePosition::usage = @@ -208,8 +208,8 @@ MaxMinRules::usage = " MaxMinRules is a set of local rules about maximum or minimum \ values, it is used in simplification. "; -GosperSum::usage = "GosperSum[term, {var, n0, n1}] attempts to find the value - of Sum[term, {var, n0, n1}] for symbolic n0, n1." +GosperSum::usage = "GosperSum[term, {var, n0, n1}] attempts to find \ + the value of Sum[term, {var, n0, n1}] for symbolic n0, n1."; SimplifySummation::usage = " SimplifySummation[i][f] tries ith method to simplify the summation \ diff --git a/user_interface.M b/user_interface.M index 2c0463f..61980c8 100644 --- a/user_interface.M +++ b/user_interface.M @@ -157,7 +157,7 @@ UserRules::usage = CurrentPath::usage = " CurrentPath is a list of the sections that contain the current \ - context section as a subsection. " + context section as a subsection. "; CurrentSection::usage = @@ -208,7 +208,7 @@ SuccessStepsOnly::usage = steps are printed out. "; EndDocument::usage = - " EndDocument is used to put the ending to the TeX file. " + " EndDocument is used to put the ending to the TeX file. "; Abbreviate::usage = "Abbreviate[f1, f2] takes 'f2' as an abbreviation for 'f1'. "; @@ -309,4 +309,4 @@ congruent::usage = with respect 'c'. "; over; -EndPackage[] \ No newline at end of file +EndPackage[] From faaf4d5995df048b9982c519f477d0e337635cb7 Mon Sep 17 00:00:00 2001 From: Angus Griffith <16sn6uv@gmail.com> Date: Tue, 5 Feb 2013 12:35:37 +1100 Subject: [PATCH 2/2] simplify.m and quantify.m not *.M --- index.all | 4 ++-- system_interface.M | 4 ++-- user_interface.M | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/index.all b/index.all index a21c557..7d3ca43 100644 --- a/index.all +++ b/index.all @@ -14,11 +14,11 @@ $Path = Join[$Path, {"/afs/user/xzhao/analytica/analytica", "/afs/user/xzhao/ana (* Quantification. *) -<