share/algebra/solver/slvrmsgs.mac

   1 /******************************************************************************/
   2 /*                                                                            */
   3 /* SLVRMSGS.MAC                                                               */
   4 /*                                                                            */
   5 /* Copyright (C) 2000 : Eckhard Hennig, Ralf Sommer                           */
   6 /* This library is free software; you can redistribute it and/or modify it    */
   7 /* under the terms of the GNU Library General Public License as published     */
   8 /* by the Free Software Foundation; either version 2 of the License, or (at   */
   9 /* your option) any later version.                                            */
  10 /*                                                                            */
  11 /* This library is distributed in the hope that it will be useful, but        */
  12 /* WITHOUT ANY WARRANTY; without even the implied warranty of                 */
  13 /* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU          */
  14 /* Library General Public License for more details.                           */
  15 /*                                                                            */
  16 /* You should have received a copy of the GNU Library General Public          */
  17 /* License along with this library; if not, write to the Free Software        */
  18 /* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA                  */
  19 /******************************************************************************/
  20 /* Author(s)    : Eckhard Hennig, Ralf Sommer                                 */
  21 /* Project start: 17.01.1995                                                  */
  22 /* Completed    : 17.01.1995                                                  */
  23 /* Last change  : 24.01.1995                                                  */
  24 /* Time         : 16.38                                                       */
  25 /******************************************************************************/
  26 /* Changes      : |                                                           */
  27 /******************************************************************************/
  28
  29 put( 'SLVRMSGS, 1, 'Version )$
  30
  31 SetVersion(
  32   /* KEY    = */ 'SLVRMSGS,
  33   'MODULE      = "SLVRMSGS",
  34   'DESCRIPTION = "SOLVER error and program messages",
  35   'AUTHORS     = "Eckhard Hennig, Ralf Sommer",
  36   'DATE        = "17.01.1995",
  37   'LASTCHANGE  = "24.01.1995",
  38   'TIME        = "16:38",
  39   'PLAN        = ""
  40 )$
  41
  42 /******************************************************************************/
  43 /* Last change: 24.01.1995                                                    */
  44 /* Time       : 16:38                                                         */
  45 /* By         : Eckhard Hennig                                                */
  46 /* Description: Version property added.                                       */
  47 /******************************************************************************/
  48 /* Last change: 17.01.1995                                                    */
  49 /* Time       : 18:47                                                         */
  50 /* By         : Eckhard Hennig, Ralf Sommer                                   */
  51 /* Description: Solver messages moved from AI's MESSAGES.MAC to SLVRMSGS.MAC  */
  52 /******************************************************************************/
  53
  54
  55 /******************************************************************************/
  56 /* Definition of error messages for SLVRTBOX                                  */
  57 /******************************************************************************/
  58
  59 ErrMsg["Ignore"]        : "Ignoring error and continuing..."$
  60 ErrMsg["FatalErr"]      : "Fatal error, aborting."$
  61 ErrMsg["InvMsgLvl"]     : "Invalid MsgLevel. [ 'OFF, 'SHORT, 'DETAIL ]"$
  62 ErrMsg["InvVerbMode"]   :
  63   "Invalid value for Solver_Verbose. [ 'FALSE, 'TRUE, 'ALL ]"$
  64
  65
  66 /******************************************************************************/
  67 /* Definition of error and program messages for SOLVER                        */
  68 /******************************************************************************/
  69
  70 SolverMsg["VarsAre"]    : "The variables to be solved for are"$
  71 SolverMsg["ParsAre"]    : "The parameters are"$
  72 SolverMsg["NoEqOrVar"]  : "No equations or variables found."$
  73 SolverMsg["NoEqTerm"]   :
  74   "No equations left after applying immediate assignments. Solver terminated."$
  75 SolverMsg["TrySolve4"]  : "Trying to solve for"$
  76 SolverMsg["Solve4Exp"]  : "in order to solve for the expression"$
  77 SolverMsg["SubstPwrs"]  : "Searching for multiples of exponents."$
  78 SolverMsg["Subst"]      : "Substituting new symbol for"$
  79 SolverMsg["SrchImmed"]  : "Searching for immediate assignments."$
  80 SolverMsg["NoImmed"]    : "No immediate assignments found."$
  81 SolverMsg["Assign"]     : "Assigning"$
  82 SolverMsg["Incons"]     : "Inconsistent equations:"$
  83 SolverMsg["Assum"]      : "Assuming"$
  84 SolverMsg["AssmFnd"]    : "Assumption already found in list:"$
  85 SolverMsg["SrchLinEq"]  : "Searching for linear equations..."$
  86 SolverMsg["wrt"]        : "  ...with respect to:"$
  87 SolverMsg["NoLinEqs"]   : "No linear equations found."$
  88 SolverMsg["Found"]      : "Found"$
  89 SolverMsg["LinEqs"]     : "linear equations in"$
  90 SolverMsg["LinVars"]    : "variables."$
  91 SolverMsg["SolvLinEq"]  : "Solving linear equations."$
  92 SolverMsg["Solutions"]  : "The solutions are"$
  93 SolverMsg["FreeVar2Par"]: "Free variable appended to parameter list:"$
  94 SolverMsg["Chk4RemEq"]  : "Checking for remaining equations."$
  95 SolverMsg["AllSolved"]  : "All variables solved for. No equations left."$
  96 SolverMsg["NoEqLeft"]   :
  97   "No equations left to determine the remaining unknowns"$
  98 SolverMsg["EqLeft"]     :
  99   "All variables solved for although some equations are left."$
 100 SolverMsg["Eqs"]        : "equation(s) and"$
 101 SolverMsg["Vars"]       : "variable(s) left."$
 102 SolverMsg["EqsAre"]     : "The equations are"$
 103 SolverMsg["EqIs"]       : "The equation is"$
 104 SolverMsg["ValStrat"]   : "Applying valuation strategy."$
 105 SolverMsg["TrySolveEq"] : "Trying to solve equation"$
 106 SolverMsg["ForVar"]     : "for"$
 107 SolverMsg["Valuation"]  : "Valuation:"$
 108 SolverMsg["CheckSol"]   : "Checking if equation was solved correctly."$
 109 SolverMsg["SolOK"]      : "Solution is correct."$
 110 SolverMsg["SolNotOK"]   : "Solution is not correct."$
 111 SolverMsg["AppTrans"]   : "Applying transformation"$
 112 SolverMsg["ResTrans"]   : "The transformation yields"$
 113 SolverMsg["RetryTrans"] : "Retrying with transformed equation."$
 114 SolverMsg["TransFail"]  : "Transformation failed."$
 115 SolverMsg["TransSolv"]  : "The transformation has solved the equation."$
 116 SolverMsg["GiveUp"]     : "Cannot solve equation. Giving up."$
 117 SolverMsg["SolRes"]     : "The solution is"$
 118 SolverMsg["NotUnique"]  :
 119   "The solution is not unique. Tracing paths separately."$
 120 SolverMsg["SolsLost"]   :
 121   "Not all solutions have been determined explicitly. Some may be lost."$
 122 SolverMsg["Dropped"]    : "Dropping solution:"$
 123 SolverMsg["Contradict"] :
 124   "This solution contradicts with the remaining equations:"$
 125 SolverMsg["ConsChk"]    : "Checking for inconsistencies..."$
 126 SolverMsg["NoneFnd"]    : "... none found."$
 127 SolverMsg["Solution"]   : "Solution"$
 128 SolverMsg["ConsSol"]    : "Consistent solutions for"$
 129 SolverMsg["NoConsSol"]  : "No consistent solutions found for"$
 130 SolverMsg["NoValidSol"] : "No valid solution could be determined for"$
 131 SolverMsg["PostPr"]     : "Postprocessing results."$
 132 SolverMsg["SolSet"]     : "Solution set"$
 133 SolverMsg["NoSol"]      : "Cannot determine an explicit solution for"$
 134 SolverMsg["SolSetDrp"]  : "Invalid solution set dropped."$
 135 SolverMsg["Dump"]       : ">>> Dumping solutions to"$
 136
 137 ErrMsg["SolvrTerm"]     : "Solver terminated."$
 138 ErrMsg["EqsNotLst"]     : "List of equations expected."$
 139 ErrMsg["VarNotLst"]     : "List of variables expected."$
 140 ErrMsg["ParNotLst"]     : "List of parameters expected."$
 141 ErrMsg["VarParConfl"]   : "Variables and parameters must be disjoint sets."$
 142 ErrMsg["InvIncPar"]     :
 143   "Invalid assignment. 'ASK, 'BREAK, or 'IGNORE expected."$
 144 ErrMsg["InvDelPref"]    : "Expected \">\", \">=\", \"<\", or \"<=\"."$
 145