/**
 * 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);
    }


}
