1 | /* A Bison parser, made by GNU Bison 2.4.3. */ |
---|
2 | |
---|
3 | /* Skeleton interface for Bison's Yacc-like parsers in C |
---|
4 | |
---|
5 | Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006, |
---|
6 | 2009, 2010 Free Software Foundation, Inc. |
---|
7 | |
---|
8 | This program is free software: you can redistribute it and/or modify |
---|
9 | it under the terms of the GNU General Public License as published by |
---|
10 | the Free Software Foundation, either version 3 of the License, or |
---|
11 | (at your option) any later version. |
---|
12 | |
---|
13 | This program is distributed in the hope that it will be useful, |
---|
14 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
16 | GNU General Public License for more details. |
---|
17 | |
---|
18 | You should have received a copy of the GNU General Public License |
---|
19 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
---|
20 | |
---|
21 | /* As a special exception, you may create a larger work that contains |
---|
22 | part or all of the Bison parser skeleton and distribute that work |
---|
23 | under terms of your choice, so long as that work isn't itself a |
---|
24 | parser generator using the skeleton or a modified version thereof |
---|
25 | as a parser skeleton. Alternatively, if you modify or redistribute |
---|
26 | the parser skeleton itself, you may (at your option) remove this |
---|
27 | special exception, which will cause the skeleton and the resulting |
---|
28 | Bison output files to be licensed under the GNU General Public |
---|
29 | License without this special exception. |
---|
30 | |
---|
31 | This special exception was added by the Free Software Foundation in |
---|
32 | version 2.2 of Bison. */ |
---|
33 | |
---|
34 | |
---|
35 | /* Tokens. */ |
---|
36 | #ifndef YYTOKENTYPE |
---|
37 | # define YYTOKENTYPE |
---|
38 | /* Put the tokens into the symbol table, so that GDB and other debuggers |
---|
39 | know about them. */ |
---|
40 | enum yytokentype { |
---|
41 | DOTDOT = 258, |
---|
42 | EQUAL_EQUAL = 259, |
---|
43 | GE = 260, |
---|
44 | LE = 261, |
---|
45 | MINUSMINUS = 262, |
---|
46 | NOT = 263, |
---|
47 | NOTEQUAL = 264, |
---|
48 | PLUSPLUS = 265, |
---|
49 | COLONCOLON = 266, |
---|
50 | GRING_CMD = 267, |
---|
51 | BIGINTMAT_CMD = 268, |
---|
52 | INTMAT_CMD = 269, |
---|
53 | PROC_CMD = 270, |
---|
54 | RING_CMD = 271, |
---|
55 | BEGIN_RING = 272, |
---|
56 | IDEAL_CMD = 273, |
---|
57 | MAP_CMD = 274, |
---|
58 | MATRIX_CMD = 275, |
---|
59 | MODUL_CMD = 276, |
---|
60 | NUMBER_CMD = 277, |
---|
61 | POLY_CMD = 278, |
---|
62 | RESOLUTION_CMD = 279, |
---|
63 | VECTOR_CMD = 280, |
---|
64 | BETTI_CMD = 281, |
---|
65 | COEFFS_CMD = 282, |
---|
66 | COEF_CMD = 283, |
---|
67 | CONTRACT_CMD = 284, |
---|
68 | DEGREE_CMD = 285, |
---|
69 | DEG_CMD = 286, |
---|
70 | DIFF_CMD = 287, |
---|
71 | DIM_CMD = 288, |
---|
72 | DIVISION_CMD = 289, |
---|
73 | ELIMINATION_CMD = 290, |
---|
74 | E_CMD = 291, |
---|
75 | FAREY_CMD = 292, |
---|
76 | FETCH_CMD = 293, |
---|
77 | FREEMODULE_CMD = 294, |
---|
78 | KEEPRING_CMD = 295, |
---|
79 | HILBERT_CMD = 296, |
---|
80 | HOMOG_CMD = 297, |
---|
81 | IMAP_CMD = 298, |
---|
82 | INDEPSET_CMD = 299, |
---|
83 | INTERRED_CMD = 300, |
---|
84 | INTERSECT_CMD = 301, |
---|
85 | JACOB_CMD = 302, |
---|
86 | JET_CMD = 303, |
---|
87 | KBASE_CMD = 304, |
---|
88 | KOSZUL_CMD = 305, |
---|
89 | LEADCOEF_CMD = 306, |
---|
90 | LEADEXP_CMD = 307, |
---|
91 | LEAD_CMD = 308, |
---|
92 | LEADMONOM_CMD = 309, |
---|
93 | LIFTSTD_CMD = 310, |
---|
94 | LIFT_CMD = 311, |
---|
95 | MAXID_CMD = 312, |
---|
96 | MINBASE_CMD = 313, |
---|
97 | MINOR_CMD = 314, |
---|
98 | MINRES_CMD = 315, |
---|
99 | MODULO_CMD = 316, |
---|
100 | MONOM_CMD = 317, |
---|
101 | MRES_CMD = 318, |
---|
102 | MULTIPLICITY_CMD = 319, |
---|
103 | ORD_CMD = 320, |
---|
104 | PAR_CMD = 321, |
---|
105 | PARDEG_CMD = 322, |
---|
106 | PREIMAGE_CMD = 323, |
---|
107 | QUOTIENT_CMD = 324, |
---|
108 | QHWEIGHT_CMD = 325, |
---|
109 | REDUCE_CMD = 326, |
---|
110 | REGULARITY_CMD = 327, |
---|
111 | RES_CMD = 328, |
---|
112 | SIMPLIFY_CMD = 329, |
---|
113 | SORTVEC_CMD = 330, |
---|
114 | SRES_CMD = 331, |
---|
115 | STD_CMD = 332, |
---|
116 | SUBST_CMD = 333, |
---|
117 | SYZYGY_CMD = 334, |
---|
118 | VAR_CMD = 335, |
---|
119 | VDIM_CMD = 336, |
---|
120 | WEDGE_CMD = 337, |
---|
121 | WEIGHT_CMD = 338, |
---|
122 | VALTVARS = 339, |
---|
123 | VMAXDEG = 340, |
---|
124 | VMAXMULT = 341, |
---|
125 | VNOETHER = 342, |
---|
126 | VMINPOLY = 343, |
---|
127 | END_RING = 344, |
---|
128 | CMD_1 = 345, |
---|
129 | CMD_2 = 346, |
---|
130 | CMD_3 = 347, |
---|
131 | CMD_12 = 348, |
---|
132 | CMD_13 = 349, |
---|
133 | CMD_23 = 350, |
---|
134 | CMD_123 = 351, |
---|
135 | CMD_M = 352, |
---|
136 | ROOT_DECL = 353, |
---|
137 | ROOT_DECL_LIST = 354, |
---|
138 | RING_DECL = 355, |
---|
139 | RING_DECL_LIST = 356, |
---|
140 | EXAMPLE_CMD = 357, |
---|
141 | EXPORT_CMD = 358, |
---|
142 | HELP_CMD = 359, |
---|
143 | KILL_CMD = 360, |
---|
144 | LIB_CMD = 361, |
---|
145 | LISTVAR_CMD = 362, |
---|
146 | SETRING_CMD = 363, |
---|
147 | TYPE_CMD = 364, |
---|
148 | STRINGTOK = 365, |
---|
149 | BLOCKTOK = 366, |
---|
150 | INT_CONST = 367, |
---|
151 | UNKNOWN_IDENT = 368, |
---|
152 | RINGVAR = 369, |
---|
153 | PROC_DEF = 370, |
---|
154 | BREAK_CMD = 371, |
---|
155 | CONTINUE_CMD = 372, |
---|
156 | ELSE_CMD = 373, |
---|
157 | EVAL = 374, |
---|
158 | QUOTE = 375, |
---|
159 | FOR_CMD = 376, |
---|
160 | IF_CMD = 377, |
---|
161 | SYS_BREAK = 378, |
---|
162 | WHILE_CMD = 379, |
---|
163 | RETURN = 380, |
---|
164 | PARAMETER = 381, |
---|
165 | SYSVAR = 382, |
---|
166 | UMINUS = 383, |
---|
167 | SBA_CMD = 384 |
---|
168 | }; |
---|
169 | #endif |
---|
170 | |
---|
171 | |
---|
172 | |
---|
173 | #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED |
---|
174 | |
---|
175 | # define yystype YYSTYPE /* obsolescent; will be withdrawn */ |
---|
176 | # define YYSTYPE_IS_DECLARED 1 |
---|
177 | #endif |
---|
178 | |
---|
179 | |
---|
180 | |
---|
181 | |
---|