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
685 ,{D(jjKBASE2), KBASE_CMD, IDEAL_CMD, IDEAL_CMD, INT_CMD, ALLOW_PLURAL |ALLOW_RING |WARN_RING} /*ring-cf: warning at top level*/
686 ,{D(jjKBASE2), KBASE_CMD, MODUL_CMD, MODUL_CMD, INT_CMD, ALLOW_PLURAL |ALLOW_RING |WARN_RING} /*ring-cf: warning at top level*/
703 //,{D(jjRES), MRES_CMD, LIST_CMD, IDEAL_CMD, INT_CMD, NO_NC |ALLOW_RING}
704 //,{D(jjRES), MRES_CMD, LIST_CMD, MODUL_CMD, INT_CMD, NO_NC |ALLOW_RING}
707 #ifdef SINGULAR_4_2
712 #endif
715 #ifdef HAVE_PLURAL
725 #endif
751 //,{D(jjRES), SRES_CMD, LIST_CMD, IDEAL_CMD, INT_CMD, NO_NC |ALLOW_RING}
752 //,{D(jjRES), SRES_CMD, LIST_CMD, MODUL_CMD, INT_CMD, NO_NC |ALLOW_RING}
770 ,{NULL_VAL, 0, 0, 0, 0, NO_NC |NO_RING}
771 };
772 /*=================== operations with 3 args.: table =================*/
773 const struct sValCmd3 dArith3[]=
774 {
775 // operations:
776 // proc cmd res arg1 arg2 arg3 context
792 #ifdef SINGULAR_4_2
794 #endif
798 #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
800 #endif
807 #ifdef SINGULAR_4_2
809 #endif
855 #ifdef OLD_RES
858 #endif
862 #ifdef SINGULAR_4_2
864 #endif
875 #ifdef OLD_RES
878 #endif
881 #ifdef OLD_RES
884 #endif
900 ,{NULL_VAL, 0, 0, 0, 0, 0 , NO_NC |NO_RING}
901 };
902 /*=================== operations with many arg.: table =================*/
903 /* number_of_args: -1: any, -2: any >0, 1: 1, 2: 2, .. */
904 const struct sValCmdM dArithM[]=
905 {
906 // operations:
907 // proc cmd res number_of_args context
908  {D(jjKLAMMER_PL), '(', ANY_TYPE, -2 , ALLOW_NC |ALLOW_RING}
909 ,{D(jjRING_PL), '[', RING_CMD, -2 , ALLOW_NC |ALLOW_RING}
913 #ifdef SINGULAR_4_2
916 #endif
923 //,{D(jjEXPORTTO_M), EXPORTTO_CMD, NONE, -2 , ALLOW_NC |ALLOW_RING}
924 ,{D(jjCALL2ARG), FETCH_CMD, ANY_TYPE/*or set by p*/,2 , ALLOW_NC |ALLOW_RING}
925 ,{D(jjFETCH_M), FETCH_CMD, ANY_TYPE/*or set by p*/,3 , ALLOW_PLURAL |ALLOW_RING}
926 ,{D(jjFETCH_M), FETCH_CMD, ANY_TYPE/*or set by p*/,4 , ALLOW_PLURAL |ALLOW_RING}
934 ,{D(jjCALL2ARG), JET_CMD, POLY_CMD,/*or set by p*/ 2 , ALLOW_PLURAL |ALLOW_RING}
935 ,{D(jjCALL3ARG), JET_CMD, POLY_CMD,/*or set by p*/ 3 , ALLOW_PLURAL |ALLOW_RING}
936 ,{D(jjJET4), JET_CMD, POLY_CMD,/*or set by p*/ 4 , ALLOW_PLURAL |ALLOW_RING}
941 ,{D(jjCALL2ARG), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/2 , ALLOW_NC |ALLOW_RING}
942 ,{D(jjCALL3ARG), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/3 , ALLOW_NC |ALLOW_RING}
943 ,{D(jjLIFTSTD_M), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/4 , ALLOW_NC |ALLOW_RING}
944 ,{D(jjLIFTSTD_M), LIFTSTD_CMD, IDEAL_CMD,/*or MODUL*/5 , ALLOW_NC |ALLOW_RING}
958 ,{D(jjOPTION_PL), OPTION_CMD, STRING_CMD/*or set by p*/,-1, ALLOW_NC |ALLOW_RING}
959 ,{D(jjCALL2ARG), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 2, ALLOW_NC |ALLOW_RING}
960 ,{D(jjCALL3ARG), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 3, ALLOW_NC |ALLOW_RING}
961 ,{D(jjREDUCE4), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 4, ALLOW_PLURAL |ALLOW_RING}
962 ,{D(jjREDUCE5), REDUCE_CMD, IDEAL_CMD/*or set by p*/, 5, ALLOW_PLURAL |ALLOW_RING}
965 //,{D(jjCALL1ARG), RESERVEDNAMELIST_CMD, LIST_CMD, 1 , ALLOW_NC |ALLOW_RING}
968 ,{D(jjCALL3ARG), SUBST_CMD, NONE/*set by p*/, 3 , ALLOW_NC |ALLOW_RING}
969 ,{D(jjSUBST_M), SUBST_CMD, NONE/*set by p*/, -2 , ALLOW_NC |ALLOW_RING}
970 ,{D(jjSYSTEM), SYSTEM_CMD, NONE/*or set by p*/,-2 , ALLOW_NC |ALLOW_RING}
978 ,{D(jjCALL1ARG), STD_CMD, IDEAL_CMD/* or set by p*/,1 , ALLOW_NC |ALLOW_RING}
984 ,{NULL_VAL, 0, 0, 0 , NO_NC |NO_RING}
985 };
986 #ifdef GENTABLE
987 // this table MUST be order alphabetically by its first entry:
988 // cannot be declared const because it will be sorted by qsort
989 VAR cmdnames cmds[] =
990 // alias: 0: real name, 1: this is an alias, 2: this is an outdated alias
991 { // name-string alias tokval toktype
992  { "$INVALID$", 0, -1, 0},
993  { "ASSUME", 0, ASSUME_CMD, ASSUME_CMD},
994  { "LIB", 0, LIB_CMD , SYSVAR},
995  { "alias", 0, ALIAS_CMD , PARAMETER},
996  { "align", 0, ALIGN_CMD , CMD_2},
997  { "and", 0, '&' , LOGIC_OP},
998  { "apply", 0, APPLY, APPLY},
999  { "attrib", 0, ATTRIB_CMD , CMD_123},
1000  { "bareiss", 0, BAREISS_CMD , CMD_13},
1001  { "betti", 0, BETTI_CMD , CMD_12},
1002  { "bigint", 0, BIGINT_CMD , ROOT_DECL},
1003  { "bigintmat", 0, BIGINTMAT_CMD , BIGINTMAT_CMD},
1004  { "branchTo", 0, BRANCHTO_CMD , CMD_M},
1005  #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
1006  { "bracket", 0, BRACKET_CMD , CMD_23},
1007  #endif
1008  { "break", 0, BREAK_CMD , BREAK_CMD},
1009  { "breakpoint", 0, BREAKPOINT_CMD , CMD_M},
1010  { "char", 0, CHARACTERISTIC_CMD ,CMD_1},
1011  { "char_series", 0, CHAR_SERIES_CMD , CMD_1},
1012  { "charstr", 0, CHARSTR_CMD , CMD_1},
1013  { "chinrem", 0, CHINREM_CMD , CMD_2},
1014  { "cleardenom", 0, CONTENT_CMD , CMD_1},
1015  { "close", 0, CLOSE_CMD , CMD_1},
1016 #ifdef SINGULAR_4_2
1017  { "Matrix", 0, CMATRIX_CMD , ROOT_DECL_LIST},
1018  { "Number", 0, CNUMBER_CMD , ROOT_DECL_LIST},
1019  { "parent", 0, PARENT_CMD , CMD_1},
1020  { "Poly", 0, CPOLY_CMD , ROOT_DECL_LIST},
1021 #endif
1022  { "coef", 0, COEF_CMD , CMD_M},
1023  { "coeffs", 0, COEFFS_CMD , CMD_23},
1024  { "continue", 0, CONTINUE_CMD , CONTINUE_CMD},
1025  { "contract", 0, CONTRACT_CMD , CMD_2},
1026  { "convhull", 0, NEWTONPOLY_CMD, CMD_1},
1027  { "cring", 0, CRING_CMD, ROOT_DECL},
1028  { "dbprint", 0, DBPRINT_CMD , CMD_M},
1029  { "def", 0, DEF_CMD , ROOT_DECL},
1030  { "defined", 0, DEFINED_CMD , CMD_1},
1031  { "deg", 0, DEG_CMD , CMD_12},
1032  { "degree", 0, DEGREE_CMD , CMD_1},
1033  { "delete", 0, DELETE_CMD , CMD_2},
1034  { "denominator", 0, DENOMINATOR_CMD , CMD_1},
1035  { "det", 0, DET_CMD , CMD_12},
1036  { "diff", 0, DIFF_CMD , CMD_2},
1037  { "dim", 0, DIM_CMD , CMD_12},
1038  { "div", 0, INTDIV_CMD , MULDIV_OP},
1039  { "division", 0, DIVISION_CMD , CMD_M},
1040  { "dump", 0, DUMP_CMD, CMD_1},
1041  { "extgcd", 0, EXTGCD_CMD , CMD_2},
1042  { "ERROR", 0, ERROR_CMD , CMD_1},
1043  { "eliminate", 0, ELIMINATION_CMD, CMD_23},
1044  { "else", 0, ELSE_CMD , ELSE_CMD},
1045  #ifdef HAVE_PLURAL
1046  { "envelope", 0, ENVELOPE_CMD , CMD_1},
1047  #endif
1048  { "eval", 0, EVAL , EVAL},
1049  { "example", 0, EXAMPLE_CMD , EXAMPLE_CMD},
1050  { "execute", 0, EXECUTE_CMD , CMD_1},
1051  { "export", 0, EXPORT_CMD , EXPORT_CMD},
1052  { "exportto", 0, EXPORTTO_CMD , CMD_2},
1053  { "facstd", 0, FACSTD_CMD , CMD_12},
1054  { "factmodd", 0, FMD_CMD , CMD_M},
1055  { "factorize", 0, FAC_CMD , CMD_12},
1056  { "farey", 0, FAREY_CMD , CMD_2},
1057  { "fetch", 0, FETCH_CMD , CMD_M},
1058  { "fglm", 0, FGLM_CMD , CMD_2},
1059  { "fglmquot", 0, FGLMQUOT_CMD, CMD_2},
1060  { "find", 0, FIND_CMD , CMD_23},
1061  { "finduni", 0, FINDUNI_CMD, CMD_1},
1062  { "forif", 0, IF_CMD , IF_CMD},
1063  { "freemodule", 0, FREEMODULE_CMD , CMD_1},
1064  { "fres", 0, FRES_CMD , CMD_23},
1065  { "frwalk", 0, FWALK_CMD , CMD_23},
1066  { "gen", 0, E_CMD , CMD_1},
1067  { "getdump", 0, GETDUMP_CMD, CMD_1},
1068  { "gcd", 0, GCD_CMD , CMD_2},
1069  { "GCD", 2, GCD_CMD , CMD_2},
1070  { "hilb", 0, HILBERT_CMD , CMD_123},
1071  { "highcorner", 0, HIGHCORNER_CMD, CMD_1},
1072  { "homog", 0, HOMOG_CMD , CMD_123},
1073  { "hres", 0, HRES_CMD , CMD_2},
1074  { "ideal", 0, IDEAL_CMD , RING_DECL_LIST},
1075  { "if", 0, IF_CMD , IF_CMD},
1076  { "imap", 0, IMAP_CMD , CMD_2},
1077  { "impart", 0, IMPART_CMD , CMD_1},
1078  { "importfrom", 0, IMPORTFROM_CMD , CMD_2},
1079  { "indepSet", 0, INDEPSET_CMD , CMD_12},
1080  { "insert", 0, INSERT_CMD , CMD_23},
1081  { "int", 0, INT_CMD , ROOT_DECL},
1082  { "interpolation",0,INTERPOLATE_CMD , CMD_2},
1083  { "interred", 0, INTERRED_CMD , CMD_1},
1084  { "intersect", 0, INTERSECT_CMD , CMD_M},
1085  { "intmat", 0, INTMAT_CMD , INTMAT_CMD},
1086  { "intvec", 0, INTVEC_CMD , ROOT_DECL_LIST},
1087  { "jacob", 0, JACOB_CMD , CMD_1},
1088  { "janet", 0, JANET_CMD , CMD_12},
1089  { "jet", 0, JET_CMD , CMD_M},
1090  { "kbase", 0, KBASE_CMD , CMD_12},
1091  { "keepring", 0, KEEPRING_CMD , KEEPRING_CMD},
1092  { "kernel", 0, KERNEL_CMD , CMD_12},
1093  { "kill", 0, KILL_CMD , KILL_CMD},
1094  { "killattrib", 0, KILLATTR_CMD , CMD_12},
1095  { "koszul", 0, KOSZUL_CMD , CMD_23},
1096  { "kres", 0, KRES_CMD , CMD_2},
1097  { "laguerre", 0, LAGSOLVE_CMD, CMD_13},
1098  { "lead", 0, LEAD_CMD , CMD_1},
1099  { "leadcoef", 0, LEADCOEF_CMD , CMD_1},
1100  { "leadexp", 0, LEADEXP_CMD , CMD_1},
1101  { "leadmonom", 0, LEADMONOM_CMD , CMD_1},
1102  { "lift", 0, LIFT_CMD , CMD_M},
1103  { "liftstd", 0, LIFTSTD_CMD , CMD_M},
1104  { "link", 0, LINK_CMD , ROOT_DECL},
1105  { "listvar", 0, LISTVAR_CMD , LISTVAR_CMD},
1106  { "list", 0, LIST_CMD , ROOT_DECL_LIST},
1107  { "load", 0, LOAD_CMD , CMD_12},
1108  { "lres", 0, LRES_CMD , CMD_2},
1109  { "ludecomp", 0, LU_CMD , CMD_1},
1110  { "luinverse", 0, LUI_CMD , CMD_M},
1111  { "lusolve", 0, LUS_CMD , CMD_M},
1112  { "map", 0, MAP_CMD , RING_DECL},
1113  { "matrix", 0, MATRIX_CMD , MATRIX_CMD},
1114  { "maxideal", 0, MAXID_CMD , CMD_1},
1115  { "memory", 0, MEMORY_CMD , CMD_1},
1116  { "minbase", 0, MINBASE_CMD , CMD_1},
1117  { "minor", 0, MINOR_CMD , CMD_M},
1118  { "minres", 0, MINRES_CMD , CMD_1},
1119  { "mod", 0, '%' , MULDIV_OP},
1120  { "module", 0, MODUL_CMD , RING_DECL_LIST},
1121  { "modulo", 0, MODULO_CMD , CMD_M},
1122  { "monitor", 0, MONITOR_CMD , CMD_12},
1123  { "monomial", 0, MONOM_CMD , CMD_1},
1124  { "mpresmat", 0, MPRES_CMD, CMD_2},
1125  { "mult", 0, MULTIPLICITY_CMD , CMD_1},
1126  #ifdef OLD_RES
1127  { "mres", 0, MRES_CMD , CMD_23},
1128  #else
1129  { "mres", 0, MRES_CMD , CMD_2},
1130  #endif
1131  { "mstd", 0, MSTD_CMD , CMD_1},
1132  { "nameof", 0, NAMEOF_CMD , CMD_1},
1133  { "names", 0, NAMES_CMD , CMD_M},
1134  { "newstruct", 0, NEWSTRUCT_CMD , CMD_23},
1135  #ifdef HAVE_PLURAL
1136  { "ncalgebra", 2, NCALGEBRA_CMD , CMD_2},
1137  { "nc_algebra", 0, NC_ALGEBRA_CMD , CMD_2},
1138  #endif
1139  { "ncols", 0, COLS_CMD , CMD_1},
1140  { "not", 0, NOT , NOT},
1141  { "npars", 0, NPARS_CMD , CMD_1},
1142  #ifdef OLD_RES
1143  { "nres", 0, RES_CMD , CMD_23},
1144  #else
1145  { "nres", 0, RES_CMD , CMD_2},
1146  #endif
1147  { "nrows", 0, ROWS_CMD , CMD_1},
1148  { "number", 0, NUMBER_CMD , RING_DECL},
1149  { "numerator", 0, NUMERATOR_CMD , CMD_1},
1150  { "nvars", 0, NVARS_CMD , CMD_1},
1151  { "open", 0, OPEN_CMD , CMD_1},
1152  #ifdef HAVE_PLURAL
1153  { "oppose", 0, OPPOSE_CMD , CMD_2},
1154  { "opposite", 0, OPPOSITE_CMD , CMD_1},
1155  #endif
1156  { "option", 0, OPTION_CMD , CMD_M},
1157  { "or", 0, '|' , LOGIC_OP},
1158  { "ord", 0, ORD_CMD , CMD_1},
1159  { "ordstr", 0, ORDSTR_CMD , CMD_1},
1160  { "package", 0, PACKAGE_CMD , ROOT_DECL},
1161  { "par", 0, PAR_CMD , CMD_1},
1162  { "parameter", 0, PARAMETER , PARAMETER},
1163  { "pardeg", 0, PARDEG_CMD , CMD_1},
1164  { "parstr", 0, PARSTR_CMD , CMD_12},
1165  { "poly", 0, POLY_CMD , RING_DECL},
1166  { "polyBucket", 0, BUCKET_CMD , RING_DECL},
1167  { "preimage", 0, PREIMAGE_CMD , CMD_13},
1168  { "prime", 0, PRIME_CMD , CMD_1},
1169  { "primefactors",0, PFAC_CMD , CMD_12},
1170  { "print", 0, PRINT_CMD , CMD_12},
1171  { "prune", 0, PRUNE_CMD , CMD_1},
1172  { "proc", 0, PROC_CMD , PROC_CMD},
1173  { "qhweight", 0, QHWEIGHT_CMD , CMD_1},
1174  { "qrds", 0, QRDS_CMD , CMD_M},
1175  { "qring", 0, QRING_CMD , ROOT_DECL},
1176  { "quote", 0, QUOTE , QUOTE},
1177  { "quotient", 0, QUOTIENT_CMD , CMD_2},
1178  { "random", 0, RANDOM_CMD , CMD_23},
1179  { "rank", 0, RANK_CMD , CMD_12},
1180  { "read", 0, READ_CMD , CMD_12},
1181  { "reduce", 0, REDUCE_CMD , CMD_M},
1182  { "regularity", 0, REGULARITY_CMD , CMD_1},
1183  { "repart", 0, REPART_CMD , CMD_1},
1184  { "reservedName",0, RESERVEDNAME_CMD , CMD_M},
1185  { "reservedNameList",0, RESERVEDNAMELIST_CMD , CMD_M},
1186  { "resolution", 0, RESOLUTION_CMD , RING_DECL},
1187  { "resultant", 0, RESULTANT_CMD, CMD_3},
1188  { "restart", 0, RESTART_CMD, CMD_1},
1189  { "return", 0, RETURN , RETURN},
1190  { "RETURN", 0, END_GRAMMAR , RETURN},
1191 #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
1192  { "rightstd", 0, RIGHTSTD_CMD , CMD_1},
1193 #endif /* HAVE_PLURAL */
1194  { "ring", 0, RING_CMD , RING_CMD},
1195  { "ringlist", 0, RINGLIST_CMD , CMD_1},
1196  { "ring_list", 0, RING_LIST_CMD , CMD_1},
1197  { "rvar", 0, IS_RINGVAR , CMD_1},
1198  { "sba", 0, SBA_CMD , CMD_123},
1199  { "setring", 0, SETRING_CMD , SETRING_CMD},
1200  { "simplex", 0, SIMPLEX_CMD, CMD_M},
1201  { "simplify", 0, SIMPLIFY_CMD , CMD_2},
1202  { "size", 0, COUNT_CMD , CMD_1},
1203  { "slimgb", 0, SLIM_GB_CMD , CMD_1},
1204  { "smatrix", 0, SMATRIX_CMD , SMATRIX_CMD},
1205  { "sortvec", 0, SORTVEC_CMD , CMD_1},
1206  { "sqrfree", 0, SQR_FREE_CMD , CMD_12},
1207 #ifdef OLD_RES
1208  { "sres", 0, SRES_CMD , CMD_23},
1209 #else /* OLD_RES */
1210  { "sres", 0, SRES_CMD , CMD_2},
1211 #endif /* OLD_RES */
1212  { "status", 0, STATUS_CMD, CMD_M},
1213  { "std", 0, STD_CMD , CMD_M},
1214  { "string", 0, STRING_CMD , ROOT_DECL_LIST},
1215  { "subst", 0, SUBST_CMD , CMD_M},
1216  { "system", 0, SYSTEM_CMD, CMD_M},
1217  { "syz", 0, SYZYGY_CMD , CMD_12},
1218  { "tensor", 0, TENSOR_CMD , CMD_2},
1219  { "test", 0, TEST_CMD , CMD_M},
1220  { "trace", 0, TRACE_CMD , CMD_1},
1221  { "transpose", 0, TRANSPOSE_CMD , CMD_1},
1222 #if defined(HAVE_PLURAL) || defined(HAVE_SHIFTBBA)
1223  { "twostd", 0, TWOSTD_CMD , CMD_1},
1224 #endif /* HAVE_PLURAL */
1225  { "type", 0, TYPE_CMD , TYPE_CMD},
1226  { "typeof", 0, TYPEOF_CMD , CMD_1},
1227  { "univariate", 0, UNIVARIATE_CMD, CMD_1},
1228  { "uressolve", 0, URSOLVE_CMD, CMD_M},
1229  { "vandermonde", 0, VANDER_CMD, CMD_3},
1230  { "var", 0, VAR_CMD , CMD_1},
1231  { "variables", 0, VARIABLES_CMD, CMD_1},
1232  { "varstr", 0, VARSTR_CMD , CMD_12},
1233  { "vdim", 0, VDIM_CMD , CMD_1},
1234  { "vector", 0, VECTOR_CMD , RING_DECL},
1235  { "waitall", 0, WAITALL_CMD , CMD_12},
1236  { "waitfirst", 0, WAIT1ST_CMD , CMD_12},
1237  { "wedge", 0, WEDGE_CMD , CMD_2},
1238  { "weight", 0, WEIGHT_CMD , CMD_1},
1239  { "whileif", 0, IF_CMD , IF_CMD},
1240  { "write", 0, WRITE_CMD , CMD_M},
1241 /* delete for next version:*/
1242  { "IN", 1, LEAD_CMD , CMD_1},
1243  { "NF", 1, REDUCE_CMD , CMD_M},
1244  { "multiplicity",1, MULTIPLICITY_CMD , CMD_1},
1245  { "verbose", 2, OPTION_CMD , CMD_M},
1246 // { "rank", 1, ROWS_CMD , CMD_1},
1247 // { "Current", 0, -1 , SYSVAR},
1248 // { "Top", 0, -1 , SYSVAR},
1249 // { "Up", 0, -1 , SYSVAR},
1250 
1251 /* set sys vars*/
1252  { "degBound", 0, VMAXDEG , SYSVAR},
1253  { "echo", 0, VECHO , SYSVAR},
1254  { "minpoly", 0, VMINPOLY , SYSVAR},
1255  { "multBound", 0, VMAXMULT , SYSVAR},
1256  { "noether", 0, VNOETHER , SYSVAR},
1257  { "pagewidth", 0, VCOLMAX , SYSVAR},
1258  { "printlevel", 0, VPRINTLEVEL , SYSVAR},
1259  { "short", 0, VSHORTOUT , SYSVAR},
1260  { "timer", 0, VTIMER , SYSVAR},
1261  { "rtimer", 0, VRTIMER, SYSVAR},
1262  { "TRACE", 0, TRACE , SYSVAR},
1263  { "voice", 0, VOICE , SYSVAR},
1264 
1265 /* other reserved words:scanner.l */
1266  { "pause", 2, -1 , 0},
1267  { "while", 0, -1 , 0},
1268  { "for", 0, -1 , 0},
1269  { "help", 0, -1 , 0},
1270  { "newline", 0, -1 , 0},
1271  { "exit", 0, -1 , 0},
1272  { "quit", 0, -1 , 0},
1273 /* end of list marker */
1274  { NULL, 0, 0, 0}
1275 };
1276 #endif /* GENTABLE */
1277 #endif
1278 
1279 #ifdef IPCONV
1280 const struct sConvertTypes dConvertTypes[] =
1281 {
1282 // input type output type convert procedure(destr.)/(non-destr.)
1283 // int -> bigint
1284  { INT_CMD, BIGINT_CMD, D(iiI2BI) , NULL_VAL },
1285 // int -> number
1286  { INT_CMD, NUMBER_CMD, D(iiI2N) , NULL_VAL },
1288 // int -> poly
1289  { INT_CMD, POLY_CMD, D(iiI2P) , NULL_VAL },
1290  { BIGINT_CMD, POLY_CMD, D(iiBI2P) , NULL_VAL },
1292 // int -> vector
1293  { INT_CMD, VECTOR_CMD, D(iiI2V) , NULL_VAL },
1295 // int -> ideal
1296  { INT_CMD, IDEAL_CMD, D(iiI2Id) , NULL_VAL },
1298 // int -> matrix
1299  { INT_CMD, MATRIX_CMD, D(iiI2Id) , NULL_VAL },
1301 // int -> intvec
1302  { INT_CMD, INTVEC_CMD, D(iiI2Iv) , NULL_VAL },
1303 // intvec -> intmat
1305 // intvec -> matrix
1307 // intmat -> bigintmat
1309 // intmat -> matrix
1311 // number -> poly
1312  { NUMBER_CMD, POLY_CMD, D(iiN2P) , NULL_VAL },
1313 // number -> matrix
1315 // number -> ideal
1316 // number -> vector
1317 // number -> module
1318 // poly -> number
1319 // poly -> ideal
1320  { POLY_CMD, IDEAL_CMD, D(iiP2Id) , NULL_VAL },
1321 // poly -> vector
1322  { POLY_CMD, VECTOR_CMD, D(iiP2V) , NULL_VAL },
1323 // poly -> matrix
1324  { POLY_CMD, MATRIX_CMD, D(iiP2Id) , NULL_VAL },
1325 // the same for polyBucket:
1329 // vector -> module
1331 // vector -> matrix
1333 // ideal -> module
1335 // ideal -> matrix
1337 // module -> matrix
1339 // matrix -> ideal
1340 // matrix -> module
1342 // intvec
1343 // string -> link
1345 // resolution -> list
1347 // list -> resolution
1349 // matrix -> smatrix
1351 // module -> smatrix
1353 // smatrix -> matrix
1355 // smatrix -> module
1357 #ifdef SINGULAR_4_2
1358  { INT_CMD, CNUMBER_CMD, D(iiI2NN) , NULL_VAL },
1359  { BIGINT_CMD, CNUMBER_CMD, D(iiBI2NN) , NULL_VAL },
1360  { CNUMBER_CMD, NUMBER_CMD, D(iiNN2N) , NULL_VAL },
1361  { CNUMBER_CMD, POLY_CMD, D(iiNN2P) , NULL_VAL },
1362  { INT_CMD, CPOLY_CMD, D(iiI2CP), NULL_VAL },
1363  { BIGINT_CMD, CPOLY_CMD, D(iiBI2CP), NULL_VAL },
1364 // { NUMBER_CMD, CPOLY_CMD, D(iiN2CP), NULL_VAL },
1365  { POLY_CMD, CPOLY_CMD, D(iiP2CP), NULL_VAL },
1366 #endif
1367 // end of list
1368  { 0, 0, NULL_VAL , NULL_VAL }
1369 };
1370 #else
1371 extern const struct sConvertTypes dConvertTypes[];
1372 #endif
1373 #ifdef IPASSIGN
1374 const struct sValAssign dAssign[]=
1375 {
1376 // same res types must be grouped together
1377 // proc res arg
1384 ,{D(jiA_INT), INT_CMD, INT_CMD }
1389 ,{D(jiA_LINK), LINK_CMD, LINK_CMD }
1391 ,{D(jiA_LIST), LIST_CMD, LIST_CMD }
1393 ,{D(jiA_MAP), MAP_CMD, MAP_CMD }
1399 ,{D(jiA_POLY), POLY_CMD, POLY_CMD }
1403 ,{D(jiA_PROC), PROC_CMD, PROC_CMD }
1405 ,{D(jiA_RING), RING_CMD, RING_CMD }
1411 #ifdef SINGULAR_4_2
1413 ,{D(jiA_NUMBER2), CNUMBER_CMD, CNUMBER_CMD }
1414 ,{D(jiA_NUMBER2_I),CNUMBER_CMD, INT_CMD }
1415 ,{D(jiA_NUMBER2_N),CNUMBER_CMD, NUMBER_CMD }
1416 ,{D(jiA_POLY2), CPOLY_CMD, CPOLY_CMD }
1417 //,{D(jiA_POLY2_P), CPOLY_CMD, POLY_CMD }
1419 #endif
1420 ,{D(jiA_DEF), DEF_CMD, DEF_CMD }
1421 ,{NULL_VAL, 0, 0 }
1422 };
1423 const struct sValAssign_sys dAssign_sys[]=
1424 {
1425 // sysvars:
1426  {D(jjECHO), VECHO, INT_CMD }
1428 ,{D(jjCOLMAX), VCOLMAX, INT_CMD }
1429 ,{D(jjTIMER), VTIMER, INT_CMD }
1430 #ifdef HAVE_GETTIMEOFDAY
1431 ,{D(jjRTIMER), VRTIMER, INT_CMD }
1432 #endif
1433 ,{D(jjMAXDEG), VMAXDEG, INT_CMD }
1434 ,{D(jjMAXMULT), VMAXMULT, INT_CMD }
1435 ,{D(jjTRACE), TRACE, INT_CMD }
1439 ,{NULL_VAL, 0, 0 }
1440 };
1441 #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:229
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:3738
static BOOLEAN jjOP_BIM_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:249
static BOOLEAN jjRANK1(leftv res, leftv v)
Definition: iparith.cc:4865
static BOOLEAN jjINDEX_V_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1526
static BOOLEAN jjIMPART(leftv res, leftv v)
Definition: iparith.cc:4375
static BOOLEAN jjIm2Iv(leftv res, leftv v)
Definition: iparith.cc:4368
static BOOLEAN jjQUOT(leftv res, leftv u, leftv v)
Definition: iparith.cc:3025
static BOOLEAN jjUMINUS_IV(leftv res, leftv u)
Definition: iparith.cc:3744
static BOOLEAN jjOPPOSITE(leftv res, leftv a)
Definition: iparith.cc:5207
BOOLEAN jjWAITALL1(leftv res, leftv u)
Definition: iparith.cc:5446
static BOOLEAN jjRESTART(leftv, leftv u)
Definition: iparith.cc:8682
static BOOLEAN jjidHead(leftv res, leftv v)
Definition: iparith.cc:5604
static BOOLEAN jjHILBERT(leftv, leftv v)
Definition: iparith.cc:4246
static BOOLEAN jjTIMES_MA_P1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1102
static BOOLEAN jjLEADMONOM(leftv res, leftv v)
Definition: iparith.cc:4521
static BOOLEAN jjOP_IV_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:285
static BOOLEAN jjstrlen(leftv res, leftv v)
Definition: iparith.cc:5569
static BOOLEAN jjBRACK_Bim(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5726
static BOOLEAN jjEXTGCD_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2031
static BOOLEAN jjDET_BI(leftv res, leftv v)
Definition: iparith.cc:4001
BOOLEAN jjWAIT1ST1(leftv res, leftv u)
Definition: iparith.cc:5431
static BOOLEAN jjMATRIX_Mo(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6740
static BOOLEAN jjP2I(leftv res, leftv v)
Definition: iparith.cc:4779
static BOOLEAN jjIS_RINGVAR_P(leftv res, leftv v)
Definition: iparith.cc:4397
static BOOLEAN jjDOTDOT(leftv res, leftv u, leftv v)
Definition: iparith.cc:338
static BOOLEAN jjFWALK3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6099
static BOOLEAN jjREPART(leftv res, leftv v)
Definition: iparith.cc:4881
static BOOLEAN jjTIMES_MA_BI2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1098
static BOOLEAN jjMAP(leftv res, leftv u, leftv v)
Definition: iparith.cc:1655
static BOOLEAN jjGT_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1186
static BOOLEAN jjN2BI(leftv res, leftv v)
Definition: iparith.cc:4662
static BOOLEAN jjRESERVEDLIST0(leftv res, leftv)
Definition: iparith.cc:8229
static BOOLEAN jjCHAR(leftv res, leftv v)
Definition: iparith.cc:3853
static BOOLEAN jjOP_I_IM(leftv res, leftv u, leftv v)
Definition: iparith.cc:321
static BOOLEAN jjBRACK_Ma_IV_I(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5862
static BOOLEAN jjROWS_IV(leftv res, leftv v)
Definition: iparith.cc:4926
static BOOLEAN jjLIFTSTD(leftv res, leftv u, leftv v)
Definition: iparith.cc:2575
static BOOLEAN jjNULL(leftv, leftv)
Definition: iparith.cc:3688
static BOOLEAN jjNEWSTRUCT2(leftv, leftv u, leftv v)
Definition: iparith.cc:2773
static BOOLEAN jjMONITOR2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2708
static BOOLEAN jjDIM(leftv res, leftv v)
Definition: iparith.cc:4057
static BOOLEAN jjCOUNT_BIM(leftv res, leftv v)
Definition: iparith.cc:3886
static BOOLEAN jjBRACKET(leftv res, leftv a, leftv b)
Definition: iparith.cc:2884
static BOOLEAN jjCOLS_IV(leftv res, leftv v)
Definition: iparith.cc:3868
static BOOLEAN jjNAMES_I(leftv res, leftv v)
Definition: iparith.cc:4692
static BOOLEAN jjMULT(leftv res, leftv v)
Definition: iparith.cc:4642
static BOOLEAN jjPARDEG(leftv res, leftv v)
Definition: iparith.cc:4735
static BOOLEAN jjDENOMINATOR(leftv res, leftv v)
Return the denominator of the input number.
Definition: iparith.cc:3978
static BOOLEAN jjRANDOM(leftv res, leftv u, leftv v)
Definition: iparith.cc:3032
static BOOLEAN jjIDEAL_Ma(leftv res, leftv v)
Definition: iparith.cc:4323
static BOOLEAN jjDIVISION(leftv res, leftv u, leftv v)
Definition: iparith.cc:1936
static BOOLEAN jjOP_I_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:302
static BOOLEAN jjmpTransp(leftv res, leftv v)
Definition: iparith.cc:5632
static BOOLEAN jjOPTION_PL(leftv res, leftv v)
Definition: iparith.cc:8078
static BOOLEAN jjEQUAL_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1325
static BOOLEAN jjDET_S(leftv res, leftv v)
Definition: iparith.cc:4051
static BOOLEAN jjL2R(leftv res, leftv v)
Definition: iparith.cc:4481
static BOOLEAN jjREDUCE5(leftv res, leftv u)
Definition: iparith.cc:8159
static BOOLEAN jjrCharStr(leftv res, leftv v)
Definition: iparith.cc:5594
static BOOLEAN jjSUBST_Id_I(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6699
static BOOLEAN jjMINUS_B_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:912
static BOOLEAN jjHILBERT_IV(leftv res, leftv v)
Definition: iparith.cc:4261
static BOOLEAN jjIDEAL_R(leftv res, leftv v)
Definition: iparith.cc:4351
static BOOLEAN jjINDEPSET(leftv res, leftv v)
Definition: iparith.cc:4380
static BOOLEAN jjTYPEOF(leftv res, leftv v)
Definition: iparith.cc:5321
static BOOLEAN jjLU_SOLVE(leftv res, leftv v)
Definition: iparith.cc:7585
static BOOLEAN jjFACSTD(leftv res, leftv v)
Definition: iparith.cc:4122
static BOOLEAN jjMEMORY(leftv res, leftv v)
Definition: iparith.cc:4597
static BOOLEAN jjidTransp(leftv res, leftv v)
Definition: iparith.cc:5662
static BOOLEAN jjLIFT(leftv res, leftv u, leftv v)
Definition: iparith.cc:2555
static BOOLEAN jjUMINUS_BIM(leftv res, leftv u)
Definition: iparith.cc:3751
static BOOLEAN jjSUBST_Bu(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6603
static BOOLEAN jjTIMES_MA_N2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1127
static BOOLEAN jjDIM_R(leftv res, leftv v)
Definition: iparith.cc:5657
static BOOLEAN jjDUMP(leftv, leftv v)
Definition: iparith.cc:4087
static BOOLEAN jjpMaxComp(leftv res, leftv v)
Definition: iparith.cc:5622
static BOOLEAN jjREDUCE3_ID(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6992
static BOOLEAN jjELIMIN_HILB(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6061
static BOOLEAN jjNAMEOF(leftv res, leftv v)
Definition: iparith.cc:4674
static BOOLEAN jjPlural_mat_poly(leftv res, leftv a, leftv b)
Definition: iparith.cc:2844
static BOOLEAN jjTIMES_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:1154
static BOOLEAN jjMOD_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2663
static BOOLEAN jjTIMES_MA_I2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1136
static BOOLEAN jjSTATUS2L(leftv res, leftv u, leftv v)
Definition: iparith.cc:3359
static BOOLEAN jjGT_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1193
static BOOLEAN jjPRIME(leftv res, leftv v)
Definition: iparith.cc:4797
static BOOLEAN jjPFAC2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3211
static BOOLEAN jjidVec2Ideal(leftv res, leftv v)
Definition: iparith.cc:5589
static BOOLEAN jjJACOB_P(leftv res, leftv v)
Definition: iparith.cc:4413
static BOOLEAN jjSQR_FREE(leftv res, leftv u)
Definition: iparith.cc:5094
static BOOLEAN jjSTD_HILB_W(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7055
static BOOLEAN jjEQUAL_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1331
static BOOLEAN jjTIMES_MA_P2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1111
static BOOLEAN jjMODULO3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6779
static BOOLEAN jjSBA_1(leftv res, leftv v, leftv u)
Definition: iparith.cc:5009
static BOOLEAN jjCOEFFS3_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6026
static BOOLEAN jjCALL1MANY(leftv res, leftv u)
Definition: iparith.cc:3849
static BOOLEAN jjPLUS_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:827
static BOOLEAN jjMINUS_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:907
static BOOLEAN jjINTERRED(leftv res, leftv v)
Definition: iparith.cc:4386
static BOOLEAN jjJACOB_M(leftv res, leftv a)
Definition: iparith.cc:4444
static BOOLEAN jjJET_ID_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6231
static BOOLEAN jjTIMES_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1057
static BOOLEAN jjBAREISS(leftv res, leftv v)
Definition: iparith.cc:3783
static BOOLEAN jjREAD(leftv res, leftv v)
Definition: iparith.cc:4872
static BOOLEAN jjLT_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1225
static BOOLEAN jjMINUS_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:955
static BOOLEAN jjFactModD_M(leftv res, leftv v)
Definition: iparith.cc:8363
static BOOLEAN jjMATRIX_Id(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6717
static BOOLEAN jjEXTGCD_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:2003
static BOOLEAN jjIS_RINGVAR_S(leftv res, leftv v)
Definition: iparith.cc:4402
static BOOLEAN jjDelete_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1871
static BOOLEAN jjLE_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1212
static BOOLEAN jjSUBST_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6616
static BOOLEAN jjROWS_BIM(leftv res, leftv v)
Definition: iparith.cc:4921
static BOOLEAN jjCOMPARE_S(leftv res, leftv u, leftv v)
Definition: iparith.cc:482
static BOOLEAN jjOR_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1387
static BOOLEAN jjTIMES_MA_I1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1131
static BOOLEAN jjLIFTSTD_SYZ(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6916
static BOOLEAN jjBAREISS3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5981
static BOOLEAN jjRESERVED0(leftv, leftv)
Definition: iparith.cc:8207
static BOOLEAN jjTIMES_MA_N1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1120
static BOOLEAN jjLIFT_4(leftv res, leftv U)
Definition: iparith.cc:7834
static BOOLEAN jjSLIM_GB(leftv res, leftv u)
Definition: iparith.cc:4941
static BOOLEAN jjMSTD(leftv res, leftv v)
Definition: iparith.cc:4627
static BOOLEAN jjBREAK1(leftv, leftv v)
Definition: iparith.cc:7104
static BOOLEAN jjJET_ID_M(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6237
static BOOLEAN jjMINUS_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:945
static BOOLEAN jjnInt(leftv res, leftv u)
Definition: iparith.cc:5667
static BOOLEAN jjSQR_FREE2(leftv res, leftv u, leftv dummy)
Definition: iparith.cc:3307
static BOOLEAN jjCOEFFS3_Id(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6006
static BOOLEAN jjREGULARITY(leftv res, leftv v)
Definition: iparith.cc:4876
static BOOLEAN jjMINUS_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:902
static BOOLEAN jjBREAK0(leftv, leftv)
Definition: iparith.cc:7097
static BOOLEAN jjTRACE_IV(leftv res, leftv v)
Definition: iparith.cc:5192
static BOOLEAN jjMONOM(leftv res, leftv v)
Definition: iparith.cc:2749
static BOOLEAN jjSort_Id(leftv res, leftv v)
Definition: iparith.cc:5089
static BOOLEAN jjCOEF_M(leftv, leftv v)
Definition: iparith.cc:7145
static BOOLEAN jjidMinBase(leftv res, leftv v)
Definition: iparith.cc:5610
static BOOLEAN jjDEG_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1850
static BOOLEAN jjRING_2(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5969
static BOOLEAN jjMINUS_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:935
static BOOLEAN jjPREIMAGE_R(leftv res, leftv v)
Definition: iparith.cc:4791
static BOOLEAN jjHOMOG_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2421
static BOOLEAN jjBRACK_Im(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5699
static BOOLEAN jjMATRIX_Ma(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6753
static BOOLEAN jjidMaxIdeal(leftv res, leftv v)
Definition: iparith.cc:4306
static BOOLEAN jjMINOR_M(leftv res, leftv v)
Definition: iparith.cc:6248
static BOOLEAN jjCOUNT_BI(leftv res, leftv v)
Definition: iparith.cc:3881
static BOOLEAN jjPROC3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5962
static BOOLEAN jjKERNEL_M(leftv res, leftv v)
Definition: iparith.cc:4465
static BOOLEAN jjCOLS_BIM(leftv res, leftv v)
Definition: iparith.cc:3863
static BOOLEAN jjREDUCE3_CP(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6961
static BOOLEAN jjBRACK_Ma_I_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5812
static BOOLEAN jjLE_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1203
static BOOLEAN jjPLUS_B_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:798
static BOOLEAN jjPlural_mat_mat(leftv res, leftv a, leftv b)
Definition: iparith.cc:2864
static BOOLEAN jjIDEAL_Map(leftv res, leftv v)
Definition: iparith.cc:4341
static BOOLEAN jjPARSTR2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2787
static BOOLEAN jjKoszul(leftv res, leftv u, leftv v)
Definition: iparith.cc:2543
static BOOLEAN jjTIMES_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1000
static BOOLEAN jjINTERSECT_PL(leftv res, leftv v)
Definition: iparith.cc:7430
static BOOLEAN jjTIMES_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:1140
static BOOLEAN jjTIMES_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1064
static BOOLEAN jjPLUS_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:758
static BOOLEAN jjINTERSEC3S(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6206
static BOOLEAN jjRES3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7000
static BOOLEAN jjJET_P_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6214
static BOOLEAN jjREDUCE_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:3073
static BOOLEAN jjCOEF(leftv res, leftv u, leftv v)
Definition: iparith.cc:1795
static BOOLEAN jjEXECUTE(leftv, leftv v)
Definition: iparith.cc:4113
static BOOLEAN jjDEG_M_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1839
static BOOLEAN jjSTATUS3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7046
static BOOLEAN jjLEADEXP(leftv res, leftv v)
Definition: iparith.cc:4503
static BOOLEAN jjDEG_M(leftv res, leftv u)
Definition: iparith.cc:3936
static BOOLEAN jjPLUS_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:807
static BOOLEAN jjDIFF_COEF(leftv res, leftv u, leftv v)
Definition: iparith.cc:4425
static BOOLEAN jjGE_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1180
static BOOLEAN jjEQUAL_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:1343
static BOOLEAN jjINTERPOLATION(leftv res, leftv l, leftv v)
Definition: iparith.cc:2493
static BOOLEAN jjSIMPL_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:3270
static BOOLEAN jjRING3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:7041
static BOOLEAN jjREDUCE_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:3065
static BOOLEAN jjDIV_Ma(leftv res, leftv u, leftv v)
Definition: iparith.cc:1296
static BOOLEAN jjFRES3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:2297
static BOOLEAN jjMODULO(leftv res, leftv u, leftv v)
Definition: iparith.cc:2610
static BOOLEAN jjCOMPARE_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:344
static BOOLEAN jjREAD2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3049
static BOOLEAN jjREDUCE3_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6985
static BOOLEAN jjPAR1(leftv res, leftv v)
Definition: iparith.cc:4719
static BOOLEAN jjnlInt(leftv res, leftv u)
Definition: iparith.cc:5674
static BOOLEAN jjFAREY_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:2128
static BOOLEAN jjPLUS_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:876
static BOOLEAN jjGCD_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:2370
static BOOLEAN jjELIMIN(leftv res, leftv u, leftv v)
Definition: iparith.cc:1957
static BOOLEAN jjPLUSPLUS(leftv, leftv u)
Definition: iparith.cc:3702
static BOOLEAN jjCHINREM_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1684
static BOOLEAN jjROWS(leftv res, leftv v)
Definition: iparith.cc:4915
static BOOLEAN jjJET_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:2521
static BOOLEAN jjSBA(leftv res, leftv v)
Definition: iparith.cc:4983
static BOOLEAN jjOP_IM_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:306
static BOOLEAN jjJanetBasis(leftv res, leftv v)
Definition: iparith.cc:2511
static BOOLEAN jjKBASE(leftv res, leftv v)
Definition: iparith.cc:4475
static BOOLEAN jjTENSOR(leftv res, leftv u, leftv v)
Definition: iparith.cc:3554
static BOOLEAN jjmpTrace(leftv res, leftv v)
Definition: iparith.cc:5627
static BOOLEAN jjRING_PL(leftv res, leftv a)
Definition: iparith.cc:8653
static BOOLEAN jjREDUCE4(leftv res, leftv u)
Definition: iparith.cc:8088
static BOOLEAN jjFWALK(leftv res, leftv u, leftv v)
Definition: iparith.cc:2344
static BOOLEAN jjTEST(leftv, leftv v)
Definition: iparith.cc:8344
static BOOLEAN jjDIFF_ID_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1914
static BOOLEAN jjSYZ_2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3491
static BOOLEAN jjPRUNE(leftv res, leftv v)
Definition: iparith.cc:4803
static BOOLEAN jjDIVISION4(leftv res, leftv v)
Definition: iparith.cc:7162
static BOOLEAN jjDEFINED(leftv res, leftv v)
Definition: iparith.cc:3966
static BOOLEAN jjLagSolve(leftv res, leftv v)
Definition: iparith.cc:4558
static BOOLEAN jjRING_1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1675
static BOOLEAN jjVDIM(leftv res, leftv v)
Definition: iparith.cc:5405
static BOOLEAN jjOP_I_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:264
static BOOLEAN jjCOUNT_N(leftv res, leftv v)
Definition: iparith.cc:3892
static BOOLEAN jjHILBERT2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2393
static BOOLEAN jjFIND2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2279
static BOOLEAN jjCOEF_Id(leftv res, leftv u, leftv v)
Definition: iparith.cc:1802
static BOOLEAN jjP2N(leftv res, leftv v)
Definition: iparith.cc:4827
static BOOLEAN jjE(leftv res, leftv v)
Definition: iparith.cc:4101
static BOOLEAN jjPOWER_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:628
static BOOLEAN jjTIMES_MA_BI1(leftv res, leftv u, leftv v)
Definition: iparith.cc:1088
static BOOLEAN jjSTD_HILB_WP(leftv res, leftv INPUT)
Definition: iparith.cc:8570
static BOOLEAN jjLISTRING(leftv res, leftv v)
Definition: iparith.cc:4540
static BOOLEAN jjCOEFFS2_KB(leftv res, leftv u, leftv v)
Definition: iparith.cc:1820
static BOOLEAN jjLIFTSTD_M(leftv res, leftv U)
Definition: iparith.cc:7865
static BOOLEAN jjELIMIN_ALG(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6053
static BOOLEAN jjVAR1(leftv res, leftv v)
Definition: iparith.cc:5371
static BOOLEAN jjLEADCOEF(leftv res, leftv v)
Definition: iparith.cc:4489
static BOOLEAN jjVARSTR2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3580
static BOOLEAN jjPLUS_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:775
static BOOLEAN jjUMINUS_BI(leftv res, leftv u)
Definition: iparith.cc:3714
static BOOLEAN jjpLength(leftv res, leftv v)
Definition: iparith.cc:5574
static BOOLEAN jjJET_P_P(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6221
static BOOLEAN jjLT_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1220
static BOOLEAN jjIS_RINGVAR0(leftv res, leftv)
Definition: iparith.cc:4408
static BOOLEAN jjEXTGCD_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1989
static BOOLEAN jjBI2P(leftv res, leftv u)
Definition: iparith.cc:3834
static BOOLEAN jjTWOSTD(leftv res, leftv a)
Definition: iparith.cc:5241
static BOOLEAN jjGCD_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:2350
static BOOLEAN jjCONTRACT(leftv res, leftv u, leftv v)
Definition: iparith.cc:1834
static BOOLEAN jjFAC_P(leftv res, leftv u)
Definition: iparith.cc:4162
static BOOLEAN jjREDUCE3_CID(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6973
static BOOLEAN jjFAREY_LI(leftv res, leftv u, leftv v)
Definition: iparith.cc:10130
static BOOLEAN jjTRANSP_BIM(leftv res, leftv v)
Definition: iparith.cc:5197
static BOOLEAN jjCOUNT_RES(leftv res, leftv v)
Definition: iparith.cc:5652
static BOOLEAN jjDelete_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1864
static BOOLEAN jjGE_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1168
static BOOLEAN jjrOrdStr(leftv res, leftv v)
Definition: iparith.cc:5637
static BOOLEAN jjKERNEL(leftv res, leftv u, leftv v)
Definition: iparith.cc:2539
static BOOLEAN jjINTERSECT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6193
static BOOLEAN jjBRACK_Ma(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5754
static BOOLEAN jjMOD_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:2674
static BOOLEAN jjLOAD_E(leftv, leftv v, leftv u)
Definition: iparith.cc:2599
static BOOLEAN jjNEWSTRUCT3(leftv, leftv u, leftv v, leftv w)
Definition: iparith.cc:6444
static BOOLEAN jjHOMOG_P_W(leftv res, leftv u, leftv v, leftv)
Definition: iparith.cc:6161
static BOOLEAN jjpHead(leftv res, leftv v)
Definition: iparith.cc:5599
static BOOLEAN jjSUBST_Id(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6649
static BOOLEAN jjEQUAL_R(leftv res, leftv u, leftv v)
Definition: iparith.cc:1349
static BOOLEAN jjCOUNT_L(leftv res, leftv v)
Definition: iparith.cc:3897
static BOOLEAN jjDET_I(leftv res, leftv v)
Definition: iparith.cc:4037
static BOOLEAN jjCOUNT_RG(leftv res, leftv v)
Definition: iparith.cc:3914
static BOOLEAN jjSMATRIX_Mo(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6881
static BOOLEAN jjINTERSECT(leftv res, leftv u, leftv v)
Definition: iparith.cc:2487
static BOOLEAN jjrVarStr(leftv res, leftv v)
Definition: iparith.cc:5642
static BOOLEAN jjOP_BI_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:281
static BOOLEAN jjDIFF_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1892
static BOOLEAN jjSTRING_PL(leftv res, leftv v)
Definition: iparith.cc:8310
static BOOLEAN jjMINUS_B(leftv res, leftv u, leftv v)
Definition: iparith.cc:922
static BOOLEAN jjRSUM(leftv res, leftv u, leftv v)
Definition: iparith.cc:3256
static BOOLEAN jjINDEX_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1392
static BOOLEAN jjPOWER_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:571
static BOOLEAN jjMONITOR1(leftv res, leftv v)
Definition: iparith.cc:2704
static BOOLEAN jjKLAMMER_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1574
static BOOLEAN jjFETCH(leftv res, leftv u, leftv v)
Definition: iparith.cc:2151
static BOOLEAN jjCALL3ARG(leftv res, leftv u)
Definition: iparith.cc:7133
static BOOLEAN jjSTD_1(leftv res, leftv u, leftv v)
Definition: iparith.cc:3407
static BOOLEAN jjUMINUS_N(leftv res, leftv u)
Definition: iparith.cc:3726
static BOOLEAN jjNUMERATOR(leftv res, leftv v)
Return the numerator of the input number.
Definition: iparith.cc:3987
static BOOLEAN jjORD(leftv res, leftv v)
Definition: iparith.cc:4713
static BOOLEAN jjTIMES_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1010
static BOOLEAN jjUMINUS_I(leftv res, leftv u)
Definition: iparith.cc:3721
static BOOLEAN jjPREIMAGE(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6454
static BOOLEAN jjBRACK_Ma_IV_IV(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5911
static BOOLEAN jjPLUS_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:839
static BOOLEAN jjLIFT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6894
static BOOLEAN jjENVELOPE(leftv res, leftv a)
Definition: iparith.cc:5226
static BOOLEAN jjSetRing(leftv, leftv u)
Definition: iparith.cc:3759
static BOOLEAN jjMINUS_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:897
static BOOLEAN jjTIMES_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:993
static BOOLEAN jjFACSTD2(leftv res, leftv v, leftv w)
Definition: iparith.cc:2095
static BOOLEAN jjINTVEC_PL(leftv res, leftv v)
Definition: iparith.cc:7666
static BOOLEAN jjEXPORTTO(leftv, leftv u, leftv v)
Definition: iparith.cc:1977
static BOOLEAN jjPlural_num_poly(leftv res, leftv a, leftv b)
Definition: iparith.cc:2804
static BOOLEAN jjDIV_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1278
static BOOLEAN jjKBASE2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2526
static BOOLEAN jjPOWER_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:525
static BOOLEAN jjRES(leftv res, leftv u, leftv v)
Definition: iparith.cc:3082
static BOOLEAN jjPLUS_P_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:862
static BOOLEAN jjMINRES_R(leftv res, leftv v)
Definition: iparith.cc:4648
static BOOLEAN jjCOLS(leftv res, leftv v)
Definition: iparith.cc:3858
static BOOLEAN jjPLUS_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:817
static BOOLEAN jjP2BI(leftv res, leftv v)
Definition: iparith.cc:4759
static BOOLEAN jjGE_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1175
static BOOLEAN jjTRANSP_IV(leftv res, leftv v)
Definition: iparith.cc:5202
static BOOLEAN jjGT_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1198
static BOOLEAN jjUNIVARIATE(leftv res, leftv v)
Definition: iparith.cc:5366
static BOOLEAN jjMODULO4(leftv res, leftv u)
Definition: iparith.cc:8006
static BOOLEAN jjHOMOG_ID_W(leftv res, leftv u, leftv v, leftv)
Definition: iparith.cc:6143
static BOOLEAN jjWEDGE(leftv res, leftv u, leftv v)
Definition: iparith.cc:3665
static BOOLEAN jjCOMPARE_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:455
static BOOLEAN jjFIND3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6068
static BOOLEAN jjLU_INVERSE(leftv res, leftv v)
Definition: iparith.cc:7504
static BOOLEAN jjMODULO3S(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6830
static BOOLEAN jjBAREISS_BIM(leftv res, leftv v)
Definition: iparith.cc:3806
static BOOLEAN jjPLUS_MA_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:851
static BOOLEAN jjSIMPL_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:3365
static BOOLEAN jjPFAC1(leftv res, leftv v)
Definition: iparith.cc:4549
static BOOLEAN jjQRDS(leftv res, leftv INPUT)
Definition: iparith.cc:8553
static BOOLEAN jjELIMIN_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1963
static BOOLEAN jjCONTENT(leftv res, leftv v)
Definition: iparith.cc:3873
static BOOLEAN jjDIFF_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:1903
static BOOLEAN jjSTD(leftv res, leftv v)
Definition: iparith.cc:5061
static BOOLEAN jjTIMES_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:1076
static BOOLEAN jjTIMES_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:981
static BOOLEAN jjDIV_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1265
static BOOLEAN jjINTMAT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6179
static BOOLEAN jjCOUNT_IV(leftv res, leftv v)
Definition: iparith.cc:3909
static BOOLEAN jjFRES(leftv res, leftv u, leftv v)
Definition: iparith.cc:2334
static BOOLEAN jjDUMMY(leftv res, leftv u)
Definition: iparith.cc:3681
static BOOLEAN jjS2I(leftv res, leftv v)
Definition: iparith.cc:4936
static BOOLEAN jjKLAMMER(leftv res, leftv u, leftv v)
Definition: iparith.cc:1562
static BOOLEAN jjBI2N(leftv res, leftv u)
Definition: iparith.cc:3813
static BOOLEAN jjRIGHTSTD(leftv res, leftv v)
Definition: iparith.cc:5260
static BOOLEAN jjCOMPARE_MA(leftv res, leftv u, leftv v)
Definition: iparith.cc:427
static BOOLEAN jjGETDUMP(leftv, leftv v)
Definition: iparith.cc:4178
static BOOLEAN jjidFreeModule(leftv res, leftv v)
Definition: iparith.cc:5584
static BOOLEAN jjFAREY_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2117
static BOOLEAN jjBRACKET_REC(leftv res, leftv a, leftv b, leftv c)
Definition: iparith.cc:2911
static BOOLEAN jjCOMPARE_IV_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:400
static BOOLEAN jjRANDOM_Im(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6528
static BOOLEAN jjRESERVEDNAME(leftv res, leftv v)
Definition: iparith.cc:4843
static BOOLEAN jjDIVMOD_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1229
static BOOLEAN jjLE_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1207
static BOOLEAN jjTENSOR_Ma(leftv res, leftv u, leftv v)
Definition: iparith.cc:3561
static BOOLEAN jjCOEFFS3_KB(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6020
static BOOLEAN jjRMINUS(leftv res, leftv u, leftv v)
Definition: iparith.cc:3237
BOOLEAN jjPROC(leftv res, leftv u, leftv v)
Definition: iparith.cc:1619
static BOOLEAN jjPLUS_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:770
static BOOLEAN jjHILBERT3(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6108
static BOOLEAN jjDET2(leftv res, leftv u, leftv v)
Definition: iparith.cc:1878
static BOOLEAN jjSTD_HILB(leftv res, leftv u, leftv v)
Definition: iparith.cc:3381
static BOOLEAN jjAND_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:1382
static BOOLEAN jjINDEX_P_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1490
static BOOLEAN jjRPAR(leftv res, leftv v)
Definition: iparith.cc:4931
static BOOLEAN jjJanetBasis2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2505
static BOOLEAN jjLOAD1(leftv, leftv v)
Definition: iparith.cc:4536
static BOOLEAN jjCOLON(leftv res, leftv u, leftv v)
Definition: iparith.cc:325
static BOOLEAN jjRPLUS(leftv res, leftv u, leftv v)
Definition: iparith.cc:3243
static BOOLEAN jjKERNEL_SM(leftv res, leftv v)
Definition: iparith.cc:4470
static BOOLEAN jjCOLCOL(leftv res, leftv u, leftv v)
Definition: iparith.cc:696
static BOOLEAN jjFAC_P2(leftv res, leftv u, leftv dummy)
Definition: iparith.cc:2048
static BOOLEAN jjHOMOG_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:2438
static BOOLEAN jjrParStr(leftv res, leftv v)
Definition: iparith.cc:5647
static BOOLEAN jjDEG(leftv res, leftv v)
Definition: iparith.cc:3928
static BOOLEAN jjFETCH_M(leftv res, leftv u)
Definition: iparith.cc:7305
static BOOLEAN jjINDEX_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:1519
static BOOLEAN jjRINGLIST(leftv res, leftv v)
Definition: iparith.cc:4886
static BOOLEAN jjidElem(leftv res, leftv v)
Definition: iparith.cc:5579
static BOOLEAN jjDIM2(leftv res, leftv v, leftv w)
Definition: iparith.cc:1919
static BOOLEAN jjOP_BIM_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:268
static BOOLEAN jjGCD_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:2363
static BOOLEAN jjBI2IM(leftv res, leftv u)
Definition: iparith.cc:3828
static BOOLEAN jjRANK2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3040
static BOOLEAN jjDEGREE(leftv res, leftv v)
Definition: iparith.cc:3947
static BOOLEAN jjLIFTSTD_ALG(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6939
static BOOLEAN jjINDEPSET2(leftv res, leftv u, leftv v)
Definition: iparith.cc:2480
static BOOLEAN jjWAITALL2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3617
static BOOLEAN jjOpenClose(leftv, leftv v)
Definition: iparith.cc:4707
static BOOLEAN jjBRACK_S(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5683
static BOOLEAN jjUMINUS_P(leftv res, leftv u)
Definition: iparith.cc:3733
static BOOLEAN jjMINUS_SM(leftv res, leftv u, leftv v)
Definition: iparith.cc:968
static BOOLEAN jjHIGHCORNER_M(leftv res, leftv v)
Definition: iparith.cc:4199
static BOOLEAN jjNAMES(leftv res, leftv v)
Definition: iparith.cc:4687
static BOOLEAN jjINDEX_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1450
static BOOLEAN jjHIGHCORNER(leftv res, leftv v)
Definition: iparith.cc:4192
static BOOLEAN jjEQUAL_Ma(leftv res, leftv u, leftv v)
Definition: iparith.cc:1337
static BOOLEAN jjNAMES0(leftv res, leftv)
Definition: iparith.cc:8073
static BOOLEAN jjLOAD2(leftv, leftv, leftv v)
Definition: iparith.cc:2595
static BOOLEAN jjALIGN_M(leftv res, leftv u, leftv v)
Definition: iparith.cc:1781
static BOOLEAN jjWAIT1ST2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3593
static BOOLEAN jjDIV_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1252
static BOOLEAN jjCOMPARE_BIM(leftv res, leftv u, leftv v)
Definition: iparith.cc:372
static BOOLEAN jjEQUAL_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:1355
static BOOLEAN jjDET2_S(leftv res, leftv u, leftv v)
Definition: iparith.cc:1885
static BOOLEAN jjCOEFFS_Id(leftv res, leftv u, leftv v)
Definition: iparith.cc:1809
static BOOLEAN jjPROC1(leftv res, leftv u)
Definition: iparith.cc:3779
static BOOLEAN jjNOT(leftv res, leftv v)
Definition: iparith.cc:4697
static BOOLEAN jjPARSTR1(leftv res, leftv v)
Definition: iparith.cc:4741
static BOOLEAN jjSUBST_Id_N(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:6703
static BOOLEAN jjJET4(leftv res, leftv u)
Definition: iparith.cc:7699
static BOOLEAN jjOPPOSE(leftv res, leftv a, leftv b)
Definition: iparith.cc:2952
static BOOLEAN jjMOD_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2685
static BOOLEAN jjPLUS_B(leftv res, leftv u, leftv v)
Definition: iparith.cc:785
static BOOLEAN jjGCD_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2387
static BOOLEAN jjHOMOG1(leftv res, leftv v)
Definition: iparith.cc:4273
static BOOLEAN jjDET(leftv res, leftv v)
Definition: iparith.cc:3995
static BOOLEAN jjCOUNT_M(leftv res, leftv v)
Definition: iparith.cc:3903
static BOOLEAN jjPLUS_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:780
static BOOLEAN jjKoszul_Id(leftv res, leftv u, leftv v)
Definition: iparith.cc:2547
static BOOLEAN jjCHINREM_ID(leftv res, leftv u, leftv v)
Definition: iparith.cc:9931
static BOOLEAN jjPLUS_S(leftv res, leftv u, leftv v)
Definition: iparith.cc:866
static BOOLEAN jjHOMOG1_W(leftv res, leftv v, leftv u)
Definition: iparith.cc:2460
static BOOLEAN jjSBA_2(leftv res, leftv v, leftv u, leftv t)
Definition: iparith.cc:5035
static BOOLEAN jjINDEX_IV(leftv res, leftv u, leftv v)
Definition: iparith.cc:1414
static BOOLEAN jjRING_LIST(leftv res, leftv v)
Definition: iparith.cc:4908
static BOOLEAN jjBRACK_SM(leftv res, leftv u, leftv v, leftv w)
Definition: iparith.cc:5783
static BOOLEAN jjMINUS_I(leftv res, leftv u, leftv v)
Definition: iparith.cc:881
static BOOLEAN jjJET_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:2516
static BOOLEAN jjVARSTR1(leftv res, leftv v)
Definition: iparith.cc:5388
static BOOLEAN jjSTATUS_M(leftv res, leftv v)
Definition: iparith.cc:8495
static BOOLEAN jjCALL1ARG(leftv res, leftv v)
Definition: iparith.cc:7121
static BOOLEAN jjLT_BI(leftv res, leftv u, leftv v)
Definition: iparith.cc:1216
static BOOLEAN jjPOWER_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:605
BOOLEAN jjLIST_PL(leftv res, leftv v)
Definition: iparith.cc:7955
static BOOLEAN jjCALL2ARG(leftv res, leftv u)
Definition: iparith.cc:7125
static BOOLEAN jjINDEX_PBu(leftv res, leftv u, leftv v)
Definition: iparith.cc:1467
static BOOLEAN jjSYZYGY(leftv res, leftv v)
Definition: iparith.cc:5121
static BOOLEAN jjPOWER_N(leftv res, leftv u, leftv v)
Definition: iparith.cc:587
static BOOLEAN jjKLAMMER_PL(leftv res, leftv u)
Definition: iparith.cc:7782
static BOOLEAN jjSUBST_M(leftv res, leftv u)
Definition: iparith.cc:8526
static BOOLEAN jjEQUAL_P(leftv res, leftv u, leftv v)
Definition: iparith.cc:1361
static BOOLEAN jjLU_DECOMP(leftv res, leftv v)
Definition: iparith.cc:4567
static BOOLEAN jjPlural_num_mat(leftv res, leftv a, leftv b)
Definition: iparith.cc:2824
static BOOLEAN jjIDEAL_PL(leftv res, leftv v)
Definition: iparith.cc:7261
static BOOLEAN jjNVARS(leftv res, leftv v)
Definition: iparith.cc:4702
static BOOLEAN jjERROR(leftv, leftv u)
Definition: iparith.cc:1982
static BOOLEAN jjSTATUS2(leftv res, leftv u, leftv v)
Definition: iparith.cc:3354
static BOOLEAN jjALIGN_V(leftv res, leftv u, leftv v)
Definition: iparith.cc:1771
static BOOLEAN jjRINGLIST_C(leftv res, leftv v)
Definition: iparith.cc:4901
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:6304
BOOLEAN jjMINRES(leftv res, leftv v)
Definition: ipshell.cc:946
BOOLEAN syBetti1(leftv res, leftv u)
Definition: ipshell.cc:3175
BOOLEAN mpKoszul(leftv res, leftv c, leftv b, leftv id)
Definition: ipshell.cc:3096
BOOLEAN jjCHARSERIES(leftv res, leftv u)
Definition: ipshell.cc:3350
BOOLEAN mpJacobi(leftv res, leftv a)
Definition: ipshell.cc:3074
BOOLEAN iiBranchTo(leftv, leftv args)
Definition: ipshell.cc:1277
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v)
Definition: ipshell.cc:980
BOOLEAN syBetti2(leftv res, leftv u, leftv w)
Definition: ipshell.cc:3152
BOOLEAN kWeight(leftv res, leftv id)
Definition: ipshell.cc:3304
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w)
Definition: ipshell.cc:3343
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:3326
BOOLEAN jjBETTI(leftv res, leftv u)
Definition: ipshell.cc:967
BOOLEAN jjVARIABLES_ID(leftv res, leftv u)
Definition: ipshell.cc:6312
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 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:4681
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:4824
BOOLEAN nuMPResMat(leftv res, leftv arg1, leftv arg2)
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i,...
Definition: ipshell.cc:4658
BOOLEAN loSimplex(leftv res, leftv args)
Implementation of the Simplex Algorithm.
Definition: ipshell.cc:4572
BOOLEAN loNewtonP(leftv res, leftv arg1)
compute Newton Polytopes of input polynomials
Definition: ipshell.cc:4566
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:4925
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:1280
const struct sValCmd2 dArith2[]
Definition: table.h:320
const struct sValAssign dAssign[]
Definition: table.h:1374
VAR cmdnames cmds[]
Definition: table.h:989
const struct sValCmdM dArithM[]
Definition: table.h:904
const struct sValAssign_sys dAssign_sys[]
Definition: table.h:1423
const struct sValCmd3 dArith3[]
Definition: table.h:773
#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