![]() |
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.
Macros | |
#define | YYBISON 1 |
#define | YYBISON_VERSION "2.4.3" |
#define | YYSKELETON_NAME "yacc.c" |
#define | YYPURE 1 |
#define | YYPUSH 0 |
#define | YYPULL 1 |
#define | YYLSP_NEEDED 0 |
#define | YYMAXDEPTH MAX_INT_VAL |
#define | TESTSETINT(a, i) |
#define | MYYERROR(a) { WerrorS(a); YYERROR; } |
#define | YYERROR_VERBOSE 0 |
#define | YYTOKEN_TABLE 0 |
#define | YYTOKENTYPE |
#define | YYSIZE_T size_t |
#define | YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
#define | YY_(msgid) msgid |
#define | YYUSE(e) ((void) (e)) |
#define | YYID(n) (n) |
#define | YYSTACK_ALLOC YYMALLOC |
#define | YYSTACK_FREE YYFREE |
#define | YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
#define | _STDLIB_H 1 |
#define | YYMALLOC malloc |
#define | YYFREE free |
#define | YYFINAL 2 |
#define | YYLAST 2567 |
#define | YYNTOKENS 104 |
#define | YYNNTS 44 |
#define | YYNRULES 175 |
#define | YYNSTATES 398 |
#define | YYUNDEFTOK 2 |
#define | YYMAXUTOK 342 |
#define | YYTRANSLATE(YYX) ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
#define | YYPACT_NINF -364 |
#define | YYTABLE_NINF -155 |
#define | yyerrok (yyerrstatus = 0) |
#define | yyclearin (yychar = YYEMPTY) |
#define | YYEMPTY (-2) |
#define | YYEOF 0 |
#define | YYACCEPT goto yyacceptlab |
#define | YYABORT goto yyabortlab |
#define | YYERROR goto yyerrorlab |
#define | YYFAIL goto yyerrlab |
#define | YYRECOVERING() (!!yyerrstatus) |
#define | YYBACKUP(Token, Value) |
#define | YYTERROR 1 |
#define | YYERRCODE 256 |
#define | YYRHSLOC(Rhs, K) ((Rhs)[K]) |
#define | YYLLOC_DEFAULT(Current, Rhs, N) |
#define | YY_LOCATION_PRINT(File, Loc) ((void) 0) |
#define | YYLEX yylex (&yylval) |
#define | YYFPRINTF fprintf |
#define | YYDPRINTF(Args) |
#define | YY_SYMBOL_PRINT(Title, Type, Value, Location) |
#define | YY_STACK_PRINT(Bottom, Top) |
#define | YY_REDUCE_PRINT(Rule) |
#define | YYINITDEPTH 200 |
#define | YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) |
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 { YYEMPTY = -2 , YYEOF = 0 , YYerror = 256 , YYUNDEF = 257 , NUM = 258 , NEG = 259 , 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 , 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.
#define TESTSETINT | ( | a, | |
i | |||
) |
Definition at line 177 of file grammar.cc.
#define YY_ | ( | msgid | ) | msgid |
Definition at line 425 of file grammar.cc.
#define YY_LOCATION_PRINT | ( | File, | |
Loc | |||
) | ((void) 0) |
Definition at line 1637 of file grammar.cc.
#define YY_REDUCE_PRINT | ( | Rule | ) |
Definition at line 1797 of file grammar.cc.
#define YY_STACK_PRINT | ( | Bottom, | |
Top | |||
) |
Definition at line 1759 of file grammar.cc.
#define YY_SYMBOL_PRINT | ( | Title, | |
Type, | |||
Value, | |||
Location | |||
) |
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.
#define YYBACKUP | ( | Token, | |
Value | |||
) |
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 YYDPRINTF | ( | Args | ) |
Definition at line 1658 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.
#define YYFAIL goto yyerrlab |
Definition at line 1568 of file grammar.cc.
#define YYFINAL 2 |
Definition at line 581 of file grammar.cc.
#define YYFPRINTF fprintf |
Definition at line 1655 of file grammar.cc.
#define YYFREE free |
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.
#define YYLLOC_DEFAULT | ( | Current, | |
Rhs, | |||
N | |||
) |
Definition at line 1606 of file grammar.cc.
#define YYLSP_NEEDED 0 |
Definition at line 63 of file grammar.cc.
#define YYMALLOC malloc |
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.
#define YYRHSLOC | ( | Rhs, | |
K | |||
) | ((Rhs)[K]) |
Definition at line 1604 of file grammar.cc.
#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
Definition at line 415 of file grammar.cc.
#define YYSIZE_T size_t |
Definition at line 409 of file grammar.cc.
#define YYSKELETON_NAME "yacc.c" |
Definition at line 51 of file grammar.cc.
#define YYSTACK_ALLOC YYMALLOC |
Definition at line 493 of file grammar.cc.
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 496 of file grammar.cc.
#define YYSTACK_FREE YYFREE |
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.
#define YYUSE | ( | e | ) | ((void) (e)) |
Definition at line 431 of file grammar.cc.
typedef short int yytype_int16 |
Definition at line 398 of file grammar.cc.
typedef signed char yytype_int8 |
Definition at line 384 of file grammar.cc.
typedef unsigned short int yytype_uint16 |
Definition at line 392 of file grammar.cc.
typedef unsigned char yytype_uint8 |
Definition at line 377 of file grammar.cc.
enum yytokentype |
Definition at line 266 of file grammar.cc.
|
static |
Definition at line 1773 of file grammar.cc.
|
static |
Definition at line 1742 of file grammar.cc.
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.
void yyerror | ( | const char * | fmt | ) |
Definition at line 187 of file grammar.cc.
int yyparse | ( | void | ) |
Definition at line 2111 of file grammar.cc.
VAR int cmdtok |
Definition at line 174 of file grammar.cc.
const char* currid |
Definition at line 171 of file grammar.cc.
Definition at line 173 of file grammar.cc.
VAR int inerror = 0 |
Definition at line 175 of file grammar.cc.
|
static |
Definition at line 1244 of file grammar.cc.
VAR int yydebug |
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.