share/affine/sys-proclaim.lisp

   1
   2 (IN-PACKAGE "COMPILER")
   3 (PROCLAIM
   4     '(FTYPE (FUNCTION (T) FIXNUM) MAXIMA::POLY-LENGTH MAXIMA::TWO
   5             MAXIMA::TWO-TIMES-N
   6             MAXIMA::RANK-DIMENSION-THREE-MODULO-CUBIC
   7             MAXIMA::LDATA-CODIM MAXIMA::ZOPEN-DIM
   8             MAXIMA::THREE-TIMES-N))
   9 (PROCLAIM
  10     '(FTYPE (FUNCTION (T T T T) *) MAXIMA::HENSEL-LIFT-LIST
  11             MAXIMA::SP-SET-ENTRY))
  12 (PROCLAIM
  13     '(FTYPE (FUNCTION (T T T T *) *) MAXIMA::GROBNER-BI-MONOMIALS))
  14 (PROCLAIM
  15     '(FTYPE (FUNCTION (T T *) *) MAXIMA::COPY-SORT
  16             MAXIMA::VARIETY-LDATA-SUBSET MAXIMA::GROBNER-SUBSET
  17             MAXIMA::COMMUTATIVE-MONOMIALS MAXIMA::NORMALIZE-ZOPEN
  18             MAXIMA::APPLY-RMAP MAXIMA::MY-RATCOEFF2
  19             MAXIMA::FIND-IN-ORDERED-LIST MAXIMA::AFP-EXPT-MODULO
  20             MAXIMA::CONVERT-POLYNOMIAL-TO-VECTOR MAXIMA::TEST-TIMES
  21             MAXIMA::GROBNER-MONOMIALS))
  22 (PROCLAIM '(FTYPE (FUNCTION (T T T T T) *) MAXIMA::HENSEL-LIFT))
  23 (PROCLAIM
  24     '(FTYPE (FUNCTION (T T T *) *) MAXIMA::LDATA-REFINEMENT
  25             MAXIMA::TRANSLATE-COMPONENT-AND-REDUCE
  26             MAXIMA::TRANSLATE-COMPONENT
  27             MAXIMA::TRANSLATE-REDUCED-COMPONENT-AND-REDUCE
  28             MAXIMA::RSUBLIS MAXIMA::PSUBLIS))
  29 (PROCLAIM
  30     '(FTYPE (FUNCTION (T T T) *) MAXIMA::RATIONAL-SUB
  31             MAXIMA::POLY-NCMUL1 MAXIMA::NEW-RAT-NCMUL1
  32             MAXIMA::GEN-PSUBLIS MAXIMA::GEN-PREM MAXIMA::PSUBST
  33             MAXIMA::SP-SET-CURRENT-ROW-ENTRY MAXIMA::SET-ENTRY
  34             MAXIMA::SP-ENTRY))
  35 (PROCLAIM
  36     '(FTYPE (FUNCTION (T T *) T) MAXIMA::SORT-REMEMBER
  37             MAXIMA::$BLOWUP_CHART
  38             MAXIMA::$CANCEL_FACTORS_AND_DENOMINATORS MAXIMA::$MONO
  39             MAXIMA::$CHECK_TRANSPOSE_CONDITION_2_1
  40             MAXIMA::POINT-OF-TENSORS MAXIMA::DUAL-BASIS-ELEMENT
  41             MAXIMA::MAKE-PAIRING-FUNCTION MAXIMA::GENCOEFF
  42             MAXIMA::SEQ-OP MAXIMA::REPLACE-SYMBOLS MAXIMA::BLOWUP-SHEAF
  43             MAXIMA::SOLVE-SIMPLE-SYSTEM MAXIMA::$FIND_KERNEL
  44             MAXIMA::PLS-LDATA
  45             MAXIMA::BLOWUP-PLS-USING-HIGH-DIMENSIONAL-COMPONENTS
  46             MAXIMA::INTERSECTP MAXIMA::BLOWUP-PLS-USING-CHOICES
  47             MAXIMA::PCOEFF MAXIMA::$NC_COEFF MAXIMA::$COM
  48             MAXIMA::REDUCE-LINEAR-LDATA MAXIMA::$TRY_BEZOUT
  49             MAXIMA::MY-RATCOEFF MAXIMA::$FIND_RANK_OF_RELATIONS
  50             MAXIMA::$FIND_CENTRAL_ELEMENTS
  51             MAXIMA::$INDEPENDENT_LINSOLVE MAXIMA::$EXTR_EQNS
  52             MAXIMA::$EXPRESS_IN_TERMS_OF_BASIS MAXIMA::INTERSECT-LDATA
  53             MAXIMA::CHECK-SIMP MAXIMA::$NCOEFF
  54             MAXIMA::SIMPLIFY-DICHOTOMY MAXIMA::$SUBLIS_AND_ADD
  55             MAXIMA::FIND-POSITION-IN-LIST MAXIMA::MATCH-COMPONENTS
  56             MAXIMA::$DICHOTOMY
  57             MAXIMA::ELIMINATE-HIGHEST-POWER-DIVIDING-HOMOGENEOUSLY
  58             MAXIMA::COLLECT-MONOMIAL-COEFFICIENTS-AND-MONOMIALS
  59             MAXIMA::$DOT_FACTOR MAXIMA::SP-GET-ROWS-FROM-ARRAY
  60             MAXIMA::MY-RATCOEFF1 MAXIMA::SIMPLE-RAT-SUBLIS
  61             MAXIMA::RANDOM-MATRIX MAXIMA::SP-ADD-NEW-ROW
  62             MAXIMA::ANY-LINEARP MAXIMA::SP-SET-ROWS
  63             MAXIMA::PV-GET-ROWS-FROM-ARRAY-OF-POLYNOMIALS
  64             MAXIMA::CHECK-COMPONENT-CONTAINMENT
  65             MAXIMA::$CONTRACT_TO_VARIABLES
  66             MAXIMA::AFP-BERLEKAMP-FACTOR1
  67             MAXIMA::PV-GET-ROWS-FROM-LIST-OF-POLYNOMIALS
  68             MAXIMA::PCOEFF1 MAXIMA::GEN-MATRIX-ROW-PLUS
  69             MAXIMA::$GROBNER_MONOMIALS MAXIMA::SP-GROW-ROW
  70             MAXIMA::IDEAL-SUBSETP))
  71 (PROCLAIM
  72     '(FTYPE (FUNCTION (T T T) T) MAXIMA::SORT-GROUPED-LIST
  73             MAXIMA::CHECK-ASSOCIATIVE MAXIMA::NCMUL1
  74             MAXIMA::$GENERATE_MATRIX MAXIMA::$SYMBOL_MATRIX
  75             MAXIMA::$TRACE_GENERAL_ELEMENT MAXIMA::$REPLACE_THE_PATTERN
  76             MAXIMA::IBLOWUP MAXIMA::$MATRIX_ENTRY
  77             MAXIMA::BERLEKAMP-GET-FACTORS-BIG-PRIME
  78             MAXIMA::DOTSIMP-ONE-TERM MAXIMA::FACTOR-OUT-MONOMIAL
  79             MAXIMA::$FIND_RIGHT_LAP MAXIMA::SET-UP-GRADED-RELATIONS
  80             MAXIMA::$GENERATE_ARRAY_OF_RELATIONS
  81             MAXIMA::AFP-TRUNCATE-POWERS1 MAXIMA::PRESULTANT
  82             MAXIMA::$LIST_SUBLIS MAXIMA::TEST_PATTERN
  83             MAXIMA::$SPECIAL_FIND_CENTRAL_ELEMENTS MAXIMA::$MONO-AUX
  84             MAXIMA::$EULER_SUM MAXIMA::$FIND_HIGHEST_WEIGHT_VECTORS
  85             MAXIMA::$UNIPOTENT_INVARIANT_VECTORS MAXIMA::$EIJ
  86             MAXIMA::$LEFTSOCLE MAXIMA::DELETE-FROM-SIMPS
  87             MAXIMA::AFFINE-LDATA MAXIMA::FIND-VARIABLE-WITH-SIMPLE-LC
  88             MAXIMA::$SUB_MATRIX MAXIMA::LIST-OPENS-WITH-COMPONENT
  89             MAXIMA::S-BLOW MAXIMA::NORMALIZE-PLS
  90             MAXIMA::SORT-EXPENSIVE-KEY MAXIMA::OPEN-REFINEMENT
  91             MAXIMA::POLY-LINEARP MAXIMA::ICHART
  92             MAXIMA::INVERTIBLE-LEADING-COEFFICIENT MAXIMA::SUB-SCHEME
  93             MAXIMA::PTRUNCATE MAXIMA::PTRUNCATE1
  94             MAXIMA::MAKE-NORMAL-ZOPEN MAXIMA::CHECK-NORMALIZATION
  95             MAXIMA::PREPARE-FOR-BLOWUP MAXIMA::$POLYSUB
  96             MAXIMA::$PSUBLIS MAXIMA::POLY-SUBST MAXIMA::POLY-SUBST1
  97             MAXIMA::RATIONAL-SUBST MAXIMA::MY-MINOR
  98             MAXIMA::$CHECK_ASSOCIATIVE MAXIMA::ONE-DEGREE-FACTORS
  99             MAXIMA::SPLICE-IN MAXIMA::AFP-TRUNCATE-POWERS
 100             MAXIMA::NSPLICE-IN MAXIMA::SP-ROW-DOT-ROW-NUMBERS
 101             MAXIMA::SAFE-PUTPROP MAXIMA::SP-MULTIPLY-ROW
 102             MAXIMA::NEW-NEWVARMEXPT MAXIMA::SP-ROW-DOT
 103             MAXIMA::BERLEKAMP-GET-FACTORS-LITTLE-PRIME
 104             MAXIMA::GET-FACTORS MAXIMA::CHECK-CONVERSION
 105             MAXIMA::GENMATRIX MAXIMA::$SPUR MAXIMA::$CASE_REP
 106             MAXIMA::PV-GET-ROWS-FROM-MACSYMA-EQUATIONS-AND-VARIABLES
 107             MAXIMA::$RANK_OF_REPRESENTATION
 108             MAXIMA::LIST-IND-TO-TENSOR-IND))
 109 (PROCLAIM '(FTYPE (FUNCTION (T T T T T *) T) MAXIMA::HENSEL-LIFT1))
 110 (PROCLAIM
 111     '(FTYPE (FUNCTION (T T T T T T) T) MAXIMA::FINAL-CHECK-CONTAINED-IN
 112             MAXIMA::WR-LIFT MAXIMA::$TENSOR_PRODUCT_REPRESENTATION))
 113 (PROCLAIM
 114     '(FTYPE (FUNCTION (T T T *) T) MAXIMA::$INTERCHANGE_MATRIX_ROWS
 115             MAXIMA::$FIND_COEFFICIENTS_FOR_LINEAR_COMBINATION
 116             MAXIMA::$INTERCHANGE_MATRIX_COLUMNS
 117             MAXIMA::REPLACE-MONOMIAL-RAT MAXIMA::BLOWUP-PLS
 118             MAXIMA::$MY_SUM MAXIMA::SORT-KEY MAXIMA::$FIND_RELATION
 119             MAXIMA::$INTERSECT_PRINCIPALS_VARIETY
 120             MAXIMA::NORMALIZE-ZOPEN-IN-PLS MAXIMA::CHECK-CONTAINMENT1
 121             MAXIMA::CHECK-CONTAINMENT MAXIMA::$INTERSECT_PRINCIPALS
 122             MAXIMA::GEN-DOT-CHECK-ASSOCIATIVE MAXIMA::GEN-RAT-SUBLIS
 123             MAXIMA::$SUB1 MAXIMA::EXPRESS-X^I MAXIMA::REPLACE-FUNCTIONS
 124             MAXIMA::REPLACE-MONOMIAL))
 125 (PROCLAIM '(FTYPE (FUNCTION (T T T T T) T) MAXIMA::PSUBLIS1))
 126 (PROCLAIM
 127     '(FTYPE (FUNCTION (T T T T) T) MAXIMA::POINT-OF-ALGEBRAS
 128             MAXIMA::RATIONAL-SUB1 MAXIMA::PROPER-TRANSFORM
 129             MAXIMA::GENERATE-T-FOR-ONE-DEGREE-FACTORS
 130             MAXIMA::$DIAGONALIZE_TORUS
 131             MAXIMA::$RESTRICTION_REPRESENTATION
 132             MAXIMA::DIMENSION-FROM-SEQUENCE
 133             MAXIMA::$FAST_CENTRAL_ELEMENTS_GIVEN_COMMUTATOR MAXIMA::HHH
 134             MAXIMA::BLOWUP-PLS-AND-REDUCED-PLS
 135             MAXIMA::CYCLIC-MODULE-BASIS
 136             MAXIMA::BLOWUP-PLS-BY-COMPONENT-OF-REDUCED
 137             MAXIMA::TRY-HARDER-AND-INTERSECT MAXIMA::SUB-RAT2
 138             MAXIMA::CORRECT-FACTORS))
 139 (PROCLAIM '(FTYPE (FUNCTION NIL *) MAXIMA::SAVE-BLEW-UP))
 140 (PROCLAIM
 141     '(FTYPE (FUNCTION (*) *) MAXIMA::POLY-NCMUL MAXIMA::$CIRCLE_TIMES
 142             MAXIMA::INTERSECTION-EQUAL1 MAXIMA::TYPE-I-SIMP
 143             MAXIMA::TEST-NNPFACTOR MAXIMA::GEN-AFP-TIMES1
 144             MAXIMA::GEN-AFP-TIMES MAXIMA::EXPONENT-PRODUCT
 145             MAXIMA::VADD* MAXIMA::VMUL* MAXIMA::CREATE-SPARSE-MATRIX
 146             MAXIMA::ZL-UNION MAXIMA::SP-ADD* MAXIMA::SP-MUL*))
 147 (PROCLAIM
 148     '(FTYPE (FUNCTION NIL T) MAXIMA::$SORT_SOLUTION_TREE
 149             MAXIMA::SIMPLIFY-POLY-SIMPLIFICATIONS MAXIMA::CONCLUSIONP
 150             MAXIMA::CHECK-VGP-CORRESPOND MAXIMA::SHOW-VGP
 151             MAXIMA::RESET-GEN MAXIMA::RESET-VGP MAXIMA::PE
 152             MAXIMA::REPL-DEG MAXIMA::$REPLACEMENTS
 153             MAXIMA::$RE_RAT_THE_DOT_SIMPLIFICATIONS
 154             MAXIMA::WHICH-CENTRALS-TO-ADD
 155             MAXIMA::$RAT_THE_DOT_SIMPLIFICATIONS MAXIMA::COPY-VGP
 156             MAXIMA::TE MAXIMA::SHOW-REPLACEMENTS
 157             MAXIMA::SORT-POLY-SIMPLIFICATIONS
 158             MAXIMA::MONOMIAL-FINISH-REPLACE MAXIMA::$SHOW_SIMPS
 159             MAXIMA::REPLACEMENT-SEQUENCES MAXIMA::SHOW-CONSTANTS
 160             MAXIMA::$POLY_REPLACEMENTS))
 161 (PROCLAIM
 162     '(FTYPE (FUNCTION (T) *) MAXIMA::$LIST_IRREDUCIBLE_FACTORS
 163             MAXIMA::HEADER-FAKE MAXIMA::$ALGEBRA_TRACE_MATRIX
 164             MAXIMA::NEW-RAT MAXIMA::ORDER-EQUATIONS MAXIMA::AFP-SQUARE
 165             MAXIMA::PRINCIPAL-PART MAXIMA::FIND-MAIN-MONOMIAL
 166             MAXIMA::ST-RAT1 MAXIMA::SC_AND_NC_PARTS MAXIMA::DOTSIMP
 167             MAXIMA::NUMERICAL-COEFFICIENT-AND-MONOMIAL MAXIMA::GT
 168             MAXIMA::MUST-REPLACEP MAXIMA::$EXTRACT_NC_PART
 169             MAXIMA::$NILPOTENT MAXIMA::FIND-LEAST-MAIN-MONOMIAL
 170             MAXIMA::$CHECK_SKEW3_CONDITIONS MAXIMA::$MUST_REPLACEP
 171             MAXIMA::RESET-RAT MAXIMA::POLYSIMP
 172             MAXIMA::CHARACTARISTIC-SETP MAXIMA::FAST-MATCH-COMPONENTS
 173             MAXIMA::GEN-PCOMPLEXITY MAXIMA::RERAT MAXIMA::SP-RAT
 174             MAXIMA::AFP-TRY-MAKE-MONIC
 175             MAXIMA::SP-SWAP-PIVOT-ROW-WITH-LATER-ONE
 176             MAXIMA::RATIONAL-INVERSE MAXIMA::NEW-NEWVAR
 177             MAXIMA::SP-BEST-PIVOT MAXIMA::MY-NEWVAR1 MAXIMA::AFP-MOD
 178             MAXIMA::GCD-ARRAY MAXIMA::AFP-MAKE-MONIC
 179             MAXIMA::REPLACE-PARAMETERS-BY-AA
 180             MAXIMA::FIND-WORST-NC-MONOMIAL
 181             MAXIMA::EXTRACT_NC_AND_SC_PARTS MAXIMA::$LIST_NC_PARTS
 182             MAXIMA::GEN-MATRIX-ROWS MAXIMA::ST-RAT))
 183 (PROCLAIM
 184     '(FTYPE (FUNCTION (*) T) MAXIMA::$MAKE_ART_Q
 185             MAXIMA::REMOVE-CONSTANT-PROPERTY
 186             MAXIMA::$FAST_LINSOLVE_INCONSISTENT_EQUATIONS
 187             MAXIMA::$LIST_RELATIONS MAXIMA::N**
 188             MAXIMA::$LINEAR_AUTOMORPHISM_GROUP MAXIMA::SHOW-SIMPS
 189             MAXIMA::M. MAXIMA::$RELATIONS_FROM_DOT_SIMPS
 190             MAXIMA::$SIMP_NCMUL MAXIMA::NEW-RAT-NCMUL MAXIMA::MAC-ADD*
 191             MAXIMA::RAT-NCMUL MAXIMA::MACSYMA-LIST MAXIMA::FREE-NCMUL
 192             MAXIMA::JOIN-ARRAYS MAXIMA::MAKE-POLYNOMIAL MAXIMA::$NSDOT
 193             MAXIMA::$CENTRAL_ELEMENTS_IN_DEGREES MAXIMA::$SCALAR_CONCAT
 194             MAXIMA::$CHECK_SKEW_RELATIONS MAXIMA::SHOW-GENVAR
 195             MAXIMA::BASIS_FROM_SIMPS
 196             MAXIMA::SUBSTITUTE-REAL-SYMBOLS-FOR-GENVAR
 197             MAXIMA::$COLLECT_SKEW_RELATIONS
 198             MAXIMA::$MODULE_REPLACEMENTS MAXIMA::REPLACEMENTS
 199             MAXIMA::NN+ MAXIMA::$SLOW_GCDLIST
 200             MAXIMA::POLY-RELATIONS-FROM-SIMPLIFICATIONS
 201             MAXIMA::AFFINE-SVAR MAXIMA::RESTART-BLOWUP
 202             MAXIMA::$SIMPLIFY_DOT_SIMPLIFICATIONS
 203             MAXIMA::$SORT_DOT_SIMPLIFICATIONS MAXIMA::REPLACE-GENVAR
 204             MAXIMA::$SUM_HILBERT MAXIMA::$VRAT MAXIMA::DECLARE-CONSTANT
 205             MAXIMA::$CURRENT_GROBNER_BASIS MAXIMA::MAKE-POLY-DATA
 206             MAXIMA::MAKE-S-VAR MAXIMA::MAKE-POLYNOMIAL-VECTORS
 207             MAXIMA::MAKE-MATRIX MAXIMA::MAKE-PRE-LDATA-SHEAVES
 208             MAXIMA::MAKE-LDATA MAXIMA::MAKE-RMAP MAXIMA::MAKE-ZOPEN
 209             MAXIMA::MAKE-IDEAL MAXIMA::MAKE-VARIABLE-CORRESPONDENCE
 210             MAXIMA::UNION-EQUAL MAXIMA::$SHOW_SOLUTION_TREE
 211             MAXIMA::$GCDLIST MAXIMA::FSIGNAL
 212             MAXIMA::CONSTRUCT-PRE-LDATA-SHEAVES MAXIMA::FMAT
 213             MAXIMA::MAKE-SOLUTION-ROW MAXIMA::MAKE-SPARSE-MATRIX
 214             MAXIMA::SHOW-VG MAXIMA::GEN-PTIMES
 215             MAXIMA::UNREPLACED-MONOMIALS-IN-DOT-SIMPLIFICATIONS
 216             MAXIMA::N*))
 217 (PROCLAIM
 218     '(FTYPE (FUNCTION (T) T) MAXIMA::ORDER-DICHOTOMY MAXIMA::$DOTSIMP
 219             MAXIMA::SET-UP-TRACE-SUBS MAXIMA::$LISTP
 220             MAXIMA::REDUCE-RATIONAL-MAP-OLD
 221             MAXIMA::$ADD_TO_SOLUTION_TREE MAXIMA::AFFINE-POLYNOMIALP
 222             MAXIMA::$LIST_NC_MONOMIALS MAXIMA::$LIST_MATRIX_ENTRIES
 223             MAXIMA::MAXIMA-MATRIX-FROM-ARRAY MAXIMA::NEW-DISREP
 224             MAXIMA::DEGREE-ONE-VARIABLES MAXIMA::DESCRIBE-LDATA
 225             MAXIMA::DESCRIBE-PLS MAXIMA::$PLUSP
 226             MAXIMA::AFP-TERMS-SQUARE MAXIMA::DISPLAY MAXIMA::$TEST
 227             MAXIMA::$FIND_RANK MAXIMA::AFP-CONTENT
 228             MAXIMA::$NORMALIZING_ELEMENT_P MAXIMA::GET-GENVAR
 229             MAXIMA::PV-GET-BASIS MAXIMA::VARLIST
 230             MAXIMA::AFP-SQUARE-FREE-WITH-MODULUS MAXIMA::CHECK-CASES
 231             MAXIMA::LIST-VARIABLES MAXIMA::$DIAGONAL
 232             MAXIMA::CONSTANT-FUNCTIONP MAXIMA::MY-EVENP
 233             MAXIMA::$FIRST_VARIABLE MAXIMA::$DECOMPOSE_SYMMETRIC_MATRIX
 234             MAXIMA::GET-VARLIST MAXIMA::AFP-SQUARE-FREE-FACTORIZATION
 235             MAXIMA::$NEW_DISREP MAXIMA::TIMEDBASIS
 236             MAXIMA::FUNCTION-NUMERATOR MAXIMA::FUNCTION-DENOMINATOR
 237             MAXIMA::$SPLIT_INTO_X_AND_Y MAXIMA::$NUMBERP
 238             MAXIMA::POLYSIMP-IGNORE-DENOMINATOR MAXIMA::POLY-SCALAR-P
 239             MAXIMA::BRING-TO-LEFT-SIDE MAXIMA::CONTAINS-A-REPLACEMENT
 240             MAXIMA::$MY_PHI MAXIMA::HILBERT-MODULO
 241             MAXIMA::ZERO-MODULO-SIMPLIFICATIONS
 242             MAXIMA::ADD-PLS-ZOPEN-HISTORY MAXIMA::$M_FROM_F
 243             MAXIMA::FAST-SCALARP MAXIMA::RATIONAL-FUNCTIONP
 244             MAXIMA::LDATAP MAXIMA::COPY-LIST-STRUCTURE MAXIMA::$PB
 245             MAXIMA::GOOD-ORDER-VARIABLES MAXIMA::NEW-RAT-DOTSIMP
 246             MAXIMA::CONTAINS-A-ZERO-REPLACEMENT
 247             MAXIMA::CONSTANT-DEG-SEQUENCEP MAXIMA::NNPFACTOR
 248             MAXIMA::SIMPLIFY-RATIONAL-QUOTIENT
 249             MAXIMA::REMOVE-ZERO-COEFFICIENTS MAXIMA::$DENOMINATOR
 250             MAXIMA::SORT-SIMPS-BY-DEGREE
 251             MAXIMA::HIGH-DIMENSIONAL-COMPONENT MAXIMA::$NUMERATOR
 252             MAXIMA::SIMPLIFY-SVAR-HOMOGENEOUS MAXIMA::$TES
 253             MAXIMA::PV-REDUCE
 254             MAXIMA::CONVERT-POLY-SIMPLIFICATIONS-TO-MACSYMA-FORM
 255             MAXIMA::MODULE-SIMP MAXIMA::$SET_UP_POLY_SIMPLIFICATIONS
 256             MAXIMA::MODULE-MUST-REPLACEP MAXIMA::Q-PRIMEP
 257             MAXIMA::$FIND_BASIS MAXIMA::DOTSIMP-ATOM
 258             MAXIMA::RAT-VARIABLE MAXIMA::MACSYMA-TYPEP
 259             MAXIMA::$REVERSE_EQUATION MAXIMA::NORMALIZE-FACTOR-LIST
 260             MAXIMA::ELIMINATE-EMPTY-AND-LARGER-OPENS
 261             MAXIMA::COLLECT-NUMBER-FACTORS MAXIMA::$DECLARE_SCALAR_LIST
 262             MAXIMA::PARSE-STRING MAXIMA::$STANDARD_BASIS
 263             MAXIMA::MUST-REPLACEP1 MAXIMA::POLY-TYPE
 264             MAXIMA::SIMPLIFY-MODULE-SIMPS MAXIMA::NC-MONOMIAL-TABLE
 265             MAXIMA::$HH MAXIMA::$MAKE_COMMUTATIVE MAXIMA::DOTSIMP2
 266             MAXIMA::MUST-REPLACEP1-BY-ZERO MAXIMA::MAKE-SIMP
 267             MAXIMA::|$HOMEWORK-aux| MAXIMA::DOTSIMP1
 268             MAXIMA::MATRIX-RANK MAXIMA::PLAIN-ADD-TO-MODULE-SIMPS
 269             MAXIMA::RATL-FUNCTION-ID MAXIMA::REMOVE-HEADER
 270             MAXIMA::MODULE-MONOM-MUST-REPLACEP MAXIMA::LAST2
 271             MAXIMA::CHECK-RAT-VARIABLES MAXIMA::COERCE-NCTIMES
 272             MAXIMA::FAKE-HEADER MAXIMA::$CLIFFORD_DOT_SIMPLIFICATIONS
 273             MAXIMA::RAT-SIMPLIFICATIONS MAXIMA::$LIST_FACTORS
 274             MAXIMA::MAKE-PREMONOMIAL MAXIMA::$MODSIMP
 275             MAXIMA::SHOW-MATRIX MAXIMA::VMINUS*
 276             MAXIMA::NUMBER-AND-ZEROP MAXIMA::$PBI MAXIMA::$SUMP
 277             MAXIMA::SP-DETERMINANT MAXIMA::CHECK-ZOPEN-INV
 278             MAXIMA::$NC_LINEAR_FACTOR MAXIMA::$ZEROP
 279             MAXIMA::RANK-DIMENSION-THREE MAXIMA::$COLLECT
 280             MAXIMA::MAKE-MONOMIAL MAXIMA::MODULE-AND-DOT-SIMP
 281             MAXIMA::RANK-1-1-1-9 MAXIMA::$LIST_TERMS
 282             MAXIMA::POLYNOMIAL-RING-1-1-1 MAXIMA::$HILBERT_MODULO
 283             MAXIMA::SHOW-COEFF MAXIMA::REDUCE-POLY-DATA
 284             MAXIMA::$READ_LISP_STRING MAXIMA::MONO-DIMENSION
 285             MAXIMA::$LIST_OF_VARIABLES MAXIMA::ALL-PERMS
 286             MAXIMA::$NC_MATRIX_ROW_REDUCE
 287             MAXIMA::$ADD_RELATION_TO_DOT_SIMPLIFICATIONS
 288             MAXIMA::PV-CLEAN-UP MAXIMA::$TRY MAXIMA::LIST-OPENS1
 289             MAXIMA::OUR-DIMENSIONS MAXIMA::REPLACE-DOT-SIMPLIFICATIONS
 290             MAXIMA::LDATA-UNUSED MAXIMA::SH-COMP
 291             MAXIMA::LIST-VARIABLES1 MAXIMA::$PLUCKER
 292             MAXIMA::$GLOBAL_DIMENSION_3 MAXIMA::$DOT_PRODUCTP
 293             MAXIMA::TRIANGULARP MAXIMA::NPFACTOR MAXIMA::$DOT
 294             MAXIMA::NSIGN-OF-PERMUTATION
 295             MAXIMA::MONOMIALS-AND-RANK-FUNCTION-AGREE
 296             MAXIMA::SIGN-OF-PERMUTATION
 297             MAXIMA::SORT-THE-REDUCED-HISTORY MAXIMA::$CHECK_PROGRAMS
 298             MAXIMA::$MATRIX_EQUATIONP
 299             MAXIMA::CHECK-EQUIVALENCE-RELATION MAXIMA::$NC_COEFFICIENTS
 300             MAXIMA::REPLACE-RMAPS-BY-NEW-ONES
 301             MAXIMA::CHANGE-STRINGS-TO-SYMBOLS MAXIMA::XXX
 302             MAXIMA::TEST-SIMP-LEAD MAXIMA::$DECLARE_CONSTANT_LIST
 303             MAXIMA::$NEW_RAT MAXIMA::SET-INEQUALITIES-TO-ONE
 304             MAXIMA::$FIND_RELATIONS_IN_FREE_RING
 305             MAXIMA::ELIMINATE-COMMON-FACTORS MAXIMA::REMOVE-0
 306             MAXIMA::REDUCE-RATIONAL-MAP MAXIMA::$POLYSIMP
 307             MAXIMA::CONVERT-DEG-SEQUENCE-TO-MONOMIAL
 308             MAXIMA::$REMOVE_LINEARS MAXIMA::$SQUARE_FREE_NUMERATORS
 309             MAXIMA::$REMOVE_NUMBER MAXIMA::LAST-STRING MAXIMA::UPDATE
 310             MAXIMA::NON-TRIVIAL-OPEN-SUB-SCHEME
 311             MAXIMA::MULTIPLY-OUT-FACTORIZATION MAXIMA::SHOW-DIVISORS
 312             MAXIMA::PLAIN-SIMPLIFY-SVAR-LDATA MAXIMA::MONOMIALP
 313             MAXIMA::ONE-VARIABLEP MAXIMA::GENVAR
 314             MAXIMA::SP-PRODUCT-OF-PIVOTS MAXIMA::CONSTRUCT-RMAP
 315             MAXIMA::DESCRIBE-COMPONENTS MAXIMA::S-VAR-P
 316             MAXIMA::DELETE-FROM-&AUX MAXIMA::$LIST_COMPONENTS
 317             MAXIMA::CLEAR-MEMORY-FUNCTION MAXIMA::CONSTANT-TERM
 318             MAXIMA::MATRIX-P MAXIMA::VA MAXIMA::PRE-LDATA-SHEAVES-P
 319             MAXIMA::LDATA-P MAXIMA::POLY-SCALARP MAXIMA::RMAP-P
 320             MAXIMA::NEW-DOTSIMP MAXIMA::ZOPEN-P
 321             MAXIMA::SIMP-ONCE-MONOMIAL MAXIMA::FIX-OPTIONAL
 322             MAXIMA::ORDER-VARIABLES-BY-OCCURENCE MAXIMA::DOT-SHOW
 323             MAXIMA::COLL-LINEAR MAXIMA::COLL-LINEAR1
 324             MAXIMA::SP-RESET-LIST-OF-ALL-COLUMNS-OCCURRING
 325             MAXIMA::FIX-EVEN MAXIMA::FORCE-POLY MAXIMA::SP-FLOAT
 326             MAXIMA::NCDOT-LIST MAXIMA::$COERCE_MATRIX
 327             MAXIMA::HEADER-POLY MAXIMA::GROBNER-BASIS-REMEMBER
 328             MAXIMA::GROBNER-REMEMBER MAXIMA::NEW-PFACTOR
 329             MAXIMA::SP-VERIFY-SOLUTIONS
 330             MAXIMA::MULTIPLY-FACTORS-WITH-MULTIPLICITY
 331             MAXIMA::$COLL_LINEAR MAXIMA::CONSTANT-POLYP
 332             MAXIMA::ADD-NEWVAR-TO-GENPAIRS MAXIMA::UNDO-TELLRATS
 333             MAXIMA::FIND-GOOD-VARIABLE-ORDER MAXIMA::SET-TELLRATS
 334             MAXIMA::LIST-PREVIOUS-TELLRATS MAXIMA::$MONO_WEIGHTED
 335             MAXIMA::SQUARE-FREE MAXIMA::RATIONALIZE-DENOM-ZETA3
 336             MAXIMA::SP-SHOW-CURRENT-AND-PIVOT MAXIMA::AFP-TERMS-MINUS
 337             MAXIMA::ORDER-VARIABLES MAXIMA::SAFE-STRING
 338             MAXIMA::TEST-DECREASE MAXIMA::NEW-PREP1
 339             MAXIMA::INTEGER-UNIVARIATE-FACTOR1 MAXIMA::$PHI
 340             MAXIMA::MAKE-TEST MAXIMA::FACTOREDP MAXIMA::NEW-RATF
 341             MAXIMA::CONVERT-RMAP-TO-NEW MAXIMA::NEW-RATREP*
 342             MAXIMA::SP-SMALLEST-POSSIBLE-PIVOT MAXIMA::NEW-RMAP-P
 343             MAXIMA::Q-VAR MAXIMA::AR-LAST MAXIMA::AFP-MINUS
 344             MAXIMA::SP-CHOOSE-TYPE-OF-ENTRIES MAXIMA::$PROJECTIVE
 345             MAXIMA::SP-BEST-PIVOT-MACSYMA
 346             MAXIMA::SP-PUT-BACK-ROW-WITH-NO-PIVOT MAXIMA::FAKE-DISREP
 347             MAXIMA::$ZETA3_RATSIMP MAXIMA::SHOW-GCD-OF-COLUMNS
 348             MAXIMA::DESIRABLE-ROW MAXIMA::CHECK-ORDER
 349             MAXIMA::$DISREP_IDEAL MAXIMA::ROW-TO-TERMS
 350             MAXIMA::GENERATE-NEW-VARIABLE-GENSYM MAXIMA::DESCRIBE-ZOPEN
 351             MAXIMA::DISREP-LIST MAXIMA::DESCRIBE-RMAP
 352             MAXIMA::CHECK-REPEATS
 353             MAXIMA::CONSTANT-TERM-IN-MAIN-VARIABLE
 354             MAXIMA::SP-FIND-GOOD-COLUMN-TO-PIVOT MAXIMA::SHL
 355             MAXIMA::PCOMPLEXITY MAXIMA::PV-CHECK-TYPE-OF-ENTRIES
 356             MAXIMA::NEW-NEWSYM MAXIMA::FLOAT-ZEROP
 357             MAXIMA::$LIST_EQUATIONS MAXIMA::SP-SHOW-MATRIX
 358             MAXIMA::LIST-EQUATIONS-MACSYMA1
 359             MAXIMA::MAKE-ONE-DIMENSIONAL MAXIMA::$ZETA3_FACTOR
 360             MAXIMA::REMOVE-FROM-*GENPAIRS* MAXIMA::SP-SHOW-SOLUTIONS
 361             MAXIMA::SP-VERIFY-COLUMNS-ABOVE-PIVOTS-ARE-ZERO
 362             MAXIMA::PV-SET-UP-HASH-TABLES MAXIMA::AR-SECOND-LAST
 363             MAXIMA::$SLOW_PROJECTIVE MAXIMA::TOTAL-DIMENSION
 364             MAXIMA::RAT-DOTSIMP MAXIMA::SP-MINUS* MAXIMA::GEN-DEGREE
 365             MAXIMA::$DOT_SIMP_MONOMIAL MAXIMA::SP-CLEAR-PIVOTS
 366             MAXIMA::INTEGER-UNIVARIATE-FACTOR
 367             MAXIMA::SP-REDUCE-ELEMENTS-FOR-TYPE
 368             MAXIMA::TRY-MULTI-FACTOR0
 369             MAXIMA::MAYBE-MOVE-BACK-FILL-POINTER
 370             MAXIMA::GET-ROWS-FROM-ARRAY MAXIMA::TEST-INTEGER-FACTOR
 371             MAXIMA::COLLECT-COEFFICIENTS MAXIMA::$FIND_SIMPLIFICATIONS
 372             MAXIMA::DEGREE-OF-SEQUENCE MAXIMA::SP-CHECK-SET-UP
 373             MAXIMA::AFP-BERLEKAMP-FACTOR MAXIMA::LIST-TERMS
 374             MAXIMA::$EXTRACT_NC_AND_SC_PARTS
 375             MAXIMA::SP-SHOW-ROW-ARRAY-LEADERS MAXIMA::LIST-EQUATIONS1
 376             MAXIMA::$LIST_POLES_OF_SUM MAXIMA::$NC_RAT
 377             MAXIMA::DEGREE-OF-DEG-SEQUENCE MAXIMA::SP-MAKE-TRANSPOSE
 378             MAXIMA::NCSIMP MAXIMA::ID MAXIMA::$MATRIX_FROM_LIST
 379             MAXIMA::ROTA1 MAXIMA::PD-CONVERT-TO-MAXIMA-FORMAT
 380             MAXIMA::INITIAL-SEGMENT-IS-REPLACED MAXIMA::WHERE-THE-MIN
 381             MAXIMA::POLY-DATA-FROM-NC-MATRIX
 382             MAXIMA::LIST-OF-MACSYMA-ARRAYS-TO-ROWS
 383             MAXIMA::PV-SET-UP-SPARSE-MATRIX-FROM-ROWS MAXIMA::SEQ-MINUS
 384             MAXIMA::FIND-EXTRA-CONDITIONS MAXIMA::$SETFY
 385             MAXIMA::PV-SOLVE-SUITABLE-TO-SUBLIS
 386             MAXIMA::CONVERT-MONOMIAL-TO-DEG-SEQUENCE MAXIMA::NEW-ZEROP
 387             MAXIMA::MACSYMA-DISPLAY MAXIMA::POLY-IDENTITY
 388             MAXIMA::SORT-LIST-OF-MONOMIALS
 389             MAXIMA::$ADD_TO_POLY_SIMPLIFICATIONS MAXIMA::$LDATA_DISREP
 390             MAXIMA::NIL-RADICALP MAXIMA::DEGREE-OF-WORST-MONOMIAL
 391             MAXIMA::$FAST_DETERMINANT MAXIMA::SHOW-HASH
 392             MAXIMA::$FIND_RANK_OF_LIST_OF_POLYNOMIALS))
 393 (PROCLAIM
 394     '(FTYPE (FUNCTION (T *) *) MAXIMA::$GENERAL_SUM MAXIMA::ADD-NEWVAR
 395             MAXIMA::$DOTSIMP_REMEMBER MAXIMA::$LINEAR_VARIABLES
 396             MAXIMA::TEST-SQUARE MAXIMA::LDATA-SIMPLIFICATIONS-WRITE
 397             MAXIMA::FSH MAXIMA::SIMPLIFY-AFFINE-LDATA-WRITE
 398             MAXIMA::CONVERT-RELATION-TO-DOT-SIMP
 399             MAXIMA::NON-SINGULAR-COMPLETE-INTERSECTION-P
 400             MAXIMA::REDUCE-JACOBIAN MAXIMA::FAST-GROBNER-BASIS
 401             MAXIMA::RANK-GENERIC-REDUCE-JACOBIAN MAXIMA::LINEAR-SOLVEDP
 402             MAXIMA::BUILD-EQUIV MAXIMA::SIMP-LEAD1 MAXIMA::$NC_DEGREE))
 403 (PROCLAIM
 404     '(FTYPE (FUNCTION (T T T) (VALUES T T))
 405             MAXIMA::ORDERED-PAIR-IN-LIST))
 406 (PROCLAIM
 407     '(FTYPE (FUNCTION (T *) T) MAXIMA::$NORMALIZING_CONDITIONS
 408             MAXIMA::$EXTRACT_LINEAR_EQUATIONS MAXIMA::UNIT-IDEALP
 409             MAXIMA::FF MAXIMA::$FAST_LINSOLVE MAXIMA::M-PREPARED
 410             MAXIMA::ONE-PREPARED MAXIMA::$DIMENSIONS_FOR_REPLACEMENTS
 411             MAXIMA::HILBERT MAXIMA::$LIST_VARIABLES MAXIMA::AFFINE-OPEN
 412             MAXIMA::ADD-TO-POLY-SIMPLIFICATIONS MAXIMA::CHECK-OVERLAPS
 413             MAXIMA::$GROBNER_BASIS MAXIMA::SIMPLIFY-SVAR-LDATA
 414             MAXIMA::COLLECT-ATOMS MAXIMA::LDATA-SIMPLIFY-HOMOGENEOUS
 415             MAXIMA::LDATA-SIMPLIFICATIONS MAXIMA::$SEPARATE_PARAMETERS
 416             MAXIMA::OPEN-SUB-SCHEME MAXIMA::PERMUTATIONS
 417             MAXIMA::POLY-TO-ROW MAXIMA::SUBS-TRANSLATE-SUBLIS
 418             MAXIMA::$ADD_TO_SIMPS MAXIMA::$DETERMINANT_OF_EQUATIONS
 419             MAXIMA::GROBNER-BASIS MAXIMA::STRING-GRIND
 420             MAXIMA::SP-NUMBER-OF-PIVOTS MAXIMA::$EARLIER_MONO
 421             MAXIMA::SIMPLIFY-AFFINE-LDATA MAXIMA::$FIND_RELATIONS_AMONG
 422             MAXIMA::MATRIX-TO-SPARSE-MATRIX
 423             MAXIMA::$MONOMIAL_DIMENSIONS MAXIMA::$FAST_NORMAL_ELEMENTS
 424             MAXIMA::NEW-CONCAT MAXIMA::ALL-LINEAR-VARIABLES
 425             MAXIMA::$SIG MAXIMA::EXTRACT-LINEAR-EQUATIONS
 426             MAXIMA::CHECK-RAT-ORDER MAXIMA::ALL-LINEARP
 427             MAXIMA::$SOLVE_NC_COEFFICIENTS
 428             MAXIMA::NEW-CONVERT-RELATION-TO-DOT-SIMP
 429             MAXIMA::SP-MAKE-SPARSE-MATRIX MAXIMA::ELIMINATE-LARGER
 430             MAXIMA::FIND-GOOD-DICHOTOMY MAXIMA::GM-ALL-PREPARED
 431             MAXIMA::FIND-NUMBER-OF-CENTRALS MAXIMA::$SUB_MATRIX_COLUMNS
 432             MAXIMA::$CHECK_A_CASE MAXIMA::MAKE-COMPONENT-HISTORY
 433             MAXIMA::REMOVE-LINEARS MAXIMA::JACOBIAN-MATRIX
 434             MAXIMA::$RITT_SET MAXIMA::CONVERT-TO-SPARSE-MATRIX
 435             MAXIMA::BLOWUP-KEEP-EXCEPTIONAL MAXIMA::ML-SORT
 436             MAXIMA::SHORT-LIST-OPEN-NUMBERS MAXIMA::LINEAR-LDATAP
 437             MAXIMA::ELIMINATE-MULTIPLES MAXIMA::UNUSED-VARIABLES
 438             MAXIMA::MATCH-ALL-COMPONENTS
 439             MAXIMA::PROVIDE-SOME-CHOICES-TO-BLOWUP
 440             MAXIMA::$ELIMINATE_NONZERO_FACTORS
 441             MAXIMA::$SET_UP_MODULE_SIMPLIFICATIONS
 442             MAXIMA::LINEAR-TRIANGULARP MAXIMA::$CYCLIC_MODULE_BASIS
 443             MAXIMA::$SIMPLE_SOLVE MAXIMA::ELIMINATE-SMALLER
 444             MAXIMA::$MODULE_DIMENSIONS MAXIMA::SVAR-SIMP
 445             MAXIMA::GONE-PREPARED MAXIMA::JACOBIAN
 446             MAXIMA::NON-CONSTANT-FACTORS MAXIMA::JACOBIAN-DICHOTOMY
 447             MAXIMA::AFP-DISTINCT-DEGREE-FACTOR
 448             MAXIMA::SP-MAKE-ROWS-DESIRABLE MAXIMA::MACSYMA-ARRAY-TO-ROW
 449             MAXIMA::DEGREE MAXIMA::GM-PREPARED MAXIMA::SP-SOLVE
 450             MAXIMA::AFP-FACTOR MAXIMA::FIND-SMALL-PRIME-SO-SQUARE-FREE
 451             MAXIMA::SH MAXIMA::ZERO-SUBLIS MAXIMA::SP-REDUCE
 452             MAXIMA::SP-SHOW-ROWS MAXIMA::LINEAR-DICHOTOMY
 453             MAXIMA::TRY-FACTOR-IRREDUCIBLE-LDATA
 454             MAXIMA::DIVIDE-DICHOTOMY MAXIMA::MAKE-DICHOTOMY
 455             MAXIMA::SP-GROW-CURRENT-ROW MAXIMA::SIMP-LEAD
 456             MAXIMA::SP-LIST-PIVOTS MAXIMA::VARIABLE-DOESNT-OCCUR
 457             MAXIMA::DES MAXIMA::$UNLIST_MATRIX_ENTRIES
 458             MAXIMA::SP-SHOW-PIVOTS MAXIMA::EXPONENT-VECTOR
 459             MAXIMA::TENSOR-IND-TO-LIST-IND MAXIMA::$SHIFT
 460             MAXIMA::CHECK-CENTRALS MAXIMA::$BASIS_OF_INVARIANT_RING
 461             MAXIMA::$CHECK_OVERLAPS MAXIMA::$SET_UP_DOT_SIMPLIFICATIONS
 462             MAXIMA::$MAYBE_LDATA_SOLVE MAXIMA::DELETE-REDUNDANT-LDATA
 463             MAXIMA::SIMPLIFY-LDATA))
 464 (PROCLAIM
 465     '(FTYPE (FUNCTION (T T) *) MAXIMA::$SCALAR_SUM
 466             MAXIMA::$CONSTANT_TERM MAXIMA::AFP-TIMES
 467             MAXIMA::AFP-BIG-GCD MAXIMA::AFP-SUBRESULTANT-GCD
 468             MAXIMA::RECURSIVE-IDEAL-GCD MAXIMA::RECURSIVE-IDEAL-GCD1
 469             MAXIMA::AFP-DIFFERENCE MAXIMA::OCCURS-IN1
 470             MAXIMA::AFP-CQUOTIENT MAXIMA::AFP-EUCLIDEAN-GCD
 471             MAXIMA::AFP-PSEUDO-QUOTIENT MAXIMA::AFC-REMAINDER
 472             MAXIMA::TYPE-II-SIMP MAXIMA::$DEGLESS MAXIMA::INITIAL-SEG
 473             MAXIMA::FIND-REPEATS MAXIMA::LDATA-SUBSET MAXIMA::DES-FILE
 474             MAXIMA::SP-QUOTIENT-SPACE-BASIS MAXIMA::SAVE-PARTS
 475             MAXIMA::WRITE-OBJECT MAXIMA::APPEARS-IN
 476             MAXIMA::SUBS-FOR-PSUBLIS MAXIMA::HIGHEST-POWER-DIVIDING
 477             MAXIMA::MY-TESTDIVIDE MAXIMA::SPLIT-NUMERATOR
 478             MAXIMA::SP-FIRST-ELEMENT-OF-ROW MAXIMA::AFP-QUOTIENT
 479             MAXIMA::AFP-GCD MAXIMA::AFP-EXPT MAXIMA::VARIABLE-IN-POLYP
 480             MAXIMA::CONSTANT-PSUBLIS MAXIMA::CONSTANT-PSUBLIS1
 481             MAXIMA::AFP-PCTIMES MAXIMA::SP-GCD-COLUMN MAXIMA::AFP-PLUS
 482             MAXIMA::SP-SORT-ROW MAXIMA::SP-SET-TYPE-OF-ENTRIES
 483             MAXIMA::SP-SUB* MAXIMA::GET-KEY MAXIMA::ROW-ENTRY))
 484 (PROCLAIM
 485     '(FTYPE (FUNCTION (T T) T) MAXIMA::SORT-BY-ORDERING
 486             MAXIMA::REMOVE-COMMON-FACTORS MAXIMA::$ALGEBRA_TRACE
 487             MAXIMA::STRINGS-SEARCH MAXIMA::MAY-INVERTP MAXIMA::NCMUL2*
 488             MAXIMA::SFTIMES MAXIMA::LIST-TABLEAUX
 489             MAXIMA::COLLECT-ATOMS1 MAXIMA::$MULTIPLY_ROW
 490             MAXIMA::$SIMP_NCMULN MAXIMA::TAIL-ALPHALESSP
 491             MAXIMA::$LIST_DOT MAXIMA::RAT-DEGREE MAXIMA::$DNCMUL
 492             MAXIMA::$COMMUTATIVE_DOT_MONOMIALS MAXIMA::$DIM3_RELATIONS
 493             MAXIMA::NRED MAXIMA::PV-GET-ROWS-FROM-MACSYMA-EQUATIONS
 494             MAXIMA::OVERLAP MAXIMA::GEN-POINTERGP
 495             MAXIMA::$GROBNER_BASIS_OF_SLICE MAXIMA::AFP-TERMS-DIFFER
 496             MAXIMA::N- MAXIMA::REVERSE-XYZ-ORDER-SEQUENCE
 497             MAXIMA::AFP-TERMS-MAIN-CONSTANT-DIFFER
 498             MAXIMA::AUX_TO_LIST_OF_VARIABLES
 499             MAXIMA::AFP-TERMS-CONSTANT-MAIN-DIFFER MAXIMA::$FIRSTN
 500             MAXIMA::SEQ-SUBSET MAXIMA::$NEXP MAXIMA::PART-ABOVE-DEGREE
 501             MAXIMA::DEG-SEQUENCE MAXIMA::ORDERED-SUBLIST
 502             MAXIMA::MAYBE-RATREDUCE
 503             MAXIMA::FIND-FACTOR-LIST-GIVEN-IRREDUCIBLE-FACTORS
 504             MAXIMA::OCCURS-IN MAXIMA::VDIV*
 505             MAXIMA::APPLY-LINEAR-FUNCTION MAXIMA::A-LESS
 506             MAXIMA::PART-ABOVE MAXIMA::PART-ABOVE1 MAXIMA::MDEGREE
 507             MAXIMA::ONE-PTIMES MAXIMA::LINEAR-POLY-SOLVE
 508             MAXIMA::FAST-GCD MAXIMA::MATRIX-COLUMN MAXIMA::BIN-GCD
 509             MAXIMA::FIND-RING-MAP MAXIMA::GET-ALT MAXIMA::GET-ALTQ
 510             MAXIMA::BERLEKAMP-POLYNOMIAL-SOLUTIONS MAXIMA::NC-EQUAL
 511             MAXIMA::INITIAL-EQUAL MAXIMA::SAME-MAIN-AND-DEGREE
 512             MAXIMA::APPEARS MAXIMA::VARIABLES-SAME-DIVIDE
 513             MAXIMA::SEQ-LESSP MAXIMA::AFC-QUOTIENT MAXIMA::N.
 514             MAXIMA::SUB-LISTS MAXIMA::DOT-RIGHT-QUOTIENT
 515             MAXIMA::DELETE-PAIR MAXIMA::INITIAL-SUBLIST
 516             MAXIMA::ZOPEN-SPECIAL-SUBSET
 517             MAXIMA::REVERSE-Z-ORDER-SEQUENCE MAXIMA::$FIND_SYGY
 518             MAXIMA::Z-ORDER-SEQUENCE MAXIMA::$SOLVE_SP
 519             MAXIMA::$FIND_EIGENVECTORS MAXIMA::ADD-ZOPEN-HISTORY
 520             MAXIMA::$SUB_LIST MAXIMA::CHECK-COMPONENTS-CONTAIN-ORIGINAL
 521             MAXIMA::REPLACE-PARAMETERS-BY MAXIMA::$LASTN_NCDEGREE
 522             MAXIMA::ORDER-LDATA MAXIMA::$FAST_CENTRAL_ELEMENTS
 523             MAXIMA::$FIRSTN_NCDEGREE
 524             MAXIMA::SP-REDUCE-ROW-WITH-RESPECT-TO-ROWS MAXIMA::$TENSOR4
 525             MAXIMA::$MY_NC_COEF MAXIMA::SUB-LIST MAXIMA::GET-COMPONENT
 526             MAXIMA::$FIND_CENTRAL_THRU_DEG MAXIMA::HIGHEST-VARIABLES
 527             MAXIMA::BEST-OPEN-COVER MAXIMA::$NU_POLY MAXIMA::NEW-SUBLIS
 528             MAXIMA::BEST-OPEN-COVER1 MAXIMA::$TE
 529             MAXIMA::VERIFY-SIMPLIFICATION MAXIMA::MAKE-RELATION
 530             MAXIMA::APPLY-RMAP-TO-SQUARE-FREE-FACTORS
 531             MAXIMA::ANY-INVERTIBLE-LEADING-COEFFICIENT
 532             MAXIMA::NEW-TESTDIVIDE MAXIMA::NPLCM MAXIMA::NPGCD
 533             MAXIMA::$MONOMIAL_AND_DEGREE_LESSP MAXIMA::MY-PAIRLIS
 534             MAXIMA::$CONVERT_RIGHT_TO_LEFT
 535             MAXIMA::CONTRACT-IDEAL-LOCALIZATION MAXIMA::UN-SORT
 536             MAXIMA::$SIMPLIFY_RELATIVE MAXIMA::MYSUB MAXIMA::MYSUB1
 537             MAXIMA::PLENGTH-ORDER
 538             MAXIMA::INTERSECTION-INEQUALITY-IN-OP1 MAXIMA::DELETE-NTH
 539             MAXIMA::OPEN-REFINEMENT-FOR-LIST MAXIMA::OPEN-SUBSETP
 540             MAXIMA::ZOPEN-EQUAL MAXIMA::REFINE-PLS MAXIMA::USER-SUPPLY1
 541             MAXIMA::A-FACTOR MAXIMA::LEADING-COEFFICIENT
 542             MAXIMA::SUBS-FOR-SIMPLE-RAT-SUBLIS
 543             MAXIMA::$NC_MATRIX_QUOTIENT MAXIMA::$SHIFT_SEQUENCE
 544             MAXIMA::LASTN MAXIMA::ZL-PAIRLIS MAXIMA::ANY-IRREDUCIBLE
 545             MAXIMA::LEADING-COF MAXIMA::ALPHAGREATP MAXIMA::DOT-SUBWORD
 546             MAXIMA::$MONOMIAL_ALPHAGREATP MAXIMA::$MONOMIAL_ALPHALESSP
 547             MAXIMA::$DEGREE MAXIMA::$WEDGE_MATRIX
 548             MAXIMA::$POWER_SERIES_MONOMIAL_ALPHALESSP
 549             MAXIMA::COLLECT-MONOMIAL-COEFFICIENTS
 550             MAXIMA::COLLECT-AND-VERIFY-COEFFICIENTS
 551             MAXIMA::$LIST_TABLEAUX MAXIMA::PDISCRIMINANT
 552             MAXIMA::SP-VERIFY-SOLUTIONS-FOR-ORIGINAL-ARRAY
 553             MAXIMA::GEN-VREM MAXIMA::MUST-RITT-REDUCEP
 554             MAXIMA::RITT-REDUCE MAXIMA::VDIVIDE MAXIMA::RAT-SETUP2
 555             MAXIMA::RAT-SETUP1 MAXIMA::ADD-TO-CHAIN
 556             MAXIMA::VARIABLE-IN-POLYP1 MAXIMA::AFP-TEST-DIVIDE
 557             MAXIMA::ELIMINATE-FACTORS MAXIMA::CONJ-ZETA3
 558             MAXIMA::AFP-PGCDCOFACTS MAXIMA::$REL
 559             MAXIMA::ANY-GM-PREPARED MAXIMA::AFP-DEGVECTOR
 560             MAXIMA::SP-ENTER-PIVOT-DATA MAXIMA::$SOCLE
 561             MAXIMA::COMPOSE-RMAP MAXIMA::$INVERSE_MODULO
 562             MAXIMA::SMALLEST-POWER-BIGGER
 563             MAXIMA::SP-FORCE-PIVOT-ROW-TO-CONTAIN-GCD MAXIMA::$NU
 564             MAXIMA::SP-GCD-ROW MAXIMA::N1* MAXIMA::AFP-TERMS-TIMES
 565             MAXIMA::SP-INIT MAXIMA::TABLEAUX-LESSP MAXIMA::POLY-DEGREE
 566             MAXIMA::AFP-SMALLEST-VAR MAXIMA::EXPONENT
 567             MAXIMA::CHECK-FOR-GM-PREPARED
 568             MAXIMA::BERLEKAMP-SET-UP-AND-REDUCE-MATRIX
 569             MAXIMA::SP-SET-CURRENT-COLUMN-ABOVE-PIVOT-ROW-NUMBER
 570             MAXIMA::SP-SHOW-ROW MAXIMA::AFP-TERMS-PLUS
 571             MAXIMA::AFP-CONSTANT-TERM-PLUS MAXIMA::SET-FILL-POINTER
 572             MAXIMA::SP-SET-CURRENT-ROW MAXIMA::SP-DIV*
 573             MAXIMA::GCD-AND-COFS MAXIMA::SP-KILL-EXTRA-ROWS
 574             MAXIMA::$FIND_MATRIX_OF_OPERATOR
 575             MAXIMA::$IDEAL_INTERSECTION MAXIMA::SP-ROW-OPERATION
 576             MAXIMA::SP-SET-PIVOT-ROW MAXIMA::$TENSOR2 MAXIMA::VSUB*
 577             MAXIMA::CHOOSE MAXIMA::XYZ-ORDER-SEQUENCE
 578             MAXIMA::XYZ-AND-DEGREE MAXIMA::PUT-TELLRAT-PROPERTY
 579             MAXIMA::$POLY_MONOMIAL_DIMENSIONS MAXIMA::MAX-FOR-PRED
 580             MAXIMA::SEGMENT-INTERVAL
 581             MAXIMA::SP-REMOVE-ZERO-ENTRIES-FROM-ROW MAXIMA::$MY_COEFF
 582             MAXIMA::MUST-REPLACE-MONOM MAXIMA::$TENSOR3
 583             MAXIMA::CONVERT-POLYNOMIAL-ROW MAXIMA::$SUM5_STANDARD_REP
 584             MAXIMA::MEMBER-EVEN MAXIMA::OVERLAP-DEGREE
 585             MAXIMA::FAST-LINSOLVE MAXIMA::SP-SHOW-COLUMN
 586             MAXIMA::SP-SET-CONSTANTS-COLUMN MAXIMA::$KRONECKER_PRODUCT
 587             MAXIMA::N+ MAXIMA::NIL-LESSP MAXIMA::KRONECKER-ROW-PRODUCT
 588             MAXIMA::$SORT_MONO MAXIMA::REMOVE_NTH
 589             MAXIMA::$SUBTRACT_MONOMIAL MAXIMA::$COEFFICIENT_MATRIX
 590             MAXIMA::$GENERAL_MATRIX MAXIMA::IN-NTH-POWER-RADICAL
 591             MAXIMA::DIVIDES MAXIMA::$STANDARD_REP MAXIMA::$FOOD))