![]() |
My Project
|
#include <stdio.h>
#include <stddef.h>
#include <stdlib.h>
#include <stdarg.h>
#include <string.h>
#include "kernel/mod2.h"
#include "Singular/grammar.h"
#include "misc/mylimits.h"
#include "omalloc/omalloc.h"
#include "Singular/tok.h"
#include "misc/options.h"
#include "Singular/stype.h"
#include "Singular/fehelp.h"
#include "Singular/ipid.h"
#include "misc/intvec.h"
#include "kernel/oswrapper/feread.h"
#include "Singular/fevoices.h"
#include "polys/matpol.h"
#include "polys/monomials/ring.h"
#include "kernel/GBEngine/kstd1.h"
#include "Singular/subexpr.h"
#include "Singular/ipshell.h"
#include "Singular/ipconv.h"
#include "Singular/sdb.h"
#include "kernel/ideals.h"
#include "coeffs/numbers.h"
#include "kernel/polys.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/oswrapper/timer.h"
#include "Singular/cntrlc.h"
#include "polys/monomials/maps.h"
#include "kernel/GBEngine/syz.h"
#include "Singular/lists.h"
#include "Singular/libparse.h"
#include "coeffs/bigintmat.h"
Go to the source code of this file.
Typedefs | |
typedef unsigned char | yytype_uint8 |
typedef signed char | yytype_int8 |
typedef unsigned short int | yytype_uint16 |
typedef short int | yytype_int16 |
Enumerations | |
enum | yytokentype { DOTDOT = 258 , EQUAL_EQUAL = 259 , GE = 260 , LE = 261 , MINUSMINUS = 262 , NOT = 263 , NOTEQUAL = 264 , PLUSPLUS = 265 , COLONCOLON = 266 , ARROW = 267 , GRING_CMD = 268 , BIGINTMAT_CMD = 269 , INTMAT_CMD = 270 , PROC_CMD = 271 , RING_CMD = 272 , BEGIN_RING = 273 , BUCKET_CMD = 274 , IDEAL_CMD = 275 , MAP_CMD = 276 , MATRIX_CMD = 277 , MODUL_CMD = 278 , NUMBER_CMD = 279 , POLY_CMD = 280 , RESOLUTION_CMD = 281 , SMATRIX_CMD = 282 , VECTOR_CMD = 283 , BETTI_CMD = 284 , E_CMD = 285 , FETCH_CMD = 286 , FREEMODULE_CMD = 287 , KEEPRING_CMD = 288 , IMAP_CMD = 289 , KOSZUL_CMD = 290 , MAXID_CMD = 291 , MONOM_CMD = 292 , PAR_CMD = 293 , PREIMAGE_CMD = 294 , VAR_CMD = 295 , VALTVARS = 296 , VMAXDEG = 297 , VMAXMULT = 298 , VNOETHER = 299 , VMINPOLY = 300 , END_RING = 301 , CMD_1 = 302 , CMD_2 = 303 , CMD_3 = 304 , CMD_12 = 305 , CMD_13 = 306 , CMD_23 = 307 , CMD_123 = 308 , CMD_M = 309 , ROOT_DECL = 310 , ROOT_DECL_LIST = 311 , RING_DECL = 312 , RING_DECL_LIST = 313 , EXAMPLE_CMD = 314 , EXPORT_CMD = 315 , HELP_CMD = 316 , KILL_CMD = 317 , LIB_CMD = 318 , LISTVAR_CMD = 319 , SETRING_CMD = 320 , TYPE_CMD = 321 , STRINGTOK = 322 , BLOCKTOK = 323 , INT_CONST = 324 , UNKNOWN_IDENT = 325 , MONOM = 326 , PROC_DEF = 327 , APPLY = 328 , ASSUME_CMD = 329 , BREAK_CMD = 330 , CONTINUE_CMD = 331 , ELSE_CMD = 332 , EVAL = 333 , QUOTE = 334 , FOR_CMD = 335 , IF_CMD = 336 , SYS_BREAK = 337 , WHILE_CMD = 338 , RETURN = 339 , PARAMETER = 340 , SYSVAR = 341 , UMINUS = 342 } |
Functions | |
void | yyerror (const char *fmt) |
static void | yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const *const yyvaluep) |
static void | yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const *const yyvaluep) |
static void | yy_stack_print (yytype_int16 *yybottom, yytype_int16 *yytop) |
static void | yy_reduce_print (YYSTYPE *yyvsp, int yyrule) |
static void | yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) |
int | yyparse (void) |
Variables | |
EXTERN_VAR int | yylineno |
EXTERN_VAR FILE * | yyin |
const char * | currid |
VAR BOOLEAN | yyInRingConstruction =FALSE |
VAR BOOLEAN | expected_parms |
VAR int | cmdtok |
VAR int | inerror = 0 |
static const yytype_uint8 | yytranslate [] |
static const yytype_uint16 | yyprhs [] |
static const yytype_int16 | yyrhs [] |
static const yytype_uint16 | yyrline [] |
static const char *const | yytname [] |
static const yytype_uint8 | yyr1 [] |
static const yytype_uint8 | yyr2 [] |
static const yytype_uint8 | yydefact [] |
static const yytype_int16 | yydefgoto [] |
static const yytype_int16 | yypact [] |
static const yytype_int16 | yypgoto [] |
static const yytype_int16 | yytable [] |
static const yytype_int16 | yycheck [] |
static const yytype_uint8 | yystos [] |
VAR int | yydebug |
#define _STDLIB_H 1 |
Definition at line 503 of file grammar.cc.
Definition at line 185 of file grammar.cc.
Definition at line 177 of file grammar.cc.
Definition at line 425 of file grammar.cc.
Definition at line 1797 of file grammar.cc.
Definition at line 1664 of file grammar.cc.
#define YYABORT goto yyabortlab |
Definition at line 1557 of file grammar.cc.
#define YYACCEPT goto yyacceptlab |
Definition at line 1556 of file grammar.cc.
Definition at line 1578 of file grammar.cc.
#define YYBISON 1 |
Definition at line 45 of file grammar.cc.
#define YYBISON_VERSION "2.4.3" |
Definition at line 48 of file grammar.cc.
Definition at line 1552 of file grammar.cc.
#define YYEMPTY (-2) |
Definition at line 1553 of file grammar.cc.
#define YYEOF 0 |
Definition at line 1554 of file grammar.cc.
#define YYERRCODE 256 |
Definition at line 1597 of file grammar.cc.
#define yyerrok (yyerrstatus = 0) |
Definition at line 1551 of file grammar.cc.
#define YYERROR goto yyerrorlab |
Definition at line 1558 of file grammar.cc.
#define YYERROR_VERBOSE 0 |
Definition at line 252 of file grammar.cc.
Definition at line 1568 of file grammar.cc.
#define YYFINAL 2 |
Definition at line 581 of file grammar.cc.
Definition at line 1655 of file grammar.cc.
Definition at line 514 of file grammar.cc.
#define YYID | ( | n | ) | (n) |
Definition at line 438 of file grammar.cc.
#define YYINITDEPTH 200 |
Definition at line 1816 of file grammar.cc.
#define YYLAST 2567 |
Definition at line 583 of file grammar.cc.
Definition at line 1647 of file grammar.cc.
Definition at line 1606 of file grammar.cc.
#define YYLSP_NEEDED 0 |
Definition at line 63 of file grammar.cc.
Definition at line 507 of file grammar.cc.
#define YYMAXDEPTH MAX_INT_VAL |
Definition at line 166 of file grammar.cc.
#define YYMAXUTOK 342 |
Definition at line 596 of file grammar.cc.
#define YYNNTS 44 |
Definition at line 588 of file grammar.cc.
#define YYNRULES 175 |
Definition at line 590 of file grammar.cc.
#define YYNSTATES 398 |
Definition at line 592 of file grammar.cc.
#define YYNTOKENS 104 |
Definition at line 586 of file grammar.cc.
#define YYPACT_NINF -364 |
Definition at line 923 of file grammar.cc.
#define YYPULL 1 |
Definition at line 60 of file grammar.cc.
#define YYPURE 1 |
Definition at line 54 of file grammar.cc.
#define YYPUSH 0 |
Definition at line 57 of file grammar.cc.
#define YYRECOVERING | ( | ) | (!!yyerrstatus) |
Definition at line 1576 of file grammar.cc.
Definition at line 1604 of file grammar.cc.
Definition at line 415 of file grammar.cc.
Definition at line 409 of file grammar.cc.
#define YYSKELETON_NAME "yacc.c" |
Definition at line 51 of file grammar.cc.
Definition at line 493 of file grammar.cc.
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 496 of file grammar.cc.
Definition at line 494 of file grammar.cc.
#define YYTABLE_NINF -155 |
Definition at line 982 of file grammar.cc.
#define YYTERROR 1 |
Definition at line 1596 of file grammar.cc.
#define YYTOKEN_TABLE 0 |
Definition at line 257 of file grammar.cc.
#define YYTOKENTYPE |
Definition at line 263 of file grammar.cc.
#define YYTRANSLATE | ( | YYX | ) | ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
Definition at line 598 of file grammar.cc.
#define YYUNDEFTOK 2 |
Definition at line 595 of file grammar.cc.
Definition at line 431 of file grammar.cc.
Definition at line 398 of file grammar.cc.
Definition at line 384 of file grammar.cc.
Definition at line 392 of file grammar.cc.
Definition at line 377 of file grammar.cc.
Definition at line 266 of file grammar.cc.
Definition at line 1773 of file grammar.cc.
|
static |
Definition at line 1716 of file grammar.cc.
|
static |
Definition at line 1684 of file grammar.cc.
Definition at line 2051 of file grammar.cc.
Definition at line 2111 of file grammar.cc.
Definition at line 174 of file grammar.cc.
Definition at line 171 of file grammar.cc.
Definition at line 173 of file grammar.cc.
Definition at line 175 of file grammar.cc.
|
static |
Definition at line 1244 of file grammar.cc.
Definition at line 1805 of file grammar.cc.
|
static |
Definition at line 867 of file grammar.cc.
|
static |
Definition at line 912 of file grammar.cc.
EXTERN_VAR FILE* yyin |
Definition at line 169 of file grammar.cc.
Definition at line 172 of file grammar.cc.
EXTERN_VAR int yylineno |
Definition at line 168 of file grammar.cc.
|
static |
Definition at line 924 of file grammar.cc.
|
static |
Definition at line 969 of file grammar.cc.
|
static |
Definition at line 644 of file grammar.cc.
|
static |
Definition at line 819 of file grammar.cc.
|
static |
Definition at line 842 of file grammar.cc.
|
static |
Definition at line 667 of file grammar.cc.
|
static |
Definition at line 743 of file grammar.cc.
|
static |
Definition at line 1507 of file grammar.cc.
|
static |
Definition at line 983 of file grammar.cc.
Definition at line 769 of file grammar.cc.
|
static |
Definition at line 602 of file grammar.cc.