![]() |
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 , BIGINTVEC_CMD = 270 , INTMAT_CMD = 271 , PROC_CMD = 272 , RING_CMD = 273 , BEGIN_RING = 274 , BUCKET_CMD = 275 , IDEAL_CMD = 276 , MAP_CMD = 277 , MATRIX_CMD = 278 , MODUL_CMD = 279 , NUMBER_CMD = 280 , POLY_CMD = 281 , RESOLUTION_CMD = 282 , SMATRIX_CMD = 283 , VECTOR_CMD = 284 , BETTI_CMD = 285 , E_CMD = 286 , FETCH_CMD = 287 , FREEMODULE_CMD = 288 , KEEPRING_CMD = 289 , IMAP_CMD = 290 , KOSZUL_CMD = 291 , MAXID_CMD = 292 , MONOM_CMD = 293 , PAR_CMD = 294 , PREIMAGE_CMD = 295 , VAR_CMD = 296 , VALTVARS = 297 , VMAXDEG = 298 , VMAXMULT = 299 , VNOETHER = 300 , VMINPOLY = 301 , END_RING = 302 , CMD_1 = 303 , CMD_2 = 304 , CMD_3 = 305 , CMD_12 = 306 , CMD_13 = 307 , CMD_23 = 308 , CMD_123 = 309 , CMD_M = 310 , ROOT_DECL = 311 , ROOT_DECL_LIST = 312 , RING_DECL = 313 , RING_DECL_LIST = 314 , EXAMPLE_CMD = 315 , EXPORT_CMD = 316 , HELP_CMD = 317 , KILL_CMD = 318 , LIB_CMD = 319 , LISTVAR_CMD = 320 , SETRING_CMD = 321 , TYPE_CMD = 322 , STRINGTOK = 323 , BLOCKTOK = 324 , INT_CONST = 325 , UNKNOWN_IDENT = 326 , MONOM = 327 , PROC_DEF = 328 , APPLY = 329 , ASSUME_CMD = 330 , BREAK_CMD = 331 , CONTINUE_CMD = 332 , ELSE_CMD = 333 , EVAL = 334 , QUOTE = 335 , FOR_CMD = 336 , IF_CMD = 337 , SYS_BREAK = 338 , WHILE_CMD = 339 , RETURN = 340 , PARAMETER = 341 , SYSVAR = 342 , UMINUS = 343 } |
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 | |
int | yylineno |
FILE * | yyin |
const char * | currid |
BOOLEAN | yyInRingConstruction =FALSE |
BOOLEAN | expected_parms |
int | cmdtok |
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 [] |
int | yydebug |
#define _STDLIB_H 1 |
Definition at line 504 of file grammar.cc.
Definition at line 185 of file grammar.cc.
Definition at line 177 of file grammar.cc.
Definition at line 426 of file grammar.cc.
Definition at line 1835 of file grammar.cc.
Definition at line 1797 of file grammar.cc.
Definition at line 1702 of file grammar.cc.
#define YYABORT goto yyabortlab |
Definition at line 1595 of file grammar.cc.
#define YYACCEPT goto yyacceptlab |
Definition at line 1594 of file grammar.cc.
Definition at line 1616 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 1590 of file grammar.cc.
Definition at line 1696 of file grammar.cc.
#define YYEMPTY (-2) |
Definition at line 1591 of file grammar.cc.
#define YYEOF 0 |
Definition at line 1592 of file grammar.cc.
#define YYERRCODE 256 |
Definition at line 1635 of file grammar.cc.
#define yyerrok (yyerrstatus = 0) |
Definition at line 1589 of file grammar.cc.
#define YYERROR goto yyerrorlab |
Definition at line 1596 of file grammar.cc.
#define YYERROR_VERBOSE 0 |
Definition at line 252 of file grammar.cc.
Definition at line 1606 of file grammar.cc.
#define YYFINAL 2 |
Definition at line 582 of file grammar.cc.
Definition at line 1693 of file grammar.cc.
Definition at line 515 of file grammar.cc.
#define YYID | ( | n | ) | (n) |
Definition at line 439 of file grammar.cc.
#define YYINITDEPTH 200 |
Definition at line 1854 of file grammar.cc.
#define YYLAST 2747 |
Definition at line 584 of file grammar.cc.
Definition at line 1685 of file grammar.cc.
Definition at line 1644 of file grammar.cc.
#define YYLSP_NEEDED 0 |
Definition at line 63 of file grammar.cc.
Definition at line 508 of file grammar.cc.
#define YYMAXDEPTH MAX_INT_VAL |
Definition at line 166 of file grammar.cc.
#define YYMAXUTOK 343 |
Definition at line 597 of file grammar.cc.
#define YYNNTS 44 |
Definition at line 589 of file grammar.cc.
#define YYNRULES 175 |
Definition at line 591 of file grammar.cc.
#define YYNSTATES 398 |
Definition at line 593 of file grammar.cc.
#define YYNTOKENS 105 |
Definition at line 587 of file grammar.cc.
#define YYPACT_NINF -361 |
Definition at line 925 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 1614 of file grammar.cc.
Definition at line 1642 of file grammar.cc.
Definition at line 416 of file grammar.cc.
Definition at line 410 of file grammar.cc.
#define YYSKELETON_NAME "yacc.c" |
Definition at line 51 of file grammar.cc.
Definition at line 494 of file grammar.cc.
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 497 of file grammar.cc.
Definition at line 495 of file grammar.cc.
#define YYTABLE_NINF -155 |
Definition at line 984 of file grammar.cc.
#define YYTERROR 1 |
Definition at line 1634 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 599 of file grammar.cc.
#define YYUNDEFTOK 2 |
Definition at line 596 of file grammar.cc.
Definition at line 432 of file grammar.cc.
Definition at line 399 of file grammar.cc.
Definition at line 385 of file grammar.cc.
Definition at line 393 of file grammar.cc.
Definition at line 378 of file grammar.cc.
Definition at line 266 of file grammar.cc.
Definition at line 1811 of file grammar.cc.
|
static |
Definition at line 1754 of file grammar.cc.
|
static |
Definition at line 1722 of file grammar.cc.
Definition at line 2089 of file grammar.cc.
Definition at line 2149 of file grammar.cc.
int cmdtok |
Definition at line 174 of file grammar.cc.
Definition at line 171 of file grammar.cc.
BOOLEAN expected_parms |
Definition at line 173 of file grammar.cc.
int inerror = 0 |
Definition at line 175 of file grammar.cc.
|
static |
Definition at line 1264 of file grammar.cc.
int yydebug |
Definition at line 1843 of file grammar.cc.
|
static |
Definition at line 869 of file grammar.cc.
|
static |
Definition at line 914 of file grammar.cc.
|
extern |
Definition at line 122 of file libparse.cc.
Definition at line 172 of file grammar.cc.
|
static |
Definition at line 926 of file grammar.cc.
|
static |
Definition at line 971 of file grammar.cc.
|
static |
Definition at line 645 of file grammar.cc.
|
static |
Definition at line 821 of file grammar.cc.
|
static |
Definition at line 844 of file grammar.cc.
|
static |
Definition at line 668 of file grammar.cc.
|
static |
Definition at line 744 of file grammar.cc.
|
static |
Definition at line 1545 of file grammar.cc.
|
static |
Definition at line 985 of file grammar.cc.
Definition at line 770 of file grammar.cc.
|
static |
Definition at line 603 of file grammar.cc.