My Project
table.h
Go to the documentation of this file.
1 #ifdef IPARITH
2 // additional to the usual types: INT_CMD etc.
3 // thre are special types:
4 // for the input:
5 // IDHDL: argument must have a name
6 // DEF_CMD: no restriktions on the argument
7 // ANY_TYPE: changes to pseudo data (for "defined", "typeof", etc.)
8 // with the following subfields
9 // - name !=NULL
10 // - data := original type id
11 
12 // for the output:
13 // NONE: does not return a value
14 // ANY_TYPE: various types, the routines have to set it
15 
16 // the procedures have to be wrapped into the macro D(...)
17 // with the exception of jjWRONG... (which always fails)
18 // -----------------------------------------------------------------------
19 // context: non-commutative rings and coefficient domain:
20 //
21 // commutativity:
22 // ALLOW_NC: also for plural rings and letterplace rings
23 // ALLOW_LP: also for letterplace rings, not for plural rings
24 // ALLOW_PLURAL: not for letterplace rings, but for plural rings
25 // COMM_PLURAL: only for commuative subrings of plural rings
26 // NO_NC: not for non-commutative rings
27 //
28 // coefficient domain:
29 // ALLOW_RING: coefficient domain may be a ring
30 // NO_ZERODIVISOR: coefficient domain may be a ring without zero-divisors
31 // NO_RING: coefficient domain must be a field
32 //
33 // other stuff:
34 // NO_CONVERSION: arguments must have EXACTLY these types
35 // WARN_RING: warn, that the operation happens in the quotient field
36 /*=================== operations with 1 arg.: table =================*/
37 const struct sValCmd1 dArith1[]=
38 {
39 // operationsi
40 // proc cmd res arg context
46 #ifdef SINGULAR_4_2
47 ,{D(jjNUMBER2_OP1),'-', CNUMBER_CMD, CNUMBER_CMD , ALLOW_NC |ALLOW_RING}
48 ,{D(jjPOLY2_OP1), '-', CPOLY_CMD, CPOLY_CMD , ALLOW_NC |ALLOW_RING}
49 #endif
56 #ifdef SINGULAR_4_2
58 #endif
59 ,{D(jjPROC1), '(', ANY_TYPE/*set by p*/,PROC_CMD , ALLOW_NC |ALLOW_RING}
60 // and the procedures with 1 argument:
76 #ifdef SINGULAR_4_2
78 #endif
79 //,{ jjWRONG , COLS_CMD, 0, VECTOR_CMD , ALLOW_NC |ALLOW_RING}
86 #ifdef SINGULAR_4_2
88 #endif
89 //,{ jjWRONG , COLS_CMD, 0, INTVEC_CMD , ALLOW_NC |ALLOW_RING}
117 #ifdef SINGULAR_4_2
119 #endif
168 ,{D(jjKBASE), KBASE_CMD, IDEAL_CMD, IDEAL_CMD , ALLOW_PLURAL |ALLOW_RING|WARN_RING} /*ring-cf: warning at top level*/
169 ,{D(jjKBASE), KBASE_CMD, MODUL_CMD, MODUL_CMD , ALLOW_PLURAL |ALLOW_RING|WARN_RING} /*ring-cf: warning at top level*/
209 #ifdef SINGULAR_4_2
211 #endif
219 ,{D(jjCALL1MANY), OPTION_CMD, NONE, DEF_CMD , ALLOW_NC |ALLOW_RING} /*libsing*/
225 #ifdef SINGULAR_4_2
230 #endif
257 //,{ jjWRONG , ROWS_CMD, 0, POLY_CMD , ALLOW_NC |ALLOW_RING}
264 #ifdef SINGULAR_4_2
266 #endif
287 //,{ jjWRONG , TRACE_CMD, 0, INTVEC_CMD , ALLOW_NC |ALLOW_RING}
288 //,{ jjWRONG , TRACE_CMD, 0, IDEAL_CMD , ALLOW_NC |ALLOW_RING}
294 #ifdef SINGULAR_4_2
296 #endif
306 ,{D(jjVDIM), VDIM_CMD, INT_CMD, IDEAL_CMD , ALLOW_NC |ALLOW_RING |WARN_RING} /*ring-cf: warning at top level*/
307 ,{D(jjVDIM), VDIM_CMD, INT_CMD, MODUL_CMD , ALLOW_PLURAL |ALLOW_RING |WARN_RING} /*ring-cf: warning at top level*/
317 ,{NULL_VAL, 0, 0, 0 , NO_NC |NO_RING}
318 };
319 /*=================== operations with 2 arg.: table =================*/
320 const struct sValCmd2 dArith2[]=
321 {
322 // operations:
323 // proc cmd res arg1 arg2 context
348 #ifdef SINGULAR_4_2
349 ,{D(jjNUMBER2_OP2),'+', CNUMBER_CMD, CNUMBER_CMD,CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
350 ,{D(jjNUMBER2_OP2),'+', CNUMBER_CMD, DEF_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
351 ,{D(jjNUMBER2_OP2),'+', CNUMBER_CMD, CNUMBER_CMD,DEF_CMD, ALLOW_NC | ALLOW_RING}
352 ,{D(jjPOLY2_OP2), '+', CPOLY_CMD, CPOLY_CMD, DEF_CMD, ALLOW_NC | ALLOW_RING}
353 ,{D(jjPOLY2_OP2), '+', CPOLY_CMD, DEF_CMD, CPOLY_CMD, ALLOW_NC | ALLOW_RING}
355 #endif
379 #ifdef SINGULAR_4_2
380 ,{D(jjNUMBER2_OP2),'-', CNUMBER_CMD, CNUMBER_CMD,CNUMBER_CMD, ALLOW_NALLOW_NC | ALLOW_RING}
381 ,{D(jjNUMBER2_OP2),'-', CNUMBER_CMD, INT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
382 ,{D(jjNUMBER2_OP2),'-', CNUMBER_CMD, CNUMBER_CMD,INT_CMD, ALLOW_NC | ALLOW_RING}
383 ,{D(jjNUMBER2_OP2),'-', CNUMBER_CMD, BIGINT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
384 ,{D(jjNUMBER2_OP2),'-', CNUMBER_CMD, CNUMBER_CMD,BIGINT_CMD, ALLOW_NC | ALLOW_RING}
385 ,{D(jjPOLY2_OP2), '-', CPOLY_CMD, CPOLY_CMD, CPOLY_CMD, ALLOW_NC | ALLOW_RING}
386 ,{D(jjPOLY2_OP2), '-', CPOLY_CMD, CPOLY_CMD, INT_CMD, ALLOW_NC | ALLOW_RING}
387 ,{D(jjPOLY2_OP2), '-', CPOLY_CMD, INT_CMD, CPOLY_CMD, ALLOW_NC | ALLOW_RING}
389 #endif
431 #ifdef SINGULAR_4_2
432 ,{D(jjNUMBER2_OP2),'*', CNUMBER_CMD, CNUMBER_CMD,CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
433 ,{D(jjNUMBER2_OP2),'*', CNUMBER_CMD, INT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
434 ,{D(jjNUMBER2_OP2),'*', CNUMBER_CMD, CNUMBER_CMD,INT_CMD, ALLOW_NC | ALLOW_RING}
435 ,{D(jjNUMBER2_OP2),'*', CNUMBER_CMD, BIGINT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
436 ,{D(jjNUMBER2_OP2),'*', CNUMBER_CMD, CNUMBER_CMD,BIGINT_CMD, ALLOW_NC | ALLOW_RING}
437 ,{D(jjPOLY2_OP2), '*', CPOLY_CMD, CPOLY_CMD, CPOLY_CMD, ALLOW_NC | ALLOW_RING}
438 ,{D(jjPOLY2_OP2), '*', CPOLY_CMD, CPOLY_CMD, INT_CMD, ALLOW_NC | ALLOW_RING}
439 ,{D(jjPOLY2_OP2), '*', CPOLY_CMD, INT_CMD, CPOLY_CMD, ALLOW_NC | ALLOW_RING}
441 #endif
453 #ifdef SINGULAR_4_2
454 ,{D(jjNUMBER2_OP2),'/', CNUMBER_CMD, CNUMBER_CMD,CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
455 ,{D(jjNUMBER2_OP2),'/', CNUMBER_CMD, INT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
456 ,{D(jjNUMBER2_OP2),'/', CNUMBER_CMD, CNUMBER_CMD,INT_CMD, ALLOW_NC | ALLOW_RING}
457 ,{D(jjNUMBER2_OP2),'/', CNUMBER_CMD, BIGINT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
458 ,{D(jjNUMBER2_OP2),'/', CNUMBER_CMD, CNUMBER_CMD,BIGINT_CMD, ALLOW_NC | ALLOW_RING}
459 #endif
472 #ifdef SINGULAR_4_2
473 ,{D(jjNUMBER2_OP2),'%', CNUMBER_CMD, CNUMBER_CMD,CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
474 ,{D(jjNUMBER2_OP2),'%', CNUMBER_CMD, INT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
475 ,{D(jjNUMBER2_OP2),'%', CNUMBER_CMD, CNUMBER_CMD,INT_CMD, ALLOW_NC | ALLOW_RING}
476 ,{D(jjNUMBER2_OP2),'%', CNUMBER_CMD, BIGINT_CMD, CNUMBER_CMD, ALLOW_NC | ALLOW_RING}
477 ,{D(jjNUMBER2_OP2),'%', CNUMBER_CMD, CNUMBER_CMD,BIGINT_CMD, ALLOW_NC | ALLOW_RING}
478 #endif
484 #ifdef SINGULAR_4_2
485 ,{D(jjNUMBER2_POW),'^', CNUMBER_CMD, CNUMBER_CMD,INT_CMD, ALLOW_NC | ALLOW_RING}
486 ,{D(jjPOLY2_POW), '^', CPOLY_CMD, CPOLY_CMD, INT_CMD, ALLOW_PLURAL | ALLOW_RING}
487 #endif
538 #ifdef SINGULAR_4_2
540 #endif
575 ,{D(jjINDEX_I), '[', ANY_TYPE/*set by p*/,LIST_CMD, INT_CMD, ALLOW_NC | ALLOW_RING}
576 ,{D(jjINDEX_IV), '[', ANY_TYPE/*set by p*/,LIST_CMD, INTVEC_CMD, ALLOW_NC | ALLOW_RING}
583 ,{D(jjPROC), '(', ANY_TYPE/*set by p*/,PROC_CMD, DEF_CMD, ALLOW_NC | ALLOW_RING}
584 ,{D(jjMAP), '(', ANY_TYPE/*set by p*/,MAP_CMD, DEF_CMD, ALLOW_NC | ALLOW_RING}
586 ,{D(jjKLAMMER), '(', ANY_TYPE/*set by p*/,ANY_TYPE, INT_CMD, ALLOW_NC | ALLOW_RING}
589 // and the procedures with 2 arguments:
597 #if defined(HAVE_PLURAL) || defined(HAVE_SHIFTBBA)
599 #endif
601 //,{D(jjCHINREM_P), CHINREM_CMD, POLY_CMD, LIST_CMD, INTVEC_CMD, ALLOW_PLURAL}
604 #ifdef SINGULAR_4_2
608 #endif
688 ,{D(jjKBASE2), KBASE_CMD, IDEAL_CMD, IDEAL_CMD, INT_CMD, ALLOW_PLURAL |ALLOW_RING |WARN_RING} /*ring-cf: warning at top level*/
689 ,{D(jjKBASE2), KBASE_CMD, MODUL_CMD, MODUL_CMD, INT_CMD, ALLOW_PLURAL |ALLOW_RING |WARN_RING} /*ring-cf: warning at top level*/
706 //,{D(jjRES), MRES_CMD, LIST_CMD, IDEAL_CMD, INT_CMD, NO_NC |ALLOW_RING}
707 //,{D(jjRES), MRES_CMD, LIST_CMD, MODUL_CMD, INT_CMD, NO_NC |ALLOW_RING}
710 #ifdef SINGULAR_4_2
715 #endif
718 #ifdef HAVE_PLURAL
728 #endif
754 //,{D(jjRES), SRES_CMD, LIST_CMD, IDEAL_CMD, INT_CMD, NO_NC |ALLOW_RING}
755 //,{D(jjRES), SRES_CMD, LIST_CMD, MODUL_CMD, INT_CMD, NO_NC |ALLOW_RING}
773 ,{NULL_VAL, 0, 0, 0, 0, NO_NC |NO_RING}
774 };
775 /*=================== operations with 3 args.: table =================*/
776 const struct sValCmd3 dArith3[]=
777 {
778 // operations:
779 // proc cmd res arg1 arg2 arg3 context
795 #ifdef SINGULAR_4_2
797 #endif
801 #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
803 #endif
810 #ifdef SINGULAR_4_2
812 #endif
859 #ifdef OLD_RES
862 #endif
866 #ifdef SINGULAR_4_2
868 #endif
879 #ifdef OLD_RES
882 #endif
885 #ifdef OLD_RES
888 #endif
904 ,{NULL_VAL, 0, 0, 0, 0, 0 , NO_NC |NO_RING}
905 };
906 /*=================== operations with many arg.: table =================*/
907 /* number_of_args: -1: any, -2: any >0, 1: 1, 2: 2, .. */
908 const struct sValCmdM dArithM[]=
909 {
910 // operations:
911 // proc cmd res number_of_args context
912  {D(jjKLAMMER_PL), '(', ANY_TYPE, -2 , ALLOW_NC |ALLOW_RING}
913 ,{D(jjRING_PL), '[', RING_CMD, -2 , ALLOW_NC |ALLOW_RING}
917 #ifdef SINGULAR_4_2
920 #endif
927 //,{D(jjEXPORTTO_M), EXPORTTO_CMD, NONE, -2 , ALLOW_NC |ALLOW_RING}
928 ,{D(jjCALL2ARG), FETCH_CMD, ANY_TYPE/*or set by p*/,2 , ALLOW_NC |ALLOW_RING}
929 ,{D(jjFETCH_M), FETCH_CMD, ANY_TYPE/*or set by p*/,3 , ALLOW_PLURAL |ALLOW_RING}
930 ,{D(jjFETCH_M), FETCH_CMD, ANY_TYPE/*or set by p*/,4 , ALLOW_PLURAL |ALLOW_RING}
938 ,{D(jjCALL2ARG), JET_CMD, POLY_CMD,/*or set by p*/ 2 , ALLOW_PLURAL |ALLOW_RING}
939 ,{D(jjCALL3ARG), JET_CMD, POLY_CMD,/*or set by p*/ 3 , ALLOW_PLURAL |ALLOW_RING}
940 ,{D(jjJET4), JET_CMD, POLY_CMD,/*or set by p*/ 4 , ALLOW_PLURAL |ALLOW_RING}
945 ,{D(jjCALL2ARG), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/2 , ALLOW_NC |ALLOW_RING}
946 ,{D(jjCALL3ARG), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/3 , ALLOW_NC |ALLOW_RING}
947 ,{D(jjLIFTSTD_M), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/4 , ALLOW_NC |ALLOW_RING}
948 ,{D(jjLIFTSTD_M), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/5 , ALLOW_NC |ALLOW_RING}
962 ,{D(jjOPTION_PL), OPTION_CMD, STRING_CMD/*or set by p*/,-1, ALLOW_NC |ALLOW_RING}
963 ,{D(jjCALL2ARG), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 2, ALLOW_NC |ALLOW_RING}
964 ,{D(jjCALL3ARG), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 3, ALLOW_NC |ALLOW_RING}
965 ,{D(jjREDUCE4), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 4, ALLOW_PLURAL |ALLOW_RING}
966 ,{D(jjREDUCE5), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 5, ALLOW_PLURAL |ALLOW_RING}
969 //,{D(jjCALL1ARG), RESERVEDNAMELIST_CMD, LIST_CMD, 1 , ALLOW_NC |ALLOW_RING}
972 ,{D(jjCALL3ARG), SUBST_CMD, NONE/*set by p*/, 3 , ALLOW_NC |ALLOW_RING}
973 ,{D(jjSUBST_M), SUBST_CMD, NONE/*set by p*/, -2 , ALLOW_NC |ALLOW_RING}
974 ,{D(jjSYSTEM), SYSTEM_CMD, NONE/*or set by p*/,-2 , ALLOW_NC |ALLOW_RING}
982 ,{D(jjCALL1ARG), STD_CMD, IDEAL_CMD/* or set by p*/,1 , ALLOW_NC |ALLOW_RING}
988 ,{NULL_VAL, 0, 0, 0 , NO_NC |NO_RING}
989 };
990 #ifdef GENTABLE
991 // this table MUST be order alphabetically by its first entry:
992 // cannot be declared const because it will be sorted by qsort
993 VAR cmdnames cmds[] =
994 // alias: 0: real name, 1: this is an alias, 2: this is an outdated alias
995 { // name-string alias tokval toktype
996  { "$INVALID$", 0, -1, 0},
997  { "ASSUME", 0, ASSUME_CMD, ASSUME_CMD},
998  { "LIB", 0, LIB_CMD , SYSVAR},
999  { "alias", 0, ALIAS_CMD , PARAMETER},
1000  { "align", 0, ALIGN_CMD , CMD_2},
1001  { "and", 0, '&' , LOGIC_OP},
1002  { "apply", 0, APPLY, APPLY},
1003  { "attrib", 0, ATTRIB_CMD , CMD_123},
1004  { "bareiss", 0, BAREISS_CMD , CMD_13},
1005  { "betti", 0, BETTI_CMD , CMD_12},
1006  { "bigint", 0, BIGINT_CMD , ROOT_DECL},
1007  { "bigintmat", 0, BIGINTMAT_CMD , BIGINTMAT_CMD},
1008  { "branchTo", 0, BRANCHTO_CMD , CMD_M},
1009  #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
1010  { "bracket", 0, BRACKET_CMD , CMD_23},
1011  #endif
1012  { "break", 0, BREAK_CMD , BREAK_CMD},
1013  { "breakpoint", 0, BREAKPOINT_CMD , CMD_M},
1014  { "char", 0, CHARACTERISTIC_CMD ,CMD_1},
1015  { "char_series", 0, CHAR_SERIES_CMD , CMD_1},
1016  { "charstr", 0, CHARSTR_CMD , CMD_1},
1017  { "chinrem", 0, CHINREM_CMD , CMD_2},
1018  { "cleardenom", 0, CONTENT_CMD , CMD_1},
1019  { "close", 0, CLOSE_CMD , CMD_1},
1020 #ifdef SINGULAR_4_2
1021  { "Matrix", 0, CMATRIX_CMD , ROOT_DECL_LIST},
1022  { "Number", 0, CNUMBER_CMD , ROOT_DECL_LIST},
1023  { "parent", 0, PARENT_CMD , CMD_1},
1024  { "Poly", 0, CPOLY_CMD , ROOT_DECL_LIST},
1025 #endif
1026  { "coef", 0, COEF_CMD , CMD_M},
1027  { "coeffs", 0, COEFFS_CMD , CMD_23},
1028  { "continue", 0, CONTINUE_CMD , CONTINUE_CMD},
1029  { "contract", 0, CONTRACT_CMD , CMD_2},
1030  { "convhull", 0, NEWTONPOLY_CMD, CMD_1},
1031  { "cring", 0, CRING_CMD, ROOT_DECL},
1032  { "dbprint", 0, DBPRINT_CMD , CMD_M},
1033  { "def", 0, DEF_CMD , ROOT_DECL},
1034  { "defined", 0, DEFINED_CMD , CMD_1},
1035  { "deg", 0, DEG_CMD , CMD_12},
1036  { "degree", 0, DEGREE_CMD , CMD_1},
1037  { "delete", 0, DELETE_CMD , CMD_2},
1038  { "denominator", 0, DENOMINATOR_CMD , CMD_1},
1039  { "det", 0, DET_CMD , CMD_12},
1040  { "diff", 0, DIFF_CMD , CMD_2},
1041  { "dim", 0, DIM_CMD , CMD_12},
1042  { "div", 0, INTDIV_CMD , MULDIV_OP},
1043  { "division", 0, DIVISION_CMD , CMD_M},
1044  { "dump", 0, DUMP_CMD, CMD_1},
1045  { "extgcd", 0, EXTGCD_CMD , CMD_2},
1046  { "ERROR", 0, ERROR_CMD , CMD_1},
1047  { "eliminate", 0, ELIMINATION_CMD, CMD_23},
1048  { "else", 0, ELSE_CMD , ELSE_CMD},
1049  #ifdef HAVE_PLURAL
1050  { "envelope", 0, ENVELOPE_CMD , CMD_1},
1051  #endif
1052  { "eval", 0, EVAL , EVAL},
1053  { "example", 0, EXAMPLE_CMD , EXAMPLE_CMD},
1054  { "execute", 0, EXECUTE_CMD , CMD_1},
1055  { "export", 0, EXPORT_CMD , EXPORT_CMD},
1056  { "exportto", 0, EXPORTTO_CMD , CMD_2},
1057  { "facstd", 0, FACSTD_CMD , CMD_12},
1058  { "factmodd", 0, FMD_CMD , CMD_M},
1059  { "factorize", 0, FAC_CMD , CMD_12},
1060  { "farey", 0, FAREY_CMD , CMD_2},
1061  { "fetch", 0, FETCH_CMD , CMD_M},
1062  { "fglm", 0, FGLM_CMD , CMD_2},
1063  { "fglmquot", 0, FGLMQUOT_CMD, CMD_2},
1064  { "find", 0, FIND_CMD , CMD_23},
1065  { "finduni", 0, FINDUNI_CMD, CMD_1},
1066  { "forif", 0, IF_CMD , IF_CMD},
1067  { "freemodule", 0, FREEMODULE_CMD , CMD_1},
1068  { "fres", 0, FRES_CMD , CMD_23},
1069  { "frwalk", 0, FWALK_CMD , CMD_23},
1070  { "gen", 0, E_CMD , CMD_1},
1071  { "getdump", 0, GETDUMP_CMD, CMD_1},
1072  { "gcd", 0, GCD_CMD , CMD_2},
1073  { "GCD", 2, GCD_CMD , CMD_2},
1074  { "hilb", 0, HILBERT_CMD , CMD_123},
1075  { "highcorner", 0, HIGHCORNER_CMD, CMD_1},
1076  { "homog", 0, HOMOG_CMD , CMD_123},
1077  { "hres", 0, HRES_CMD , CMD_2},
1078  { "ideal", 0, IDEAL_CMD , RING_DECL_LIST},
1079  { "if", 0, IF_CMD , IF_CMD},
1080  { "imap", 0, IMAP_CMD , CMD_2},
1081  { "impart", 0, IMPART_CMD , CMD_1},
1082  { "importfrom", 0, IMPORTFROM_CMD , CMD_2},
1083  { "indepSet", 0, INDEPSET_CMD , CMD_12},
1084  { "insert", 0, INSERT_CMD , CMD_23},
1085  { "int", 0, INT_CMD , ROOT_DECL},
1086  { "interpolation",0,INTERPOLATE_CMD , CMD_2},
1087  { "interred", 0, INTERRED_CMD , CMD_1},
1088  { "intersect", 0, INTERSECT_CMD , CMD_M},
1089  { "intmat", 0, INTMAT_CMD , INTMAT_CMD},
1090  { "intvec", 0, INTVEC_CMD , ROOT_DECL_LIST},
1091  { "jacob", 0, JACOB_CMD , CMD_1},
1092  { "janet", 0, JANET_CMD , CMD_12},
1093  { "jet", 0, JET_CMD , CMD_M},
1094  { "kbase", 0, KBASE_CMD , CMD_12},
1095  { "keepring", 0, KEEPRING_CMD , KEEPRING_CMD},
1096  { "kernel", 0, KERNEL_CMD , CMD_12},
1097  { "kill", 0, KILL_CMD , KILL_CMD},
1098  { "killattrib", 0, KILLATTR_CMD , CMD_12},
1099  { "koszul", 0, KOSZUL_CMD , CMD_23},
1100  { "kres", 0, KRES_CMD , CMD_2},
1101  { "laguerre", 0, LAGSOLVE_CMD, CMD_13},
1102  { "lead", 0, LEAD_CMD , CMD_1},
1103  { "leadcoef", 0, LEADCOEF_CMD , CMD_1},
1104  { "leadexp", 0, LEADEXP_CMD , CMD_1},
1105  { "leadmonom", 0, LEADMONOM_CMD , CMD_1},
1106  { "lift", 0, LIFT_CMD , CMD_M},
1107  { "liftstd", 0, LIFTSTD_CMD , CMD_M},
1108  { "link", 0, LINK_CMD , ROOT_DECL},
1109  { "listvar", 0, LISTVAR_CMD , LISTVAR_CMD},
1110  { "list", 0, LIST_CMD , ROOT_DECL_LIST},
1111  { "load", 0, LOAD_CMD , CMD_12},
1112  { "lres", 0, LRES_CMD , CMD_2},
1113  { "ludecomp", 0, LU_CMD , CMD_1},
1114  { "luinverse", 0, LUI_CMD , CMD_M},
1115  { "lusolve", 0, LUS_CMD , CMD_M},
1116  { "map", 0, MAP_CMD , RING_DECL},
1117  { "matrix", 0, MATRIX_CMD , MATRIX_CMD},
1118  { "maxideal", 0, MAXID_CMD , CMD_1},
1119  { "memory", 0, MEMORY_CMD , CMD_1},
1120  { "minbase", 0, MINBASE_CMD , CMD_1},
1121  { "minor", 0, MINOR_CMD , CMD_M},
1122  { "minres", 0, MINRES_CMD , CMD_1},
1123  { "mod", 0, '%' , MULDIV_OP},
1124  { "module", 0, MODUL_CMD , RING_DECL_LIST},
1125  { "modulo", 0, MODULO_CMD , CMD_M},
1126  { "monitor", 0, MONITOR_CMD , CMD_12},
1127  { "monomial", 0, MONOM_CMD , CMD_1},
1128  { "mpresmat", 0, MPRES_CMD, CMD_2},
1129  { "mult", 0, MULTIPLICITY_CMD , CMD_1},
1130  #ifdef OLD_RES
1131  { "mres", 0, MRES_CMD , CMD_23},
1132  #else
1133  { "mres", 0, MRES_CMD , CMD_2},
1134  #endif
1135  { "mstd", 0, MSTD_CMD , CMD_1},
1136  { "nameof", 0, NAMEOF_CMD , CMD_1},
1137  { "names", 0, NAMES_CMD , CMD_M},
1138  { "newstruct", 0, NEWSTRUCT_CMD , CMD_23},
1139  #ifdef HAVE_PLURAL
1140  { "ncalgebra", 2, NCALGEBRA_CMD , CMD_2},
1141  { "nc_algebra", 0, NC_ALGEBRA_CMD , CMD_2},
1142  #endif
1143  { "ncols", 0, COLS_CMD , CMD_1},
1144  { "not", 0, NOT , NOT},
1145  { "npars", 0, NPARS_CMD , CMD_1},
1146  #ifdef OLD_RES
1147  { "nres", 0, RES_CMD , CMD_23},
1148  #else
1149  { "nres", 0, RES_CMD , CMD_2},
1150  #endif
1151  { "nrows", 0, ROWS_CMD , CMD_1},
1152  { "number", 0, NUMBER_CMD , RING_DECL},
1153  { "numerator", 0, NUMERATOR_CMD , CMD_1},
1154  { "nvars", 0, NVARS_CMD , CMD_1},
1155  { "open", 0, OPEN_CMD , CMD_1},
1156  #ifdef HAVE_PLURAL
1157  { "oppose", 0, OPPOSE_CMD , CMD_2},
1158  { "opposite", 0, OPPOSITE_CMD , CMD_1},
1159  #endif
1160  { "option", 0, OPTION_CMD , CMD_M},
1161  { "or", 0, '|' , LOGIC_OP},
1162  { "ord", 0, ORD_CMD , CMD_1},
1163  { "ordstr", 0, ORDSTR_CMD , CMD_1},
1164  { "package", 0, PACKAGE_CMD , ROOT_DECL},
1165  { "par", 0, PAR_CMD , CMD_1},
1166  { "parameter", 0, PARAMETER , PARAMETER},
1167  { "pardeg", 0, PARDEG_CMD , CMD_1},
1168  { "parstr", 0, PARSTR_CMD , CMD_12},
1169  { "poly", 0, POLY_CMD , RING_DECL},
1170  { "polyBucket", 0, BUCKET_CMD , RING_DECL},
1171  { "preimage", 0, PREIMAGE_CMD , CMD_13},
1172  { "prime", 0, PRIME_CMD , CMD_1},
1173  { "primefactors",0, PFAC_CMD , CMD_12},
1174  { "print", 0, PRINT_CMD , CMD_12},
1175  { "prune", 0, PRUNE_CMD , CMD_1},
1176  { "proc", 0, PROC_CMD , PROC_CMD},
1177  { "qhweight", 0, QHWEIGHT_CMD , CMD_1},
1178  { "qrds", 0, QRDS_CMD , CMD_M},
1179  { "qring", 0, QRING_CMD , ROOT_DECL},
1180  { "quote", 0, QUOTE , QUOTE},
1181  { "quotient", 0, QUOTIENT_CMD , CMD_2},
1182  { "random", 0, RANDOM_CMD , CMD_23},
1183  { "rank", 0, RANK_CMD , CMD_12},
1184  { "read", 0, READ_CMD , CMD_12},
1185  { "reduce", 0, REDUCE_CMD , CMD_M},
1186  { "regularity", 0, REGULARITY_CMD , CMD_1},
1187  { "repart", 0, REPART_CMD , CMD_1},
1188  { "reservedName",0, RESERVEDNAME_CMD , CMD_M},
1189  { "reservedNameList",0, RESERVEDNAMELIST_CMD , CMD_M},
1190  { "resolution", 0, RESOLUTION_CMD , RING_DECL},
1191  { "resultant", 0, RESULTANT_CMD, CMD_3},
1192  { "restart", 0, RESTART_CMD, CMD_1},
1193  { "return", 0, RETURN , RETURN},
1194  { "RETURN", 0, END_GRAMMAR , RETURN},
1195 #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
1196  { "rightstd", 0, RIGHTSTD_CMD , CMD_1},
1197 #endif /* HAVE_PLURAL */
1198  { "ring", 0, RING_CMD , RING_CMD},
1199  { "ringlist", 0, RINGLIST_CMD , CMD_1},
1200  { "ring_list", 0, RING_LIST_CMD , CMD_1},
1201  { "rvar", 0, IS_RINGVAR , CMD_1},
1202  { "sba", 0, SBA_CMD , CMD_123},
1203  { "setring", 0, SETRING_CMD , SETRING_CMD},
1204  { "simplex", 0, SIMPLEX_CMD, CMD_M},
1205  { "simplify", 0, SIMPLIFY_CMD , CMD_2},
1206  { "size", 0, COUNT_CMD , CMD_1},
1207  { "slimgb", 0, SLIM_GB_CMD , CMD_1},
1208  { "smatrix", 0, SMATRIX_CMD , SMATRIX_CMD},
1209  { "sortvec", 0, SORTVEC_CMD , CMD_1},
1210  { "sqrfree", 0, SQR_FREE_CMD , CMD_12},
1211 #ifdef OLD_RES
1212  { "sres", 0, SRES_CMD , CMD_23},
1213 #else /* OLD_RES */
1214  { "sres", 0, SRES_CMD , CMD_2},
1215 #endif /* OLD_RES */
1216  { "status", 0, STATUS_CMD, CMD_M},
1217  { "std", 0, STD_CMD , CMD_M},
1218  { "string", 0, STRING_CMD , ROOT_DECL_LIST},
1219  { "subst", 0, SUBST_CMD , CMD_M},
1220  { "system", 0, SYSTEM_CMD, CMD_M},
1221  { "syz", 0, SYZYGY_CMD , CMD_12},
1222  { "tensor", 0, TENSOR_CMD , CMD_2},
1223  { "test", 0, TEST_CMD , CMD_M},
1224  { "trace", 0, TRACE_CMD , CMD_1},
1225  { "transpose", 0, TRANSPOSE_CMD , CMD_1},
1226 #if defined(HAVE_PLURAL) || defined(HAVE_SHIFTBBA)
1227  { "twostd", 0, TWOSTD_CMD , CMD_1},
1228 #endif /* HAVE_PLURAL */
1229  { "type", 0, TYPE_CMD , TYPE_CMD},
1230  { "typeof", 0, TYPEOF_CMD , CMD_1},
1231  { "univariate", 0, UNIVARIATE_CMD, CMD_1},
1232  { "uressolve", 0, URSOLVE_CMD, CMD_M},
1233  { "vandermonde", 0, VANDER_CMD, CMD_3},
1234  { "var", 0, VAR_CMD , CMD_1},
1235  { "variables", 0, VARIABLES_CMD, CMD_1},
1236  { "varstr", 0, VARSTR_CMD , CMD_12},
1237  { "vdim", 0, VDIM_CMD , CMD_1},
1238  { "vector", 0, VECTOR_CMD , RING_DECL},
1239  { "waitall", 0, WAITALL_CMD , CMD_12},
1240  { "waitfirst", 0, WAIT1ST_CMD , CMD_12},
1241  { "wedge", 0, WEDGE_CMD , CMD_2},
1242  { "weight", 0, WEIGHT_CMD , CMD_1},
1243  { "whileif", 0, IF_CMD , IF_CMD},
1244  { "write", 0, WRITE_CMD , CMD_M},
1245 /* delete for next version:*/
1246  { "IN", 1, LEAD_CMD , CMD_1},
1247  { "NF", 1, REDUCE_CMD , CMD_M},
1248  { "multiplicity",1, MULTIPLICITY_CMD , CMD_1},
1249  { "verbose", 2, OPTION_CMD , CMD_M},
1250 // { "rank", 1, ROWS_CMD , CMD_1},
1251 // { "Current", 0, -1 , SYSVAR},
1252 // { "Top", 0, -1 , SYSVAR},
1253 // { "Up", 0, -1 , SYSVAR},
1254 
1255 /* set sys vars*/
1256  { "degBound", 0, VMAXDEG , SYSVAR},
1257  { "echo", 0, VECHO , SYSVAR},
1258  { "minpoly", 0, VMINPOLY , SYSVAR},
1259  { "multBound", 0, VMAXMULT , SYSVAR},
1260  { "noether", 0, VNOETHER , SYSVAR},
1261  { "pagewidth", 0, VCOLMAX , SYSVAR},
1262  { "printlevel", 0, VPRINTLEVEL , SYSVAR},
1263  { "short", 0, VSHORTOUT , SYSVAR},
1264  { "timer", 0, VTIMER , SYSVAR},
1265  { "rtimer", 0, VRTIMER, SYSVAR},
1266  { "TRACE", 0, TRACE , SYSVAR},
1267  { "voice", 0, VOICE , SYSVAR},
1268 
1269 /* other reserved words:scanner.l */
1270  { "pause", 2, -1 , 0},
1271  { "while", 0, -1 , 0},
1272  { "for", 0, -1 , 0},
1273  { "help", 0, -1 , 0},
1274  { "newline", 0, -1 , 0},
1275  { "exit", 0, -1 , 0},
1276  { "quit", 0, -1 , 0},
1277 /* end of list marker */
1278  { NULL, 0, 0, 0}
1279 };
1280 #endif /* GENTABLE */
1281 #endif
1282 
1283 #ifdef IPCONV
1284 const struct sConvertTypes dConvertTypes[] =
1285 {
1286 // input type output type convert procedure(destr.)/(non-destr.)
1287 // int -> bigint
1288  { INT_CMD, BIGINT_CMD, D(iiI2BI) , NULL_VAL },
1289 // int -> number
1290  { INT_CMD, NUMBER_CMD, D(iiI2N) , NULL_VAL },
1292 // int -> poly
1293  { INT_CMD, POLY_CMD, D(iiI2P) , NULL_VAL },
1294  { BIGINT_CMD, POLY_CMD, D(iiBI2P) , NULL_VAL },
1296 // int -> vector
1297  { INT_CMD, VECTOR_CMD, D(iiI2V) , NULL_VAL },
1299 // int -> ideal
1300  { INT_CMD, IDEAL_CMD, D(iiI2Id) , NULL_VAL },
1302 // int -> matrix
1303  { INT_CMD, MATRIX_CMD, D(iiI2Id) , NULL_VAL },
1305 // int -> intvec
1306  { INT_CMD, INTVEC_CMD, D(iiI2Iv) , NULL_VAL },
1307 // intvec -> intmat
1309 // intvec -> matrix
1311 // intmat -> bigintmat
1313 // intmat -> matrix
1315 // number -> poly
1316  { NUMBER_CMD, POLY_CMD, D(iiN2P) , NULL_VAL },
1317 // number -> matrix
1319 // number -> ideal
1320 // number -> vector
1321 // number -> module
1322 // poly -> number
1323 // poly -> ideal
1324  { POLY_CMD, IDEAL_CMD, D(iiP2Id) , NULL_VAL },
1325 // poly -> vector
1326  { POLY_CMD, VECTOR_CMD, D(iiP2V) , NULL_VAL },
1327 // poly -> matrix
1328  { POLY_CMD, MATRIX_CMD, D(iiP2Id) , NULL_VAL },
1329 // the same for polyBucket:
1333 // vector -> module
1335 // vector -> matrix
1337 // ideal -> module
1339 // ideal -> matrix
1341 // module -> matrix
1343 // matrix -> ideal
1344 // matrix -> module
1346 // intvec
1347 // string -> link
1349 // resolution -> list
1351 // list -> resolution
1353 // matrix -> smatrix
1355 // module -> smatrix
1357 // smatrix -> matrix
1359 // smatrix -> module
1361 #ifdef SINGULAR_4_2
1362  { INT_CMD, CNUMBER_CMD, D(iiI2NN) , NULL_VAL },
1363  { BIGINT_CMD, CNUMBER_CMD, D(iiBI2NN) , NULL_VAL },
1364  { CNUMBER_CMD, NUMBER_CMD, D(iiNN2N) , NULL_VAL },
1365  { CNUMBER_CMD, POLY_CMD, D(iiNN2P) , NULL_VAL },
1366  { INT_CMD, CPOLY_CMD, D(iiI2CP), NULL_VAL },
1367  { BIGINT_CMD, CPOLY_CMD, D(iiBI2CP), NULL_VAL },
1368 // { NUMBER_CMD, CPOLY_CMD, D(iiN2CP), NULL_VAL },
1369  { POLY_CMD, CPOLY_CMD, D(iiP2CP), NULL_VAL },
1370 #endif
1371 // end of list
1372  { 0, 0, NULL_VAL , NULL_VAL }
1373 };
1374 #else
1375 extern const struct sConvertTypes dConvertTypes[];
1376 #endif
1377 #ifdef IPASSIGN
1378 const struct sValAssign dAssign[]=
1379 {
1380 // same res types must be grouped together
1381 // proc res arg
1388 ,{D(jiA_INT), INT_CMD, INT_CMD }
1393 ,{D(jiA_LINK), LINK_CMD, LINK_CMD }
1395 ,{D(jiA_LIST), LIST_CMD, LIST_CMD }
1397 ,{D(jiA_MAP), MAP_CMD, MAP_CMD }
1403 ,{D(jiA_POLY), POLY_CMD, POLY_CMD }
1407 ,{D(jiA_PROC), PROC_CMD, PROC_CMD }
1409 ,{D(jiA_RING), RING_CMD, RING_CMD }
1415 #ifdef SINGULAR_4_2
1417 ,{D(jiA_NUMBER2), CNUMBER_CMD, CNUMBER_CMD }
1418 ,{D(jiA_NUMBER2_I),CNUMBER_CMD, INT_CMD }
1419 ,{D(jiA_NUMBER2_N),CNUMBER_CMD, NUMBER_CMD }
1420 ,{D(jiA_POLY2), CPOLY_CMD, CPOLY_CMD }
1421 //,{D(jiA_POLY2_P), CPOLY_CMD, POLY_CMD }
1423 #endif
1424 ,{D(jiA_DEF), DEF_CMD, DEF_CMD }
1425 ,{NULL_VAL, 0, 0 }
1426 };
1427 const struct sValAssign_sys dAssign_sys[]=
1428 {
1429 // sysvars:
1430  {D(jjECHO), VECHO, INT_CMD }
1432 ,{D(jjCOLMAX), VCOLMAX, INT_CMD }
1433 ,{D(jjTIMER), VTIMER, INT_CMD }
1434 #ifdef HAVE_GETTIMEOFDAY
1435 ,{D(jjRTIMER), VRTIMER, INT_CMD }
1436 #endif
1437 ,{D(jjMAXDEG), VMAXDEG, INT_CMD }
1438 ,{D(jjMAXMULT), VMAXMULT, INT_CMD }
1439 ,{D(jjTRACE), TRACE, INT_CMD }
1443 ,{NULL_VAL, 0, 0 }
1444 };
1445 #endif
BOOLEAN atATTRIB3(leftv, leftv v, leftv b, leftv c)
Definition: attrib.cc:368
BOOLEAN atKILLATTR2(leftv, leftv a, leftv b)
Definition: attrib.cc:487
BOOLEAN atKILLATTR1(leftv, leftv a)
Definition: attrib.cc:470
BOOLEAN atATTRIB2(leftv res, leftv v, leftv b)
Definition: attrib.cc:280
BOOLEAN atATTRIB1(leftv res, leftv v)
Definition: attrib.cc:234
BOOLEAN jjSYSTEM(leftv res, leftv args)
Definition: extra.cc:232
BOOLEAN fglmProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:277
BOOLEAN fglmQuotProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:411
BOOLEAN findUniProc(leftv result, leftv first)
Definition: fglm.cc:541
#define jjWRONG3
Definition: gentable.cc:129
#define NO_ZERODIVISOR
Definition: gentable.cc:47
#define ALLOW_ZZ
Definition: gentable.cc:51
#define ALLOW_RING
Definition: gentable.cc:43
#define NO_CONVERSION
Definition: gentable.cc:56
#define ALLOW_LP
Definition: gentable.cc:38
#define NO_RING
Definition: gentable.cc:44
#define D(A)
Definition: gentable.cc:131
#define WARN_RING
Definition: gentable.cc:54
#define jjWRONG2
Definition: gentable.cc:128
#define jjWRONG
Definition: gentable.cc:127
#define ALLOW_NC
Definition: gentable.cc:40
#define ALLOW_PLURAL
Definition: gentable.cc:35
#define NO_NC
Definition: gentable.cc:34
#define NULL_VAL
Definition: gentable.cc:132
#define VAR
Definition: globaldefs.h:5
@ CMD_1
Definition: grammar.cc:311
@ PLUSPLUS
Definition: grammar.cc:274
@ NOT
Definition: grammar.cc:272
@ KILL_CMD
Definition: grammar.cc:326
@ MINUSMINUS
Definition: grammar.cc:271
@ IDEAL_CMD
Definition: grammar.cc:284
@ PARAMETER
Definition: grammar.cc:349
@ PAR_CMD
Definition: grammar.cc:302
@ PREIMAGE_CMD
Definition: grammar.cc:303
@ CMD_23
Definition: grammar.cc:316
@ EXAMPLE_CMD
Definition: grammar.cc:323
@ CMD_2
Definition: grammar.cc:312
@ MATRIX_CMD
Definition: grammar.cc:286
@ KEEPRING_CMD
Definition: grammar.cc:297
@ RING_DECL
Definition: grammar.cc:321
@ TYPE_CMD
Definition: grammar.cc:330
@ BUCKET_CMD
Definition: grammar.cc:283
@ RING_DECL_LIST
Definition: grammar.cc:322
@ BIGINTMAT_CMD
Definition: grammar.cc:278
@ KOSZUL_CMD
Definition: grammar.cc:299
@ SETRING_CMD
Definition: grammar.cc:329
@ RETURN
Definition: grammar.cc:348
@ IMAP_CMD
Definition: grammar.cc:298
@ GE
Definition: grammar.cc:269
@ EQUAL_EQUAL
Definition: grammar.cc:268
@ CMD_3
Definition: grammar.cc:313
@ SYSVAR
Definition: grammar.cc:350
@ ROOT_DECL
Definition: grammar.cc:319
@ APPLY
Definition: grammar.cc:337
@ MAP_CMD
Definition: grammar.cc:285
@ EVAL
Definition: grammar.cc:342
@ PROC_CMD
Definition: grammar.cc:280
@ LE
Definition: grammar.cc:270
@ INTMAT_CMD
Definition: grammar.cc:279
@ LISTVAR_CMD
Definition: grammar.cc:328
@ LIB_CMD
Definition: grammar.cc:327
@ ROOT_DECL_LIST
Definition: grammar.cc:320
@ BREAK_CMD
Definition: grammar.cc:339
@ ELSE_CMD
Definition: grammar.cc:341
@ VMAXMULT
Definition: grammar.cc:307
@ MODUL_CMD
Definition: grammar.cc:287
@ CMD_123
Definition: grammar.cc:317
@ ASSUME_CMD
Definition: grammar.cc:338
@ IF_CMD
Definition: grammar.cc:345
@ MONOM_CMD
Definition: grammar.cc:301
@ VMAXDEG
Definition: grammar.cc:306
@ SMATRIX_CMD
Definition: grammar.cc:291
@ VECTOR_CMD
Definition: grammar.cc:292
@ RESOLUTION_CMD
Definition: grammar.cc:290
@ NOTEQUAL
Definition: grammar.cc:273
@ CMD_12
Definition: grammar.cc:314
@ CONTINUE_CMD
Definition: grammar.cc:340
@ VAR_CMD
Definition: grammar.cc:304
@ DOTDOT
Definition: grammar.cc:267
@ COLONCOLON
Definition: grammar.cc:275
@ CMD_13
Definition: grammar.cc:315
@ NUMBER_CMD
Definition: grammar.cc:288
@ MAXID_CMD
Definition: grammar.cc:300
@ POLY_CMD
Definition: grammar.cc:289
@ VMINPOLY
Definition: grammar.cc:309
@ CMD_M
Definition: grammar.cc:318
@ RING_CMD
Definition: grammar.cc:281
@ QUOTE
Definition: grammar.cc:343
@ VNOETHER
Definition: grammar.cc:308
@ E_CMD
Definition: grammar.cc:294
@ FETCH_CMD
Definition: grammar.cc:295
@ FREEMODULE_CMD
Definition: grammar.cc:296
@ EXPORT_CMD
Definition: grammar.cc:324
@ BETTI_CMD
Definition: grammar.cc:293
static BOOLEAN jjUMINUS_MA(leftv res, leftv u)
Definition: iparith.cc:3768
static BOOLEAN jjOP_BIM_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:247
static BOOLEAN jjRANK1(leftv res, leftv v)
Definition: iparith.cc:4899
static BOOLEAN jjINDEX_V_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1524
static BOOLEAN jjIMPART(leftv res, leftv v)
Definition: iparith.cc:4405
static BOOLEAN jjIm2Iv(leftv res, leftv v)
Definition: iparith.cc:4398
static BOOLEAN jjQUOT(leftv res, leftv u, leftv v)
Definition: iparith.cc:3049
static BOOLEAN jjUMINUS_IV(leftv res, leftv u)
Definition: iparith.cc:3774
static BOOLEAN jjOPPOSITE(leftv res, leftv a)
Definition: iparith.cc:5241
BOOLEAN jjWAITALL1(leftv res, leftv u)
Definition: iparith.cc:5483
static BOOLEAN jjRESTART(leftv, leftv u)
Definition: iparith.cc:8727
static BOOLEAN jjidHead(leftv res, leftv v)
Definition: iparith.cc:5641
static BOOLEAN jjHILBERT(leftv, leftv v)
Definition: iparith.cc:4276
static BOOLEAN jjTIMES_MA_P1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1100
static BOOLEAN jjLEADMONOM(leftv res, leftv v)
Definition: iparith.cc:4555
static BOOLEAN jjOP_IV_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:283
static BOOLEAN jjstrlen(leftv res, leftv v)
Definition: iparith.cc:5606
static BOOLEAN jjBRACK_Bim(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5763
static BOOLEAN jjEXTGCD_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2048
static BOOLEAN jjDET_BI(leftv res, leftv v)
Definition: iparith.cc:4031
BOOLEAN jjWAIT1ST1(leftv res, leftv u)
Definition: iparith.cc:5468
static BOOLEAN jjMATRIX_Mo(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6785
static BOOLEAN jjP2I(leftv res, leftv v)
Definition: iparith.cc:4813
static BOOLEAN jjIS_RINGVAR_P(leftv res, leftv v)
Definition: iparith.cc:4423
static BOOLEAN jjDOTDOT(leftv res, leftv u, leftv v)
Definition: iparith.cc:336
static BOOLEAN jjFWALK3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6136
static BOOLEAN jjREPART(leftv res, leftv v)
Definition: iparith.cc:4915
static BOOLEAN jjTIMES_MA_BI2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1096
static BOOLEAN jjMAP(leftv res, leftv u, leftv v)
Definition: iparith.cc:1653
static BOOLEAN jjGT_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1184
static BOOLEAN jjN2BI(leftv res, leftv v)
Definition: iparith.cc:4696
static BOOLEAN jjRESERVEDLIST0(leftv res, leftv)
Definition: iparith.cc:8274
static BOOLEAN jjCHAR(leftv res, leftv v)
Definition: iparith.cc:3883
static BOOLEAN jjOP_I_IM(leftv res, leftv u, leftv v)
Definition: iparith.cc:319
static BOOLEAN jjBRACK_Ma_IV_I(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5899
static BOOLEAN jjROWS_IV(leftv res, leftv v)
Definition: iparith.cc:4960
static BOOLEAN jjLIFTSTD(leftv res, leftv u, leftv v)
Definition: iparith.cc:2599
static BOOLEAN jjNULL(leftv, leftv)
Definition: iparith.cc:3718
static BOOLEAN jjNEWSTRUCT2(leftv, leftv u, leftv v)
Definition: iparith.cc:2797
static BOOLEAN jjMONITOR2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2732
static BOOLEAN jjDIM(leftv res, leftv v)
Definition: iparith.cc:4087
static BOOLEAN jjCOUNT_BIM(leftv res, leftv v)
Definition: iparith.cc:3916
static BOOLEAN jjBRACKET(leftv res, leftv a, leftv b)
Definition: iparith.cc:2908
static BOOLEAN jjCOLS_IV(leftv res, leftv v)
Definition: iparith.cc:3898
static BOOLEAN jjNAMES_I(leftv res, leftv v)
Definition: iparith.cc:4726
static BOOLEAN jjMULT(leftv res, leftv v)
Definition: iparith.cc:4676
static BOOLEAN jjHOMOG1_WI(leftv res, leftv v, leftv u)
Definition: iparith.cc:2497
static BOOLEAN jjPARDEG(leftv res, leftv v)
Definition: iparith.cc:4769
static BOOLEAN jjDENOMINATOR(leftv res, leftv v)
Return the denominator of the input number.
Definition: iparith.cc:4008
static BOOLEAN jjRANDOM(leftv res, leftv u, leftv v)
Definition: iparith.cc:3056
static BOOLEAN jjIDEAL_Ma(leftv res, leftv v)
Definition: iparith.cc:4353
static BOOLEAN jjDIVISION(leftv res, leftv u, leftv v)
Definition: iparith.cc:1954
static BOOLEAN jjOP_I_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:300
static BOOLEAN jjmpTransp(leftv res, leftv v)
Definition: iparith.cc:5669
static BOOLEAN jjOPTION_PL(leftv res, leftv v)
Definition: iparith.cc:8123
static BOOLEAN jjEQUAL_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1323
static BOOLEAN jjDET_S(leftv res, leftv v)
Definition: iparith.cc:4081
static BOOLEAN jjL2R(leftv res, leftv v)
Definition: iparith.cc:4515
static BOOLEAN jjREDUCE5(leftv res, leftv u)
Definition: iparith.cc:8204
static BOOLEAN jjrCharStr(leftv res, leftv v)
Definition: iparith.cc:5631
static BOOLEAN jjSUBST_Id_I(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6744
static BOOLEAN jjMINUS_B_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:910
static BOOLEAN jjHILBERT_IV(leftv res, leftv v)
Definition: iparith.cc:4291
static BOOLEAN jjIDEAL_R(leftv res, leftv v)
Definition: iparith.cc:4381
static BOOLEAN jjINDEPSET(leftv res, leftv v)
Definition: iparith.cc:4410
static BOOLEAN jjTYPEOF(leftv res, leftv v)
Definition: iparith.cc:5355
static BOOLEAN jjLU_SOLVE(leftv res, leftv v)
Definition: iparith.cc:7630
static BOOLEAN jjFACSTD(leftv res, leftv v)
Definition: iparith.cc:4152
static BOOLEAN jjMEMORY(leftv res, leftv v)
Definition: iparith.cc:4631
static BOOLEAN jjidTransp(leftv res, leftv v)
Definition: iparith.cc:5699
static BOOLEAN jjLIFT(leftv res, leftv u, leftv v)
Definition: iparith.cc:2579
static BOOLEAN jjUMINUS_BIM(leftv res, leftv u)
Definition: iparith.cc:3781
static BOOLEAN jjSUBST_Bu(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6648
static BOOLEAN jjTIMES_MA_N2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1125
static BOOLEAN jjDIM_R(leftv res, leftv v)
Definition: iparith.cc:5694
static BOOLEAN jjDUMP(leftv, leftv v)
Definition: iparith.cc:4117
static BOOLEAN jjpMaxComp(leftv res, leftv v)
Definition: iparith.cc:5659
static BOOLEAN jjREDUCE3_ID(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7037
static BOOLEAN jjELIMIN_HILB(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6098
static BOOLEAN jjNAMEOF(leftv res, leftv v)
Definition: iparith.cc:4708
static BOOLEAN jjPlural_mat_poly(leftv res, leftv a, leftv b)
Definition: iparith.cc:2868
static BOOLEAN jjTIMES_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:1152
static BOOLEAN jjMOD_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2687
static BOOLEAN jjTIMES_MA_I2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1134
static BOOLEAN jjSTATUS2L(leftv res, leftv u, leftv v)
Definition: iparith.cc:3383
static BOOLEAN jjGT_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1191
static BOOLEAN jjPRIME(leftv res, leftv v)
Definition: iparith.cc:4831
static BOOLEAN jjPFAC2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3235
static BOOLEAN jjidVec2Ideal(leftv res, leftv v)
Definition: iparith.cc:5626
static BOOLEAN jjJACOB_P(leftv res, leftv v)
Definition: iparith.cc:4439
static BOOLEAN jjSQR_FREE(leftv res, leftv u)
Definition: iparith.cc:5128
static BOOLEAN jjSTD_HILB_W(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7100
static BOOLEAN jjEQUAL_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1329
static BOOLEAN jjTIMES_MA_P2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1109
static BOOLEAN jjMODULO3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6824
static BOOLEAN jjSBA_1(leftv res, leftv v, leftv u)
Definition: iparith.cc:5043
static BOOLEAN jjCOEFFS3_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6063
static BOOLEAN jjCALL1MANY(leftv res, leftv u)
Definition: iparith.cc:3879
static BOOLEAN jjPLUS_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:825
static BOOLEAN jjMINUS_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:905
static BOOLEAN jjINTERRED(leftv res, leftv v)
Definition: iparith.cc:4416
static BOOLEAN jjJACOB_M(leftv res, leftv a)
Definition: iparith.cc:4470
static BOOLEAN jjJET_ID_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6276
static BOOLEAN jjTIMES_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1055
static BOOLEAN jjBAREISS(leftv res, leftv v)
Definition: iparith.cc:3813
static BOOLEAN jjREAD(leftv res, leftv v)
Definition: iparith.cc:4906
static BOOLEAN jjLT_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1223
static BOOLEAN jjMINUS_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:953
static BOOLEAN jjFactModD_M(leftv res, leftv v)
Definition: iparith.cc:8408
static BOOLEAN jjMATRIX_Id(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6762
static BOOLEAN jjEXTGCD_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:2020
static BOOLEAN jjIS_RINGVAR_S(leftv res, leftv v)
Definition: iparith.cc:4428
static BOOLEAN jjDelete_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1869
static BOOLEAN jjLE_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1210
static BOOLEAN jjSUBST_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6661
static BOOLEAN jjROWS_BIM(leftv res, leftv v)
Definition: iparith.cc:4955
static BOOLEAN jjCOMPARE_S(leftv res, leftv u, leftv v)
Definition: iparith.cc:480
static BOOLEAN jjOR_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1385
static BOOLEAN jjTIMES_MA_I1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1129
static BOOLEAN jjLIFTSTD_SYZ(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6961
static BOOLEAN jjBAREISS3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6018
static BOOLEAN jjRESERVED0(leftv, leftv)
Definition: iparith.cc:8252
static BOOLEAN jjTIMES_MA_N1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1118
static BOOLEAN jjLIFT_4(leftv res, leftv U)
Definition: iparith.cc:7879
static BOOLEAN jjSLIM_GB(leftv res, leftv u)
Definition: iparith.cc:4975
static BOOLEAN jjMSTD(leftv res, leftv v)
Definition: iparith.cc:4661
static BOOLEAN jjBREAK1(leftv, leftv v)
Definition: iparith.cc:7149
static BOOLEAN jjJET_ID_M(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6282
static BOOLEAN jjMINUS_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:943
static BOOLEAN jjnInt(leftv res, leftv u)
Definition: iparith.cc:5704
static BOOLEAN jjSQR_FREE2(leftv res, leftv u, leftv dummy)
Definition: iparith.cc:3331
static BOOLEAN jjCOEFFS3_Id(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6043
static BOOLEAN jjREGULARITY(leftv res, leftv v)
Definition: iparith.cc:4910
static BOOLEAN jjHOMOG_W_M(leftv res, leftv v1, leftv v2, leftv v3)
Definition: iparith.cc:6216
static BOOLEAN jjMINUS_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:900
static BOOLEAN jjBREAK0(leftv, leftv)
Definition: iparith.cc:7142
static BOOLEAN jjTRACE_IV(leftv res, leftv v)
Definition: iparith.cc:5226
static BOOLEAN jjMONOM(leftv res, leftv v)
Definition: iparith.cc:2773
static BOOLEAN jjSort_Id(leftv res, leftv v)
Definition: iparith.cc:5123
static BOOLEAN jjCOEF_M(leftv, leftv v)
Definition: iparith.cc:7190
static BOOLEAN jjidMinBase(leftv res, leftv v)
Definition: iparith.cc:5647
static BOOLEAN jjDEG_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1848
static BOOLEAN jjRING_2(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6006
static BOOLEAN jjMINUS_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:933
static BOOLEAN jjPREIMAGE_R(leftv res, leftv v)
Definition: iparith.cc:4825
static BOOLEAN jjHOMOG_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2438
static BOOLEAN jjBRACK_Im(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5736
static BOOLEAN jjMATRIX_Ma(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6798
static BOOLEAN jjidMaxIdeal(leftv res, leftv v)
Definition: iparith.cc:4336
static BOOLEAN jjMINOR_M(leftv res, leftv v)
Definition: iparith.cc:6293
static BOOLEAN jjCOUNT_BI(leftv res, leftv v)
Definition: iparith.cc:3911
static BOOLEAN jjPROC3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5999
static BOOLEAN jjKERNEL_M(leftv res, leftv v)
Definition: iparith.cc:4491
static BOOLEAN jjCOLS_BIM(leftv res, leftv v)
Definition: iparith.cc:3893
static BOOLEAN jjREDUCE3_CP(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7006
static BOOLEAN jjBRACK_Ma_I_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5849
static BOOLEAN jjLE_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1201
static BOOLEAN jjPLUS_B_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:796
static BOOLEAN jjPlural_mat_mat(leftv res, leftv a, leftv b)
Definition: iparith.cc:2888
static BOOLEAN jjIDEAL_Map(leftv res, leftv v)
Definition: iparith.cc:4371
static BOOLEAN jjPARSTR2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2811
static BOOLEAN jjKoszul(leftv res, leftv u, leftv v)
Definition: iparith.cc:2567
static BOOLEAN jjTIMES_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:998
static BOOLEAN jjINTERSECT_PL(leftv res, leftv v)
Definition: iparith.cc:7475
static BOOLEAN jjTIMES_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:1138
static BOOLEAN jjTIMES_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1062
static BOOLEAN jjPLUS_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:756
static BOOLEAN jjINTERSEC3S(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6251
static BOOLEAN jjRES3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7045
static BOOLEAN jjJET_P_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6259
static BOOLEAN jjREDUCE_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:3097
static BOOLEAN jjCOEF(leftv res, leftv u, leftv v)
Definition: iparith.cc:1793
static BOOLEAN jjEXECUTE(leftv, leftv v)
Definition: iparith.cc:4143
static BOOLEAN jjDEG_M_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1837
static BOOLEAN jjSTATUS3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7091
static BOOLEAN jjLEADEXP(leftv res, leftv v)
Definition: iparith.cc:4537
static BOOLEAN jjDEG_M(leftv res, leftv u)
Definition: iparith.cc:3966
static BOOLEAN jjPLUS_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:805
static BOOLEAN jjDIFF_COEF(leftv res, leftv u, leftv v)
Definition: iparith.cc:4451
static BOOLEAN jjGE_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1178
static BOOLEAN jjEQUAL_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:1341
static BOOLEAN jjINTERPOLATION(leftv res, leftv l, leftv v)
Definition: iparith.cc:2517
static BOOLEAN jjSIMPL_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:3294
static BOOLEAN jjRING3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7086
static BOOLEAN jjREDUCE_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:3089
static BOOLEAN jjDIV_Ma(leftv res, leftv u, leftv v)
Definition: iparith.cc:1294
static BOOLEAN jjFRES3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:2314
static BOOLEAN jjMODULO(leftv res, leftv u, leftv v)
Definition: iparith.cc:2634
static BOOLEAN jjCOMPARE_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:342
static BOOLEAN jjREAD2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3073
static BOOLEAN jjREDUCE3_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7030
static BOOLEAN jjPAR1(leftv res, leftv v)
Definition: iparith.cc:4753
static BOOLEAN jjnlInt(leftv res, leftv u)
Definition: iparith.cc:5711
static BOOLEAN jjFAREY_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:2145
static BOOLEAN jjPLUS_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:874
static BOOLEAN jjGCD_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:2387
static BOOLEAN jjELIMIN(leftv res, leftv u, leftv v)
Definition: iparith.cc:1974
static BOOLEAN jjPLUSPLUS(leftv, leftv u)
Definition: iparith.cc:3732
static BOOLEAN jjCHINREM_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1682
static BOOLEAN jjROWS(leftv res, leftv v)
Definition: iparith.cc:4949
static BOOLEAN jjJET_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:2545
static BOOLEAN jjSBA(leftv res, leftv v)
Definition: iparith.cc:5017
static BOOLEAN jjOP_IM_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:304
static BOOLEAN jjJanetBasis(leftv res, leftv v)
Definition: iparith.cc:2535
static BOOLEAN jjKBASE(leftv res, leftv v)
Definition: iparith.cc:4509
static BOOLEAN jjTENSOR(leftv res, leftv u, leftv v)
Definition: iparith.cc:3578
static BOOLEAN jjmpTrace(leftv res, leftv v)
Definition: iparith.cc:5664
static BOOLEAN jjRING_PL(leftv res, leftv a)
Definition: iparith.cc:8698
static BOOLEAN jjREDUCE4(leftv res, leftv u)
Definition: iparith.cc:8133
static BOOLEAN jjFWALK(leftv res, leftv u, leftv v)
Definition: iparith.cc:2361
static BOOLEAN jjTEST(leftv, leftv v)
Definition: iparith.cc:8389
static BOOLEAN jjDIFF_ID_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1932
static BOOLEAN jjSYZ_2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3515
static BOOLEAN jjPRUNE(leftv res, leftv v)
Definition: iparith.cc:4837
static BOOLEAN jjDIVISION4(leftv res, leftv v)
Definition: iparith.cc:7207
static BOOLEAN jjDEFINED(leftv res, leftv v)
Definition: iparith.cc:3996
static BOOLEAN jjLagSolve(leftv res, leftv v)
Definition: iparith.cc:4592
static BOOLEAN jjRING_1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1673
static BOOLEAN jjVDIM(leftv res, leftv v)
Definition: iparith.cc:5439
static BOOLEAN jjOP_I_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:262
static BOOLEAN jjCOUNT_N(leftv res, leftv v)
Definition: iparith.cc:3922
static BOOLEAN jjHILBERT2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2410
static BOOLEAN jjFIND2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2296
static BOOLEAN jjCOEF_Id(leftv res, leftv u, leftv v)
Definition: iparith.cc:1800
static BOOLEAN jjP2N(leftv res, leftv v)
Definition: iparith.cc:4861
static BOOLEAN jjE(leftv res, leftv v)
Definition: iparith.cc:4131
static BOOLEAN jjPOWER_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:626
static BOOLEAN jjTIMES_MA_BI1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1086
static BOOLEAN jjSTD_HILB_WP(leftv res, leftv INPUT)
Definition: iparith.cc:8615
static BOOLEAN jjLISTRING(leftv res, leftv v)
Definition: iparith.cc:4574
static BOOLEAN jjCOEFFS2_KB(leftv res, leftv u, leftv v)
Definition: iparith.cc:1818
static BOOLEAN jjLIFTSTD_M(leftv res, leftv U)
Definition: iparith.cc:7910
static BOOLEAN jjELIMIN_ALG(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6090
static BOOLEAN jjVAR1(leftv res, leftv v)
Definition: iparith.cc:5405
static BOOLEAN jjLEADCOEF(leftv res, leftv v)
Definition: iparith.cc:4523
static BOOLEAN jjVARSTR2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3604
static BOOLEAN jjPLUS_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:773
static BOOLEAN jjUMINUS_BI(leftv res, leftv u)
Definition: iparith.cc:3744
static BOOLEAN jjpLength(leftv res, leftv v)
Definition: iparith.cc:5611
static BOOLEAN jjJET_P_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6266
static BOOLEAN jjLT_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1218
static BOOLEAN jjIS_RINGVAR0(leftv res, leftv)
Definition: iparith.cc:4434
static BOOLEAN jjEXTGCD_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2006
static BOOLEAN jjBI2P(leftv res, leftv u)
Definition: iparith.cc:3864
static BOOLEAN jjTWOSTD(leftv res, leftv a)
Definition: iparith.cc:5275
static BOOLEAN jjGCD_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:2367
static BOOLEAN jjCONTRACT(leftv res, leftv u, leftv v)
Definition: iparith.cc:1832
static BOOLEAN jjFAC_P(leftv res, leftv u)
Definition: iparith.cc:4192
static BOOLEAN jjREDUCE3_CID(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7018
static BOOLEAN jjFAREY_LI(leftv res, leftv u, leftv v)
Definition: iparith.cc:10175
static BOOLEAN jjTRANSP_BIM(leftv res, leftv v)
Definition: iparith.cc:5231
static BOOLEAN jjCOUNT_RES(leftv res, leftv v)
Definition: iparith.cc:5689
static BOOLEAN jjDelete_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1862
static BOOLEAN jjGE_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1166
static BOOLEAN jjrOrdStr(leftv res, leftv v)
Definition: iparith.cc:5674
static BOOLEAN jjKERNEL(leftv res, leftv u, leftv v)
Definition: iparith.cc:2563
static BOOLEAN jjINTERSECT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6238
static BOOLEAN jjBRACK_Ma(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5791
static BOOLEAN jjMOD_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:2698
static BOOLEAN jjLOAD_E(leftv, leftv v, leftv u)
Definition: iparith.cc:2623
static BOOLEAN jjNEWSTRUCT3(leftv, leftv u, leftv v, leftv w)
Definition: iparith.cc:6489
static BOOLEAN jjHOMOG_P_W(leftv res, leftv u, leftv v, leftv)
Definition: iparith.cc:6198
static BOOLEAN jjpHead(leftv res, leftv v)
Definition: iparith.cc:5636
static BOOLEAN jjSUBST_Id(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6694
static BOOLEAN jjEQUAL_R(leftv res, leftv u, leftv v)
Definition: iparith.cc:1347
static BOOLEAN jjCOUNT_L(leftv res, leftv v)
Definition: iparith.cc:3927
static BOOLEAN jjDET_I(leftv res, leftv v)
Definition: iparith.cc:4067
static BOOLEAN jjCOUNT_RG(leftv res, leftv v)
Definition: iparith.cc:3944
static BOOLEAN jjSMATRIX_Mo(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6926
static BOOLEAN jjINTERSECT(leftv res, leftv u, leftv v)
Definition: iparith.cc:2511
static BOOLEAN jjrVarStr(leftv res, leftv v)
Definition: iparith.cc:5679
static BOOLEAN jjOP_BI_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:279
static BOOLEAN jjDIFF_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1910
static BOOLEAN jjSTRING_PL(leftv res, leftv v)
Definition: iparith.cc:8355
static BOOLEAN jjMINUS_B(leftv res, leftv u, leftv v)
Definition: iparith.cc:920
static BOOLEAN jjRSUM(leftv res, leftv u, leftv v)
Definition: iparith.cc:3280
static BOOLEAN jjINDEX_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1390
static BOOLEAN jjPOWER_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:569
static BOOLEAN jjMONITOR1(leftv res, leftv v)
Definition: iparith.cc:2728
static BOOLEAN jjKLAMMER_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1572
static BOOLEAN jjFETCH(leftv res, leftv u, leftv v)
Definition: iparith.cc:2168
static BOOLEAN jjCALL3ARG(leftv res, leftv u)
Definition: iparith.cc:7178
static BOOLEAN jjSTD_1(leftv res, leftv u, leftv v)
Definition: iparith.cc:3431
static BOOLEAN jjUMINUS_N(leftv res, leftv u)
Definition: iparith.cc:3756
static BOOLEAN jjNUMERATOR(leftv res, leftv v)
Return the numerator of the input number.
Definition: iparith.cc:4017
static BOOLEAN jjORD(leftv res, leftv v)
Definition: iparith.cc:4747
static BOOLEAN jjTIMES_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1008
static BOOLEAN jjUMINUS_I(leftv res, leftv u)
Definition: iparith.cc:3751
static BOOLEAN jjPREIMAGE(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6499
static BOOLEAN jjBRACK_Ma_IV_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5948
static BOOLEAN jjPLUS_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:837
static BOOLEAN jjLIFT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6939
static BOOLEAN jjENVELOPE(leftv res, leftv a)
Definition: iparith.cc:5260
static BOOLEAN jjSetRing(leftv, leftv u)
Definition: iparith.cc:3789
static BOOLEAN jjMINUS_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:895
static BOOLEAN jjTIMES_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:991
static BOOLEAN jjFACSTD2(leftv res, leftv v, leftv w)
Definition: iparith.cc:2112
static BOOLEAN jjINTVEC_PL(leftv res, leftv v)
Definition: iparith.cc:7711
static BOOLEAN jjEXPORTTO(leftv, leftv u, leftv v)
Definition: iparith.cc:1994
static BOOLEAN jjPlural_num_poly(leftv res, leftv a, leftv b)
Definition: iparith.cc:2828
static BOOLEAN jjDIV_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1276
static BOOLEAN jjKBASE2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2550
static BOOLEAN jjPOWER_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:523
static BOOLEAN jjRES(leftv res, leftv u, leftv v)
Definition: iparith.cc:3106
static BOOLEAN jjPLUS_P_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:860
static BOOLEAN jjMINRES_R(leftv res, leftv v)
Definition: iparith.cc:4682
static BOOLEAN jjCOLS(leftv res, leftv v)
Definition: iparith.cc:3888
static BOOLEAN jjPLUS_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:815
static BOOLEAN jjP2BI(leftv res, leftv v)
Definition: iparith.cc:4793
static BOOLEAN jjGE_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1173
static BOOLEAN jjTRANSP_IV(leftv res, leftv v)
Definition: iparith.cc:5236
static BOOLEAN jjGT_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1196
static BOOLEAN jjUNIVARIATE(leftv res, leftv v)
Definition: iparith.cc:5400
static BOOLEAN jjMODULO4(leftv res, leftv u)
Definition: iparith.cc:8051
static BOOLEAN jjHOMOG_ID_W(leftv res, leftv u, leftv v, leftv)
Definition: iparith.cc:6180
static BOOLEAN jjWEDGE(leftv res, leftv u, leftv v)
Definition: iparith.cc:3689
static BOOLEAN jjCOMPARE_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:453
static BOOLEAN jjFIND3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6105
static BOOLEAN jjLU_INVERSE(leftv res, leftv v)
Definition: iparith.cc:7549
static BOOLEAN jjMODULO3S(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6875
static BOOLEAN jjBAREISS_BIM(leftv res, leftv v)
Definition: iparith.cc:3836
static BOOLEAN jjPLUS_MA_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:849
static BOOLEAN jjSIMPL_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:3389
static BOOLEAN jjPFAC1(leftv res, leftv v)
Definition: iparith.cc:4583
static BOOLEAN jjQRDS(leftv res, leftv INPUT)
Definition: iparith.cc:8598
static BOOLEAN jjELIMIN_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1980
static BOOLEAN jjCONTENT(leftv res, leftv v)
Definition: iparith.cc:3903
static BOOLEAN jjDIFF_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1921
static BOOLEAN jjSTD(leftv res, leftv v)
Definition: iparith.cc:5095
static BOOLEAN jjTIMES_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:1074
static BOOLEAN jjTIMES_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:979
static BOOLEAN jjDIV_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1263
static BOOLEAN jjINTMAT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6224
static BOOLEAN jjCOUNT_IV(leftv res, leftv v)
Definition: iparith.cc:3939
static BOOLEAN jjFRES(leftv res, leftv u, leftv v)
Definition: iparith.cc:2351
static BOOLEAN jjDUMMY(leftv res, leftv u)
Definition: iparith.cc:3711
static BOOLEAN jjS2I(leftv res, leftv v)
Definition: iparith.cc:4970
static BOOLEAN jjKLAMMER(leftv res, leftv u, leftv v)
Definition: iparith.cc:1560
static BOOLEAN jjBI2N(leftv res, leftv u)
Definition: iparith.cc:3843
static BOOLEAN jjRIGHTSTD(leftv res, leftv v)
Definition: iparith.cc:5294
static BOOLEAN jjCOMPARE_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:425
static BOOLEAN jjGETDUMP(leftv, leftv v)
Definition: iparith.cc:4208
static BOOLEAN jjidFreeModule(leftv res, leftv v)
Definition: iparith.cc:5621
static BOOLEAN jjFAREY_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2134
static BOOLEAN jjBRACKET_REC(leftv res, leftv a, leftv b, leftv c)
Definition: iparith.cc:2935
static BOOLEAN jjCOMPARE_IV_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:398
static BOOLEAN jjRANDOM_Im(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6573
static BOOLEAN jjRESERVEDNAME(leftv res, leftv v)
Definition: iparith.cc:4877
static BOOLEAN jjDIVMOD_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1227
static BOOLEAN jjLE_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1205
static BOOLEAN jjTENSOR_Ma(leftv res, leftv u, leftv v)
Definition: iparith.cc:3585
static BOOLEAN jjCOEFFS3_KB(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6057
static BOOLEAN jjRMINUS(leftv res, leftv u, leftv v)
Definition: iparith.cc:3261
BOOLEAN jjPROC(leftv res, leftv u, leftv v)
Definition: iparith.cc:1617
static BOOLEAN jjPLUS_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:768
static BOOLEAN jjHILBERT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6145
static BOOLEAN jjDET2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1896
static BOOLEAN jjSTD_HILB(leftv res, leftv u, leftv v)
Definition: iparith.cc:3405
static BOOLEAN jjAND_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1380
static BOOLEAN jjINDEX_P_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1488
static BOOLEAN jjRPAR(leftv res, leftv v)
Definition: iparith.cc:4965
static BOOLEAN jjJanetBasis2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2529
static BOOLEAN jjLOAD1(leftv, leftv v)
Definition: iparith.cc:4570
static BOOLEAN jjCOLON(leftv res, leftv u, leftv v)
Definition: iparith.cc:323
static BOOLEAN jjRPLUS(leftv res, leftv u, leftv v)
Definition: iparith.cc:3267
static BOOLEAN jjKERNEL_SM(leftv res, leftv v)
Definition: iparith.cc:4500
static BOOLEAN jjCOLCOL(leftv res, leftv u, leftv v)
Definition: iparith.cc:694
static BOOLEAN jjFAC_P2(leftv res, leftv u, leftv dummy)
Definition: iparith.cc:2065
static BOOLEAN jjHOMOG_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:2455
static BOOLEAN jjrParStr(leftv res, leftv v)
Definition: iparith.cc:5684
static BOOLEAN jjDEG(leftv res, leftv v)
Definition: iparith.cc:3958
static BOOLEAN jjFETCH_M(leftv res, leftv u)
Definition: iparith.cc:7350
static BOOLEAN jjINDEX_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:1517
static BOOLEAN jjRINGLIST(leftv res, leftv v)
Definition: iparith.cc:4920
static BOOLEAN jjidElem(leftv res, leftv v)
Definition: iparith.cc:5616
static BOOLEAN jjDIM2(leftv res, leftv v, leftv w)
Definition: iparith.cc:1937
static BOOLEAN jjOP_BIM_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:266
static BOOLEAN jjGCD_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2380
static BOOLEAN jjBI2IM(leftv res, leftv u)
Definition: iparith.cc:3858
static BOOLEAN jjRANK2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3064
static BOOLEAN jjDEGREE(leftv res, leftv v)
Definition: iparith.cc:3977
static BOOLEAN jjLIFTSTD_ALG(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6984
static BOOLEAN jjINDEPSET2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2504
static BOOLEAN jjWAITALL2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3641
static BOOLEAN jjOpenClose(leftv, leftv v)
Definition: iparith.cc:4741
static BOOLEAN jjBRACK_S(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5720
static BOOLEAN jjUMINUS_P(leftv res, leftv u)
Definition: iparith.cc:3763
static BOOLEAN jjMINUS_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:966
static BOOLEAN jjHIGHCORNER_M(leftv res, leftv v)
Definition: iparith.cc:4229
static BOOLEAN jjNAMES(leftv res, leftv v)
Definition: iparith.cc:4721
static BOOLEAN jjINDEX_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1448
static BOOLEAN jjHIGHCORNER(leftv res, leftv v)
Definition: iparith.cc:4222
static BOOLEAN jjEQUAL_Ma(leftv res, leftv u, leftv v)
Definition: iparith.cc:1335
static BOOLEAN jjNAMES0(leftv res, leftv)
Definition: iparith.cc:8118
static BOOLEAN jjLOAD2(leftv, leftv, leftv v)
Definition: iparith.cc:2619
static BOOLEAN jjALIGN_M(leftv res, leftv u, leftv v)
Definition: iparith.cc:1779
static BOOLEAN jjWAIT1ST2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3617
static BOOLEAN jjDIV_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1250
static BOOLEAN jjCOMPARE_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:370
static BOOLEAN jjEQUAL_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1353
static BOOLEAN jjDelete_ID_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1876
static BOOLEAN jjDET2_S(leftv res, leftv u, leftv v)
Definition: iparith.cc:1903
static BOOLEAN jjCOEFFS_Id(leftv res, leftv u, leftv v)
Definition: iparith.cc:1807
static BOOLEAN jjPROC1(leftv res, leftv u)
Definition: iparith.cc:3809
static BOOLEAN jjNOT(leftv res, leftv v)
Definition: iparith.cc:4731
static BOOLEAN jjPARSTR1(leftv res, leftv v)
Definition: iparith.cc:4775
static BOOLEAN jjSUBST_Id_N(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6748
static BOOLEAN jjJET4(leftv res, leftv u)
Definition: iparith.cc:7744
static BOOLEAN jjOPPOSE(leftv res, leftv a, leftv b)
Definition: iparith.cc:2976
static BOOLEAN jjMOD_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2709
static BOOLEAN jjPLUS_B(leftv res, leftv u, leftv v)
Definition: iparith.cc:783
static BOOLEAN jjGCD_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2404
static BOOLEAN jjHOMOG1(leftv res, leftv v)
Definition: iparith.cc:4303
static BOOLEAN jjDET(leftv res, leftv v)
Definition: iparith.cc:4025
static BOOLEAN jjCOUNT_M(leftv res, leftv v)
Definition: iparith.cc:3933
static BOOLEAN jjPLUS_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:778
static BOOLEAN jjKoszul_Id(leftv res, leftv u, leftv v)
Definition: iparith.cc:2571
static BOOLEAN jjCHINREM_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:9976
static BOOLEAN jjPLUS_S(leftv res, leftv u, leftv v)
Definition: iparith.cc:864
static BOOLEAN jjHOMOG1_W(leftv res, leftv v, leftv u)
Definition: iparith.cc:2477
static BOOLEAN jjSBA_2(leftv res, leftv v, leftv u, leftv t)
Definition: iparith.cc:5069
static BOOLEAN jjINDEX_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1412
static BOOLEAN jjRING_LIST(leftv res, leftv v)
Definition: iparith.cc:4942
static BOOLEAN jjBRACK_SM(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5820
static BOOLEAN jjMINUS_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:879
static BOOLEAN jjJET_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2540
static BOOLEAN jjVARSTR1(leftv res, leftv v)
Definition: iparith.cc:5422
static BOOLEAN jjSTATUS_M(leftv res, leftv v)
Definition: iparith.cc:8540
static BOOLEAN jjCALL1ARG(leftv res, leftv v)
Definition: iparith.cc:7166
static BOOLEAN jjLT_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1214
static BOOLEAN jjPOWER_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:603
BOOLEAN jjLIST_PL(leftv res, leftv v)
Definition: iparith.cc:8000
static BOOLEAN jjCALL2ARG(leftv res, leftv u)
Definition: iparith.cc:7170
static BOOLEAN jjINDEX_PBu(leftv res, leftv u, leftv v)
Definition: iparith.cc:1465
static BOOLEAN jjSYZYGY(leftv res, leftv v)
Definition: iparith.cc:5155
static BOOLEAN jjPOWER_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:585
static BOOLEAN jjKLAMMER_PL(leftv res, leftv u)
Definition: iparith.cc:7827
static BOOLEAN jjSUBST_M(leftv res, leftv u)
Definition: iparith.cc:8571
static BOOLEAN jjEQUAL_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1359
static BOOLEAN jjLU_DECOMP(leftv res, leftv v)
Definition: iparith.cc:4601
static BOOLEAN jjPlural_num_mat(leftv res, leftv a, leftv b)
Definition: iparith.cc:2848
static BOOLEAN jjIDEAL_PL(leftv res, leftv v)
Definition: iparith.cc:7306
static BOOLEAN jjNVARS(leftv res, leftv v)
Definition: iparith.cc:4736
static BOOLEAN jjERROR(leftv, leftv u)
Definition: iparith.cc:1999
static BOOLEAN jjSTATUS2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3378
static BOOLEAN jjALIGN_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:1769
static BOOLEAN jjRINGLIST_C(leftv res, leftv v)
Definition: iparith.cc:4935
static BOOLEAN jiA_1x1INTMAT(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:796
static BOOLEAN jiA_INTVEC(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:884
static BOOLEAN jiA_IDEAL_Mo(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:997
static BOOLEAN jiA_PACKAGE(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:1204
static BOOLEAN jiA_1x1MATRIX(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:818
static BOOLEAN jjPRINTLEVEL(leftv, leftv a)
Definition: ipassign.cc:57
static BOOLEAN jjMINPOLY(leftv, leftv a)
Definition: ipassign.cc:242
static BOOLEAN jjTRACE(leftv, leftv a)
Definition: ipassign.cc:99
static BOOLEAN jiA_BIGINT(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:666
static BOOLEAN jiA_POLY(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:727
static BOOLEAN jjCOLMAX(leftv, leftv a)
Definition: ipassign.cc:62
static BOOLEAN jjECHO(leftv, leftv a)
Definition: ipassign.cc:52
static BOOLEAN jiA_BUCKET(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:914
static BOOLEAN jiA_RESOLUTION(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:951
static BOOLEAN jiA_CRING(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:1215
static BOOLEAN jjMAXDEG(leftv, leftv a)
Definition: ipassign.cc:81
BOOLEAN jjIMPORTFROM(leftv, leftv u, leftv v)
Definition: ipassign.cc:2369
static BOOLEAN jjRTIMER(leftv, leftv a)
Definition: ipassign.cc:74
static BOOLEAN jiA_RING(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:1172
static BOOLEAN jiA_MAP(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:1042
static BOOLEAN jiA_INT(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:418
static BOOLEAN jiA_DEF(leftv res, leftv, Subexpr)
Definition: ipassign.cc:1210
static BOOLEAN jiA_IDEAL(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:927
static BOOLEAN jiA_MODUL_P(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:960
static BOOLEAN jiA_BIGINTMAT(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:907
static BOOLEAN jiA_NUMBER(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:481
static BOOLEAN jiA_LIST_RES(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:706
static BOOLEAN jiA_LINK(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:1018
static BOOLEAN jiA_MAP_ID(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:1056
static BOOLEAN jiA_STRING(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:844
static BOOLEAN jjSHORTOUT(leftv, leftv a)
Definition: ipassign.cc:104
static BOOLEAN jjNOETHER(leftv, leftv a)
Definition: ipassign.cc:377
static BOOLEAN jiA_IDEAL_M(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:977
static BOOLEAN jiA_QRING(leftv res, leftv a, Subexpr e)
Definition: ipassign.cc:1069
static BOOLEAN jiA_LIST(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:718
static BOOLEAN jjMAXMULT(leftv, leftv a)
Definition: ipassign.cc:90
static BOOLEAN jjTIMER(leftv, leftv a)
Definition: ipassign.cc:67
static BOOLEAN jiA_PROC(leftv res, leftv a, Subexpr)
Definition: ipassign.cc:866
static void * iiI2N(void *data)
Definition: ipconv.cc:200
static void * iiBI2N(void *data)
Definition: ipconv.cc:241
static void * iiBI2P(void *data)
Definition: ipconv.cc:50
static void iiL2R(leftv out, leftv in)
Definition: ipconv.cc:410
static void * iiBI2V(void *data)
Definition: ipconv.cc:79
static void * iiMo2Ma(void *data)
Definition: ipconv.cc:181
static void * iiI2Iv(void *data)
Definition: ipconv.cc:193
static void * iiI2P(void *data)
Definition: ipconv.cc:44
static void iiBu2P(leftv out, leftv in)
Definition: ipconv.cc:64
static void * iiS2Link(void *data)
Definition: ipconv.cc:391
static void * iiIm2Ma(void *data)
Definition: ipconv.cc:337
static void * iiIm2Bim(void *data)
Definition: ipconv.cc:354
static void * iiN2P(void *data)
Definition: ipconv.cc:362
static void * iiBu2Id(void *data)
Definition: ipconv.cc:136
static void * iiMa2Mo(void *data)
Definition: ipconv.cc:187
static void * iiI2V(void *data)
Definition: ipconv.cc:72
static void * iiN2Ma(void *data)
Definition: ipconv.cc:376
static void * iiV2Ma(void *data)
Definition: ipconv.cc:163
static void * iiP2Id(void *data)
Definition: ipconv.cc:150
static void * iiI2BI(void *data)
Definition: ipconv.cc:206
static void iiR2L_l(leftv out, leftv in)
Definition: ipconv.cc:399
static void * iiBI2Id(void *data)
Definition: ipconv.cc:101
static void * iiBu2V(void *data)
Definition: ipconv.cc:116
static void * iiDummy(void *data)
Definition: ipconv.cc:176
static void * iiI2Id(void *data)
Definition: ipconv.cc:94
static void * iiP2V(void *data)
Definition: ipconv.cc:129
BOOLEAN jjPRINT(leftv res, leftv u)
Definition: ipprint.cc:250
BOOLEAN jjPRINT_FORMAT(leftv res, leftv u, leftv v)
Definition: ipprint.cc:389
BOOLEAN jjDBPRINT(leftv res, leftv u)
Definition: ipprint.cc:316
BOOLEAN jjVARIABLES_P(leftv res, leftv u)
Definition: ipshell.cc:6310
BOOLEAN jjMINRES(leftv res, leftv v)
Definition: ipshell.cc:946
BOOLEAN syBetti1(leftv res, leftv u)
Definition: ipshell.cc:3170
BOOLEAN mpKoszul(leftv res, leftv c, leftv b, leftv id)
Definition: ipshell.cc:3091
BOOLEAN jjCHARSERIES(leftv res, leftv u)
Definition: ipshell.cc:3347
BOOLEAN mpJacobi(leftv res, leftv a)
Definition: ipshell.cc:3069
BOOLEAN iiBranchTo(leftv, leftv args)
Definition: ipshell.cc:1273
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v)
Definition: ipshell.cc:980
BOOLEAN syBetti2(leftv res, leftv u, leftv w)
Definition: ipshell.cc:3147
BOOLEAN kWeight(leftv res, leftv id)
Definition: ipshell.cc:3301
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w)
Definition: ipshell.cc:3340
BOOLEAN jjBETTI2(leftv res, leftv u, leftv v)
Definition: ipshell.cc:1001
BOOLEAN iiWRITE(leftv, leftv v)
Definition: ipshell.cc:588
BOOLEAN kQHWeight(leftv res, leftv v)
Definition: ipshell.cc:3323
BOOLEAN jjBETTI(leftv res, leftv u)
Definition: ipshell.cc:967
BOOLEAN jjVARIABLES_ID(leftv res, leftv u)
Definition: ipshell.cc:6318
BOOLEAN lDelete(leftv res, leftv u, leftv v)
Definition: lists.cc:161
BOOLEAN lAdd(leftv res, leftv u, leftv v)
Definition: lists.cc:51
BOOLEAN lDeleteIV(leftv res, leftv u, leftv v)
Definition: lists.cc:192
BOOLEAN lInsert3(leftv res, leftv u, leftv v, leftv w)
Definition: lists.cc:135
BOOLEAN lInsert(leftv res, leftv u, leftv v)
Definition: lists.cc:120
BOOLEAN nuLagSolve(leftv res, leftv arg1, leftv arg2, leftv arg3)
find the (complex) roots an univariate polynomial Determines the roots of an univariate polynomial us...
Definition: ipshell.cc:4678
BOOLEAN nuVanderSys(leftv res, leftv arg1, leftv arg2, leftv arg3)
COMPUTE: polynomial p with values given by v at points p1,..,pN derived from p; more precisely: consi...
Definition: ipshell.cc:4821
BOOLEAN nuMPResMat(leftv res, leftv arg1, leftv arg2)
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i,...
Definition: ipshell.cc:4655
BOOLEAN loSimplex(leftv res, leftv args)
Implementation of the Simplex Algorithm.
Definition: ipshell.cc:4569
BOOLEAN loNewtonP(leftv res, leftv arg1)
compute Newton Polytopes of input polynomials
Definition: ipshell.cc:4563
BOOLEAN nuUResSolve(leftv res, leftv args)
solve a multipolynomial system using the u-resultant Input ideal must be 0-dimensional and (currRing-...
Definition: ipshell.cc:4922
BOOLEAN jjCRING_Zp(leftv res, leftv a, leftv b)
Definition: number2.cc:35
BOOLEAN jjEQUAL_CR(leftv res, leftv a, leftv b)
Definition: number2.cc:123
BOOLEAN jjCRING_Zm(leftv res, leftv a, leftv b)
Definition: number2.cc:88
BOOLEAN jjR2_CR(leftv res, leftv a)
Definition: number2.cc:132
#define NULL
Definition: omList.c:12
const struct sValCmd1 dArith1[]
Definition: table.h:37
const struct sConvertTypes dConvertTypes[]
Definition: table.h:1284
const struct sValCmd2 dArith2[]
Definition: table.h:320
const struct sValAssign dAssign[]
Definition: table.h:1378
VAR cmdnames cmds[]
Definition: table.h:993
const struct sValCmdM dArithM[]
Definition: table.h:908
const struct sValAssign_sys dAssign_sys[]
Definition: table.h:1427
const struct sValCmd3 dArith3[]
Definition: table.h:776
#define LOGIC_OP
Definition: tok.h:25
#define IDHDL
Definition: tok.h:31
@ ERROR_CMD
Definition: tok.h:72
@ PFAC_CMD
Definition: tok.h:153
@ PARSTR_CMD
Definition: tok.h:152
@ HIGHCORNER_CMD
Definition: tok.h:88
@ ELIMINATION_CMD
Definition: tok.h:69
@ NCALGEBRA_CMD
Definition: tok.h:137
@ REPART_CMD
Definition: tok.h:166
@ VCOLMAX
Definition: tok.h:209
@ ALIAS_CMD
Definition: tok.h:34
@ SIMPLEX_CMD
Definition: tok.h:177
@ VARIABLES_CMD
Definition: tok.h:199
@ JACOB_CMD
Definition: tok.h:103
@ MSTD_CMD
Definition: tok.h:132
@ INDEPSET_CMD
Definition: tok.h:94
@ BIGINT_CMD
Definition: tok.h:38
@ SIMPLIFY_CMD
Definition: tok.h:178
@ CRING_CMD
Definition: tok.h:56
@ LIST_CMD
Definition: tok.h:118
@ FGLMQUOT_CMD
Definition: tok.h:84
@ RESTART_CMD
Definition: tok.h:170
@ VSHORTOUT
Definition: tok.h:214
@ BAREISS_CMD
Definition: tok.h:37
@ DEG_CMD
Definition: tok.h:60
@ VPRINTLEVEL
Definition: tok.h:215
@ LUS_CMD
Definition: tok.h:123
@ READ_CMD
Definition: tok.h:163
@ CLOSE_CMD
Definition: tok.h:49
@ SLIM_GB_CMD
Definition: tok.h:179
@ INTVEC_CMD
Definition: tok.h:101
@ RANDOM_CMD
Definition: tok.h:161
@ COUNT_CMD
Definition: tok.h:55
@ FWALK_CMD
Definition: tok.h:82
@ MULTIPLICITY_CMD
Definition: tok.h:133
@ NAMES_CMD
Definition: tok.h:135
@ PACKAGE_CMD
Definition: tok.h:149
@ BRANCHTO_CMD
Definition: tok.h:39
@ END_GRAMMAR
Definition: tok.h:70
@ MODULO_CMD
Definition: tok.h:128
@ JET_CMD
Definition: tok.h:105
@ CMATRIX_CMD
Definition: tok.h:46
@ HILBERT_CMD
Definition: tok.h:89
@ DIFF_CMD
Definition: tok.h:65
@ RIGHTSTD_CMD
Definition: tok.h:172
@ VANDER_CMD
Definition: tok.h:198
@ HOMOG_CMD
Definition: tok.h:90
@ NVARS_CMD
Definition: tok.h:142
@ MEMORY_CMD
Definition: tok.h:124
@ NEWTONPOLY_CMD
Definition: tok.h:139
@ DEF_CMD
Definition: tok.h:58
@ KBASE_CMD
Definition: tok.h:106
@ VECHO
Definition: tok.h:208
@ ATTRIB_CMD
Definition: tok.h:36
@ LRES_CMD
Definition: tok.h:120
@ IMPORTFROM_CMD
Definition: tok.h:93
@ SUBST_CMD
Definition: tok.h:186
@ CHARSTR_CMD
Definition: tok.h:43
@ HRES_CMD
Definition: tok.h:91
@ JANET_CMD
Definition: tok.h:104
@ REDUCE_CMD
Definition: tok.h:164
@ LIFTSTD_CMD
Definition: tok.h:115
@ KRES_CMD
Definition: tok.h:109
@ BREAKPOINT_CMD
Definition: tok.h:41
@ OPTION_CMD
Definition: tok.h:147
@ OPEN_CMD
Definition: tok.h:144
@ COEFFS_CMD
Definition: tok.h:50
@ LEADEXP_CMD
Definition: tok.h:113
@ QRDS_CMD
Definition: tok.h:159
@ CONTRACT_CMD
Definition: tok.h:54
@ CNUMBER_CMD
Definition: tok.h:47
@ LIFT_CMD
Definition: tok.h:116
@ TRANSPOSE_CMD
Definition: tok.h:191
@ LINK_CMD
Definition: tok.h:117
@ BRACKET_CMD
Definition: tok.h:40
@ STD_CMD
Definition: tok.h:184
@ SBA_CMD
Definition: tok.h:176
@ WAITALL_CMD
Definition: tok.h:203
@ EXECUTE_CMD
Definition: tok.h:73
@ TRACE
Definition: tok.h:212
@ DET_CMD
Definition: tok.h:64
@ DBPRINT_CMD
Definition: tok.h:57
@ CHINREM_CMD
Definition: tok.h:45
@ RING_LIST_CMD
Definition: tok.h:174
@ NUMERATOR_CMD
Definition: tok.h:141
@ NC_ALGEBRA_CMD
Definition: tok.h:138
@ URSOLVE_CMD
Definition: tok.h:197
@ ORD_CMD
Definition: tok.h:143
@ QRING_CMD
Definition: tok.h:158
@ PRINT_CMD
Definition: tok.h:155
@ FMD_CMD
Definition: tok.h:80
@ UNIVARIATE_CMD
Definition: tok.h:195
@ PARDEG_CMD
Definition: tok.h:150
@ MPRES_CMD
Definition: tok.h:130
@ NPARS_CMD
Definition: tok.h:140
@ PARENT_CMD
Definition: tok.h:151
@ MRES_CMD
Definition: tok.h:131
@ DIVISION_CMD
Definition: tok.h:67
@ PRIME_CMD
Definition: tok.h:154
@ LEADCOEF_CMD
Definition: tok.h:112
@ EXPORTTO_CMD
Definition: tok.h:74
@ IMPART_CMD
Definition: tok.h:92
@ NAMEOF_CMD
Definition: tok.h:134
@ TYPEOF_CMD
Definition: tok.h:194
@ KILLATTR_CMD
Definition: tok.h:108
@ REGULARITY_CMD
Definition: tok.h:165
@ WAIT1ST_CMD
Definition: tok.h:202
@ CONTENT_CMD
Definition: tok.h:53
@ STRING_CMD
Definition: tok.h:185
@ WRITE_CMD
Definition: tok.h:206
@ DEGREE_CMD
Definition: tok.h:61
@ OPPOSITE_CMD
Definition: tok.h:146
@ GETDUMP_CMD
Definition: tok.h:87
@ SRES_CMD
Definition: tok.h:182
@ WEIGHT_CMD
Definition: tok.h:205
@ ALIGN_CMD
Definition: tok.h:35
@ MONITOR_CMD
Definition: tok.h:129
@ VARSTR_CMD
Definition: tok.h:200
@ PRUNE_CMD
Definition: tok.h:156
@ STATUS_CMD
Definition: tok.h:183
@ DUMP_CMD
Definition: tok.h:68
@ RESERVEDNAMELIST_CMD
Definition: tok.h:169
@ FIND_CMD
Definition: tok.h:78
@ ENVELOPE_CMD
Definition: tok.h:71
@ COEF_CMD
Definition: tok.h:51
@ INTERRED_CMD
Definition: tok.h:99
@ WEDGE_CMD
Definition: tok.h:204
@ SQR_FREE_CMD
Definition: tok.h:181
@ DELETE_CMD
Definition: tok.h:62
@ SORTVEC_CMD
Definition: tok.h:180
@ FACSTD_CMD
Definition: tok.h:79
@ MINOR_CMD
Definition: tok.h:126
@ VTIMER
Definition: tok.h:210
@ QHWEIGHT_CMD
Definition: tok.h:157
@ VRTIMER
Definition: tok.h:211
@ RINGLIST_CMD
Definition: tok.h:173
@ LEAD_CMD
Definition: tok.h:111
@ ORDSTR_CMD
Definition: tok.h:148
@ LOAD_CMD
Definition: tok.h:119
@ DENOMINATOR_CMD
Definition: tok.h:63
@ TWOSTD_CMD
Definition: tok.h:193
@ FINDUNI_CMD
Definition: tok.h:85
@ VOICE
Definition: tok.h:213
@ CPOLY_CMD
Definition: tok.h:48
@ INTDIV_CMD
Definition: tok.h:97
@ TRACE_CMD
Definition: tok.h:192
@ INT_CMD
Definition: tok.h:96
@ QUOTIENT_CMD
Definition: tok.h:160
@ INTERSECT_CMD
Definition: tok.h:100
@ KERNEL_CMD
Definition: tok.h:107
@ INSERT_CMD
Definition: tok.h:95
@ LUI_CMD
Definition: tok.h:122
@ EXTGCD_CMD
Definition: tok.h:75
@ VDIM_CMD
Definition: tok.h:201
@ TEST_CMD
Definition: tok.h:190
@ GCD_CMD
Definition: tok.h:86
@ SYSTEM_CMD
Definition: tok.h:187
@ MINBASE_CMD
Definition: tok.h:125
@ SYZYGY_CMD
Definition: tok.h:188
@ FAREY_CMD
Definition: tok.h:77
@ INTERPOLATE_CMD
Definition: tok.h:98
@ LEADMONOM_CMD
Definition: tok.h:114
@ DIM_CMD
Definition: tok.h:66
@ NEWSTRUCT_CMD
Definition: tok.h:136
@ ROWS_CMD
Definition: tok.h:175
@ RESERVEDNAME_CMD
Definition: tok.h:168
@ RESULTANT_CMD
Definition: tok.h:171
@ OPPOSE_CMD
Definition: tok.h:145
@ TENSOR_CMD
Definition: tok.h:189
@ DEFINED_CMD
Definition: tok.h:59
@ FRES_CMD
Definition: tok.h:81
@ IS_RINGVAR
Definition: tok.h:102
@ CHARACTERISTIC_CMD
Definition: tok.h:42
@ LU_CMD
Definition: tok.h:121
@ COLS_CMD
Definition: tok.h:52
@ FAC_CMD
Definition: tok.h:76
@ MINRES_CMD
Definition: tok.h:127
@ LAGSOLVE_CMD
Definition: tok.h:110
@ CHAR_SERIES_CMD
Definition: tok.h:44
@ FGLM_CMD
Definition: tok.h:83
@ RES_CMD
Definition: tok.h:167
@ RANK_CMD
Definition: tok.h:162
#define NONE
Definition: tok.h:221
#define ANY_TYPE
Definition: tok.h:30
#define MULDIV_OP
Definition: tok.h:26