code: /**
   * Created by IntelliJ IDEA.
   * User: Ye
   * Date: 2006-2-16
   * Time: 13:37:35
   * To change this template use File | Settings | File Templates.
   */
  package gprover;
  
  final public class Cm {
  
      final public static String s2060 = "Building the model costs";
      final public static String s2061 = "\r\nThe theorem is not in the database.\r\n\r\n";
      final public static String s2070 = "(hyp)";
      final public static String s2071 = "The Proof in LaTex format has been saved in";
      final public static String s2072 = "The Machine Proof";
      final public static String s2073 = "(The fact is trivially true)\r\n";
      final public static String s2074 = "The following auxilliary point is added by the program\r\n\r\n";
      final public static String s2075 = ",\r\n   because ";
      final public static String s2076 = "(obvious)";
  
      final public static String s2077 = " ⊥ ";
      final public static String s2078 = "∠";
      final public static String s2079 = " ∥ ";
      final public static String s2080 = "∆";
      final public static String s2081 = "Beginning make auxillary points\r\n";
      final public static String sangle = "∠";
      final public static String s2082 = " = ";
      final public static String s2083 = " ∽ ";
      final public static String s2084 = " �� ";
  
  
      final public static String s2700 = "\n List of new data\n";
      final public static String s2701 = "fo_las";
      final public static String s2702 = "***  The Geometry Information  Base ***";
      final public static String s2703 = "\r\n\r\nThe configuration contains the following midpoints\r\n\r\n";
      final public static String s2704 = "There are";
      final public static String s2705 = "midpoints\r\n";
      final public static String s2706 = "\r\n\r\nThe configuration contains the following lines\r\n\r\n";
      final public static String s2707 = "lines";
      final public static String s2708 = "sets of parallel lines\r\n";
      final public static String s2709 = "plines";
      final public static String s2710 = "\r\n\r\nThe configuration contains the following perp lines\r\n\r\n";
      final public static String s2711 = "pair of perpendicular lines\r\n";
      final public static String s2712 = "\r\n\r\nThe configuration contains the following circles\r\n\r\n";
      final public static String s2713 = "circles in the databse.";
  
      final public static String s2715 = "perp[";
      final public static String s2716 = "circle";
      final public static String s2717 = "\r\n\r\nThe configuration contains the following eqangles\r\n\r\n";
      final public static String s2718 = "eqangles";
      final public static String s2719 = "\r\nThe configuration contains the following similar triangles\r\n\r\n";
      final public static String s2720 = "similar triangles";
      final public static String s2721 = "\r\nThe configuration contains the following congruent triangles\r\n\r\n";
      final public static String s2722 = "congruent triangles";
      final public static String s2723 = "\r\nThe configuration contains the following congruent segments\r\n\r\n";
      final public static String s2724 = "congruent segments";
      final public static String s2725 = "\r\nThe configuration contains the following equal ratios\r\n\r\n";
      final public static String s2726 = "ratios";
      final public static String s2727 = "       because ";
      final public static String s2728 = " and ";
      final public static String s2729 = "midp";
      final public static String s2730 = "coll:";
      final public static String s2731 = "para:";
      final public static String s2732 = "cyclic";
      final public static String s2733 = "eqangle:";
      final public static String s2734 = "perp:";
      final public static String s2735 = "eqratio:";
      final public static String s2736 = "The database is empty\r\n";
      final public static String s2737 = "The database contains";
      final public static String s2738 = "geometric relations";
      final public static String s2739 = "group(s)";
      final public static String s2740 = "��";
  
      final public static String s2760 = "are collinear";
  
  
      final public static String P_COLL = "COLL";
      final public static String P_CONG = "CONG";
      final public static String P_PERP = "PERP";
      final public static String P_PARA = "PARA";
      final public static String P_ACONG = "EQANGLE";
  
      final public static String P_PETRI = "PE_TRIANGLE";
      final public static String P_NETRI = "NE_TRIANGLE";
  
      final public static String PC_COLL = "COLLINEAR";
      final public static String PC_PARA = "PARALLEL";
      final public static String PC_PERP = "PERPENDICULAR";
      final public static String PC_CONG = "EQDISTANCE";
      final public static String PC_ACONG = "EQANGLE";
      final public static String PC_CYCLIC = "COCIRCLE";
      final public static String PC_CYCLIC1 = "CYCLIC";  // added APR 4th
      final public static String PC_PBISECT = "PERP_BISECT";
      final public static String PC_EQ_PROD = "EQ_PRODUCT";
      final public static String PC_TANG = "TANGENT";
      final public static String PC_STRI = "SIM_TRIANGLE";
      final public static String PC_CTRI = "CON_TRIANGLE";
      final public static String PC_MIDP = "MIDPOINT";
      final public static String PC_HARM = "HARMONIC_PAIR";
      final public static String PC_PETRIANGLE = "PE_TRIANGLE";
      final public static String PC_RATIO = "RATIO";
  
      final public static String P_PTS = "Points";
      final public static String P_NCOLL = "are not collinear";
      final public static String P_NPARA = "is not parallel to";
      final public static String P_NPERP = "is not perpendicular to";
      final public static String P_NEQ = "��";
  
  
      final public static String PC_TRI = "tri";//"��";    // added APR 17th
      final public static String S_T_E = "Centroid";
      final public static String S_T_C = "Circumcenter";
      final public static String S_T_O = "Orthocenter";
      final public static String S_T_I = "Incenter";
      final public static String S_T_IV = "Vertex with Known Incenter";
      final public static String S_T_L = "EQ Triangle";
      final public static String S_SYM = "Symmetric";
      final public static String S_REF = "Relection";
      final public static String S_INV = "Inversion";
      final public static String S_PSQ = "P Square";
      final public static String S_NSQ = "N square";
      final public static String S_F_T = "Fill Triangle";
      final public static String S_F_P = "Fill Polygon";
      final public static String S_F_C = "Fill Circle";
      final public static String S_F_CH = "Fill Chord";
      final public static String S_F_PI = "Fill Pie Wedge";
      final public static String S_M_L = "Mark Line";
      final public static String S_M_A = "Mark Angle";
      final public static String S_M_FA = "Fill Angle";
      final public static String S_M_R = "Mark radius";
  
      //  predicate.
  
      final public static String P_POINT = "POINT";
      final public static String P_CONST = "CONSTANT";
      final public static String P_CIRCLE = "CIRCLE";
      final public static String P_FOOT = "FOOT";
      final public static String P_MIDP = "MIDPOINT";
      final public static String P_SYM = "SYM";
      final public static String P_LRATIO = "LRATIO";
      final public static String P_MRATIO = "MRATIO";
      final public static String P_PRATIO = "PRATIO";
      final public static String P_TRATIO = "TRATIO";
      final public static String P_O_L = "ON_LINE";
      final public static String P_O_B = "ON_BLINE";
      final public static String P_O_T = "ON_TLINE";
      final public static String P_O_P = "ON_PLINE";
      final public static String P_O_C = "ON_CIRCLE";
      final public static String P_O_A = "ON_ALINE";
      final public static String P_O_R = "EQDISTANCE";//"ON_RCIRCLE";
  //    final public static String P_ACONG = "ON_ALINE";
  
      final public static String P_CENT = "CENTROID";
      final public static String P_ORTH = "ORTHOCENTER";
      final public static String P_CIRCUM = "CIRCUMCENTER";
      final public static String P_IN = "INCENTER";
      final public static String P_I = "ANTI-INCENTER";
      final public static String P_INVER = "INVERSION";
      final public static String P_HARM = "HARMONIC";
      final public static String P_PSQ = "PSQUARE";
      final public static String P_NSQ = "NSQUARE";
      //final public static String P_EQTRI = "EQ_TRIANGLE";
      final public static String P_SIM = "SIM_TRIANGLE";
      final public static String P_REF = "REFLECTION";
      final public static String P_I_LL = "INTERSECTION_LL";
      final public static String P_I_LP = "INTERSECTION_LP";
      final public static String P_I_LT = "INTERSECTION_LT";
      final public static String P_I_LC = "INTERSECTION_LC";
      final public static String P_I_LR = "INTERSECTION_LR";
      final public static String P_I_LS = "INTERSECTION_LS";
      final public static String P_I_PL = "INTERSECTION_PL";
      final public static String P_I_PP = "INTERSECTION_PP";
      final public static String P_I_PT = "INTERSECTION_PT";
      final public static String P_I_PC = "INTERSECTION_PC";
      final public static String P_I_TT = "INTERSECTION_TT";
      final public static String P_I_TC = "INTERSECTION_TC";
      final public static String P_I_CC = "INTERSECTION_CC";
      final public static String P_I_CR = "INTERSECTION_CR";
      final public static String P_I_RR = "INTERSECTION_RR";
  
      final public static String P_I_SS = "INTERSECTION_SS";
      final public static String P_I_LB = "INTERSECTION_LB";
      final public static String P_I_BB = "INTERSECTION_BB";
      final public static String P_I_PB = "INTERSECTION_PB";
      final public static String P_I_TB = "INTERSECTION_TB";
      final public static String P_I_BC = "INTERSECTION_BC";
      final public static String P_I_AA = "INTERSECTION_AA";
      final public static String P_SQUARE = "SQUARE";
  
      final public static String P_SHOW = "Show:  ";
      final public static String P_SHOWD = "To Prove:  ";
  
  
      final public static String DR_WPT = "WPT";
      final public static String DR_LINE = "LINE";
      final public static String DR_DLINE = "DLINE";
      final public static String DR_CIR = "CIR";
      final public static String DR_DCIR = "DCIR";
      final public static String DR_DEL_PT = "DELLINE";
      final public static String DR_DEL_LN = "DELLINE";
      final public static String DR_DEL_CIR = "DELLINE";
  
  
      ////////////////
      final public static String s2810 = "\r\n\r\nOnly full-angles are allowd in this case";
      final public static String s2811 = "\r\nConclusion cannot be represented with full-angles.\r\n";
      final public static String s2812 = "\r\nCannot solve this problem with full-angles.\r\n";
  
      /// -----------------------------------------
      final public static String s990 = "Prover";
      final public static String s1991 = "Files (*.*)|*.*|";
      final public static String s1992 = "Files (*.fig)|*.fig|";//, 0, "";
      final public static String s1993 = "Index";
  
      final public static String s2001 = "seconds";
      final public static String s2002 = "Maximal Proof Time";
      final public static String s2003 = "Input a new time limit in seconds";
      final public static String s2004 = "\r\nSize of the GDD\r\n";
  
      final public static String s2007 = "\r\nThere is no collinear relation in the GDB.\r\n";
      final public static String s2008 = "\r\nThere is no paralell relation in the GDB.\r\n";
      final public static String s2009 = "\r\nThere is no perpendicular relation in the GDB.\r\n";
      final public static String s2010 = "\r\nThere is no equal segments in the GDB.\r\n";
      final public static String s2011 = "\r\nThere is no equal angle in the GDB.\r\n";
      final public static String s2012 = "\r\nThere is no circle in the GDB.\r\n";
      final public static String s2013 = "\r\nThere is no midpoint relation in the GDB.\r\n";
      final public static String s2014 = "\r\nThere is no equal ratio in the GDB.\r\n";
      final public static String s2015 = "\r\nThere is no similar triangle in the GDB.\r\n";
      final public static String s2016 = "\r\nThere is no contruent triangle in the GDB.\r\n";
      final public static String s2017 = "Input A Fact";
      final public static String s2018 = "\r\n\r\nThe Input Fact Is: ";
      final public static String s2019 = "\r\nThis fact is trivially true.\r\n";
      final public static String s2020 = "\r\nThis fact is in the Dababase.\r\n";
      final public static String s2021 = "\r\nThis fact is not in the Dababase.\r\n";
      final public static String s2022 = "\r\n There is nothing to prove\r\n\r\n";
      final public static String s2023 = "You may input a problem with three ways:\r\n";
  
      final public static String s2024 = " 1. Use the graphic editor.\r\n";
  
      final public static String s2025 = " 2. Use the this editor window to enter or load\r\n";
  
      final public static String s2026 = "    a problem, and then use the Prove-Select-Input\r\n";
  
      final public static String s2027 = "    menu item to select the problem.\r\n";
  
      final public static String s2028 = " 3. Use the Example menu to select a built-in example.\r\n";
  
      //------------------------------------------------------------------------
  
      final public static String s3000 = "RATIO";
      final public static String s3001 = "ANGLE";
      final public static String s3002 = "AREA";
      final public static String s3003 = "SQ_DIS";
      final public static String s3004 = "VEC";
      final public static String s3005 = "CROSS_RATIO";
      final public static String s3006 = "ps1";
      final public static String s3007 = "gterm";
      final public static String s3008 = "PY";
      final public static String s3009 = "L";
  
      //-------------area--------------------------------------
      final public static String s2300 = "\r\n\r\nThe statement is true.\r\n\r\n";
      final public static String s2301 = "\r\n\\rnThe statement is false.\r\n\r\n";
      final public static String s2302 = "Conclusion not fund:";
      final public static String s2303 = "A new point";
      final public static String s2304 = "is introduced by construction\r\n";
      final public static String s2305 = "The new conclusion is: ";
      final public static String s2306 = "EQ_RATIO";
      final public static String s2307 = "Construction for point";
      final public static String s2308 = "is not allowd in area method.\r\n";
      final public static String s2309 = "\r\n Sytax error: \r\n";
      final public static String s2310 = "In the area method, the lines and circles must meet in one point";
      final public static String s2311 = "construction INCENTER is not allowed in the prover.\r\n";
      final public static String s2312 = "Please use construction:\r\n construct a vertex from the incenter and two other vertex.\r\n";
      final public static String s2313 = "In the area method, PTRIANGLE can be used only when the conclusion is about vectors.";
      final public static String s2314 = "\r\n Proving failed. Statement is not proved.";
  
      final public static String s2220 = "\r\nThere exists no proof.\r\n";
      final public static String s2221 = "The conclusion is: ";
      final public static String s2222 = "This is equivalent to: ";
      final public static String s2223 = "Eliminating the common factors: ";
      final public static String s2224 = "because ";
      final public static String s2225 = "\r\nThe geometric quantities used in the proof.\r\n";
      final public static String s2226 = "Eliminate variables";
  
  
      final public static String sfe_exp_error = "The conclusion can not be translated to full-angle expression.";
  
      final public static String getFError(int n) {
          if (n == 1)
              return sfe_exp_error;
          return "Failed to prove this theorem with Full Angle Method\n";
      }
  
      final public static boolean DEBUG = false;
  
      final public static void print(String s) {
          if (DEBUG)
              System.out.println(s);
      }
  
  
  }
  