00001 00002 /****************************************************************************** 00003 * MODULE : identifiers.cpp 00004 * DESCRIPTION: Mathemagix main identifiers 00005 * COPYRIGHT : (C) 2007 Joris van der Hoeven 00006 ******************************************************************************* 00007 * This software falls under the GNU general public license and comes WITHOUT 00008 * ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details. 00009 * If you don't have this file, write to the Free Software Foundation, Inc., 00010 * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 00011 ******************************************************************************/ 00012 00013 #include <basix/identifiers.hpp> 00014 #include <basix/string.hpp> 00015 namespace mmx { 00016 00017 generic GEN_ASSUME ("assume"); 00018 generic GEN_AUTOFOLD ("autofold"); 00019 generic GEN_BEGIN ("begin"); 00020 generic GEN_BREAK ("break"); 00021 generic GEN_CASE ("case"); 00022 generic GEN_CATCH ("catch"); 00023 generic GEN_CATEGORY ("category"); 00024 generic GEN_CLASS ("class"); 00025 generic GEN_CONSTANT ("constant"); 00026 generic GEN_CONSTRUCTOR ("constructor"); 00027 generic GEN_CONTINUE ("continue"); 00028 generic GEN_DESTRUCTOR ("destructor"); 00029 generic GEN_DO ("do"); 00030 generic GEN_ELSE ("else"); 00031 generic GEN_ERROR ("error"); 00032 generic GEN_EXISTS ("exists"); 00033 generic GEN_EXPORT ("export"); 00034 generic GEN_EXTERN ("extern"); 00035 generic GEN_FOR ("for"); 00036 generic GEN_FORALL ("forall"); 00037 generic GEN_FOREIGN ("foreign"); 00038 generic GEN_GENERATE ("generate"); 00039 generic GEN_IF ("if"); 00040 generic GEN_IMPORT ("import"); 00041 generic GEN_IN ("in"); 00042 generic GEN_INFIX ("infix"); 00043 generic GEN_INLINE ("inline"); 00044 generic GEN_INPLACE ("inplace"); 00045 generic GEN_INTERN ("intern"); 00046 generic GEN_KEYWORD ("keyword"); 00047 generic GEN_LAMBDA ("lambda"); 00048 generic GEN_LITERAL_FLOATING ("literal_floating"); 00049 generic GEN_LITERAL_INTEGER ("literal_integer"); 00050 generic GEN_LITERAL_STRING ("literal_string"); 00051 generic GEN_LOOP ("loop"); 00052 generic GEN_MATCH ("match"); 00053 generic GEN_METHOD ("method"); 00054 generic GEN_MODULE ("module"); 00055 generic GEN_MUTABLE ("mutable"); 00056 generic GEN_OPERATOR ("operator"); 00057 generic GEN_OUTLINE ("outline"); 00058 generic GEN_PATTERN ("pattern"); 00059 generic GEN_PENALTY ("penalty"); 00060 generic GEN_POSTFIX ("postfix"); 00061 generic GEN_PREFER ("prefer"); 00062 generic GEN_PREFIX ("prefix"); 00063 generic GEN_PRIVATE ("private"); 00064 generic GEN_PUBLIC ("public"); 00065 generic GEN_RAISE ("raise"); 00066 generic GEN_RETURN ("return"); 00067 generic GEN_STEP ("step"); 00068 generic GEN_THIS ("this"); 00069 generic GEN_TRY ("try"); 00070 generic GEN_UNTIL ("until"); 00071 generic GEN_WHILE ("while"); 00072 generic GEN_YIELD ("yield"); 00073 00074 generic GEN_DEFINE ("=="); 00075 generic GEN_ASSIGN (":="); 00076 generic GEN_PLUS_ASSIGN ("+="); 00077 generic GEN_MINUS_ASSIGN ("-="); 00078 generic GEN_TIMES_ASSIGN ("*="); 00079 generic GEN_OVER_ASSIGN ("/="); 00080 generic GEN_DEFINE_MACRO ("==>"); 00081 generic GEN_ASSIGN_MACRO (":=>"); 00082 generic GEN_LESSLESS ("<<"); 00083 generic GEN_LESSLESSEQ ("<<="); 00084 generic GEN_GTRGTR (">>"); 00085 generic GEN_GTRGTREQ (">>="); 00086 generic GEN_IMPLIES ("=>"); 00087 generic GEN_EQUIV ("<=>"); 00088 generic GEN_OR ("\\/"); 00089 generic GEN_SEQOR ("or"); 00090 generic GEN_XOR ("xor"); 00091 generic GEN_AND ("/\\"); 00092 generic GEN_SEQAND ("and"); 00093 generic GEN_EQUAL ("="); 00094 generic GEN_UNEQUAL ("!="); 00095 generic GEN_LESS ("<"); 00096 generic GEN_LESSEQ ("<="); 00097 generic GEN_GTR (">"); 00098 generic GEN_GTREQ (">="); 00099 generic GEN_HAS ("has"); 00100 generic GEN_TYPE (":"); 00101 generic GEN_VARTYPE ("::"); 00102 generic GEN_TRANSTYPE (":>"); 00103 generic GEN_VARTRANSTYPE ("::>"); 00104 generic GEN_CONVERTS ("~>"); 00105 generic GEN_INTO ("->"); 00106 generic GEN_MAPSTO (":->"); 00107 generic GEN_RANGE (".."); 00108 generic GEN_TO ("to"); 00109 generic GEN_DOWNTO ("downto"); 00110 generic GEN_PLUS ("+"); 00111 generic GEN_TIMES ("*"); 00112 generic GEN_OVER ("/"); 00113 generic GEN_DIV ("div"); 00114 generic GEN_QUO ("quo"); 00115 generic GEN_MOD ("mod"); 00116 generic GEN_REM ("rem"); 00117 generic GEN_COMPOSE ("@"); 00118 generic GEN_APPEND ("><"); 00119 generic GEN_SIZE ("#"); 00120 generic GEN_NOT ("!"); 00121 generic GEN_MINUS ("-"); 00122 generic GEN_POWER ("^"); 00123 generic GEN_FILL ("^^"); 00124 generic GEN_EXPLODE ("@"); 00125 generic GEN_FACTORIAL (".!"); 00126 generic GEN_PRIME (".'"); 00127 generic GEN_BACKPRIME (".`"); 00128 generic GEN_STAR (".*"); 00129 generic GEN_HAT (".^"); 00130 generic GEN_TILDA (".~"); 00131 generic GEN_DOT ("."); 00132 generic GEN_APPLY (".()"); 00133 generic GEN_ACCESS (".[]"); 00134 generic GEN_TUPLE ("()"); 00135 generic GEN_SQTUPLE ("[]"); 00136 generic GEN_ROW ("(.)"); 00137 generic GEN_COMMA (","); 00138 generic GEN_SEMICOLON (";"); 00139 generic GEN_WHERE ("|"); 00140 generic GEN_VWHERE ("||"); 00141 generic GEN_BACKQUOTE ("`"); 00142 generic GEN_QUOTE ("'"); 00143 00144 generic GEN_CATALAN ("mathcatalan"); 00145 generic GEN_D ("mathd"); 00146 generic GEN_DELTA ("delta"); 00147 generic GEN_E ("mathe"); 00148 generic GEN_EULER ("matheuler"); 00149 generic GEN_SMALLEST ("smallest"); 00150 generic GEN_LARGEST ("largest"); 00151 generic GEN_ACCURACY ("accuracy"); 00152 generic GEN_FALSE ("false"); 00153 generic GEN_FUZZ ("Fuzz"); 00154 generic GEN_I ("mathi"); 00155 generic GEN_INFINITY ("Infty"); 00156 generic GEN_LOG2_AS ("set_log2"); 00157 generic GEN_NAN ("NaN"); 00158 generic GEN_NIL ("nil"); 00159 generic GEN_PARTIAL ("partial"); 00160 generic GEN_PI ("mathpi"); 00161 generic GEN_TRUE ("true"); 00162 00163 generic GEN_HARD_HASH ("hard_hash"); 00164 generic GEN_HARD_EQ ("hard_eq"); 00165 generic GEN_HARD_NEQ ("hard_neq"); 00166 generic GEN_HARD_LESS ("hard_less"); 00167 generic GEN_HARD_GTR ("hard_gtr"); 00168 generic GEN_EXACT_HASH ("exact_hash"); 00169 generic GEN_EXACT_EQ ("exact_eq"); 00170 generic GEN_EXACT_NEQ ("exact_neq"); 00171 generic GEN_HASH ("hash"); 00172 generic GEN_FLATTEN ("flatten"); 00173 generic GEN_DUPLICATE ("duplicate"); 00174 generic GEN_FAST ("fast"); 00175 generic GEN_SLOW ("slow"); 00176 generic GEN_MUL_ADD ("mul_add"); 00177 generic GEN_MUL_SUB ("mul_sub"); 00178 generic GEN_SQUARE ("square"); 00179 generic GEN_GRAEFFE ("graeffe"); 00180 generic GEN_INVERT ("invert"); 00181 generic GEN_NUMERATOR ("numerator"); 00182 generic GEN_DENOMINATOR ("denominator"); 00183 generic GEN_GCD ("gcd"); 00184 generic GEN_LCM ("lcm"); 00185 generic GEN_XGCD ("xgcd"); 00186 generic GEN_SQRT ("sqrt"); 00187 generic GEN_EXP ("exp"); 00188 generic GEN_EXP2 ("exp2"); 00189 generic GEN_EXP10 ("exp10"); 00190 generic GEN_LOG ("log"); 00191 generic GEN_LOG2 ("log2"); 00192 generic GEN_LOG10 ("log10"); 00193 generic GEN_COS ("cos"); 00194 generic GEN_SIN ("sin"); 00195 generic GEN_TAN ("tan"); 00196 generic GEN_ARCCOS ("arccos"); 00197 generic GEN_ARCSIN ("arcsin"); 00198 generic GEN_ARCTAN ("arctan"); 00199 generic GEN_CH ("ch"); 00200 generic GEN_SH ("sh"); 00201 generic GEN_TH ("th"); 00202 generic GEN_ARGCH ("argch"); 00203 generic GEN_ARGSH ("argsh"); 00204 generic GEN_ARGTH ("argth"); 00205 generic GEN_HYPOT ("hypot"); 00206 generic GEN_ARCTAN2 ("arctan2"); 00207 generic GEN_CBRT ("cbrt"); 00208 generic GEN_GAMMA ("gamma"); 00209 generic GEN_ZETA ("zeta"); 00210 generic GEN_ERF ("erf"); 00211 generic GEN_MIN ("min"); 00212 generic GEN_MAX ("max"); 00213 generic GEN_ABS ("abs"); 00214 generic GEN_ARG ("arg"); 00215 generic GEN_RE ("Re"); 00216 generic GEN_IM ("Im"); 00217 generic GEN_CONJ ("conj"); 00218 generic GEN_TIMES_I ("times_i"); 00219 generic GEN_OVER_I ("over_i"); 00220 generic GEN_BALL ("ball"); 00221 generic GEN_CENTER ("center"); 00222 generic GEN_RADIUS ("radius"); 00223 generic GEN_INTERVAL ("interval"); 00224 generic GEN_LOWER ("lower"); 00225 generic GEN_UPPER ("upper"); 00226 generic GEN_SHARPEN ("sharpen"); 00227 generic GEN_BLUR ("blur"); 00228 generic GEN_INCLUDED ("included"); 00229 generic GEN_LIFT ("lift"); 00230 generic GEN_RECONSTRUCT ("reconstruct"); 00231 generic GEN_PROJECT ("project"); 00232 generic GEN_TRUNCATE ("truncate"); 00233 generic GEN_COMPLETE ("complete"); 00234 generic GEN_EVALUATE ("evaluate"); 00235 generic GEN_CHANGE_PRECISION ("change_precision"); 00236 generic GEN_PRECISION ("precision"); 00237 generic GEN_NEXT_ABOVE ("next_above"); 00238 generic GEN_NEXT_BELOW ("next_below"); 00239 generic GEN_ROUNDING_ERROR ("rounding_error"); 00240 generic GEN_ADDITIVE_ERROR ("additive_error"); 00241 generic GEN_MULTIPLICATIVE_ERROR ("multiplicative_error"); 00242 generic GEN_ELEMENTARY_ERROR ("elementary_error"); 00243 generic GEN_EXPONENT ("exponent"); 00244 generic GEN_MAGNITUDE ("magnitude"); 00245 generic GEN_FLOOR ("floor"); 00246 generic GEN_TRUNC ("trunc"); 00247 generic GEN_CEIL ("ceil"); 00248 generic GEN_ROUND ("round"); 00249 generic GEN_GAUSSIAN ("gaussian"); 00250 generic GEN_POLAR ("polar"); 00251 generic GEN_CACHED_DERIVE ("%derive"); 00252 generic GEN_DERIVE ("derive"); 00253 generic GEN_DERIVATIVE ("derivative"); 00254 generic GEN_GRAD ("grad"); 00255 generic GEN_XDERIVE ("xderive"); 00256 generic GEN_INTEGRATE ("integrate"); 00257 generic GEN_INTEGRATE_INIT ("integrate_init"); 00258 generic GEN_REVERSE ("reverse"); 00259 generic GEN_SUBSTITUTE ("substitute"); 00260 generic GEN_SOLVE ("solve"); 00261 generic GEN_NOOP ("noop"); 00262 00263 generic GEN_ALIAS_TYPE ("Alias"); 00264 generic GEN_BOOLEAN_TYPE ("Boolean"); 00265 generic GEN_COMPOUND_TYPE ("Compound"); 00266 generic GEN_CROSS_TYPE ("Cross"); 00267 generic GEN_DOUBLE_TYPE ("Double"); 00268 generic GEN_FLOATING_TYPE ("Floating"); 00269 generic GEN_FUNCTION_TYPE ("Function"); 00270 generic GEN_GENERATOR_TYPE ("Generator"); 00271 generic GEN_GENERIC_TYPE ("Generic"); 00272 generic GEN_GENERIC_ALIAS_TYPE ("Generic_alias"); 00273 generic GEN_INT_TYPE ("Int"); 00274 generic GEN_INTEGER_TYPE ("Integer"); 00275 generic GEN_LITERAL_TYPE ("Literal"); 00276 generic GEN_MACRO_TYPE ("Macro"); 00277 generic GEN_RATIONAL_TYPE ("Rational"); 00278 generic GEN_ROUTINE_TYPE ("Routine"); 00279 generic GEN_SINGLE_TYPE ("Single"); 00280 generic GEN_SYMBOL_TYPE ("Symbol"); 00281 generic GEN_THIS_TYPE ("This"); 00282 generic GEN_TUPLE_TYPE ("Tuple"); 00283 generic GEN_TYPE_TYPE ("Type"); 00284 generic GEN_UNSPECIFIED_TYPE ("Unspecified"); 00285 generic GEN_VOID_TYPE ("Void"); 00286 generic GEN_COERCE_TYPE ("Coerce"); 00287 00288 generic GEN_ALIAS ("alias"); 00289 generic GEN_ALL_TYPES ("all_types"); 00290 generic GEN_CACHE_CONVERTER ("cache/converter"); 00291 generic GEN_CACHE_CONVERTERS ("cache/converters"); 00292 generic GEN_CACHE_PENALTY ("cache/penalty"); 00293 generic GEN_CAST ("cast"); 00294 generic GEN_CLASS_NAME ("class/name"); 00295 generic GEN_CLASS_MODE ("class/mode"); 00296 generic GEN_CLASS_ENCAPSULATION ("class/encapsulation"); 00297 generic GEN_CLASS_ACCESS ("class/access"); 00298 generic GEN_CLASS_FIELDS ("class/fields"); 00299 generic GEN_CLASS_EXPORT ("class/export"); 00300 generic GEN_CLOSURE ("closure"); 00301 generic GEN_CONVERT (":>"); 00302 generic GEN_CONVERTER ("converter"); 00303 generic GEN_CONVERTERS ("converters"); 00304 generic GEN_DOWNGRADE ("downgrade"); 00305 generic GEN_EMPTY (""); 00306 generic GEN_EQUALIZE_GROUPED ("equalize_grouped"); 00307 generic GEN_EXPECTED ("expected"); 00308 generic GEN_GLOBAL ("global"); 00309 generic GEN_IDENTITY ("identity"); 00310 generic GEN_LIST ("list"); 00311 generic GEN_LOCAL ("local"); 00312 generic GEN_MACRO ("macro"); 00313 generic GEN_NEW ("new"); 00314 generic GEN_REWRITE ("rewrite"); 00315 generic GEN_SPECIALIZE_ALIAS ("specialize_alias"); 00316 generic GEN_SPECIALIZE ("specialize"); 00317 generic GEN_TRANSITIVE ("transitive"); 00318 generic GEN_TYPE_NAME ("type_name"); 00319 generic GEN_TYPE_ID ("type_id"); 00320 generic GEN_UNALIAS ("unalias"); 00321 generic GEN_UPGRADE ("upgrade"); 00322 generic GEN_VIA_TUPLE ("via_tuple"); 00323 generic GEN_EXCEPTION ("exception"); 00324 generic GEN_BACKTRACE ("backtrace"); 00325 generic GEN_COERCE ("coerce"); 00326 00327 } // namespace mmx