Changeset 4b3ef4b in git


Ignore:
Timestamp:
Feb 4, 2010, 4:20:34 PM (14 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')
Children:
a355e47496ff8e6d78a5da6dacb5b38967d28f1a
Parents:
42099834c4d0154ac63fda8120c1c194d59c35f6
Message:
new command: monom

git-svn-id: file:///usr/local/Singular/svn/trunk@12516 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • Singular/ChangeLog

    r420998 r4b3ef4b  
    66- updated: doc w.r.t. option(...)
    77- new option: qringNF (track 149)
     8- new command: monom (the inverse to leadexp)
    89
    910Changes w.r.t 3-1-0-8:
  • Singular/grammar.cc

    r420998 r4b3ef4b  
    126126     MINRES_CMD = 315,
    127127     MODULO_CMD = 316,
    128      MRES_CMD = 317,
    129      MULTIPLICITY_CMD = 318,
    130      ORD_CMD = 319,
    131      PAR_CMD = 320,
    132      PARDEG_CMD = 321,
    133      PREIMAGE_CMD = 322,
    134      QUOTIENT_CMD = 323,
    135      QHWEIGHT_CMD = 324,
    136      REDUCE_CMD = 325,
    137      REGULARITY_CMD = 326,
    138      RES_CMD = 327,
    139      SIMPLIFY_CMD = 328,
    140      SORTVEC_CMD = 329,
    141      SRES_CMD = 330,
    142      STD_CMD = 331,
    143      SUBST_CMD = 332,
    144      SYZYGY_CMD = 333,
    145      VAR_CMD = 334,
    146      VDIM_CMD = 335,
    147      WEDGE_CMD = 336,
    148      WEIGHT_CMD = 337,
    149      VALTVARS = 338,
    150      VMAXDEG = 339,
    151      VMAXMULT = 340,
    152      VNOETHER = 341,
    153      VMINPOLY = 342,
    154      END_RING = 343,
    155      CMD_1 = 344,
    156      CMD_2 = 345,
    157      CMD_3 = 346,
    158      CMD_12 = 347,
    159      CMD_13 = 348,
    160      CMD_23 = 349,
    161      CMD_123 = 350,
    162      CMD_M = 351,
    163      ROOT_DECL = 352,
    164      ROOT_DECL_LIST = 353,
    165      RING_DECL = 354,
    166      EXAMPLE_CMD = 355,
    167      EXPORT_CMD = 356,
    168      HELP_CMD = 357,
    169      KILL_CMD = 358,
    170      LIB_CMD = 359,
    171      LISTVAR_CMD = 360,
    172      SETRING_CMD = 361,
    173      TYPE_CMD = 362,
    174      STRINGTOK = 363,
    175      BLOCKTOK = 364,
    176      INT_CONST = 365,
    177      UNKNOWN_IDENT = 366,
    178      RINGVAR = 367,
    179      PROC_DEF = 368,
    180      BREAK_CMD = 369,
    181      CONTINUE_CMD = 370,
    182      ELSE_CMD = 371,
    183      EVAL = 372,
    184      QUOTE = 373,
    185      FOR_CMD = 374,
    186      IF_CMD = 375,
    187      SYS_BREAK = 376,
    188      WHILE_CMD = 377,
    189      RETURN = 378,
    190      PARAMETER = 379,
    191      SYSVAR = 380,
    192      UMINUS = 381
     128     MONOM_CMD = 317,
     129     MRES_CMD = 318,
     130     MULTIPLICITY_CMD = 319,
     131     ORD_CMD = 320,
     132     PAR_CMD = 321,
     133     PARDEG_CMD = 322,
     134     PREIMAGE_CMD = 323,
     135     QUOTIENT_CMD = 324,
     136     QHWEIGHT_CMD = 325,
     137     REDUCE_CMD = 326,
     138     REGULARITY_CMD = 327,
     139     RES_CMD = 328,
     140     SIMPLIFY_CMD = 329,
     141     SORTVEC_CMD = 330,
     142     SRES_CMD = 331,
     143     STD_CMD = 332,
     144     SUBST_CMD = 333,
     145     SYZYGY_CMD = 334,
     146     VAR_CMD = 335,
     147     VDIM_CMD = 336,
     148     WEDGE_CMD = 337,
     149     WEIGHT_CMD = 338,
     150     VALTVARS = 339,
     151     VMAXDEG = 340,
     152     VMAXMULT = 341,
     153     VNOETHER = 342,
     154     VMINPOLY = 343,
     155     END_RING = 344,
     156     CMD_1 = 345,
     157     CMD_2 = 346,
     158     CMD_3 = 347,
     159     CMD_12 = 348,
     160     CMD_13 = 349,
     161     CMD_23 = 350,
     162     CMD_123 = 351,
     163     CMD_M = 352,
     164     ROOT_DECL = 353,
     165     ROOT_DECL_LIST = 354,
     166     RING_DECL = 355,
     167     EXAMPLE_CMD = 356,
     168     EXPORT_CMD = 357,
     169     HELP_CMD = 358,
     170     KILL_CMD = 359,
     171     LIB_CMD = 360,
     172     LISTVAR_CMD = 361,
     173     SETRING_CMD = 362,
     174     TYPE_CMD = 363,
     175     STRINGTOK = 364,
     176     BLOCKTOK = 365,
     177     INT_CONST = 366,
     178     UNKNOWN_IDENT = 367,
     179     RINGVAR = 368,
     180     PROC_DEF = 369,
     181     BREAK_CMD = 370,
     182     CONTINUE_CMD = 371,
     183     ELSE_CMD = 372,
     184     EVAL = 373,
     185     QUOTE = 374,
     186     FOR_CMD = 375,
     187     IF_CMD = 376,
     188     SYS_BREAK = 377,
     189     WHILE_CMD = 378,
     190     RETURN = 379,
     191     PARAMETER = 380,
     192     SYSVAR = 381,
     193     UMINUS = 382
    193194   };
    194195#endif
     
    253254#define MINRES_CMD 315
    254255#define MODULO_CMD 316
    255 #define MRES_CMD 317
    256 #define MULTIPLICITY_CMD 318
    257 #define ORD_CMD 319
    258 #define PAR_CMD 320
    259 #define PARDEG_CMD 321
    260 #define PREIMAGE_CMD 322
    261 #define QUOTIENT_CMD 323
    262 #define QHWEIGHT_CMD 324
    263 #define REDUCE_CMD 325
    264 #define REGULARITY_CMD 326
    265 #define RES_CMD 327
    266 #define SIMPLIFY_CMD 328
    267 #define SORTVEC_CMD 329
    268 #define SRES_CMD 330
    269 #define STD_CMD 331
    270 #define SUBST_CMD 332
    271 #define SYZYGY_CMD 333
    272 #define VAR_CMD 334
    273 #define VDIM_CMD 335
    274 #define WEDGE_CMD 336
    275 #define WEIGHT_CMD 337
    276 #define VALTVARS 338
    277 #define VMAXDEG 339
    278 #define VMAXMULT 340
    279 #define VNOETHER 341
    280 #define VMINPOLY 342
    281 #define END_RING 343
    282 #define CMD_1 344
    283 #define CMD_2 345
    284 #define CMD_3 346
    285 #define CMD_12 347
    286 #define CMD_13 348
    287 #define CMD_23 349
    288 #define CMD_123 350
    289 #define CMD_M 351
    290 #define ROOT_DECL 352
    291 #define ROOT_DECL_LIST 353
    292 #define RING_DECL 354
    293 #define EXAMPLE_CMD 355
    294 #define EXPORT_CMD 356
    295 #define HELP_CMD 357
    296 #define KILL_CMD 358
    297 #define LIB_CMD 359
    298 #define LISTVAR_CMD 360
    299 #define SETRING_CMD 361
    300 #define TYPE_CMD 362
    301 #define STRINGTOK 363
    302 #define BLOCKTOK 364
    303 #define INT_CONST 365
    304 #define UNKNOWN_IDENT 366
    305 #define RINGVAR 367
    306 #define PROC_DEF 368
    307 #define BREAK_CMD 369
    308 #define CONTINUE_CMD 370
    309 #define ELSE_CMD 371
    310 #define EVAL 372
    311 #define QUOTE 373
    312 #define FOR_CMD 374
    313 #define IF_CMD 375
    314 #define SYS_BREAK 376
    315 #define WHILE_CMD 377
    316 #define RETURN 378
    317 #define PARAMETER 379
    318 #define SYSVAR 380
    319 #define UMINUS 381
     256#define MONOM_CMD 317
     257#define MRES_CMD 318
     258#define MULTIPLICITY_CMD 319
     259#define ORD_CMD 320
     260#define PAR_CMD 321
     261#define PARDEG_CMD 322
     262#define PREIMAGE_CMD 323
     263#define QUOTIENT_CMD 324
     264#define QHWEIGHT_CMD 325
     265#define REDUCE_CMD 326
     266#define REGULARITY_CMD 327
     267#define RES_CMD 328
     268#define SIMPLIFY_CMD 329
     269#define SORTVEC_CMD 330
     270#define SRES_CMD 331
     271#define STD_CMD 332
     272#define SUBST_CMD 333
     273#define SYZYGY_CMD 334
     274#define VAR_CMD 335
     275#define VDIM_CMD 336
     276#define WEDGE_CMD 337
     277#define WEIGHT_CMD 338
     278#define VALTVARS 339
     279#define VMAXDEG 340
     280#define VMAXMULT 341
     281#define VNOETHER 342
     282#define VMINPOLY 343
     283#define END_RING 344
     284#define CMD_1 345
     285#define CMD_2 346
     286#define CMD_3 347
     287#define CMD_12 348
     288#define CMD_13 349
     289#define CMD_23 350
     290#define CMD_123 351
     291#define CMD_M 352
     292#define ROOT_DECL 353
     293#define ROOT_DECL_LIST 354
     294#define RING_DECL 355
     295#define EXAMPLE_CMD 356
     296#define EXPORT_CMD 357
     297#define HELP_CMD 358
     298#define KILL_CMD 359
     299#define LIB_CMD 360
     300#define LISTVAR_CMD 361
     301#define SETRING_CMD 362
     302#define TYPE_CMD 363
     303#define STRINGTOK 364
     304#define BLOCKTOK 365
     305#define INT_CONST 366
     306#define UNKNOWN_IDENT 367
     307#define RINGVAR 368
     308#define PROC_DEF 369
     309#define BREAK_CMD 370
     310#define CONTINUE_CMD 371
     311#define ELSE_CMD 372
     312#define EVAL 373
     313#define QUOTE 374
     314#define FOR_CMD 375
     315#define IF_CMD 376
     316#define SYS_BREAK 377
     317#define WHILE_CMD 378
     318#define RETURN 379
     319#define PARAMETER 380
     320#define SYSVAR 381
     321#define UMINUS 382
    320322
    321323
     
    539541
    540542/* Line 216 of yacc.c.  */
    541 #line 541 "grammar.cc"
     543#line 544 "grammar.cc"
    542544
    543545#ifdef short
     
    754756#define YYFINAL  2
    755757/* YYLAST -- Last index in YYTABLE.  */
    756 #define YYLAST   1881
     758#define YYLAST   1799
    757759
    758760/* YYNTOKENS -- Number of terminals.  */
    759 #define YYNTOKENS  144
     761#define YYNTOKENS  145
    760762/* YYNNTS -- Number of nonterminals.  */
    761763#define YYNNTS  44
     
    767769/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */
    768770#define YYUNDEFTOK  2
    769 #define YYMAXUTOK   381
     771#define YYMAXUTOK   382
    770772
    771773#define YYTRANSLATE(YYX)                                                \
     
    778780       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    779781       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    780        2,     2,     2,     2,     2,     2,     2,     2,   137,     2,
    781      141,   142,   139,   129,   135,   130,     2,   131,     2,     2,
    782        2,     2,     2,     2,     2,     2,     2,     2,   138,   136,
    783      127,   126,   128,     2,     2,     2,     2,     2,     2,     2,
     782       2,     2,     2,     2,     2,     2,     2,     2,   138,     2,
     783     142,   143,   140,   130,   136,   131,     2,   132,     2,     2,
     784       2,     2,     2,     2,     2,     2,     2,     2,   139,   137,
     785     128,   127,   129,     2,     2,     2,     2,     2,     2,     2,
    784786       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    785787       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    786        2,   132,     2,   133,   134,     2,   143,     2,     2,     2,
     788       2,   133,     2,   134,   135,     2,   144,     2,     2,     2,
    787789       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    788790       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     
    813815     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
    814816     115,   116,   117,   118,   119,   120,   121,   122,   123,   124,
    815      125,   140
     817     125,   126,   141
    816818};
    817819
     
    843845static const yytype_int16 yyrhs[] =
    844846{
    845      145,     0,    -1,    -1,   145,   146,    -1,   147,    -1,   149,
    846      136,    -1,   161,   136,    -1,   187,    -1,   121,    -1,   136,
    847       -1,     1,   136,    -1,   182,    -1,   183,    -1,   148,    -1,
    848      184,    -1,   185,    -1,   169,    -1,   171,    -1,   172,    -1,
    849      100,   109,    -1,   150,    -1,   173,    -1,   174,    -1,   175,
    850       -1,   186,    -1,   177,    -1,   178,    -1,   180,    -1,   181,
    851       -1,   158,   152,    -1,   112,    -1,   159,    -1,   151,    11,
    852      151,    -1,   151,   141,   142,    -1,   151,   141,   152,   142,
    853       -1,   132,   152,   133,    -1,   110,    -1,   125,    -1,   162,
    854       -1,   152,   135,   153,    -1,   153,    -1,   157,    -1,   151,
    855       -1,   141,   152,   142,    -1,   153,   132,   153,   135,   153,
    856      133,    -1,   153,   132,   153,   133,    -1,    97,   141,   153,
    857      142,    -1,    98,   141,   152,   142,    -1,    98,   141,   142,
    858       -1,    99,   141,   153,   142,    -1,   160,   141,   152,   142,
    859       -1,   160,   141,   142,    -1,    89,   141,   153,   142,    -1,
    860       90,   141,   153,   135,   153,   142,    -1,    91,   141,   153,
    861      135,   153,   135,   153,   142,    -1,    94,   141,   153,   135,
    862      153,   142,    -1,    94,   141,   153,   135,   153,   135,   153,
    863      142,    -1,    92,   141,   153,   142,    -1,    93,   141,   153,
    864      142,    -1,    92,   141,   153,   135,   153,   142,    -1,    95,
    865      141,   153,   142,    -1,    95,   141,   153,   135,   153,   142,
    866       -1,    93,   141,   153,   135,   153,   135,   153,   142,    -1,
    867       95,   141,   153,   135,   153,   135,   153,   142,    -1,    96,
    868      141,   142,    -1,    96,   141,   152,   142,    -1,    19,   141,
    869      153,   135,   153,   135,   153,   142,    -1,    19,   141,   153,
    870      142,    -1,    13,   141,   153,   135,   153,   135,   153,   142,
    871       -1,    13,   141,   153,   142,    -1,    15,   141,   163,   135,
    872      163,   135,   167,   142,    -1,    15,   141,   153,   142,    -1,
    873      155,   153,   156,    -1,   155,   153,   126,   153,   156,    -1,
    874       -1,   117,   141,   154,   153,   142,    -1,   118,   141,    -1,
    875      142,    -1,   153,    10,    -1,   153,     7,    -1,   153,   129,
    876      153,    -1,   153,   130,   153,    -1,   153,   131,   153,    -1,
    877      153,   134,   153,    -1,   153,   127,   153,    -1,   153,   137,
    878      153,    -1,   153,     9,   153,    -1,   153,     4,   153,    -1,
    879      153,     3,   153,    -1,   153,   138,   153,    -1,     8,   153,
    880       -1,   130,   153,    -1,   161,   168,    -1,   152,   126,    -1,
    881      111,    -1,   143,   153,   143,    -1,    17,    -1,    20,    -1,
    882       97,   151,    -1,    98,   151,    -1,    99,   151,    -1,   160,
    883      151,    -1,    19,   151,   132,   153,   133,   132,   153,   133,
    884       -1,    19,   151,    -1,    13,   151,   132,   153,   133,   132,
    885      153,   133,    -1,    13,   151,    -1,   161,   135,   151,    -1,
    886       14,   151,    -1,   108,    -1,   153,    -1,   141,   153,   135,
    887      152,   142,    -1,   111,    -1,   164,    -1,   164,   141,   152,
    888      142,    -1,   165,    -1,   165,   135,   166,    -1,   165,    -1,
    889      141,   166,   142,    -1,   126,    -1,    -1,   127,   162,   170,
    890      136,    -1,   102,   108,   136,    -1,   102,   136,    -1,   100,
    891      108,   136,    -1,   101,   152,    -1,   103,   151,    -1,   174,
    892      135,   151,    -1,   105,   141,    97,   142,    -1,   105,   141,
    893       98,   142,    -1,   105,   141,    99,   142,    -1,   105,   141,
    894      160,   142,    -1,   105,   141,    15,   142,    -1,   105,   141,
    895       19,   142,    -1,   105,   141,    13,   142,    -1,   105,   141,
    896       14,   142,    -1,   105,   141,   151,   142,    -1,   105,   141,
    897      151,   135,    97,   142,    -1,   105,   141,   151,   135,    98,
    898      142,    -1,   105,   141,   151,   135,    99,   142,    -1,   105,
    899      141,   151,   135,   160,   142,    -1,   105,   141,   151,   135,
    900       15,   142,    -1,   105,   141,   151,   135,    19,   142,    -1,
    901      105,   141,   151,   135,    13,   142,    -1,   105,   141,   151,
    902      135,    14,   142,    -1,   105,   141,   142,    -1,    15,    -1,
    903      176,   151,   168,   163,   135,   163,   135,   167,    -1,   176,
    904      151,    -1,   125,   162,    -1,   106,    -1,    40,    -1,   179,
    905      153,    -1,   107,   153,    -1,   152,    -1,   120,   141,   153,
    906      142,   109,    -1,   116,   109,    -1,   120,   141,   153,   142,
    907      114,    -1,   114,    -1,   115,    -1,   122,   108,   109,    -1,
    908      119,   108,   108,   108,   109,    -1,    14,   159,   109,    -1,
    909      113,   108,   109,    -1,   113,   108,   108,   109,    -1,   124,
    910      161,    -1,   124,   153,    -1,   123,   141,   152,   142,    -1,
    911      123,   141,   142,    -1
     847     146,     0,    -1,    -1,   146,   147,    -1,   148,    -1,   150,
     848     137,    -1,   162,   137,    -1,   188,    -1,   122,    -1,   137,
     849      -1,     1,   137,    -1,   183,    -1,   184,    -1,   149,    -1,
     850     185,    -1,   186,    -1,   170,    -1,   172,    -1,   173,    -1,
     851     101,   110,    -1,   151,    -1,   174,    -1,   175,    -1,   176,
     852      -1,   187,    -1,   178,    -1,   179,    -1,   181,    -1,   182,
     853      -1,   159,   153,    -1,   113,    -1,   160,    -1,   152,    11,
     854     152,    -1,   152,   142,   143,    -1,   152,   142,   153,   143,
     855      -1,   133,   153,   134,    -1,   111,    -1,   126,    -1,   163,
     856      -1,   153,   136,   154,    -1,   154,    -1,   158,    -1,   152,
     857      -1,   142,   153,   143,    -1,   154,   133,   154,   136,   154,
     858     134,    -1,   154,   133,   154,   134,    -1,    98,   142,   154,
     859     143,    -1,    99,   142,   153,   143,    -1,    99,   142,   143,
     860      -1,   100,   142,   154,   143,    -1,   161,   142,   153,   143,
     861      -1,   161,   142,   143,    -1,    90,   142,   154,   143,    -1,
     862      91,   142,   154,   136,   154,   143,    -1,    92,   142,   154,
     863     136,   154,   136,   154,   143,    -1,    95,   142,   154,   136,
     864     154,   143,    -1,    95,   142,   154,   136,   154,   136,   154,
     865     143,    -1,    93,   142,   154,   143,    -1,    94,   142,   154,
     866     143,    -1,    93,   142,   154,   136,   154,   143,    -1,    96,
     867     142,   154,   143,    -1,    96,   142,   154,   136,   154,   143,
     868      -1,    94,   142,   154,   136,   154,   136,   154,   143,    -1,
     869      96,   142,   154,   136,   154,   136,   154,   143,    -1,    97,
     870     142,   143,    -1,    97,   142,   153,   143,    -1,    19,   142,
     871     154,   136,   154,   136,   154,   143,    -1,    19,   142,   154,
     872     143,    -1,    13,   142,   154,   136,   154,   136,   154,   143,
     873      -1,    13,   142,   154,   143,    -1,    15,   142,   164,   136,
     874     164,   136,   168,   143,    -1,    15,   142,   154,   143,    -1,
     875     156,   154,   157,    -1,   156,   154,   127,   154,   157,    -1,
     876      -1,   118,   142,   155,   154,   143,    -1,   119,   142,    -1,
     877     143,    -1,   154,    10,    -1,   154,     7,    -1,   154,   130,
     878     154,    -1,   154,   131,   154,    -1,   154,   132,   154,    -1,
     879     154,   135,   154,    -1,   154,   128,   154,    -1,   154,   138,
     880     154,    -1,   154,     9,   154,    -1,   154,     4,   154,    -1,
     881     154,     3,   154,    -1,   154,   139,   154,    -1,     8,   154,
     882      -1,   131,   154,    -1,   162,   169,    -1,   153,   127,    -1,
     883     112,    -1,   144,   154,   144,    -1,    17,    -1,    20,    -1,
     884      98,   152,    -1,    99,   152,    -1,   100,   152,    -1,   161,
     885     152,    -1,    19,   152,   133,   154,   134,   133,   154,   134,
     886      -1,    19,   152,    -1,    13,   152,   133,   154,   134,   133,
     887     154,   134,    -1,    13,   152,    -1,   162,   136,   152,    -1,
     888      14,   152,    -1,   109,    -1,   154,    -1,   142,   154,   136,
     889     153,   143,    -1,   112,    -1,   165,    -1,   165,   142,   153,
     890     143,    -1,   166,    -1,   166,   136,   167,    -1,   166,    -1,
     891     142,   167,   143,    -1,   127,    -1,    -1,   128,   163,   171,
     892     137,    -1,   103,   109,   137,    -1,   103,   137,    -1,   101,
     893     109,   137,    -1,   102,   153,    -1,   104,   152,    -1,   175,
     894     136,   152,    -1,   106,   142,    98,   143,    -1,   106,   142,
     895      99,   143,    -1,   106,   142,   100,   143,    -1,   106,   142,
     896     161,   143,    -1,   106,   142,    15,   143,    -1,   106,   142,
     897      19,   143,    -1,   106,   142,    13,   143,    -1,   106,   142,
     898      14,   143,    -1,   106,   142,   152,   143,    -1,   106,   142,
     899     152,   136,    98,   143,    -1,   106,   142,   152,   136,    99,
     900     143,    -1,   106,   142,   152,   136,   100,   143,    -1,   106,
     901     142,   152,   136,   161,   143,    -1,   106,   142,   152,   136,
     902      15,   143,    -1,   106,   142,   152,   136,    19,   143,    -1,
     903     106,   142,   152,   136,    13,   143,    -1,   106,   142,   152,
     904     136,    14,   143,    -1,   106,   142,   143,    -1,    15,    -1,
     905     177,   152,   169,   164,   136,   164,   136,   168,    -1,   177,
     906     152,    -1,   126,   163,    -1,   107,    -1,    40,    -1,   180,
     907     154,    -1,   108,   154,    -1,   153,    -1,   121,   142,   154,
     908     143,   110,    -1,   117,   110,    -1,   121,   142,   154,   143,
     909     115,    -1,   115,    -1,   116,    -1,   123,   109,   110,    -1,
     910     120,   109,   109,   109,   110,    -1,    14,   160,   110,    -1,
     911     114,   109,   110,    -1,   114,   109,   109,   110,    -1,   125,
     912     162,    -1,   125,   154,    -1,   124,   142,   153,   143,    -1,
     913     124,   142,   143,    -1
    912914};
    913915
     
    915917static const yytype_uint16 yyrline[] =
    916918{
    917        0,   368,   368,   370,   405,   406,   408,   410,   414,   419,
    918      421,   469,   470,   471,   472,   473,   474,   475,   476,   480,
    919      483,   484,   485,   486,   487,   488,   489,   490,   491,   494,
    920      501,   506,   510,   514,   518,   538,   566,   590,   596,   605,
    921      616,   622,   627,   628,   629,   633,   637,   641,   645,   649,
    922      653,   657,   661,   665,   669,   673,   677,   681,   685,   689,
    923      693,   697,   701,   705,   709,   713,   717,   721,   725,   729,
    924      733,   737,   741,   745,   763,   762,   780,   788,   797,   801,
    925      805,   809,   813,   817,   821,   825,   829,   833,   837,   841,
    926      845,   852,   859,   860,   879,   880,   892,   892,   897,   902,
    927      907,   911,   915,   931,   935,   951,   965,   986,   994,   998,
    928      999,  1013,  1021,  1030,  1075,  1076,  1085,  1086,  1092,  1105,
    929     1104,  1112,  1117,  1124,  1132,  1144,  1160,  1179,  1183,  1187,
    930     1192,  1196,  1200,  1204,  1208,  1212,  1217,  1223,  1229,  1235,
    931     1241,  1247,  1253,  1259,  1271,  1278,  1282,  1320,  1330,  1343,
    932     1343,  1346,  1422,  1428,  1457,  1470,  1487,  1496,  1501,  1509,
    933     1521,  1540,  1551,  1571,  1595,  1601,  1613,  1620
     919       0,   370,   370,   372,   407,   408,   410,   412,   416,   421,
     920     423,   471,   472,   473,   474,   475,   476,   477,   478,   482,
     921     485,   486,   487,   488,   489,   490,   491,   492,   493,   496,
     922     503,   508,   512,   516,   520,   540,   568,   592,   598,   607,
     923     618,   624,   629,   630,   631,   635,   639,   643,   647,   651,
     924     655,   659,   663,   667,   671,   675,   679,   683,   687,   691,
     925     695,   699,   703,   707,   711,   715,   719,   723,   727,   731,
     926     735,   739,   743,   747,   765,   764,   782,   790,   799,   803,
     927     807,   811,   815,   819,   823,   827,   831,   835,   839,   843,
     928     847,   854,   861,   862,   881,   882,   894,   894,   899,   904,
     929     909,   913,   917,   933,   937,   953,   967,   988,   996,  1000,
     930    1001,  1015,  1023,  1032,  1077,  1078,  1087,  1088,  1094,  1107,
     931    1106,  1114,  1119,  1126,  1134,  1146,  1162,  1181,  1185,  1189,
     932    1194,  1198,  1202,  1206,  1210,  1214,  1219,  1225,  1231,  1237,
     933    1243,  1249,  1255,  1261,  1273,  1280,  1284,  1322,  1332,  1345,
     934    1345,  1348,  1420,  1426,  1455,  1468,  1485,  1494,  1499,  1507,
     935    1519,  1538,  1549,  1569,  1593,  1599,  1611,  1618
    934936};
    935937#endif
     
    952954  "LEADEXP_CMD", "LEAD_CMD", "LEADMONOM_CMD", "LIFTSTD_CMD", "LIFT_CMD",
    953955  "MAXID_CMD", "MINBASE_CMD", "MINOR_CMD", "MINRES_CMD", "MODULO_CMD",
    954   "MRES_CMD", "MULTIPLICITY_CMD", "ORD_CMD", "PAR_CMD", "PARDEG_CMD",
    955   "PREIMAGE_CMD", "QUOTIENT_CMD", "QHWEIGHT_CMD", "REDUCE_CMD",
    956   "REGULARITY_CMD", "RES_CMD", "SIMPLIFY_CMD", "SORTVEC_CMD", "SRES_CMD",
    957   "STD_CMD", "SUBST_CMD", "SYZYGY_CMD", "VAR_CMD", "VDIM_CMD", "WEDGE_CMD",
    958   "WEIGHT_CMD", "VALTVARS", "VMAXDEG", "VMAXMULT", "VNOETHER", "VMINPOLY",
    959   "END_RING", "CMD_1", "CMD_2", "CMD_3", "CMD_12", "CMD_13", "CMD_23",
    960   "CMD_123", "CMD_M", "ROOT_DECL", "ROOT_DECL_LIST", "RING_DECL",
     956  "MONOM_CMD", "MRES_CMD", "MULTIPLICITY_CMD", "ORD_CMD", "PAR_CMD",
     957  "PARDEG_CMD", "PREIMAGE_CMD", "QUOTIENT_CMD", "QHWEIGHT_CMD",
     958  "REDUCE_CMD", "REGULARITY_CMD", "RES_CMD", "SIMPLIFY_CMD", "SORTVEC_CMD",
     959  "SRES_CMD", "STD_CMD", "SUBST_CMD", "SYZYGY_CMD", "VAR_CMD", "VDIM_CMD",
     960  "WEDGE_CMD", "WEIGHT_CMD", "VALTVARS", "VMAXDEG", "VMAXMULT", "VNOETHER",
     961  "VMINPOLY", "END_RING", "CMD_1", "CMD_2", "CMD_3", "CMD_12", "CMD_13",
     962  "CMD_23", "CMD_123", "CMD_M", "ROOT_DECL", "ROOT_DECL_LIST", "RING_DECL",
    961963  "EXAMPLE_CMD", "EXPORT_CMD", "HELP_CMD", "KILL_CMD", "LIB_CMD",
    962964  "LISTVAR_CMD", "SETRING_CMD", "TYPE_CMD", "STRINGTOK", "BLOCKTOK",
     
    994996     355,   356,   357,   358,   359,   360,   361,   362,   363,   364,
    995997     365,   366,   367,   368,   369,   370,   371,   372,   373,   374,
    996      375,   376,   377,   378,   379,   380,    61,    60,    62,    43,
    997       45,    47,    91,    93,    94,    44,    59,    38,    58,    42,
    998      381,    40,    41,    96
     998     375,   376,   377,   378,   379,   380,   381,    61,    60,    62,
     999      43,    45,    47,    91,    93,    94,    44,    59,    38,    58,
     1000      42,   382,    40,    41,    96
    9991001};
    10001002# endif
     
    10031005static const yytype_uint8 yyr1[] =
    10041006{
    1005        0,   144,   145,   145,   146,   146,   146,   146,   146,   146,
    1006      146,   147,   147,   147,   147,   147,   147,   147,   147,   148,
    1007      149,   149,   149,   149,   149,   149,   149,   149,   149,   150,
    1008      151,   151,   151,   151,   151,   151,   151,   151,   151,   152,
    1009      152,   153,   153,   153,   153,   153,   153,   153,   153,   153,
    1010      153,   153,   153,   153,   153,   153,   153,   153,   153,   153,
    1011      153,   153,   153,   153,   153,   153,   153,   153,   153,   153,
    1012      153,   153,   153,   153,   154,   153,   155,   156,   157,   157,
    1013      157,   157,   157,   157,   157,   157,   157,   157,   157,   157,
    1014      157,   157,   158,   158,   159,   159,   160,   160,   161,   161,
    1015      161,   161,   161,   161,   161,   161,   161,   161,   162,   163,
    1016      163,   164,   165,   165,   166,   166,   167,   167,   168,   170,
    1017      169,   171,   171,   172,   173,   174,   174,   175,   175,   175,
    1018      175,   175,   175,   175,   175,   175,   175,   175,   175,   175,
    1019      175,   175,   175,   175,   175,   176,   177,   177,   178,   179,
    1020      179,   180,   181,   181,   182,   182,   182,   182,   182,   183,
    1021      184,   185,   185,   185,   186,   186,   187,   187
     1007       0,   145,   146,   146,   147,   147,   147,   147,   147,   147,
     1008     147,   148,   148,   148,   148,   148,   148,   148,   148,   149,
     1009     150,   150,   150,   150,   150,   150,   150,   150,   150,   151,
     1010     152,   152,   152,   152,   152,   152,   152,   152,   152,   153,
     1011     153,   154,   154,   154,   154,   154,   154,   154,   154,   154,
     1012     154,   154,   154,   154,   154,   154,   154,   154,   154,   154,
     1013     154,   154,   154,   154,   154,   154,   154,   154,   154,   154,
     1014     154,   154,   154,   154,   155,   154,   156,   157,   158,   158,
     1015     158,   158,   158,   158,   158,   158,   158,   158,   158,   158,
     1016     158,   158,   159,   159,   160,   160,   161,   161,   162,   162,
     1017     162,   162,   162,   162,   162,   162,   162,   162,   163,   164,
     1018     164,   165,   166,   166,   167,   167,   168,   168,   169,   171,
     1019     170,   172,   172,   173,   174,   175,   175,   176,   176,   176,
     1020     176,   176,   176,   176,   176,   176,   176,   176,   176,   176,
     1021     176,   176,   176,   176,   176,   177,   178,   178,   179,   180,
     1022     180,   181,   182,   182,   183,   183,   183,   183,   183,   184,
     1023     185,   186,   186,   186,   187,   187,   188,   188
    10221024};
    10231025
     
    11001102/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
    11011103   STATE-NUM.  */
    1102 #define YYPACT_NINF -336
     1104#define YYPACT_NINF -335
    11031105static const yytype_int16 yypact[] =
    11041106{
    1105     -336,   277,  -336,  -134,  1241,   -76,   216,  -103,  -336,   104,
    1106     -336,  -336,   -82,   -69,   -52,   -43,   -37,   -34,   -33,   -31,
    1107      837,   888,   951,   -12,  1241,   -99,   216,   -30,  -336,  1241,
    1108     -336,  -336,  -336,  -336,   -81,  -336,  -336,   -67,   -28,   -26,
    1109       43,   -25,  -336,    45,    17,   893,    52,    52,  1241,  1241,
    1110     -336,  1241,  1241,  -336,  -336,  -336,    27,  -336,     9,  -114,
    1111     1661,  1241,  -336,  1241,  -336,  1007,   -53,  -336,  -336,  -336,
    1112     -336,  -336,    24,  -336,   216,  -336,  -336,  1241,  -336,  -336,
    1113     -336,  -336,  -336,  -336,  -336,  -336,  -336,    26,  -103,    28,
    1114       38,    50,    58,  -336,    61,    63,  1241,     0,     9,    77,
    1115     1299,  1241,    15,  1241,  1241,  1241,  1241,  1241,  1241,  1241,
    1116      957,  1241,     9,  1013,     9,  1241,     9,    70,  -336,    72,
    1117       74,  -336,     9,  1738,  1661,    -7,  -336,  -336,  -336,   103,
    1118     1241,   108,  1071,   216,  1661,    83,  -336,  -336,    61,   -45,
    1119     -128,    51,  -336,   216,  1127,  -336,  1241,  1241,  1241,  -336,
    1120     1241,  -336,  1241,  1241,  1241,  1241,  1241,  1241,  1241,  1241,
    1121       71,    72,  1185,     9,  -336,   216,  -336,  -336,   216,     8,
    1122     1661,    96,  1241,  -336,  1241,   490,    84,   296,  1241,   504,
    1123     1353,  1365,   312,   340,  1396,   354,  -336,   -92,   518,  -336,
    1124      -91,   543,  -336,  -336,    78,    79,    80,    90,    93,   101,
    1125      109,  -336,     4,   111,   137,  -336,  1241,   142,   557,  -336,
    1126     -336,   -89,   116,  -336,  -336,  -336,  -336,  -336,   -78,  1661,
    1127     1673,   110,   110,     6,    23,    23,    61,  1338,    -4,  1685,
    1128       23,  1241,  -336,  -336,  -336,   -66,     9,     9,  1299,  1241,
    1129     -336,  1411,  1423,  -336,  1299,  1241,  -336,  1440,  -336,  1241,
    1130     1241,  1241,  -336,  1241,  -336,  1241,  1241,  -336,  -336,  -336,
    1131     -336,  -336,  -336,  -336,  -336,  -336,  -336,  -336,  -336,   760,
    1132     -336,  -336,  -336,   584,   145,   -23,  -336,  -336,  -336,  -336,
    1133     1241,   598,  -336,  1661,   120,  1452,   126,  1241,   124,  1501,
    1134      128,   654,  1588,   693,  1600,   407,   448,   119,   122,   123,
    1135      130,   133,   138,   139,   140,  -336,  -336,  -336,  -336,  1612,
    1136     -336,  1299,  1241,  1241,   -50,  -110,  1241,  1241,  -336,  1241,
    1137     -336,  1241,  1241,  -336,  1241,  -336,  -336,  -336,  -336,  -336,
    1138     -336,  -336,  -336,  -336,  -336,   131,   734,  1637,  -336,  -336,
    1139      159,   143,  -336,   141,   748,  1649,   762,   790,   804,   829,
    1140     -110,  -336,  -336,   144,   146,  1241,  -336,  -336,  -336,  -336,
    1141     -336,  -336,  -336,  -336,   159,  -336,   -48,  -336,  -336
     1107    -335,   277,  -335,  -120,  1242,   891,   215,  -110,  -335,   946,
     1108    -335,  -335,   -78,   -65,   -56,   -53,   -50,   -40,   -36,   -35,
     1109    1006,  1061,  1121,   -27,  1242,  -102,   215,   -29,  -335,  1242,
     1110    -335,  -335,  -335,  -335,    -6,  -335,  -335,   -37,   -22,    -2,
     1111      37,     5,  -335,    42,    11,   897,    58,    58,  1242,  1242,
     1112    -335,  1242,  1242,  -335,  -335,  -335,    63,  -335,    -7,  -115,
     1113    1612,  1242,  -335,  1242,  -335,  1176,   -81,  -335,  -335,  -335,
     1114    -335,  -335,   -21,  -335,   215,  -335,  -335,  1242,  -335,  -335,
     1115    -335,  -335,  -335,  -335,  -335,  -335,  -335,    49,  -110,    65,
     1116      66,    70,    74,  -335,    78,    79,  1242,    16,    -7,    69,
     1117    1297,  1242,    27,  1242,  1242,  1242,  1242,  1242,  1242,  1242,
     1118     952,  1242,    -7,  1012,    -7,  1242,    -7,    68,  -335,    91,
     1119      98,  -335,    -7,  1655,  1612,   -11,  -335,  -335,  -335,   119,
     1120    1242,   128,  1067,   215,  1612,   106,  -335,  -335,    78,   -69,
     1121    -125,     6,  -335,   215,  1127,  -335,  1242,  1242,  1242,  -335,
     1122    1242,  -335,  1242,  1242,  1242,  1242,  1242,  1242,  1242,  1242,
     1123      71,    91,  1182,    -7,  -335,   215,  -335,  -335,   215,   -10,
     1124    1612,    50,  1242,  -335,  1242,   408,   107,    87,  1242,   449,
     1125     845,  1340,   101,   296,  1355,   312,  -335,  -117,   491,  -335,
     1126    -107,   505,  -335,  -335,   102,   103,   108,   109,   110,   111,
     1127     112,  -335,   105,   115,   140,  -335,  1242,   150,   519,  -335,
     1128    -335,   -99,   123,  -335,  -335,  -335,  -335,  -335,   -94,  1612,
     1129    1645,   823,   823,    24,    62,    62,    78,   807,    -5,  1555,
     1130      62,  1242,  -335,  -335,  -335,   -93,    -7,    -7,  1297,  1242,
     1131    -335,  1367,  1395,  -335,  1297,  1242,  -335,  1410,  -335,  1242,
     1132    1242,  1242,  -335,  1242,  -335,  1242,  1242,  -335,  -335,  -335,
     1133    -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,   763,
     1134    -335,  -335,  -335,   545,   151,   -39,  -335,  -335,  -335,  -335,
     1135    1242,   559,  -335,  1612,   129,  1422,   131,  1242,   130,  1439,
     1136     137,   586,  1451,   600,  1500,   340,   354,   132,   136,   138,
     1137     139,   141,   144,   145,   146,  -335,  -335,  -335,  -335,  1512,
     1138    -335,  1297,  1242,  1242,   -85,  -109,  1242,  1242,  -335,  1242,
     1139    -335,  1242,  1242,  -335,  1242,  -335,  -335,  -335,  -335,  -335,
     1140    -335,  -335,  -335,  -335,  -335,   147,   656,  1588,  -335,  -335,
     1141     160,   153,  -335,   158,   696,  1600,   737,   751,   765,   793,
     1142    -109,  -335,  -335,   157,   159,  1242,  -335,  -335,  -335,  -335,
     1143    -335,  -335,  -335,  -335,   160,  -335,   -75,  -335,  -335
    11421144};
    11431145
     
    11451147static const yytype_int16 yypgoto[] =
    11461148{
    1147     -336,  -336,  -336,  -336,  -336,  -336,  -336,    19,    -1,    18,
    1148     -336,  -336,    12,  -336,  -336,   281,     7,   244,   -29,  -234,
    1149     -336,  -335,   -63,   -55,   135,  -336,  -336,  -336,  -336,  -336,
    1150     -336,  -336,  -336,  -336,  -336,  -336,  -336,  -336,  -336,  -336,
    1151     -336,  -336,  -336,  -336
     1149    -335,  -335,  -335,  -335,  -335,  -335,  -335,    19,    -1,    18,
     1150    -335,  -335,    23,  -335,  -335,   274,     7,   262,    54,  -224,
     1151    -335,  -334,   -55,   -42,   142,  -335,  -335,  -335,  -335,  -335,
     1152    -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,
     1153    -335,  -335,  -335,  -335
    11521154};
    11531155
     
    11591161static const yytype_int16 yytable[] =
    11601162{
    1161       59,   339,    86,   149,   284,   353,   151,   146,    65,   120,
    1162      288,   143,   145,   149,   214,   143,   151,   136,   137,   143,
    1163      143,   146,    94,   119,    97,    98,   143,   125,   102,   353,
    1164      149,   340,    30,   151,    31,    32,    33,   121,   100,   112,
    1165      114,   116,   126,   146,   146,   122,   146,   124,   139,    93,
    1166      258,   260,    65,   276,   147,   148,    49,   146,   149,   103,
    1167      150,   151,   161,   134,   278,    96,   138,    52,   149,   146,
    1168      141,   151,   104,   164,   147,   148,   282,   335,   149,   160,
    1169      150,   151,   165,   166,   163,   146,   307,   146,   213,   105,
    1170      146,   308,   338,   169,   368,   170,   117,   118,   106,   147,
    1171      148,   204,   205,   149,   107,   150,   151,   108,   109,   187,
    1172      110,   123,   190,   127,   171,   128,   130,   149,   175,   177,
    1173      151,   179,   180,   181,   182,   183,   184,   185,   156,   188,
    1174      203,   211,   172,   191,   164,   153,   154,   155,   156,   269,
    1175      157,   144,   202,   218,   159,   144,   270,   178,   208,   144,
    1176      144,   129,    98,   131,   155,   156,   144,   157,   132,   168,
    1177       30,   235,   216,   142,   219,   220,   221,    96,   222,   101,
    1178      223,   224,   225,   226,   227,   228,   229,   230,   152,   111,
    1179      153,   154,   155,   156,   236,   157,   173,   237,   158,   159,
    1180      241,   113,   242,   156,   215,   157,   247,   231,   152,   115,
    1181      153,   154,   155,   156,   162,   157,   192,   146,   158,   159,
    1182      193,   207,    30,   232,    31,    32,    33,   209,   165,   244,
    1183      262,   263,   264,   152,   273,   153,   154,   155,   156,    93,
    1184      157,   239,   265,   158,   159,   266,    49,   152,   240,   153,
    1185      154,   155,   156,   267,   157,   101,   272,    52,   159,   281,
    1186      274,   268,   277,   271,   306,   311,   283,   285,   313,   315,
    1187      317,   326,   283,   289,   327,   328,   350,   291,   292,   293,
    1188      339,   294,   329,   295,   296,   330,   304,     2,     3,   364,
    1189      331,   332,   333,   356,   355,     4,   314,    99,   365,   135,
    1190        5,     6,     7,   310,     8,   363,     9,    10,   309,   147,
    1191      148,   367,     0,   149,   238,   150,   151,     0,     0,     0,
    1192        0,     0,     0,     0,     0,   147,   148,    11,     0,   149,
     1163      59,   143,   149,   339,   143,   151,   353,   120,    65,   147,
     1164     148,   146,   145,   149,   284,   150,   151,    86,   214,   146,
     1165     288,   146,    94,   119,    97,    98,   258,   143,   102,   146,
     1166     353,   149,   100,   340,   151,   121,   260,   146,   143,   112,
     1167     114,   116,   146,   146,   276,   122,   164,   124,   139,   278,
     1168     282,   146,    65,   147,   148,   165,   166,   149,   338,   150,
     1169     151,   146,   161,   134,   103,   213,   138,   146,   368,   149,
     1170     141,   307,   151,   126,   147,   148,   308,   104,   149,   160,
     1171     150,   151,   117,   118,   163,   149,   105,   335,   151,   106,
     1172     147,   148,   107,   169,   149,   170,   150,   151,   204,   205,
     1173     136,   137,   108,   125,   147,   148,   109,   110,   149,   187,
     1174     150,   151,   190,   123,   171,   168,   143,   164,   175,   177,
     1175     127,   179,   180,   181,   182,   183,   184,   185,   156,   188,
     1176     203,   211,   144,   191,   152,   144,   153,   154,   155,   156,
     1177     128,   157,   202,   218,   158,   159,   129,   130,   208,   172,
     1178     215,   131,    98,   132,   153,   154,   155,   156,   144,   157,
     1179     178,   235,   216,   159,   219,   220,   221,    30,   222,   144,
     1180     223,   224,   225,   226,   227,   228,   229,   230,   152,   173,
     1181     153,   154,   155,   156,   236,   157,   239,   237,   158,   159,
     1182     241,    96,   242,   240,   155,   156,   247,   157,   231,   152,
     1183     142,   153,   154,   155,   156,   192,   157,   101,   111,   158,
     1184     159,   156,   113,   157,   232,   152,   115,   153,   154,   155,
     1185     156,   162,   157,   245,   273,   158,   159,   146,   207,   152,
     1186     246,   153,   154,   155,   156,   193,   157,   251,   209,   158,
     1187     159,   269,   165,   244,   252,   262,   263,   144,   270,   281,
     1188     272,   264,   265,   266,   267,   268,   283,   285,   271,   274,
     1189     277,   306,   283,   289,   313,   311,   315,   291,   292,   293,
     1190     317,   294,   339,   295,   296,   326,   304,     2,     3,   327,
     1191      99,   328,   329,   350,   330,     4,   314,   331,   332,   333,
     1192       5,     6,     7,   364,     8,   355,     9,    10,   309,   147,
     1193     148,   356,   365,   149,   310,   150,   151,   135,   363,   367,
     1194       0,   238,     0,     0,     0,   147,   148,    11,     0,   149,
    11931195       0,   150,   151,     0,    30,     0,    31,    32,    33,   283,
    11941196     336,   337,     0,     0,   344,   345,     0,   346,     0,   347,
    11951197     348,    93,   349,   147,   148,     0,     0,   149,    49,   150,
    11961198     151,     0,     0,     0,   366,     0,     0,   147,   148,    52,
    1197        0,   149,     0,   150,   151,     0,    12,    13,    14,    15,
    1198       16,    17,    18,    19,    20,    21,    22,    23,    24,    25,
    1199       26,     0,    27,    28,    29,    30,     0,    31,    32,    33,
    1200       34,    35,    36,    37,    38,    39,    40,    41,    42,    43,
    1201       44,    45,    46,     0,    47,     0,     0,    48,     0,    49,
    1202      147,   148,     0,    50,   149,     0,   150,   151,    51,     0,
    1203       52,     0,     0,   152,     0,   153,   154,   155,   156,     0,
    1204      157,   245,     0,   158,   159,     0,     0,     0,   246,   152,
    1205        0,   153,   154,   155,   156,     0,   157,   251,     0,   158,
    1206      159,   147,   148,     0,   252,   149,     0,   150,   151,     0,
     1199       0,   149,     0,   150,   151,     0,     0,    12,    13,    14,
     1200      15,    16,    17,    18,    19,    20,    21,    22,    23,    24,
     1201      25,    26,     0,    27,    28,    29,    30,     0,    31,    32,
     1202      33,    34,    35,    36,    37,    38,    39,    40,    41,    42,
     1203      43,    44,    45,    46,     0,    47,     0,     0,    48,     0,
     1204      49,   147,   148,     0,    50,   149,     0,   150,   151,    51,
     1205       0,    52,     0,     0,   152,     0,   153,   154,   155,   156,
     1206       0,   157,   253,     0,   158,   159,     0,     0,     0,   254,
     1207     152,     0,   153,   154,   155,   156,     0,   157,   256,     0,
     1208     158,   159,   147,   148,     0,   257,   149,     0,   150,   151,
     1209       0,     0,     0,     0,     0,     0,     0,     0,   152,     0,
     1210     153,   154,   155,   156,     0,   157,   322,     0,   158,   159,
     1211       0,     0,   152,   323,   153,   154,   155,   156,     0,   157,
     1212     324,     0,   158,   159,   147,   148,     0,   325,   149,     0,
     1213     150,   151,     0,     0,     0,     0,     0,     0,   147,   148,
     1214       0,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1215       0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
     1216       0,     0,     0,     0,     0,     0,   152,     0,   153,   154,
     1217     155,   156,     0,   157,     0,     0,   158,   159,   147,   148,
     1218       0,   243,   149,     0,   150,   151,     0,     0,     0,     0,
     1219       0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
    12071220       0,     0,     0,     0,     0,     0,     0,   152,     0,   153,
    1208      154,   155,   156,     0,   157,   253,     0,   158,   159,     0,
    1209        0,   152,   254,   153,   154,   155,   156,     0,   157,   256,
    1210        0,   158,   159,   147,   148,     0,   257,   149,     0,   150,
    1211      151,     0,     0,     0,     0,     0,     0,   147,   148,     0,
    1212        0,   149,     0,   150,   151,     0,     0,     0,     0,     0,
    1213        0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
     1221     154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
     1222     148,     0,   248,   149,     0,   150,   151,     0,     0,     0,
     1223       0,     0,     0,   147,   148,     0,     0,   149,     0,   150,
     1224     151,     0,     0,     0,     0,     0,     0,     0,     0,   152,
     1225       0,   153,   154,   155,   156,     0,   157,     0,     0,   158,
     1226     159,     0,     0,   152,   259,   153,   154,   155,   156,     0,
     1227     157,     0,     0,   158,   159,     0,     0,   152,   261,   153,
     1228     154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
     1229     148,     0,   275,   149,     0,   150,   151,     0,     0,     0,
     1230       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
     1231     157,     0,     0,   158,   159,     0,     0,   152,   305,   153,
     1232     154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
     1233     148,     0,   232,   149,     0,   150,   151,     0,     0,     0,
    12141234       0,     0,     0,     0,   152,     0,   153,   154,   155,   156,
    1215        0,   157,   322,     0,   158,   159,   147,   148,     0,   323,
     1235       0,   157,     0,     0,   158,   159,     0,     0,   152,   318,
     1236     153,   154,   155,   156,     0,   157,     0,     0,   158,   159,
     1237     147,   148,     0,   320,   149,     0,   150,   151,     0,     0,
     1238       0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
     1239     150,   151,     0,     0,     0,     0,     0,     0,   147,   148,
     1240       0,     0,   149,     0,   150,   151,   297,   298,   299,     0,
     1241       8,     0,   300,    10,   152,     0,   153,   154,   155,   156,
     1242       0,   157,     0,     0,   158,   159,   147,   148,     0,   351,
    12161243     149,     0,   150,   151,     0,     0,     0,     0,     0,     0,
    12171244     147,   148,     0,     0,   149,     0,   150,   151,     0,     0,
    1218        0,     0,     0,     0,     0,   152,     0,   153,   154,   155,
    1219      156,     0,   157,   324,     0,   158,   159,   147,   148,     0,
    1220      325,   149,     0,   150,   151,     0,     0,     0,     0,     0,
    1221        0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
    1222        0,     0,     0,     0,     0,     0,     0,   152,     0,   153,
    1223      154,   155,   156,     0,   157,     0,     0,   158,   159,     0,
    1224        0,   152,   243,   153,   154,   155,   156,     0,   157,     0,
    1225        0,   158,   159,     0,     0,   152,   248,   153,   154,   155,
    1226      156,     0,   157,     0,     0,   158,   159,   147,   148,     0,
    1227      259,   149,     0,   150,   151,     0,     0,     0,     0,     0,
    1228      152,     0,   153,   154,   155,   156,     0,   157,     0,     0,
    1229      158,   159,     0,     0,   152,   261,   153,   154,   155,   156,
    1230        0,   157,     0,     0,   158,   159,   147,   148,     0,   275,
    1231      149,     0,   150,   151,     0,     0,     0,     0,     0,     0,
     1245       0,     0,     0,     0,   152,     0,   153,   154,   155,   156,
     1246     149,   157,     0,   151,   158,   159,     0,     0,     0,   357,
     1247       0,     0,     0,     0,     0,     0,     0,     0,   147,   148,
     1248       0,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1249       0,   301,   302,   303,     0,   152,     0,   153,   154,   155,
     1250     156,     0,   157,     0,     0,   158,   159,     0,     0,   152,
     1251     359,   153,   154,   155,   156,     0,   157,     0,     0,   158,
     1252     159,     0,     0,   152,   360,   153,   154,   155,   156,     0,
     1253     157,     0,     0,   158,   159,     4,     0,     0,   361,     0,
     1254       5,   133,    88,     0,     8,     0,     9,    10,     0,     0,
    12321255       0,   152,     0,   153,   154,   155,   156,     0,   157,     0,
    1233        0,   158,   159,     0,     0,   152,   305,   153,   154,   155,
    1234      156,     0,   157,     0,     0,   158,   159,   147,   148,     0,
    1235      232,   149,     0,   150,   151,     0,     0,     0,     0,     0,
    1236        0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
    1237        0,     0,     0,     0,     0,   147,   148,     0,     0,   149,
    1238        0,   150,   151,   297,   298,   299,     0,     8,     0,   300,
    1239       10,   152,     0,   153,   154,   155,   156,     0,   157,     0,
    1240        0,   158,   159,   147,   148,     0,   318,   149,     0,   150,
    1241      151,     0,     0,     0,     0,     0,     0,   147,   148,     0,
    1242        0,   149,     0,   150,   151,     0,     0,     0,     0,     0,
    1243      152,     0,   153,   154,   155,   156,     0,   157,     0,     0,
    1244      158,   159,   147,   148,     0,   320,   149,     0,   150,   151,
    1245        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1246        0,     0,     0,     0,     0,     0,     0,   301,   302,   303,
     1256       0,   158,   159,     0,     0,   152,   362,   153,   154,   155,
     1257     156,   279,   157,   280,     0,   158,   159,     0,     0,     0,
    12471258       0,   152,     0,   153,   154,   155,   156,     0,   157,     0,
    1248        0,   158,   159,     0,     0,   152,   351,   153,   154,   155,
    1249      156,     0,   157,     0,     0,   158,   159,     0,     0,   152,
    1250      357,   153,   154,   155,   156,     0,   157,     0,     0,   158,
    1251      159,     4,     0,     0,   359,     0,     5,   133,    88,     0,
    1252        8,     0,     9,    10,     0,     0,     0,   152,     0,   153,
    1253      154,   155,   156,     0,   157,     0,     0,   158,   159,     0,
    1254        0,   152,   360,   153,   154,   155,   156,     0,   157,     0,
    1255        0,   158,   159,     0,     0,    30,   361,    31,    32,    33,
    1256        0,     0,     0,     0,     0,     0,   152,     0,   153,   154,
    1257      155,   156,    93,   157,     0,     4,   158,   159,     0,    49,
    1258       87,   362,    88,     0,     8,     0,    89,    10,   111,     0,
    1259       52,     0,    12,    13,    14,    15,    16,    17,    18,    19,
    1260       20,    21,    22,     0,     0,     0,    30,     0,    31,    32,
    1261       33,    30,     0,    31,    32,    33,     0,     0,     0,     0,
    1262       38,    39,     0,    93,     0,     0,     0,     0,    93,     0,
    1263       49,     4,     0,    48,     0,    49,    87,     0,    88,   113,
    1264        8,    52,    89,    10,    51,     0,    52,     0,     0,     0,
    1265        0,     0,     0,     0,     0,     0,    12,    13,    14,    15,
    1266       16,    17,    18,    19,    90,    91,    92,     0,     0,    30,
    1267        0,    31,    32,    33,     0,    30,     0,    31,    32,    33,
    1268        0,     0,     0,     0,    38,    39,    93,     0,     0,     4,
    1269        0,     0,    93,    49,    87,     0,    88,    48,     8,    49,
    1270       89,    10,   115,     0,    52,     0,     0,     0,    51,   186,
    1271       52,     0,    12,    13,    14,    15,    16,    17,    18,    19,
     1259       4,     0,   159,     0,     0,    87,     0,    88,     0,     8,
     1260       0,    89,    10,   152,     0,   153,   154,   155,   156,     0,
     1261     157,   249,     0,   158,   159,     0,     0,    12,    13,    14,
     1262      15,    16,    17,    18,    19,    20,    21,    22,     0,     0,
     1263      30,     0,    31,    32,    33,     0,    30,     0,    31,    32,
     1264      33,     0,     0,     0,     0,    38,    39,    93,     0,     0,
     1265       4,     0,     0,    93,    49,    87,     0,    88,    48,     8,
     1266      49,    89,    10,    96,     0,    52,     0,     0,     0,    51,
     1267       0,    52,    12,    13,    14,    15,    16,    17,    18,    19,
     1268      90,    91,    92,     0,     0,    30,     0,    31,    32,    33,
     1269       0,    30,     0,    31,    32,    33,     0,     0,     0,     0,
     1270      38,    39,    93,     0,     0,     4,     0,     0,    93,    49,
     1271      87,     0,    88,    48,     8,    49,    89,    10,   101,     0,
     1272      52,     0,     0,     0,    51,   186,    52,     0,     0,     0,
     1273       0,     0,    12,    13,    14,    15,    16,    17,    18,    19,
     1274      90,    91,    92,     0,     0,    30,     0,    31,    32,    33,
     1275       0,    30,     0,    31,    32,    33,     0,     0,     0,     0,
     1276      38,    39,    93,     0,     0,     4,     0,     0,    93,    49,
     1277      87,     0,    88,    48,     8,    49,    89,    10,   111,     0,
     1278      52,     0,     0,     0,    51,   189,    52,    12,    13,    14,
     1279      15,    16,    17,    18,    19,    90,    91,    92,     0,     0,
     1280      30,     0,    31,    32,    33,     0,    30,     0,    31,    32,
     1281      33,     0,     0,     0,     0,    38,    39,    93,     0,     0,
     1282       4,     0,     0,    93,    49,    87,     0,    88,    48,     8,
     1283      49,    89,    10,   113,     0,    52,     0,     0,     0,    51,
     1284     210,    52,     0,     0,     0,     0,     0,    12,    13,    14,
     1285      15,    16,    17,    18,    19,    90,    91,    92,     0,     0,
     1286      30,     0,    31,    32,    33,     0,    30,     0,    31,    32,
     1287      33,     0,     0,     0,     0,    38,    39,    93,     0,     0,
     1288       4,     0,     0,    93,    49,    87,     0,    88,    48,     8,
     1289      49,    89,    10,   115,     0,    52,     0,     0,     0,    51,
     1290     217,    52,    12,    13,    14,    15,    16,    17,    18,    19,
    12721291      90,    91,    92,     0,     0,    30,     0,    31,    32,    33,
    12731292       0,    30,     0,    31,    32,    33,     0,     0,     0,     0,
    12741293      38,    39,    93,     0,     0,     4,     0,     0,    93,    49,
    12751294      87,     0,    88,    48,     8,    49,    89,    10,   162,     0,
    1276       52,     0,     0,     0,    51,   189,    52,     0,     0,     0,
    1277       12,    13,    14,    15,    16,    17,    18,    19,    90,    91,
    1278       92,     0,     0,     0,     0,     0,     0,     0,     0,    30,
    1279        0,    31,    32,    33,     0,     0,     0,     0,    38,    39,
    1280        0,     0,     0,     4,     0,     0,    93,     0,    87,     0,
    1281       88,    48,     8,    49,    89,    10,     0,     0,     0,     0,
    1282        0,     0,    51,   210,    52,     0,    12,    13,    14,    15,
    1283       16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
    1284        0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
    1285        0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
    1286        0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
    1287       89,    10,     0,     0,     0,     0,     0,     0,    51,   217,
    1288       52,     0,     0,     0,    12,    13,    14,    15,    16,    17,
    1289       18,    19,    90,    91,    92,     0,     0,     0,     0,     0,
    1290        0,     0,     0,    30,     0,    31,    32,    33,     0,     0,
    1291        0,     0,    38,    39,     0,     0,     0,     4,     0,     0,
    1292       93,     0,    87,     0,    88,    48,     8,    49,    89,    10,
    1293        0,     0,     0,     0,     0,     0,    51,   234,    52,     0,
    1294       12,    13,    14,    15,    16,    17,    18,    19,    90,    91,
    1295       92,   147,   148,     0,     0,   149,     0,   150,   151,    30,
    1296        0,    31,    32,    33,     0,     0,   147,   148,    38,    39,
    1297      149,     0,   150,   151,     0,     0,    93,     0,   147,   148,
    1298        0,    48,   149,    49,   150,   151,     0,     0,     0,     0,
    1299        0,     0,    51,     0,    52,     0,     0,     0,    12,    13,
    1300       14,    15,    16,    17,    18,    19,    90,    91,    92,   147,
    1301      148,     0,     0,   149,     0,   150,   151,    30,     0,    31,
    1302       32,    33,     0,     0,   147,   148,    38,    39,   149,     0,
    1303      150,   151,     0,     0,    93,     0,   147,   148,     0,    48,
    1304      149,    49,   150,   151,     0,     0,     0,     0,     0,     0,
    1305      174,     0,    52,   147,   148,     0,     0,   149,     0,   150,
     1295      52,     0,     0,     0,    51,   234,    52,     0,     0,     0,
     1296       0,     0,    12,    13,    14,    15,    16,    17,    18,    19,
     1297      90,    91,    92,   147,   148,     0,     0,   149,     0,   150,
     1298     151,    30,     0,    31,    32,    33,     0,     0,   147,   148,
     1299      38,    39,   149,     0,   150,   151,     0,     0,    93,     0,
     1300     147,   148,     0,    48,   149,    49,   150,   151,     0,     0,
     1301       0,     0,     0,     0,    51,     0,    52,    12,    13,    14,
     1302      15,    16,    17,    18,    19,    90,    91,    92,   147,   148,
     1303       0,     0,   149,     0,   150,   151,    30,     0,    31,    32,
     1304      33,     0,     0,   147,   148,    38,    39,   149,     0,   150,
     1305     151,     0,     0,    93,     0,   147,   148,     0,    48,   149,
     1306      49,   150,   151,     0,     0,     0,     0,     0,     0,   174,
     1307       0,    52,   147,   148,     0,     0,   149,     0,   150,   151,
     1308       0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
     1309     150,   151,     0,     0,     0,     0,     0,     0,   152,     0,
     1310     153,   154,   155,   156,     0,   157,   250,     0,   158,   159,
     1311       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
     1312     157,   255,     0,   158,   159,   152,     0,   153,   154,   155,
     1313     156,   286,   157,   147,   148,   158,   159,   149,     0,   150,
    13061314     151,     0,     0,     0,     0,   147,   148,     0,     0,   149,
    1307        0,   150,   151,     0,     0,   152,     0,   153,   154,   155,
    1308      156,   279,   157,   280,     0,   158,   159,     0,     0,     0,
    1309      152,     0,   153,   154,   155,   156,     0,   157,   249,     0,
    1310      158,   159,   152,     0,   153,   154,   155,   156,     0,   157,
    1311      250,     0,   158,   159,   147,   148,     0,     0,   149,     0,
    1312      150,   151,     0,     0,     0,     0,     0,     0,     0,     0,
    1313        0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
    1314      157,   255,     0,   158,   159,     0,     0,     0,   152,     0,
    1315      153,   154,   155,   156,   286,   157,     0,     0,   158,   159,
    1316      152,     0,   153,   154,   155,   156,     0,   157,   287,     0,
    1317      158,   159,     0,     0,     0,     0,     0,   152,     0,   153,
    1318      154,   155,   156,   290,   157,     0,     0,   158,   159,   152,
    1319        0,   153,   154,   155,   156,     0,   157,   312,     0,   158,
     1315       0,   150,   151,   152,     0,   153,   154,   155,   156,     0,
     1316     157,   287,     0,   158,   159,     0,     0,     0,   152,     0,
     1317     153,   154,   155,   156,   290,   157,     0,     0,   158,   159,
     1318     152,     0,   153,   154,   155,   156,     0,   157,   312,   148,
     1319     158,   159,   149,     0,   150,   151,     0,   152,     0,   153,
     1320     154,   155,   156,     0,   157,   316,     0,   158,   159,   152,
     1321       0,   153,   154,   155,   156,     0,   157,   319,     0,   158,
    13201322     159,   147,   148,     0,     0,   149,     0,   150,   151,     0,
    13211323       0,     0,     0,   147,   148,     0,     0,   149,     0,   150,
    13221324     151,     0,     0,     0,     0,   147,   148,     0,     0,   149,
    13231325       0,   150,   151,     0,     0,     0,     0,     0,   152,     0,
    1324      153,   154,   155,   156,     0,   157,   316,     0,   158,   159,
    1325      147,   148,     0,     0,   149,     0,   150,   151,     0,     0,
    1326        0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
    1327        0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
    1328      150,   151,     0,     0,     0,     0,    -1,   148,     0,     0,
    1329      149,     0,   150,   151,     0,     0,     0,     0,     0,   148,
    1330        0,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1326     153,   154,   155,   156,     0,   157,   321,     0,   158,   159,
     1327     152,     0,   153,   154,   155,   156,   334,   157,    -1,   148,
     1328     158,   159,   149,     0,   150,   151,     0,     0,     0,     0,
     1329       0,     0,     0,     0,     0,     0,     0,     0,   194,   195,
     1330     196,     0,     8,     0,   197,    10,     0,     0,     0,     0,
     1331       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
     1332     157,     0,     0,     0,   159,     0,     0,     0,     0,     0,
    13311333       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1332        0,     0,     0,     0,     0,   152,     0,   153,   154,   155,
    1333      156,     0,   157,   319,     0,   158,   159,   152,     0,   153,
    1334      154,   155,   156,     0,   157,   321,     0,   158,   159,   152,
    1335        0,   153,   154,   155,   156,   334,   157,     0,     0,   158,
    1336      159,   194,   195,   196,     0,     8,     0,   197,    10,     0,
    1337        0,     0,     0,     0,   152,     0,   153,   154,   155,   156,
    1338      352,   157,     0,     0,   158,   159,   152,     0,   153,   154,
    1339      155,   156,   358,   157,     0,     0,   158,   159,   152,     0,
    1340      153,   154,   155,   156,     0,   157,     0,     0,   158,   159,
     1334       0,     0,     0,     0,     0,     0,   152,     0,   153,   154,
     1335     155,   156,   352,   157,     0,     0,   158,   159,   152,     0,
     1336     153,   154,   155,   156,   358,   157,     0,     0,   158,   159,
    13411337     152,     0,   153,   154,   155,   156,     0,   157,     0,     0,
    1342      158,   159,   152,     0,   153,   154,   155,   156,     0,   157,
    1343        0,     0,     0,   159,     0,     0,     0,     0,     0,     0,
    1344        0,     0,     0,     0,     0,   198,   199,   200,     0,     0,
    1345        0,     0,     0,     0,     0,     0,    30,     0,    31,    32,
    1346       33,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1347        0,     0,     0,    93,     0,     0,     0,     0,     0,     0,
    1348       49,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1349      201,    52
     1338     158,   159,     0,   198,   199,   200,     0,     0,     0,     0,
     1339       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1340       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
     1341     157,    93,     0,   158,   159,     0,     0,     0,    49,     0,
     1342       0,     0,     0,     0,     0,     0,     0,     0,   201,    52
    13501343};
    13511344
    13521345static const yytype_int16 yycheck[] =
    13531346{
    1354        1,   111,   136,     7,   238,   340,    10,   135,     1,   108,
    1355      244,    11,   126,     7,   142,    11,    10,    46,    47,    11,
    1356       11,   135,     4,    24,     5,     6,    11,   108,     9,   364,
    1357        7,   141,   108,    10,   110,   111,   112,   136,   141,    20,
    1358       21,    22,   109,   135,   135,    26,   135,    29,    49,   125,
    1359      142,   142,    45,   142,     3,     4,   132,   135,     7,   141,
    1360        9,    10,    63,    45,   142,   141,    48,   143,     7,   135,
    1361       52,    10,   141,   126,     3,     4,   142,   311,     7,    61,
    1362        9,    10,   135,   136,    65,   135,   109,   135,   133,   141,
    1363      135,   114,   142,    74,   142,    77,   108,   109,   141,     3,
    1364        4,   108,   109,     7,   141,     9,    10,   141,   141,   110,
    1365      141,   141,   113,   141,    96,   141,   141,     7,   100,   101,
    1366       10,   103,   104,   105,   106,   107,   108,   109,   132,   111,
    1367      123,   132,   132,   115,   126,   129,   130,   131,   132,   135,
    1368      134,   141,   123,   144,   138,   141,   142,   132,   130,   141,
    1369      141,   108,   133,   108,   131,   132,   141,   134,   141,   135,
    1370      108,   162,   143,   136,   146,   147,   148,   141,   150,   141,
    1371      152,   153,   154,   155,   156,   157,   158,   159,   127,   141,
    1372      129,   130,   131,   132,   165,   134,   109,   168,   137,   138,
    1373      172,   141,   174,   132,   143,   134,   178,   126,   127,   141,
    1374      129,   130,   131,   132,   141,   134,   136,   135,   137,   138,
    1375      136,   108,   108,   142,   110,   111,   112,   109,   135,   135,
    1376      142,   142,   142,   127,   206,   129,   130,   131,   132,   125,
    1377      134,   135,   142,   137,   138,   142,   132,   127,   142,   129,
    1378      130,   131,   132,   142,   134,   141,   109,   143,   138,   231,
    1379      108,   142,   136,   142,   109,   135,   238,   239,   132,   135,
    1380      132,   142,   244,   245,   142,   142,   135,   249,   250,   251,
    1381      111,   253,   142,   255,   256,   142,   269,     0,     1,   135,
    1382      142,   142,   142,   142,   141,     8,   287,     6,   142,    45,
    1383       13,    14,    15,   281,    17,   350,    19,    20,   280,     3,
    1384        4,   364,    -1,     7,   169,     9,    10,    -1,    -1,    -1,
    1385       -1,    -1,    -1,    -1,    -1,     3,     4,    40,    -1,     7,
    1386       -1,     9,    10,    -1,   108,    -1,   110,   111,   112,   311,
     1347       1,    11,     7,   112,    11,    10,   340,   109,     1,     3,
     1348       4,   136,   127,     7,   238,     9,    10,   137,   143,   136,
     1349     244,   136,     4,    24,     5,     6,   143,    11,     9,   136,
     1350     364,     7,   142,   142,    10,   137,   143,   136,    11,    20,
     1351      21,    22,   136,   136,   143,    26,   127,    29,    49,   143,
     1352     143,   136,    45,     3,     4,   136,   137,     7,   143,     9,
     1353      10,   136,    63,    45,   142,   134,    48,   136,   143,     7,
     1354      52,   110,    10,   110,     3,     4,   115,   142,     7,    61,
     1355       9,    10,   109,   110,    65,     7,   142,   311,    10,   142,
     1356       3,     4,   142,    74,     7,    77,     9,    10,   109,   110,
     1357      46,    47,   142,   109,     3,     4,   142,   142,     7,   110,
     1358       9,    10,   113,   142,    96,   136,    11,   127,   100,   101,
     1359     142,   103,   104,   105,   106,   107,   108,   109,   133,   111,
     1360     123,   132,   142,   115,   128,   142,   130,   131,   132,   133,
     1361     142,   135,   123,   144,   138,   139,   109,   142,   130,   133,
     1362     144,   109,   133,   142,   130,   131,   132,   133,   142,   135,
     1363     133,   162,   143,   139,   146,   147,   148,   109,   150,   142,
     1364     152,   153,   154,   155,   156,   157,   158,   159,   128,   110,
     1365     130,   131,   132,   133,   165,   135,   136,   168,   138,   139,
     1366     172,   142,   174,   143,   132,   133,   178,   135,   127,   128,
     1367     137,   130,   131,   132,   133,   137,   135,   142,   142,   138,
     1368     139,   133,   142,   135,   143,   128,   142,   130,   131,   132,
     1369     133,   142,   135,   136,   206,   138,   139,   136,   109,   128,
     1370     143,   130,   131,   132,   133,   137,   135,   136,   110,   138,
     1371     139,   136,   136,   136,   143,   143,   143,   142,   143,   231,
     1372     110,   143,   143,   143,   143,   143,   238,   239,   143,   109,
     1373     137,   110,   244,   245,   133,   136,   136,   249,   250,   251,
     1374     133,   253,   112,   255,   256,   143,   269,     0,     1,   143,
     1375       6,   143,   143,   136,   143,     8,   287,   143,   143,   143,
     1376      13,    14,    15,   136,    17,   142,    19,    20,   280,     3,
     1377       4,   143,   143,     7,   281,     9,    10,    45,   350,   364,
     1378      -1,   169,    -1,    -1,    -1,     3,     4,    40,    -1,     7,
     1379      -1,     9,    10,    -1,   109,    -1,   111,   112,   113,   311,
    13871380     312,   313,    -1,    -1,   316,   317,    -1,   319,    -1,   321,
    1388      322,   125,   324,     3,     4,    -1,    -1,     7,   132,     9,
    1389       10,    -1,    -1,    -1,   355,    -1,    -1,     3,     4,   143,
    1390       -1,     7,    -1,     9,    10,    -1,    89,    90,    91,    92,
     1381     322,   126,   324,     3,     4,    -1,    -1,     7,   133,     9,
     1382      10,    -1,    -1,    -1,   355,    -1,    -1,     3,     4,   144,
     1383      -1,     7,    -1,     9,    10,    -1,    -1,    90,    91,    92,
    13911384      93,    94,    95,    96,    97,    98,    99,   100,   101,   102,
    1392      103,    -1,   105,   106,   107,   108,    -1,   110,   111,   112,
     1385     103,   104,    -1,   106,   107,   108,   109,    -1,   111,   112,
    13931386     113,   114,   115,   116,   117,   118,   119,   120,   121,   122,
    1394      123,   124,   125,    -1,   127,    -1,    -1,   130,    -1,   132,
    1395        3,     4,    -1,   136,     7,    -1,     9,    10,   141,    -1,
    1396      143,    -1,    -1,   127,    -1,   129,   130,   131,   132,    -1,
    1397      134,   135,    -1,   137,   138,    -1,    -1,    -1,   142,   127,
    1398       -1,   129,   130,   131,   132,    -1,   134,   135,    -1,   137,
    1399      138,     3,     4,    -1,   142,     7,    -1,     9,    10,    -1,
    1400       -1,    -1,    -1,    -1,    -1,    -1,    -1,   127,    -1,   129,
    1401      130,   131,   132,    -1,   134,   135,    -1,   137,   138,    -1,
    1402       -1,   127,   142,   129,   130,   131,   132,    -1,   134,   135,
    1403       -1,   137,   138,     3,     4,    -1,   142,     7,    -1,     9,
    1404       10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,
    1405       -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    1406       -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    1407       -1,    -1,    -1,    -1,   127,    -1,   129,   130,   131,   132,
    1408       -1,   134,   135,    -1,   137,   138,     3,     4,    -1,   142,
     1387     123,   124,   125,   126,    -1,   128,    -1,    -1,   131,    -1,
     1388     133,     3,     4,    -1,   137,     7,    -1,     9,    10,   142,
     1389      -1,   144,    -1,    -1,   128,    -1,   130,   131,   132,   133,
     1390      -1,   135,   136,    -1,   138,   139,    -1,    -1,    -1,   143,
     1391     128,    -1,   130,   131,   132,   133,    -1,   135,   136,    -1,
     1392     138,   139,     3,     4,    -1,   143,     7,    -1,     9,    10,
     1393      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,
     1394     130,   131,   132,   133,    -1,   135,   136,    -1,   138,   139,
     1395      -1,    -1,   128,   143,   130,   131,   132,   133,    -1,   135,
     1396     136,    -1,   138,   139,     3,     4,    -1,   143,     7,    -1,
     1397       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
     1398      -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1399      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1400      -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,   131,
     1401     132,   133,    -1,   135,    -1,    -1,   138,   139,     3,     4,
     1402      -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1403      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1404      -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,
     1405     131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
     1406       4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
     1407      -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
     1408      10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,
     1409      -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,   138,
     1410     139,    -1,    -1,   128,   143,   130,   131,   132,   133,    -1,
     1411     135,    -1,    -1,   138,   139,    -1,    -1,   128,   143,   130,
     1412     131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
     1413       4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
     1414      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1415     135,    -1,    -1,   138,   139,    -1,    -1,   128,   143,   130,
     1416     131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
     1417       4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
     1418      -1,    -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,
     1419      -1,   135,    -1,    -1,   138,   139,    -1,    -1,   128,   143,
     1420     130,   131,   132,   133,    -1,   135,    -1,    -1,   138,   139,
     1421       3,     4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,
     1422      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1423       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
     1424      -1,    -1,     7,    -1,     9,    10,    13,    14,    15,    -1,
     1425      17,    -1,    19,    20,   128,    -1,   130,   131,   132,   133,
     1426      -1,   135,    -1,    -1,   138,   139,     3,     4,    -1,   143,
    14091427       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    14101428       3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
    1411       -1,    -1,    -1,    -1,    -1,   127,    -1,   129,   130,   131,
    1412      132,    -1,   134,   135,    -1,   137,   138,     3,     4,    -1,
    1413      142,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    1414       -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    1415       -1,    -1,    -1,    -1,    -1,    -1,    -1,   127,    -1,   129,
    1416      130,   131,   132,    -1,   134,    -1,    -1,   137,   138,    -1,
    1417       -1,   127,   142,   129,   130,   131,   132,    -1,   134,    -1,
    1418       -1,   137,   138,    -1,    -1,   127,   142,   129,   130,   131,
    1419      132,    -1,   134,    -1,    -1,   137,   138,     3,     4,    -1,
    1420      142,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    1421      127,    -1,   129,   130,   131,   132,    -1,   134,    -1,    -1,
    1422      137,   138,    -1,    -1,   127,   142,   129,   130,   131,   132,
    1423       -1,   134,    -1,    -1,   137,   138,     3,     4,    -1,   142,
    1424        7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    1425       -1,   127,    -1,   129,   130,   131,   132,    -1,   134,    -1,
    1426       -1,   137,   138,    -1,    -1,   127,   142,   129,   130,   131,
    1427      132,    -1,   134,    -1,    -1,   137,   138,     3,     4,    -1,
    1428      142,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    1429       -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    1430       -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    1431       -1,     9,    10,    13,    14,    15,    -1,    17,    -1,    19,
    1432       20,   127,    -1,   129,   130,   131,   132,    -1,   134,    -1,
    1433       -1,   137,   138,     3,     4,    -1,   142,     7,    -1,     9,
    1434       10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,
    1435       -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    1436      127,    -1,   129,   130,   131,   132,    -1,   134,    -1,    -1,
    1437      137,   138,     3,     4,    -1,   142,     7,    -1,     9,    10,
    1438       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1439       -1,    -1,    -1,    -1,    -1,    -1,    -1,    97,    98,    99,
    1440       -1,   127,    -1,   129,   130,   131,   132,    -1,   134,    -1,
    1441       -1,   137,   138,    -1,    -1,   127,   142,   129,   130,   131,
    1442      132,    -1,   134,    -1,    -1,   137,   138,    -1,    -1,   127,
    1443      142,   129,   130,   131,   132,    -1,   134,    -1,    -1,   137,
    1444      138,     8,    -1,    -1,   142,    -1,    13,    14,    15,    -1,
    1445       17,    -1,    19,    20,    -1,    -1,    -1,   127,    -1,   129,
    1446      130,   131,   132,    -1,   134,    -1,    -1,   137,   138,    -1,
    1447       -1,   127,   142,   129,   130,   131,   132,    -1,   134,    -1,
    1448       -1,   137,   138,    -1,    -1,   108,   142,   110,   111,   112,
    1449       -1,    -1,    -1,    -1,    -1,    -1,   127,    -1,   129,   130,
    1450      131,   132,   125,   134,    -1,     8,   137,   138,    -1,   132,
    1451       13,   142,    15,    -1,    17,    -1,    19,    20,   141,    -1,
    1452      143,    -1,    89,    90,    91,    92,    93,    94,    95,    96,
    1453       97,    98,    99,    -1,    -1,    -1,   108,    -1,   110,   111,
    1454      112,   108,    -1,   110,   111,   112,    -1,    -1,    -1,    -1,
    1455      117,   118,    -1,   125,    -1,    -1,    -1,    -1,   125,    -1,
    1456      132,     8,    -1,   130,    -1,   132,    13,    -1,    15,   141,
    1457       17,   143,    19,    20,   141,    -1,   143,    -1,    -1,    -1,
    1458       -1,    -1,    -1,    -1,    -1,    -1,    89,    90,    91,    92,
    1459       93,    94,    95,    96,    97,    98,    99,    -1,    -1,   108,
    1460       -1,   110,   111,   112,    -1,   108,    -1,   110,   111,   112,
    1461       -1,    -1,    -1,    -1,   117,   118,   125,    -1,    -1,     8,
    1462       -1,    -1,   125,   132,    13,    -1,    15,   130,    17,   132,
    1463       19,    20,   141,    -1,   143,    -1,    -1,    -1,   141,   142,
    1464      143,    -1,    89,    90,    91,    92,    93,    94,    95,    96,
    1465       97,    98,    99,    -1,    -1,   108,    -1,   110,   111,   112,
    1466       -1,   108,    -1,   110,   111,   112,    -1,    -1,    -1,    -1,
    1467      117,   118,   125,    -1,    -1,     8,    -1,    -1,   125,   132,
    1468       13,    -1,    15,   130,    17,   132,    19,    20,   141,    -1,
    1469      143,    -1,    -1,    -1,   141,   142,   143,    -1,    -1,    -1,
    1470       89,    90,    91,    92,    93,    94,    95,    96,    97,    98,
    1471       99,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   108,
    1472       -1,   110,   111,   112,    -1,    -1,    -1,    -1,   117,   118,
    1473       -1,    -1,    -1,     8,    -1,    -1,   125,    -1,    13,    -1,
    1474       15,   130,    17,   132,    19,    20,    -1,    -1,    -1,    -1,
    1475       -1,    -1,   141,   142,   143,    -1,    89,    90,    91,    92,
    1476       93,    94,    95,    96,    97,    98,    99,    -1,    -1,    -1,
    1477       -1,    -1,    -1,    -1,    -1,   108,    -1,   110,   111,   112,
    1478       -1,    -1,    -1,    -1,   117,   118,    -1,    -1,    -1,     8,
    1479       -1,    -1,   125,    -1,    13,    -1,    15,   130,    17,   132,
    1480       19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   141,   142,
    1481      143,    -1,    -1,    -1,    89,    90,    91,    92,    93,    94,
    1482       95,    96,    97,    98,    99,    -1,    -1,    -1,    -1,    -1,
    1483       -1,    -1,    -1,   108,    -1,   110,   111,   112,    -1,    -1,
    1484       -1,    -1,   117,   118,    -1,    -1,    -1,     8,    -1,    -1,
    1485      125,    -1,    13,    -1,    15,   130,    17,   132,    19,    20,
    1486       -1,    -1,    -1,    -1,    -1,    -1,   141,   142,   143,    -1,
    1487       89,    90,    91,    92,    93,    94,    95,    96,    97,    98,
    1488       99,     3,     4,    -1,    -1,     7,    -1,     9,    10,   108,
    1489       -1,   110,   111,   112,    -1,    -1,     3,     4,   117,   118,
    1490        7,    -1,     9,    10,    -1,    -1,   125,    -1,     3,     4,
    1491       -1,   130,     7,   132,     9,    10,    -1,    -1,    -1,    -1,
    1492       -1,    -1,   141,    -1,   143,    -1,    -1,    -1,    89,    90,
    1493       91,    92,    93,    94,    95,    96,    97,    98,    99,     3,
    1494        4,    -1,    -1,     7,    -1,     9,    10,   108,    -1,   110,
    1495      111,   112,    -1,    -1,     3,     4,   117,   118,     7,    -1,
    1496        9,    10,    -1,    -1,   125,    -1,     3,     4,    -1,   130,
    1497        7,   132,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    1498      141,    -1,   143,     3,     4,    -1,    -1,     7,    -1,     9,
     1429      -1,    -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,
     1430       7,   135,    -1,    10,   138,   139,    -1,    -1,    -1,   143,
     1431      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
     1432      -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1433      -1,    98,    99,   100,    -1,   128,    -1,   130,   131,   132,
     1434     133,    -1,   135,    -1,    -1,   138,   139,    -1,    -1,   128,
     1435     143,   130,   131,   132,   133,    -1,   135,    -1,    -1,   138,
     1436     139,    -1,    -1,   128,   143,   130,   131,   132,   133,    -1,
     1437     135,    -1,    -1,   138,   139,     8,    -1,    -1,   143,    -1,
     1438      13,    14,    15,    -1,    17,    -1,    19,    20,    -1,    -1,
     1439      -1,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
     1440      -1,   138,   139,    -1,    -1,   128,   143,   130,   131,   132,
     1441     133,   134,   135,   136,    -1,   138,   139,    -1,    -1,    -1,
     1442      -1,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
     1443       8,    -1,   139,    -1,    -1,    13,    -1,    15,    -1,    17,
     1444      -1,    19,    20,   128,    -1,   130,   131,   132,   133,    -1,
     1445     135,   136,    -1,   138,   139,    -1,    -1,    90,    91,    92,
     1446      93,    94,    95,    96,    97,    98,    99,   100,    -1,    -1,
     1447     109,    -1,   111,   112,   113,    -1,   109,    -1,   111,   112,
     1448     113,    -1,    -1,    -1,    -1,   118,   119,   126,    -1,    -1,
     1449       8,    -1,    -1,   126,   133,    13,    -1,    15,   131,    17,
     1450     133,    19,    20,   142,    -1,   144,    -1,    -1,    -1,   142,
     1451      -1,   144,    90,    91,    92,    93,    94,    95,    96,    97,
     1452      98,    99,   100,    -1,    -1,   109,    -1,   111,   112,   113,
     1453      -1,   109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,
     1454     118,   119,   126,    -1,    -1,     8,    -1,    -1,   126,   133,
     1455      13,    -1,    15,   131,    17,   133,    19,    20,   142,    -1,
     1456     144,    -1,    -1,    -1,   142,   143,   144,    -1,    -1,    -1,
     1457      -1,    -1,    90,    91,    92,    93,    94,    95,    96,    97,
     1458      98,    99,   100,    -1,    -1,   109,    -1,   111,   112,   113,
     1459      -1,   109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,
     1460     118,   119,   126,    -1,    -1,     8,    -1,    -1,   126,   133,
     1461      13,    -1,    15,   131,    17,   133,    19,    20,   142,    -1,
     1462     144,    -1,    -1,    -1,   142,   143,   144,    90,    91,    92,
     1463      93,    94,    95,    96,    97,    98,    99,   100,    -1,    -1,
     1464     109,    -1,   111,   112,   113,    -1,   109,    -1,   111,   112,
     1465     113,    -1,    -1,    -1,    -1,   118,   119,   126,    -1,    -1,
     1466       8,    -1,    -1,   126,   133,    13,    -1,    15,   131,    17,
     1467     133,    19,    20,   142,    -1,   144,    -1,    -1,    -1,   142,
     1468     143,   144,    -1,    -1,    -1,    -1,    -1,    90,    91,    92,
     1469      93,    94,    95,    96,    97,    98,    99,   100,    -1,    -1,
     1470     109,    -1,   111,   112,   113,    -1,   109,    -1,   111,   112,
     1471     113,    -1,    -1,    -1,    -1,   118,   119,   126,    -1,    -1,
     1472       8,    -1,    -1,   126,   133,    13,    -1,    15,   131,    17,
     1473     133,    19,    20,   142,    -1,   144,    -1,    -1,    -1,   142,
     1474     143,   144,    90,    91,    92,    93,    94,    95,    96,    97,
     1475      98,    99,   100,    -1,    -1,   109,    -1,   111,   112,   113,
     1476      -1,   109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,
     1477     118,   119,   126,    -1,    -1,     8,    -1,    -1,   126,   133,
     1478      13,    -1,    15,   131,    17,   133,    19,    20,   142,    -1,
     1479     144,    -1,    -1,    -1,   142,   143,   144,    -1,    -1,    -1,
     1480      -1,    -1,    90,    91,    92,    93,    94,    95,    96,    97,
     1481      98,    99,   100,     3,     4,    -1,    -1,     7,    -1,     9,
     1482      10,   109,    -1,   111,   112,   113,    -1,    -1,     3,     4,
     1483     118,   119,     7,    -1,     9,    10,    -1,    -1,   126,    -1,
     1484       3,     4,    -1,   131,     7,   133,     9,    10,    -1,    -1,
     1485      -1,    -1,    -1,    -1,   142,    -1,   144,    90,    91,    92,
     1486      93,    94,    95,    96,    97,    98,    99,   100,     3,     4,
     1487      -1,    -1,     7,    -1,     9,    10,   109,    -1,   111,   112,
     1488     113,    -1,    -1,     3,     4,   118,   119,     7,    -1,     9,
     1489      10,    -1,    -1,   126,    -1,     3,     4,    -1,   131,     7,
     1490     133,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,   142,
     1491      -1,   144,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1492      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1493       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,
     1494     130,   131,   132,   133,    -1,   135,   136,    -1,   138,   139,
     1495      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1496     135,   136,    -1,   138,   139,   128,    -1,   130,   131,   132,
     1497     133,   134,   135,     3,     4,   138,   139,     7,    -1,     9,
    14991498      10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    1500       -1,     9,    10,    -1,    -1,   127,    -1,   129,   130,   131,
    1501      132,   133,   134,   135,    -1,   137,   138,    -1,    -1,    -1,
    1502      127,    -1,   129,   130,   131,   132,    -1,   134,   135,    -1,
    1503      137,   138,   127,    -1,   129,   130,   131,   132,    -1,   134,
    1504      135,    -1,   137,   138,     3,     4,    -1,    -1,     7,    -1,
    1505        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1506       -1,    -1,    -1,   127,    -1,   129,   130,   131,   132,    -1,
    1507      134,   135,    -1,   137,   138,    -1,    -1,    -1,   127,    -1,
    1508      129,   130,   131,   132,   133,   134,    -1,    -1,   137,   138,
    1509      127,    -1,   129,   130,   131,   132,    -1,   134,   135,    -1,
    1510      137,   138,    -1,    -1,    -1,    -1,    -1,   127,    -1,   129,
    1511      130,   131,   132,   133,   134,    -1,    -1,   137,   138,   127,
    1512       -1,   129,   130,   131,   132,    -1,   134,   135,    -1,   137,
    1513      138,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1499      -1,     9,    10,   128,    -1,   130,   131,   132,   133,    -1,
     1500     135,   136,    -1,   138,   139,    -1,    -1,    -1,   128,    -1,
     1501     130,   131,   132,   133,   134,   135,    -1,    -1,   138,   139,
     1502     128,    -1,   130,   131,   132,   133,    -1,   135,   136,     4,
     1503     138,   139,     7,    -1,     9,    10,    -1,   128,    -1,   130,
     1504     131,   132,   133,    -1,   135,   136,    -1,   138,   139,   128,
     1505      -1,   130,   131,   132,   133,    -1,   135,   136,    -1,   138,
     1506     139,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    15141507      -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    15151508      10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    1516       -1,     9,    10,    -1,    -1,    -1,    -1,    -1,   127,    -1,
    1517      129,   130,   131,   132,    -1,   134,   135,    -1,   137,   138,
    1518        3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
    1519       -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1520       -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
    1521        9,    10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
    1522        7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,     4,
    1523       -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1509      -1,     9,    10,    -1,    -1,    -1,    -1,    -1,   128,    -1,
     1510     130,   131,   132,   133,    -1,   135,   136,    -1,   138,   139,
     1511     128,    -1,   130,   131,   132,   133,   134,   135,     3,     4,
     1512     138,   139,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1513      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    13,    14,
     1514      15,    -1,    17,    -1,    19,    20,    -1,    -1,    -1,    -1,
     1515      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1516     135,    -1,    -1,    -1,   139,    -1,    -1,    -1,    -1,    -1,
    15241517      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1525       -1,    -1,    -1,    -1,    -1,   127,    -1,   129,   130,   131,
    1526      132,    -1,   134,   135,    -1,   137,   138,   127,    -1,   129,
    1527      130,   131,   132,    -1,   134,   135,    -1,   137,   138,   127,
    1528       -1,   129,   130,   131,   132,   133,   134,    -1,    -1,   137,
    1529      138,    13,    14,    15,    -1,    17,    -1,    19,    20,    -1,
    1530       -1,    -1,    -1,    -1,   127,    -1,   129,   130,   131,   132,
    1531      133,   134,    -1,    -1,   137,   138,   127,    -1,   129,   130,
    1532      131,   132,   133,   134,    -1,    -1,   137,   138,   127,    -1,
    1533      129,   130,   131,   132,    -1,   134,    -1,    -1,   137,   138,
    1534      127,    -1,   129,   130,   131,   132,    -1,   134,    -1,    -1,
    1535      137,   138,   127,    -1,   129,   130,   131,   132,    -1,   134,
    1536       -1,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,
    1537       -1,    -1,    -1,    -1,    -1,    97,    98,    99,    -1,    -1,
    1538       -1,    -1,    -1,    -1,    -1,    -1,   108,    -1,   110,   111,
    1539      112,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1540       -1,    -1,    -1,   125,    -1,    -1,    -1,    -1,    -1,    -1,
    1541      132,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1542      142,   143
     1518      -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,   131,
     1519     132,   133,   134,   135,    -1,    -1,   138,   139,   128,    -1,
     1520     130,   131,   132,   133,   134,   135,    -1,    -1,   138,   139,
     1521     128,    -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,
     1522     138,   139,    -1,    98,    99,   100,    -1,    -1,    -1,    -1,
     1523      -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,    -1,
     1524      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1525     135,   126,    -1,   138,   139,    -1,    -1,    -1,   133,    -1,
     1526      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   143,   144
    15431527};
    15441528
     
    15471531static const yytype_uint8 yystos[] =
    15481532{
    1549        0,   145,     0,     1,     8,    13,    14,    15,    17,    19,
    1550       20,    40,    89,    90,    91,    92,    93,    94,    95,    96,
    1551       97,    98,    99,   100,   101,   102,   103,   105,   106,   107,
    1552      108,   110,   111,   112,   113,   114,   115,   116,   117,   118,
    1553      119,   120,   121,   122,   123,   124,   125,   127,   130,   132,
    1554      136,   141,   143,   146,   147,   148,   149,   150,   151,   152,
    1555      153,   155,   157,   158,   159,   160,   161,   162,   169,   171,
    1556      172,   173,   174,   175,   176,   177,   178,   179,   180,   181,
    1557      182,   183,   184,   185,   186,   187,   136,    13,    15,    19,
    1558       97,    98,    99,   125,   153,   160,   141,   151,   151,   159,
    1559      141,   141,   151,   141,   141,   141,   141,   141,   141,   141,
    1560      141,   141,   151,   141,   151,   141,   151,   108,   109,   152,
    1561      108,   136,   151,   141,   153,   108,   109,   141,   141,   108,
    1562      141,   108,   141,    14,   153,   161,   162,   162,   153,   152,
    1563      152,   153,   136,    11,   141,   126,   135,     3,     4,     7,
    1564        9,    10,   127,   129,   130,   131,   132,   134,   137,   138,
    1565      153,   152,   141,   151,   126,   135,   136,   168,   135,   151,
    1566      153,   153,   132,   109,   141,   153,   163,   153,   132,   153,
    1567      153,   153,   153,   153,   153,   153,   142,   152,   153,   142,
    1568      152,   153,   136,   136,    13,    14,    15,    19,    97,    98,
    1569       99,   142,   151,   160,   108,   109,   154,   108,   153,   109,
    1570      142,   152,   170,   133,   142,   143,   151,   142,   152,   153,
    1571      153,   153,   153,   153,   153,   153,   153,   153,   153,   153,
    1572      153,   126,   142,   156,   142,   152,   151,   151,   168,   135,
    1573      142,   153,   153,   142,   135,   135,   142,   153,   142,   135,
    1574      135,   135,   142,   135,   142,   135,   135,   142,   142,   142,
    1575      142,   142,   142,   142,   142,   142,   142,   142,   142,   135,
    1576      142,   142,   109,   153,   108,   142,   142,   136,   142,   133,
    1577      135,   153,   142,   153,   163,   153,   133,   135,   163,   153,
    1578      133,   153,   153,   153,   153,   153,   153,    13,    14,    15,
    1579       19,    97,    98,    99,   160,   142,   109,   109,   114,   153,
    1580      156,   135,   135,   132,   152,   135,   135,   132,   142,   135,
    1581      142,   135,   135,   142,   135,   142,   142,   142,   142,   142,
    1582      142,   142,   142,   142,   133,   163,   153,   153,   142,   111,
    1583      141,   164,   165,   167,   153,   153,   153,   153,   153,   153,
    1584      135,   142,   133,   165,   166,   141,   142,   142,   133,   142,
    1585      142,   142,   142,   167,   135,   142,   152,   166,   142
     1533       0,   146,     0,     1,     8,    13,    14,    15,    17,    19,
     1534      20,    40,    90,    91,    92,    93,    94,    95,    96,    97,
     1535      98,    99,   100,   101,   102,   103,   104,   106,   107,   108,
     1536     109,   111,   112,   113,   114,   115,   116,   117,   118,   119,
     1537     120,   121,   122,   123,   124,   125,   126,   128,   131,   133,
     1538     137,   142,   144,   147,   148,   149,   150,   151,   152,   153,
     1539     154,   156,   158,   159,   160,   161,   162,   163,   170,   172,
     1540     173,   174,   175,   176,   177,   178,   179,   180,   181,   182,
     1541     183,   184,   185,   186,   187,   188,   137,    13,    15,    19,
     1542      98,    99,   100,   126,   154,   161,   142,   152,   152,   160,
     1543     142,   142,   152,   142,   142,   142,   142,   142,   142,   142,
     1544     142,   142,   152,   142,   152,   142,   152,   109,   110,   153,
     1545     109,   137,   152,   142,   154,   109,   110,   142,   142,   109,
     1546     142,   109,   142,    14,   154,   162,   163,   163,   154,   153,
     1547     153,   154,   137,    11,   142,   127,   136,     3,     4,     7,
     1548       9,    10,   128,   130,   131,   132,   133,   135,   138,   139,
     1549     154,   153,   142,   152,   127,   136,   137,   169,   136,   152,
     1550     154,   154,   133,   110,   142,   154,   164,   154,   133,   154,
     1551     154,   154,   154,   154,   154,   154,   143,   153,   154,   143,
     1552     153,   154,   137,   137,    13,    14,    15,    19,    98,    99,
     1553     100,   143,   152,   161,   109,   110,   155,   109,   154,   110,
     1554     143,   153,   171,   134,   143,   144,   152,   143,   153,   154,
     1555     154,   154,   154,   154,   154,   154,   154,   154,   154,   154,
     1556     154,   127,   143,   157,   143,   153,   152,   152,   169,   136,
     1557     143,   154,   154,   143,   136,   136,   143,   154,   143,   136,
     1558     136,   136,   143,   136,   143,   136,   136,   143,   143,   143,
     1559     143,   143,   143,   143,   143,   143,   143,   143,   143,   136,
     1560     143,   143,   110,   154,   109,   143,   143,   137,   143,   134,
     1561     136,   154,   143,   154,   164,   154,   134,   136,   164,   154,
     1562     134,   154,   154,   154,   154,   154,   154,    13,    14,    15,
     1563      19,    98,    99,   100,   161,   143,   110,   110,   115,   154,
     1564     157,   136,   136,   133,   153,   136,   136,   133,   143,   136,
     1565     143,   136,   136,   143,   136,   143,   143,   143,   143,   143,
     1566     143,   143,   143,   143,   134,   164,   154,   154,   143,   112,
     1567     142,   165,   166,   168,   154,   154,   154,   154,   154,   154,
     1568     136,   143,   134,   166,   167,   142,   143,   143,   134,   143,
     1569     143,   143,   143,   168,   136,   143,   153,   167,   143
    15861570};
    15871571
     
    24012385    {
    24022386        case 3:
    2403 #line 371 "grammar.y"
     2387#line 373 "grammar.y"
    24042388    {
    24052389            if (timerv)
     
    24362420
    24372421  case 5:
    2438 #line 407 "grammar.y"
     2422#line 409 "grammar.y"
    24392423    {currentVoice->ifsw=0;;}
    24402424    break;
    24412425
    24422426  case 6:
    2443 #line 409 "grammar.y"
     2427#line 411 "grammar.y"
    24442428    { (yyvsp[(1) - (2)].lv).CleanUp(); currentVoice->ifsw=0;;}
    24452429    break;
    24462430
    24472431  case 7:
    2448 #line 411 "grammar.y"
     2432#line 413 "grammar.y"
    24492433    {
    24502434            YYACCEPT;
     
    24532437
    24542438  case 8:
    2455 #line 415 "grammar.y"
     2439#line 417 "grammar.y"
    24562440    {
    24572441            currentVoice->ifsw=0;
     
    24612445
    24622446  case 9:
    2463 #line 420 "grammar.y"
     2447#line 422 "grammar.y"
    24642448    {currentVoice->ifsw=0;;}
    24652449    break;
    24662450
    24672451  case 10:
    2468 #line 422 "grammar.y"
     2452#line 424 "grammar.y"
    24692453    {
    24702454            #ifdef SIQ
     
    25152499
    25162500  case 18:
    2517 #line 477 "grammar.y"
     2501#line 479 "grammar.y"
    25182502    {if (currentVoice!=NULL) currentVoice->ifsw=0;;}
    25192503    break;
    25202504
    25212505  case 19:
    2522 #line 480 "grammar.y"
     2506#line 482 "grammar.y"
    25232507    { omFree((ADDRESS)(yyvsp[(2) - (2)].name)); ;}
    25242508    break;
    25252509
    25262510  case 29:
    2527 #line 495 "grammar.y"
     2511#line 497 "grammar.y"
    25282512    {
    25292513            if(iiAssign(&(yyvsp[(1) - (2)].lv),&(yyvsp[(2) - (2)].lv))) YYERROR;
     
    25322516
    25332517  case 30:
    2534 #line 502 "grammar.y"
     2518#line 504 "grammar.y"
    25352519    {
    25362520            if (currRing==NULL) MYYERROR("no ring active");
     
    25402524
    25412525  case 31:
    2542 #line 507 "grammar.y"
     2526#line 509 "grammar.y"
    25432527    {
    25442528            syMake(&(yyval.lv),(yyvsp[(1) - (1)].name));
     
    25472531
    25482532  case 32:
    2549 #line 511 "grammar.y"
     2533#line 513 "grammar.y"
    25502534    {
    25512535            if(iiExprArith2(&(yyval.lv), &(yyvsp[(1) - (3)].lv), COLONCOLON, &(yyvsp[(3) - (3)].lv))) YYERROR;
     
    25542538
    25552539  case 33:
    2556 #line 515 "grammar.y"
     2540#line 517 "grammar.y"
    25572541    {
    25582542            if(iiExprArith1(&(yyval.lv),&(yyvsp[(1) - (3)].lv),'(')) YYERROR;
     
    25612545
    25622546  case 34:
    2563 #line 519 "grammar.y"
     2547#line 521 "grammar.y"
    25642548    {
    25652549            if ((yyvsp[(1) - (4)].lv).rtyp==LIB_CMD)
     
    25842568
    25852569  case 35:
    2586 #line 539 "grammar.y"
     2570#line 541 "grammar.y"
    25872571    {
    25882572            if (currRingHdl==NULL) MYYERROR("no ring active");
     
    26152599
    26162600  case 36:
    2617 #line 567 "grammar.y"
     2601#line 569 "grammar.y"
    26182602    {
    26192603            memset(&(yyval.lv),0,sizeof((yyval.lv)));
     
    26422626
    26432627  case 37:
    2644 #line 591 "grammar.y"
     2628#line 593 "grammar.y"
    26452629    {
    26462630            memset(&(yyval.lv),0,sizeof((yyval.lv)));
     
    26512635
    26522636  case 38:
    2653 #line 597 "grammar.y"
     2637#line 599 "grammar.y"
    26542638    {
    26552639            memset(&(yyval.lv),0,sizeof((yyval.lv)));
     
    26602644
    26612645  case 39:
    2662 #line 606 "grammar.y"
     2646#line 608 "grammar.y"
    26632647    {
    26642648            leftv v = &(yyvsp[(1) - (3)].lv);
     
    26742658
    26752659  case 40:
    2676 #line 617 "grammar.y"
     2660#line 619 "grammar.y"
    26772661    {
    26782662            (yyval.lv) = (yyvsp[(1) - (1)].lv);
     
    26812665
    26822666  case 41:
    2683 #line 623 "grammar.y"
     2667#line 625 "grammar.y"
    26842668    {
    26852669            /*if ($1.typ == eunknown) YYERROR;*/
     
    26892673
    26902674  case 42:
    2691 #line 627 "grammar.y"
     2675#line 629 "grammar.y"
    26922676    { (yyval.lv) = (yyvsp[(1) - (1)].lv); ;}
    26932677    break;
    26942678
    26952679  case 43:
    2696 #line 628 "grammar.y"
     2680#line 630 "grammar.y"
    26972681    { (yyval.lv) = (yyvsp[(2) - (3)].lv); ;}
    26982682    break;
    26992683
    27002684  case 44:
    2701 #line 630 "grammar.y"
     2685#line 632 "grammar.y"
    27022686    {
    27032687            if(iiExprArith3(&(yyval.lv),'[',&(yyvsp[(1) - (6)].lv),&(yyvsp[(3) - (6)].lv),&(yyvsp[(5) - (6)].lv))) YYERROR;
     
    27062690
    27072691  case 45:
    2708 #line 634 "grammar.y"
     2692#line 636 "grammar.y"
    27092693    {
    27102694            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (4)].lv),'[',&(yyvsp[(3) - (4)].lv))) YYERROR;
     
    27132697
    27142698  case 46:
    2715 #line 638 "grammar.y"
     2699#line 640 "grammar.y"
    27162700    {
    27172701            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    27202704
    27212705  case 47:
    2722 #line 642 "grammar.y"
     2706#line 644 "grammar.y"
    27232707    {
    27242708            if(iiExprArithM(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    27272711
    27282712  case 48:
    2729 #line 646 "grammar.y"
     2713#line 648 "grammar.y"
    27302714    {
    27312715            if(iiExprArithM(&(yyval.lv),NULL,(yyvsp[(1) - (3)].i))) YYERROR;
     
    27342718
    27352719  case 49:
    2736 #line 650 "grammar.y"
     2720#line 652 "grammar.y"
    27372721    {
    27382722            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    27412725
    27422726  case 50:
    2743 #line 654 "grammar.y"
     2727#line 656 "grammar.y"
    27442728    {
    27452729            if(iiExprArithM(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    27482732
    27492733  case 51:
    2750 #line 658 "grammar.y"
     2734#line 660 "grammar.y"
    27512735    {
    27522736            if(iiExprArithM(&(yyval.lv),NULL,(yyvsp[(1) - (3)].i))) YYERROR;
     
    27552739
    27562740  case 52:
    2757 #line 662 "grammar.y"
     2741#line 664 "grammar.y"
    27582742    {
    27592743            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    27622746
    27632747  case 53:
    2764 #line 666 "grammar.y"
     2748#line 668 "grammar.y"
    27652749    {
    27662750            if(iiExprArith2(&(yyval.lv),&(yyvsp[(3) - (6)].lv),(yyvsp[(1) - (6)].i),&(yyvsp[(5) - (6)].lv),TRUE)) YYERROR;
     
    27692753
    27702754  case 54:
    2771 #line 670 "grammar.y"
     2755#line 672 "grammar.y"
    27722756    {
    27732757            if(iiExprArith3(&(yyval.lv),(yyvsp[(1) - (8)].i),&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    27762760
    27772761  case 55:
    2778 #line 674 "grammar.y"
     2762#line 676 "grammar.y"
    27792763    {
    27802764            if(iiExprArith2(&(yyval.lv),&(yyvsp[(3) - (6)].lv),(yyvsp[(1) - (6)].i),&(yyvsp[(5) - (6)].lv),TRUE)) YYERROR;
     
    27832767
    27842768  case 56:
    2785 #line 678 "grammar.y"
     2769#line 680 "grammar.y"
    27862770    {
    27872771            if(iiExprArith3(&(yyval.lv),(yyvsp[(1) - (8)].i),&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    27902774
    27912775  case 57:
    2792 #line 682 "grammar.y"
     2776#line 684 "grammar.y"
    27932777    {
    27942778            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    27972781
    27982782  case 58:
    2799 #line 686 "grammar.y"
     2783#line 688 "grammar.y"
    28002784    {
    28012785            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    28042788
    28052789  case 59:
    2806 #line 690 "grammar.y"
     2790#line 692 "grammar.y"
    28072791    {
    28082792            if(iiExprArith2(&(yyval.lv),&(yyvsp[(3) - (6)].lv),(yyvsp[(1) - (6)].i),&(yyvsp[(5) - (6)].lv),TRUE)) YYERROR;
     
    28112795
    28122796  case 60:
    2813 #line 694 "grammar.y"
     2797#line 696 "grammar.y"
    28142798    {
    28152799            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    28182802
    28192803  case 61:
    2820 #line 698 "grammar.y"
     2804#line 700 "grammar.y"
    28212805    {
    28222806            if(iiExprArith2(&(yyval.lv),&(yyvsp[(3) - (6)].lv),(yyvsp[(1) - (6)].i),&(yyvsp[(5) - (6)].lv),TRUE)) YYERROR;
     
    28252809
    28262810  case 62:
    2827 #line 702 "grammar.y"
     2811#line 704 "grammar.y"
    28282812    {
    28292813            if(iiExprArith3(&(yyval.lv),(yyvsp[(1) - (8)].i),&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    28322816
    28332817  case 63:
    2834 #line 706 "grammar.y"
     2818#line 708 "grammar.y"
    28352819    {
    28362820            if(iiExprArith3(&(yyval.lv),(yyvsp[(1) - (8)].i),&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    28392823
    28402824  case 64:
    2841 #line 710 "grammar.y"
     2825#line 712 "grammar.y"
    28422826    {
    28432827            if(iiExprArithM(&(yyval.lv),NULL,(yyvsp[(1) - (3)].i))) YYERROR;
     
    28462830
    28472831  case 65:
    2848 #line 714 "grammar.y"
     2832#line 716 "grammar.y"
    28492833    {
    28502834            if(iiExprArithM(&(yyval.lv),&(yyvsp[(3) - (4)].lv),(yyvsp[(1) - (4)].i))) YYERROR;
     
    28532837
    28542838  case 66:
    2855 #line 718 "grammar.y"
     2839#line 720 "grammar.y"
    28562840    {
    28572841            if(iiExprArith3(&(yyval.lv),MATRIX_CMD,&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    28602844
    28612845  case 67:
    2862 #line 722 "grammar.y"
     2846#line 724 "grammar.y"
    28632847    {
    28642848            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),MATRIX_CMD)) YYERROR;
     
    28672851
    28682852  case 68:
    2869 #line 726 "grammar.y"
     2853#line 728 "grammar.y"
    28702854    {
    28712855            if(iiExprArith3(&(yyval.lv),INTMAT_CMD,&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    28742858
    28752859  case 69:
    2876 #line 730 "grammar.y"
     2860#line 732 "grammar.y"
    28772861    {
    28782862            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),INTMAT_CMD)) YYERROR;
     
    28812865
    28822866  case 70:
    2883 #line 734 "grammar.y"
     2867#line 736 "grammar.y"
    28842868    {
    28852869            if(iiExprArith3(&(yyval.lv),RING_CMD,&(yyvsp[(3) - (8)].lv),&(yyvsp[(5) - (8)].lv),&(yyvsp[(7) - (8)].lv))) YYERROR;
     
    28882872
    28892873  case 71:
    2890 #line 738 "grammar.y"
     2874#line 740 "grammar.y"
    28912875    {
    28922876            if(iiExprArith1(&(yyval.lv),&(yyvsp[(3) - (4)].lv),RING_CMD)) YYERROR;
     
    28952879
    28962880  case 72:
    2897 #line 742 "grammar.y"
     2881#line 744 "grammar.y"
    28982882    {
    28992883            (yyval.lv)=(yyvsp[(2) - (3)].lv);
     
    29022886
    29032887  case 73:
    2904 #line 746 "grammar.y"
     2888#line 748 "grammar.y"
    29052889    {
    29062890            #ifdef SIQ
     
    29222906
    29232907  case 74:
    2924 #line 763 "grammar.y"
     2908#line 765 "grammar.y"
    29252909    {
    29262910            #ifdef SIQ
     
    29312915
    29322916  case 75:
    2933 #line 769 "grammar.y"
     2917#line 771 "grammar.y"
    29342918    {
    29352919            #ifdef SIQ
     
    29442928
    29452929  case 76:
    2946 #line 781 "grammar.y"
     2930#line 783 "grammar.y"
    29472931    {
    29482932            #ifdef SIQ
     
    29532937
    29542938  case 77:
    2955 #line 789 "grammar.y"
     2939#line 791 "grammar.y"
    29562940    {
    29572941            #ifdef SIQ
     
    29622946
    29632947  case 78:
    2964 #line 798 "grammar.y"
     2948#line 800 "grammar.y"
    29652949    {
    29662950            if(iiExprArith1(&(yyval.lv),&(yyvsp[(1) - (2)].lv),PLUSPLUS)) YYERROR;
     
    29692953
    29702954  case 79:
    2971 #line 802 "grammar.y"
     2955#line 804 "grammar.y"
    29722956    {
    29732957            if(iiExprArith1(&(yyval.lv),&(yyvsp[(1) - (2)].lv),MINUSMINUS)) YYERROR;
     
    29762960
    29772961  case 80:
    2978 #line 806 "grammar.y"
     2962#line 808 "grammar.y"
    29792963    {
    29802964            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),'+',&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    29832967
    29842968  case 81:
    2985 #line 810 "grammar.y"
     2969#line 812 "grammar.y"
    29862970    {
    29872971            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),'-',&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    29902974
    29912975  case 82:
    2992 #line 814 "grammar.y"
     2976#line 816 "grammar.y"
    29932977    {
    29942978            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),(yyvsp[(2) - (3)].i),&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    29972981
    29982982  case 83:
    2999 #line 818 "grammar.y"
     2983#line 820 "grammar.y"
    30002984    {
    30012985            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),'^',&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30042988
    30052989  case 84:
    3006 #line 822 "grammar.y"
     2990#line 824 "grammar.y"
    30072991    {
    30082992            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),(yyvsp[(2) - (3)].i),&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30112995
    30122996  case 85:
    3013 #line 826 "grammar.y"
     2997#line 828 "grammar.y"
    30142998    {
    30152999            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),(yyvsp[(2) - (3)].i),&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30183002
    30193003  case 86:
    3020 #line 830 "grammar.y"
     3004#line 832 "grammar.y"
    30213005    {
    30223006            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),NOTEQUAL,&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30253009
    30263010  case 87:
    3027 #line 834 "grammar.y"
     3011#line 836 "grammar.y"
    30283012    {
    30293013            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),EQUAL_EQUAL,&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30323016
    30333017  case 88:
    3034 #line 838 "grammar.y"
     3018#line 840 "grammar.y"
    30353019    {
    30363020            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),DOTDOT,&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30393023
    30403024  case 89:
    3041 #line 842 "grammar.y"
     3025#line 844 "grammar.y"
    30423026    {
    30433027            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),':',&(yyvsp[(3) - (3)].lv))) YYERROR;
     
    30463030
    30473031  case 90:
    3048 #line 846 "grammar.y"
     3032#line 848 "grammar.y"
    30493033    {
    30503034            memset(&(yyval.lv),0,sizeof((yyval.lv)));
     
    30563040
    30573041  case 91:
    3058 #line 853 "grammar.y"
     3042#line 855 "grammar.y"
    30593043    {
    30603044            if(iiExprArith1(&(yyval.lv),&(yyvsp[(2) - (2)].lv),'-')) YYERROR;
     
    30633047
    30643048  case 92:
    3065 #line 859 "grammar.y"
     3049#line 861 "grammar.y"
    30663050    { (yyval.lv) = (yyvsp[(1) - (2)].lv); ;}
    30673051    break;
    30683052
    30693053  case 93:
    3070 #line 861 "grammar.y"
     3054#line 863 "grammar.y"
    30713055    {
    30723056            if ((yyvsp[(1) - (2)].lv).rtyp==0)
     
    30863070
    30873071  case 95:
    3088 #line 881 "grammar.y"
     3072#line 883 "grammar.y"
    30893073    {
    30903074            if ((yyvsp[(2) - (3)].lv).Typ()!=STRING_CMD)
     
    30983082
    30993083  case 98:
    3100 #line 898 "grammar.y"
     3084#line 900 "grammar.y"
    31013085    {
    31023086            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&((yyvsp[(2) - (2)].lv).req_packhdl->idroot)))
     
    31063090
    31073091  case 99:
    3108 #line 903 "grammar.y"
     3092#line 905 "grammar.y"
    31093093    {
    31103094            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&((yyvsp[(2) - (2)].lv).req_packhdl->idroot)))
     
    31143098
    31153099  case 100:
    3116 #line 908 "grammar.y"
     3100#line 910 "grammar.y"
    31173101    {
    31183102            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&(currRing->idroot), TRUE)) YYERROR;
     
    31213105
    31223106  case 101:
    3123 #line 912 "grammar.y"
     3107#line 914 "grammar.y"
    31243108    {
    31253109            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&(currRing->idroot), TRUE)) YYERROR;
     
    31283112
    31293113  case 102:
    3130 #line 916 "grammar.y"
     3114#line 918 "grammar.y"
    31313115    {
    31323116            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (8)].lv),myynest,(yyvsp[(1) - (8)].i),&(currRing->idroot), TRUE)) YYERROR;
     
    31473131
    31483132  case 103:
    3149 #line 932 "grammar.y"
     3133#line 934 "grammar.y"
    31503134    {
    31513135            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&(currRing->idroot), TRUE)) YYERROR;
     
    31543138
    31553139  case 104:
    3156 #line 936 "grammar.y"
     3140#line 938 "grammar.y"
    31573141    {
    31583142            int r; TESTSETINT((yyvsp[(4) - (8)].lv),r);
     
    31733157
    31743158  case 105:
    3175 #line 952 "grammar.y"
     3159#line 954 "grammar.y"
    31763160    {
    31773161            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&((yyvsp[(2) - (2)].lv).req_packhdl->idroot)))
     
    31903174
    31913175  case 106:
    3192 #line 966 "grammar.y"
     3176#line 968 "grammar.y"
    31933177    {
    31943178            int t=(yyvsp[(1) - (3)].lv).Typ();
     
    32143198
    32153199  case 107:
    3216 #line 987 "grammar.y"
     3200#line 989 "grammar.y"
    32173201    {
    32183202            if (iiDeclCommand(&(yyval.lv),&(yyvsp[(2) - (2)].lv),myynest,(yyvsp[(1) - (2)].i),&((yyvsp[(2) - (2)].lv).req_packhdl->idroot)))
     
    32223206
    32233207  case 110:
    3224 #line 1000 "grammar.y"
     3208#line 1002 "grammar.y"
    32253209    {
    32263210            leftv v = &(yyvsp[(2) - (5)].lv);
     
    32363220
    32373221  case 111:
    3238 #line 1014 "grammar.y"
     3222#line 1016 "grammar.y"
    32393223    {
    32403224          // let rInit take care of any errors
     
    32443228
    32453229  case 112:
    3246 #line 1022 "grammar.y"
     3230#line 1024 "grammar.y"
    32473231    {
    32483232            memset(&(yyval.lv),0,sizeof((yyval.lv)));
     
    32563240
    32573241  case 113:
    3258 #line 1031 "grammar.y"
     3242#line 1033 "grammar.y"
    32593243    {
    32603244            memset(&(yyval.lv),0,sizeof((yyval.lv)));
     
    33013285
    33023286  case 115:
    3303 #line 1077 "grammar.y"
     3287#line 1079 "grammar.y"
    33043288    {
    33053289            (yyval.lv) = (yyvsp[(1) - (3)].lv);
     
    33103294
    33113295  case 117:
    3312 #line 1087 "grammar.y"
     3296#line 1089 "grammar.y"
    33133297    {
    33143298            (yyval.lv) = (yyvsp[(2) - (3)].lv);
     
    33173301
    33183302  case 118:
    3319 #line 1093 "grammar.y"
     3303#line 1095 "grammar.y"
    33203304    {
    33213305            expected_parms = TRUE;
     
    33243308
    33253309  case 119:
    3326 #line 1105 "grammar.y"
     3310#line 1107 "grammar.y"
    33273311    { if ((yyvsp[(1) - (2)].i) != '<') YYERROR;
    33283312            if((feFilePending=feFopen((yyvsp[(2) - (2)].name),"r",NULL,TRUE))==NULL) YYERROR; ;}
     
    33303314
    33313315  case 120:
    3332 #line 1108 "grammar.y"
     3316#line 1110 "grammar.y"
    33333317    { newFile((yyvsp[(2) - (4)].name),feFilePending); ;}
    33343318    break;
    33353319
    33363320  case 121:
    3337 #line 1113 "grammar.y"
     3321#line 1115 "grammar.y"
    33383322    {
    33393323            feHelp((yyvsp[(2) - (3)].name));
     
    33433327
    33443328  case 122:
    3345 #line 1118 "grammar.y"
     3329#line 1120 "grammar.y"
    33463330    {
    33473331            feHelp(NULL);
     
    33503334
    33513335  case 123:
    3352 #line 1125 "grammar.y"
     3336#line 1127 "grammar.y"
    33533337    {
    33543338            singular_example((yyvsp[(2) - (3)].name));
     
    33583342
    33593343  case 124:
    3360 #line 1133 "grammar.y"
     3344#line 1135 "grammar.y"
    33613345    {
    33623346          if (basePack!=(yyvsp[(2) - (2)].lv).req_packhdl)
     
    33703354
    33713355  case 125:
    3372 #line 1145 "grammar.y"
     3356#line 1147 "grammar.y"
    33733357    {
    33743358          leftv v=&(yyvsp[(2) - (2)].lv);
     
    33893373
    33903374  case 126:
    3391 #line 1161 "grammar.y"
     3375#line 1163 "grammar.y"
    33923376    {
    33933377          leftv v=&(yyvsp[(3) - (3)].lv);
     
    34083392
    34093393  case 127:
    3410 #line 1180 "grammar.y"
     3394#line 1182 "grammar.y"
    34113395    {
    34123396            list_cmd((yyvsp[(3) - (4)].i),NULL,"// ",TRUE);
     
    34153399
    34163400  case 128:
    3417 #line 1184 "grammar.y"
     3401#line 1186 "grammar.y"
    34183402    {
    34193403            list_cmd((yyvsp[(3) - (4)].i),NULL,"// ",TRUE);
     
    34223406
    34233407  case 129:
    3424 #line 1188 "grammar.y"
     3408#line 1190 "grammar.y"
    34253409    {
    34263410            if ((yyvsp[(3) - (4)].i)==QRING_CMD) (yyvsp[(3) - (4)].i)=RING_CMD;
     
    34303414
    34313415  case 130:
    3432 #line 1193 "grammar.y"
     3416#line 1195 "grammar.y"
    34333417    {
    34343418            list_cmd((yyvsp[(3) - (4)].i),NULL,"// ",TRUE);
     
    34373421
    34383422  case 131:
    3439 #line 1197 "grammar.y"
     3423#line 1199 "grammar.y"
    34403424    {
    34413425            list_cmd(RING_CMD,NULL,"// ",TRUE);
     
    34443428
    34453429  case 132:
    3446 #line 1201 "grammar.y"
     3430#line 1203 "grammar.y"
    34473431    {
    34483432            list_cmd(MATRIX_CMD,NULL,"// ",TRUE);
     
    34513435
    34523436  case 133:
    3453 #line 1205 "grammar.y"
     3437#line 1207 "grammar.y"
    34543438    {
    34553439            list_cmd(INTMAT_CMD,NULL,"// ",TRUE);
     
    34583442
    34593443  case 134:
    3460 #line 1209 "grammar.y"
     3444#line 1211 "grammar.y"
    34613445    {
    34623446            list_cmd(PROC_CMD,NULL,"// ",TRUE);
     
    34653449
    34663450  case 135:
    3467 #line 1213 "grammar.y"
     3451#line 1215 "grammar.y"
    34683452    {
    34693453            list_cmd(0,(yyvsp[(3) - (4)].lv).Fullname(),"// ",TRUE);
     
    34733457
    34743458  case 136:
    3475 #line 1218 "grammar.y"
     3459#line 1220 "grammar.y"
    34763460    {
    34773461            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    34823466
    34833467  case 137:
    3484 #line 1224 "grammar.y"
     3468#line 1226 "grammar.y"
    34853469    {
    34863470            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    34913475
    34923476  case 138:
    3493 #line 1230 "grammar.y"
     3477#line 1232 "grammar.y"
    34943478    {
    34953479            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    35003484
    35013485  case 139:
    3502 #line 1236 "grammar.y"
     3486#line 1238 "grammar.y"
    35033487    {
    35043488            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    35093493
    35103494  case 140:
    3511 #line 1242 "grammar.y"
     3495#line 1244 "grammar.y"
    35123496    {
    35133497            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    35183502
    35193503  case 141:
    3520 #line 1248 "grammar.y"
     3504#line 1250 "grammar.y"
    35213505    {
    35223506            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    35273511
    35283512  case 142:
    3529 #line 1254 "grammar.y"
     3513#line 1256 "grammar.y"
    35303514    {
    35313515            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    35363520
    35373521  case 143:
    3538 #line 1260 "grammar.y"
     3522#line 1262 "grammar.y"
    35393523    {
    35403524            if((yyvsp[(3) - (6)].lv).Typ() == PACKAGE_CMD)
     
    35453529
    35463530  case 144:
    3547 #line 1272 "grammar.y"
     3531#line 1274 "grammar.y"
    35483532    {
    35493533            list_cmd(-1,NULL,"// ",TRUE);
     
    35523536
    35533537  case 145:
    3554 #line 1278 "grammar.y"
     3538#line 1280 "grammar.y"
    35553539    { yyInRingConstruction = TRUE; ;}
    35563540    break;
    35573541
    35583542  case 146:
    3559 #line 1287 "grammar.y"
     3543#line 1289 "grammar.y"
    35603544    {
    35613545            const char *ring_name = (yyvsp[(2) - (8)].lv).name;
     
    35943578
    35953579  case 147:
    3596 #line 1321 "grammar.y"
     3580#line 1323 "grammar.y"
    35973581    {
    35983582            const char *ring_name = (yyvsp[(2) - (2)].lv).name;
     
    36043588
    36053589  case 148:
    3606 #line 1331 "grammar.y"
     3590#line 1333 "grammar.y"
    36073591    {
    36083592            if (((yyvsp[(1) - (2)].i)!=LIB_CMD)||(iiLibCmd((yyvsp[(2) - (2)].name),TRUE,TRUE,TRUE)))
     
    36183602
    36193603  case 151:
    3620 #line 1347 "grammar.y"
     3604#line 1349 "grammar.y"
    36213605    {
    36223606            if (((yyvsp[(1) - (2)].i)==KEEPRING_CMD) && (myynest==0))
     
    36903674
    36913675  case 152:
    3692 #line 1423 "grammar.y"
     3676#line 1421 "grammar.y"
    36933677    {
    36943678            if ((yyvsp[(2) - (2)].lv).rtyp!=IDHDL) MYYERROR("identifier expected");
     
    36993683
    37003684  case 153:
    3701 #line 1429 "grammar.y"
     3685#line 1427 "grammar.y"
    37023686    {
    37033687            //Print("typ is %d, rtyp:%d\n",$1.Typ(),$1.rtyp);
     
    37253709
    37263710  case 154:
    3727 #line 1458 "grammar.y"
     3711#line 1456 "grammar.y"
    37283712    {
    37293713            int i; TESTSETINT((yyvsp[(3) - (5)].lv),i);
     
    37413725
    37423726  case 155:
    3743 #line 1471 "grammar.y"
     3727#line 1469 "grammar.y"
    37443728    {
    37453729            if (currentVoice->ifsw==1)
     
    37613745
    37623746  case 156:
    3763 #line 1488 "grammar.y"
     3747#line 1486 "grammar.y"
    37643748    {
    37653749            int i; TESTSETINT((yyvsp[(3) - (5)].lv),i);
     
    37733757
    37743758  case 157:
    3775 #line 1497 "grammar.y"
     3759#line 1495 "grammar.y"
    37763760    {
    37773761            if (exitBuffer(BT_break)) YYERROR;
     
    37813765
    37823766  case 158:
    3783 #line 1502 "grammar.y"
     3767#line 1500 "grammar.y"
    37843768    {
    37853769            if (contBuffer(BT_break)) YYERROR;
     
    37893773
    37903774  case 159:
    3791 #line 1510 "grammar.y"
     3775#line 1508 "grammar.y"
    37923776    {
    37933777            /* -> if(!$2) break; $3; continue;*/
     
    38013785
    38023786  case 160:
    3803 #line 1522 "grammar.y"
     3787#line 1520 "grammar.y"
    38043788    {
    38053789            /* $2 */
     
    38203804
    38213805  case 161:
    3822 #line 1541 "grammar.y"
     3806#line 1539 "grammar.y"
    38233807    {
    38243808            procinfov pi;
     
    38343818
    38353819  case 162:
    3836 #line 1552 "grammar.y"
     3820#line 1550 "grammar.y"
    38373821    {
    38383822            idhdl h = enterid((yyvsp[(1) - (3)].name),myynest,PROC_CMD,&IDROOT,TRUE);
     
    38573841
    38583842  case 163:
    3859 #line 1572 "grammar.y"
     3843#line 1570 "grammar.y"
    38603844    {
    38613845            omFree((ADDRESS)(yyvsp[(3) - (4)].name));
     
    38813865
    38823866  case 164:
    3883 #line 1596 "grammar.y"
     3867#line 1594 "grammar.y"
    38843868    {
    38853869            //Print("par:%s, %d\n",$2.Name(),$2.Typ());
     
    38903874
    38913875  case 165:
    3892 #line 1602 "grammar.y"
     3876#line 1600 "grammar.y"
    38933877    {
    38943878            //Print("par:%s, %d\n",$2.Name(),$2.Typ());
     
    39023886
    39033887  case 166:
    3904 #line 1614 "grammar.y"
     3888#line 1612 "grammar.y"
    39053889    {
    39063890            if(iiRETURNEXPR==NULL) YYERROR;
     
    39123896
    39133897  case 167:
    3914 #line 1621 "grammar.y"
     3898#line 1619 "grammar.y"
    39153899    {
    39163900            if ((yyvsp[(1) - (3)].i)==RETURN)
     
    39263910
    39273911/* Line 1267 of yacc.c.  */
    3928 #line 3929 "grammar.cc"
     3912#line 3910 "grammar.cc"
    39293913      default: break;
    39303914    }
  • Singular/grammar.h

    r420998 r4b3ef4b  
    9999     MINRES_CMD = 315,
    100100     MODULO_CMD = 316,
    101      MRES_CMD = 317,
    102      MULTIPLICITY_CMD = 318,
    103      ORD_CMD = 319,
    104      PAR_CMD = 320,
    105      PARDEG_CMD = 321,
    106      PREIMAGE_CMD = 322,
    107      QUOTIENT_CMD = 323,
    108      QHWEIGHT_CMD = 324,
    109      REDUCE_CMD = 325,
    110      REGULARITY_CMD = 326,
    111      RES_CMD = 327,
    112      SIMPLIFY_CMD = 328,
    113      SORTVEC_CMD = 329,
    114      SRES_CMD = 330,
    115      STD_CMD = 331,
    116      SUBST_CMD = 332,
    117      SYZYGY_CMD = 333,
    118      VAR_CMD = 334,
    119      VDIM_CMD = 335,
    120      WEDGE_CMD = 336,
    121      WEIGHT_CMD = 337,
    122      VALTVARS = 338,
    123      VMAXDEG = 339,
    124      VMAXMULT = 340,
    125      VNOETHER = 341,
    126      VMINPOLY = 342,
    127      END_RING = 343,
    128      CMD_1 = 344,
    129      CMD_2 = 345,
    130      CMD_3 = 346,
    131      CMD_12 = 347,
    132      CMD_13 = 348,
    133      CMD_23 = 349,
    134      CMD_123 = 350,
    135      CMD_M = 351,
    136      ROOT_DECL = 352,
    137      ROOT_DECL_LIST = 353,
    138      RING_DECL = 354,
    139      EXAMPLE_CMD = 355,
    140      EXPORT_CMD = 356,
    141      HELP_CMD = 357,
    142      KILL_CMD = 358,
    143      LIB_CMD = 359,
    144      LISTVAR_CMD = 360,
    145      SETRING_CMD = 361,
    146      TYPE_CMD = 362,
    147      STRINGTOK = 363,
    148      BLOCKTOK = 364,
    149      INT_CONST = 365,
    150      UNKNOWN_IDENT = 366,
    151      RINGVAR = 367,
    152      PROC_DEF = 368,
    153      BREAK_CMD = 369,
    154      CONTINUE_CMD = 370,
    155      ELSE_CMD = 371,
    156      EVAL = 372,
    157      QUOTE = 373,
    158      FOR_CMD = 374,
    159      IF_CMD = 375,
    160      SYS_BREAK = 376,
    161      WHILE_CMD = 377,
    162      RETURN = 378,
    163      PARAMETER = 379,
    164      SYSVAR = 380,
    165      UMINUS = 381
     101     MONOM_CMD = 317,
     102     MRES_CMD = 318,
     103     MULTIPLICITY_CMD = 319,
     104     ORD_CMD = 320,
     105     PAR_CMD = 321,
     106     PARDEG_CMD = 322,
     107     PREIMAGE_CMD = 323,
     108     QUOTIENT_CMD = 324,
     109     QHWEIGHT_CMD = 325,
     110     REDUCE_CMD = 326,
     111     REGULARITY_CMD = 327,
     112     RES_CMD = 328,
     113     SIMPLIFY_CMD = 329,
     114     SORTVEC_CMD = 330,
     115     SRES_CMD = 331,
     116     STD_CMD = 332,
     117     SUBST_CMD = 333,
     118     SYZYGY_CMD = 334,
     119     VAR_CMD = 335,
     120     VDIM_CMD = 336,
     121     WEDGE_CMD = 337,
     122     WEIGHT_CMD = 338,
     123     VALTVARS = 339,
     124     VMAXDEG = 340,
     125     VMAXMULT = 341,
     126     VNOETHER = 342,
     127     VMINPOLY = 343,
     128     END_RING = 344,
     129     CMD_1 = 345,
     130     CMD_2 = 346,
     131     CMD_3 = 347,
     132     CMD_12 = 348,
     133     CMD_13 = 349,
     134     CMD_23 = 350,
     135     CMD_123 = 351,
     136     CMD_M = 352,
     137     ROOT_DECL = 353,
     138     ROOT_DECL_LIST = 354,
     139     RING_DECL = 355,
     140     EXAMPLE_CMD = 356,
     141     EXPORT_CMD = 357,
     142     HELP_CMD = 358,
     143     KILL_CMD = 359,
     144     LIB_CMD = 360,
     145     LISTVAR_CMD = 361,
     146     SETRING_CMD = 362,
     147     TYPE_CMD = 363,
     148     STRINGTOK = 364,
     149     BLOCKTOK = 365,
     150     INT_CONST = 366,
     151     UNKNOWN_IDENT = 367,
     152     RINGVAR = 368,
     153     PROC_DEF = 369,
     154     BREAK_CMD = 370,
     155     CONTINUE_CMD = 371,
     156     ELSE_CMD = 372,
     157     EVAL = 373,
     158     QUOTE = 374,
     159     FOR_CMD = 375,
     160     IF_CMD = 376,
     161     SYS_BREAK = 377,
     162     WHILE_CMD = 378,
     163     RETURN = 379,
     164     PARAMETER = 380,
     165     SYSVAR = 381,
     166     UMINUS = 382
    166167   };
    167168#endif
     
    226227#define MINRES_CMD 315
    227228#define MODULO_CMD 316
    228 #define MRES_CMD 317
    229 #define MULTIPLICITY_CMD 318
    230 #define ORD_CMD 319
    231 #define PAR_CMD 320
    232 #define PARDEG_CMD 321
    233 #define PREIMAGE_CMD 322
    234 #define QUOTIENT_CMD 323
    235 #define QHWEIGHT_CMD 324
    236 #define REDUCE_CMD 325
    237 #define REGULARITY_CMD 326
    238 #define RES_CMD 327
    239 #define SIMPLIFY_CMD 328
    240 #define SORTVEC_CMD 329
    241 #define SRES_CMD 330
    242 #define STD_CMD 331
    243 #define SUBST_CMD 332
    244 #define SYZYGY_CMD 333
    245 #define VAR_CMD 334
    246 #define VDIM_CMD 335
    247 #define WEDGE_CMD 336
    248 #define WEIGHT_CMD 337
    249 #define VALTVARS 338
    250 #define VMAXDEG 339
    251 #define VMAXMULT 340
    252 #define VNOETHER 341
    253 #define VMINPOLY 342
    254 #define END_RING 343
    255 #define CMD_1 344
    256 #define CMD_2 345
    257 #define CMD_3 346
    258 #define CMD_12 347
    259 #define CMD_13 348
    260 #define CMD_23 349
    261 #define CMD_123 350
    262 #define CMD_M 351
    263 #define ROOT_DECL 352
    264 #define ROOT_DECL_LIST 353
    265 #define RING_DECL 354
    266 #define EXAMPLE_CMD 355
    267 #define EXPORT_CMD 356
    268 #define HELP_CMD 357
    269 #define KILL_CMD 358
    270 #define LIB_CMD 359
    271 #define LISTVAR_CMD 360
    272 #define SETRING_CMD 361
    273 #define TYPE_CMD 362
    274 #define STRINGTOK 363
    275 #define BLOCKTOK 364
    276 #define INT_CONST 365
    277 #define UNKNOWN_IDENT 366
    278 #define RINGVAR 367
    279 #define PROC_DEF 368
    280 #define BREAK_CMD 369
    281 #define CONTINUE_CMD 370
    282 #define ELSE_CMD 371
    283 #define EVAL 372
    284 #define QUOTE 373
    285 #define FOR_CMD 374
    286 #define IF_CMD 375
    287 #define SYS_BREAK 376
    288 #define WHILE_CMD 377
    289 #define RETURN 378
    290 #define PARAMETER 379
    291 #define SYSVAR 380
    292 #define UMINUS 381
     229#define MONOM_CMD 317
     230#define MRES_CMD 318
     231#define MULTIPLICITY_CMD 319
     232#define ORD_CMD 320
     233#define PAR_CMD 321
     234#define PARDEG_CMD 322
     235#define PREIMAGE_CMD 323
     236#define QUOTIENT_CMD 324
     237#define QHWEIGHT_CMD 325
     238#define REDUCE_CMD 326
     239#define REGULARITY_CMD 327
     240#define RES_CMD 328
     241#define SIMPLIFY_CMD 329
     242#define SORTVEC_CMD 330
     243#define SRES_CMD 331
     244#define STD_CMD 332
     245#define SUBST_CMD 333
     246#define SYZYGY_CMD 334
     247#define VAR_CMD 335
     248#define VDIM_CMD 336
     249#define WEDGE_CMD 337
     250#define WEIGHT_CMD 338
     251#define VALTVARS 339
     252#define VMAXDEG 340
     253#define VMAXMULT 341
     254#define VNOETHER 342
     255#define VMINPOLY 343
     256#define END_RING 344
     257#define CMD_1 345
     258#define CMD_2 346
     259#define CMD_3 347
     260#define CMD_12 348
     261#define CMD_13 349
     262#define CMD_23 350
     263#define CMD_123 351
     264#define CMD_M 352
     265#define ROOT_DECL 353
     266#define ROOT_DECL_LIST 354
     267#define RING_DECL 355
     268#define EXAMPLE_CMD 356
     269#define EXPORT_CMD 357
     270#define HELP_CMD 358
     271#define KILL_CMD 359
     272#define LIB_CMD 360
     273#define LISTVAR_CMD 361
     274#define SETRING_CMD 362
     275#define TYPE_CMD 363
     276#define STRINGTOK 364
     277#define BLOCKTOK 365
     278#define INT_CONST 366
     279#define UNKNOWN_IDENT 367
     280#define RINGVAR 368
     281#define PROC_DEF 369
     282#define BREAK_CMD 370
     283#define CONTINUE_CMD 371
     284#define ELSE_CMD 372
     285#define EVAL 373
     286#define QUOTE 374
     287#define FOR_CMD 375
     288#define IF_CMD 376
     289#define SYS_BREAK 377
     290#define WHILE_CMD 378
     291#define RETURN 379
     292#define PARAMETER 380
     293#define SYSVAR 381
     294#define UMINUS 382
    293295
    294296
  • Singular/grammar.y

    r420998 r4b3ef4b  
    261261%token <i> MINRES_CMD
    262262%token <i> MODULO_CMD
     263%token <i> MONOM_CMD
    263264%token <i> MRES_CMD
    264265%token <i> MULTIPLICITY_CMD
  • Singular/iparith.cc

    r420998 r4b3ef4b  
    324324  { "modulo",      0, MODULO_CMD ,        CMD_2},
    325325  { "monitor",     0, MONITOR_CMD ,       CMD_12},
     326  { "monom",       0, MONOM_CMD ,         CMD_1},
    326327  { "mpresmat",    0, MPRES_CMD,          CMD_2},
    327328  { "mult",        0, MULTIPLICITY_CMD ,  CMD_1},
     
    26692670  return FALSE;
    26702671#endif
     2672}
     2673static BOOLEAN jjMONOM(leftv res, leftv v)
     2674{
     2675  intvec *iv=(intvec *)v->Data();
     2676  poly p=pOne();
     2677  int i;
     2678  for(i=si_min(pVariables,iv->length()); i>0; i--)
     2679  {
     2680    pSetExp(p,i,(*iv)[i-1]);
     2681  }
     2682  if (iv->length()==(pVariables+1))
     2683  {
     2684    res->rtyp=VECTOR_CMD;
     2685    pSetComp(p,(*iv)[pVariables]);
     2686  }
     2687  pSetm(p);
     2688  res->data=(char*)p;
     2689  return FALSE;
    26712690}
    26722691static BOOLEAN jjPARSTR2(leftv res, leftv u, leftv v)
     
    53895408,{jjDUMMY,      MODUL_CMD,       MODUL_CMD,      MODUL_CMD     , ALLOW_PLURAL |ALLOW_RING}
    53905409,{jjMONITOR1,   MONITOR_CMD,     NONE,           LINK_CMD      , ALLOW_PLURAL |ALLOW_RING}
     5410,{jjMONOM,      MONOM_CMD,       POLY_CMD,       INTVEC_CMD    , ALLOW_PLURAL |ALLOW_RING}
    53915411,{jjMULT,       MULTIPLICITY_CMD,  INT_CMD,      IDEAL_CMD     , NO_PLURAL |ALLOW_RING}
    53925412,{jjMULT,       MULTIPLICITY_CMD,  INT_CMD,      MODUL_CMD     , NO_PLURAL |ALLOW_RING}
Note: See TracChangeset for help on using the changeset viewer.