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))
592