home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / crossref.c2a < prev    next >
Encoding:
Text File  |  1991-03-25  |  58.1 KB  |  1,155 lines
  1. MASABS       : Absolute value.
  2. ADV2         : Advance 2.
  3. ADV3         : Advance 3.
  4. ADV4         : Advance 4.
  5. ADV          : Advance.
  6. ALDPARSE     : Aldes Parser Definition Module.
  7. AFDIF        : Algebraic number field element difference.
  8. AFNEG        : Algebraic number field element negation.
  9. AFPROD       : Algebraic number field element product.
  10. AFSUM        : Algebraic number field element sum.
  11. AFINV        : Algebraic number field inverse.
  12. AFQ          : Algebraic number field quotient.
  13. AFSIGN       : Algebraic number field sign.
  14. ACOMP1       : Alphabetic comparison, 1.
  15. ACOMP1       : Alphabetic comparison, 1.
  16. ACOMP        : Alphabetic comparison.
  17. ACOMP        : Alphabetic comparison.
  18. APABS        : Arbitrary precision floating point absolute value.
  19. APCMPR       : Arbitrary precision floating point compare.
  20. APCOMP       : Arbitrary precision floating point composition.
  21. APDIFF       : Arbitrary precision floating point difference.
  22. APEXPT       : Arbitrary precision floating point exponent.
  23. APEXP        : Arbitrary precision floating point exponentiation.
  24. APFINT       : Arbitrary precision floating point from integer.
  25. APFRN        : Arbitrary precision floating point from rational number.
  26. APLG10       : Arbitrary precision floating point logarithm base 10.
  27. APMANT       : Arbitrary precision floating point mantissa.
  28. APROOT       : Arbitrary precision floating point n-th root.
  29. APNEG        : Arbitrary precision floating point negative.
  30. APNELD       : Arbitrary precision floating point number of equal leading digits.
  31. APPI         : Arbitrary precision floating point pi.
  32. APPROD       : Arbitrary precision floating point product.
  33. APQ          : Arbitrary precision floating point quotient.
  34. APSPRE       : Arbitrary precision floating point set precision.
  35. APSHFT       : Arbitrary precision floating point shift.
  36. APSIGN       : Arbitrary precision floating point sign.
  37. APSUM        : Arbitrary precision floating point sum.
  38. APWRIT       : Arbitrary precision floating point write.
  39. ARCTAN       : Arcus tangens.
  40. AADV         : Arithmetic advance.
  41. ASSPR        : Assignment problem.
  42. ASSOCQ       : Associate equal.
  43. ASSOCQ       : Associate equal.
  44. ASSOC        : Associate.
  45. ASSOC        : Associate.
  46. AREAD        : Atom read.
  47. AWRITE       : Atom write.
  48. ATOM         : Atom.
  49. ATTRIB       : Attribute.
  50. ATTRIB       : Attribute.
  51. BACKUB       : Backspace until blank.
  52. BKSP         : Backspace.
  53. BITRAN       : Bit, random.
  54. BLINES       : Blank lines.
  55. CallCompiled : Call compiled function or procedure.
  56. DOS          : Call DOS program.
  57. CPLEXN       : Cartesian product, lexicographically next.
  58. CELLS        : Cells.
  59. CLIN         : Character list in.
  60. CLOUT        : Character list out.
  61. CLTIS        : Character list to input stream.
  62. CREADB       : Character read, skipping blanks.
  63. CREAD        : Character read.
  64. CWRIT2       : Character write, 2 characters.
  65. CWRIT3       : Character write, 3 characters.
  66. CWRIT4       : Character write, 4 characters.
  67. CWRIT5       : Character write, 5 characters.
  68. CWRIT6       : Character write, 6 characters.
  69. CWRITE       : Character write.
  70. CSFPAR       : Characteristic set from partition.
  71. CSINT        : Characteristic set intersection.
  72. CSSUB        : Characteristic set subset.
  73. CSUN         : Characteristic set union.
  74. CLOCK        : Clock.
  75. CloseBIOS    : Close BIOS.
  76. CUNIT        : Close unit.
  77. CompSummary  : Compiled function and procedure summary.
  78. Compiledf0   : Compiled function declaration f0.
  79. Compiledf1   : Compiled function declaration f1.
  80. Compiledf2   : Compiled function declaration f2.
  81. Compiledf3   : Compiled function declaration f3.
  82. Compiledf4   : Compiled function declaration f4.
  83. Compiledp0   : Compiled function declaration p0.
  84. Compiledp1   : Compiled function declaration p1.
  85. Compiledp1v2 : Compiled function declaration p1v2.
  86. Compiledp1v3 : Compiled function declaration p1v3.
  87. Compiledp2   : Compiled function declaration p2.
  88. Compiledp2v2 : Compiled function declaration p2v2.
  89. Compiledp2v3 : Compiled function declaration p2v3.
  90. Compiledp3   : Compiled function declaration p3.
  91. Compiledp3v2 : Compiled function declaration p3v2.
  92. Compiledp3v3 : Compiled function declaration p3v3.
  93. COMP2        : Composition 2.
  94. COMP3        : Composition 3.
  95. COMP4        : Composition 4.
  96. COMP         : Composition.
  97. CONC         : Concatenation.
  98. CCONC        : Constructive concatenation.
  99. CINV         : Constructive inverse.
  100. COPYOB       : Copy object.
  101. CopyRep      : Copy representation.
  102. COPYTOENV    : Copy to environement.
  103. COS          : Cosinus.
  104. Declare      : Declare.
  105. DCENV        : Decode environment.
  106. DEFE         : Define expr function.
  107. DEFF         : Define fexpr function.
  108. DEFMAP       : Define generic map function.
  109. DEFPROC      : Define generic proc function.
  110. DEFRULE      : Define generic rule function.
  111. DEFM         : Define macro function.
  112. DMIA         : Define model, implementation or axioms.
  113. DSPEC        : Define specification.
  114. DMEVAD       : Degree matrix exponent vector add.
  115. DMPPRD       : Dense modular polynomial product.
  116. DMPSUM       : Dense modular polynomial sum.
  117. DMUPNR       : Dense modular univariate polynomial natural remainder.
  118. DPFP         : Dense polynomial from polynomial.
  119. DEQUE        : Dequeue.
  120. DECOFTAG     : Descriptor of tagged object.
  121. DAND         : Digit and.
  122. DEGCD        : Digit extended greatest common divisor.
  123. DGCD         : Digit greatest common divisor.
  124. DLOG2        : Digit logarithm, base 2.
  125. DNIMP        : Digit non-implication.
  126. DNOT         : Digit not.
  127. DOR          : Digit or.
  128. DPCC         : Digit partial cosequence calculation.
  129. DPGEN        : Digit prime generator.
  130. DPR          : Digit product.
  131. DQR          : Digit quotient and remainder.
  132. DSQRTF       : Digit square root function.
  133. DRANN        : Digit, random non-negative.
  134. DRAN         : Digit, random.
  135. DIGIT        : Digit.
  136. DIBUFF       : Display input buffer.
  137. DIIPAB       : Distributive integral polynomial absolute value.
  138. DIIPCP       : Distributive integral polynomial content and primitive part.
  139. DIIPDM       : Distributive integral polynomial derivation main variable.
  140. DIIPDR       : Distributive integral polynomial derivation.
  141. DIIPDF       : Distributive integral polynomial difference.
  142. DIIPEM       : Distributive integral polynomial evaluation of main variable.
  143. DIIPEV       : Distributive integral polynomial evaluation of the i-th variable.
  144. DIIPEX       : Distributive integral polynomial exponentiation.
  145. DIIFRP       : Distributive integral polynomial from rational polynomial.
  146. DIIPHD       : Distributive integral polynomial higher derivation.
  147. DIIPIP       : Distributive integral polynomial integer product.
  148. DIIPIQ       : Distributive integral polynomial integer quotient.
  149. DIILFR       : Distributive integral polynomial list from rational polynomial list.
  150. DIILRD       : Distributive integral polynomial list read.
  151. DIIPLS       : Distributive integral polynomial list sum.
  152. DIILWR       : Distributive integral polynomial list write.
  153. DIIPMN       : Distributive integral polynomial maximum norm.
  154. DIIPNG       : Distributive integral polynomial negative.
  155. DIIPON       : Distributive integral polynomial one.
  156. DIIPPR       : Distributive integral polynomial product.
  157. DIIPPS       : Distributive integral polynomial pseudo-remainder.
  158. DIIPQR       : Distributive integral polynomial quotient and remainder.
  159. DIIPQ        : Distributive integral polynomial quotient.
  160. DIIRAS       : Distributive integral polynomial random sparse exponent vector.
  161. DIIPRA       : Distributive integral polynomial random.
  162. DIIPRD       : Distributive integral polynomial read.
  163. DIIPSG       : Distributive integral polynomial sign.
  164. DIIPSO       : Distributive integral polynomial sort.
  165. DIIPSV       : Distributive integral polynomial substitution for main variable.
  166. DIIPSU       : Distributive integral polynomial substitution.
  167. DIIPSN       : Distributive integral polynomial sum norm.
  168. DIIPSM       : Distributive integral polynomial sum.
  169. DIIPTM       : Distributive integral polynomial translation main variable.
  170. DIIPTR       : Distributive integral polynomial translation.
  171. DIIPWV       : Distributive integral polynomial write with standard variable list.
  172. DIIPWR       : Distributive integral polynomial write.
  173. DIGBMI       : Distributive minimal ordered groebner basis.
  174. DINLMPG      : Distributive non-commutative left rational minimal polynomial for a G basis.
  175. DINLMPL      : Distributive non-commutative left rational minimal polynomial list for a G basis.
  176. DINLGM       : Distributive non-commutative minimal ordered left Groebner base.
  177. DINPEX       : Distributive non-commutative polynomial exponentiation.
  178. DINLNF       : Distributive non-commutative polynomial left normal form.
  179. DINLSP       : Distributive non-commutative polynomial left S-polynomial.
  180. DINLIS       : Distributive non-commutative polynomial list left irreducible set.
  181. DINLRD       : Distributive non-commutative polynomial list read.
  182. DINPRD       : Distributive non-commutative polynomial read.
  183. DIN1GB       : Distributive non-commutative polynomials Groebner base.
  184. DINCGB       : Distributive non-commutative polynomials Groebner base.
  185. DINLGB       : Distributive non-commutative polynomials left Groebner base.
  186. DIPADS       : Distributive polynomial advance and substitute.
  187. DIPADM       : Distributive polynomial advance main variable.
  188. DIPADV       : Distributive polynomial advance.
  189. DIPBSO       : Distributive polynomial bubble sort.
  190. DIPCMP       : Distributive polynomial composition.
  191. DIPDEM       : Distributive polynomial degree matrix.
  192. DIPDEV       : Distributive polynomial degree vector.
  193. DIPDEG       : Distributive polynomial degree.
  194. DIDIMS       : Distributive polynomial dimension maximal independent set.
  195. DIPDPV       : Distributive polynomial division by power of variable.
  196. DIPEXC       : Distributive polynomial exchange variables.
  197. DIPEVL       : Distributive polynomial exponent vector leading monomial.
  198. DIPEVP       : Distributive polynomial exponent vector product.
  199. DIPFMO       : Distributive polynomial from monomial.
  200. DIPFP        : Distributive polynomial from polynomial.
  201. DIGBZT       : Distributive polynomial groebner base common zero test.
  202. DIGBC3       : Distributive polynomial groebner basis criterion 3.
  203. DIGBC4       : Distributive polynomial groebner basis criterion 4.
  204. DIPINV       : Distributive polynomial introduction of new variables.
  205. DIPLBC       : Distributive polynomial leading base coefficient.
  206. DIPLDC       : Distributive polynomial leading coefficient.
  207. DILBSO       : Distributive polynomial list bubble sort.
  208. DILCPL       : Distributive polynomial list construct pair list.
  209. DIPLDM       : Distributive polynomial list degree matrix.
  210. DIPLDV       : Distributive polynomial list dependency on variables.
  211. DILDIM       : Distributive polynomial list dimension.
  212. DILFEL       : Distributive polynomial list from exponent vector list.
  213. DILFPL       : Distributive polynomial list from polynom list.
  214. DIPLM        : Distributive polynomial list merge.
  215. DIPLPM       : Distributive polynomial list pair-merge sort.
  216. DIPLRS       : Distributive polynomial list re-sort.
  217. DILUPL       : Distributive polynomial list update pair list.
  218. DIPMAD       : Distributive polynomial monomial advance.
  219. DIPMCP       : Distributive polynomial monomial composition.
  220. DIPMRD       : Distributive polynomial monomial reductum.
  221. DIPMST       : Distributive polynomial monomial set.
  222. DIPMPM       : Distributive polynomial multiplication by power of main variable.
  223. DIPMPV       : Distributive polynomial multiplication by power of variable.
  224. DINPTL       : Distributive polynomial non-commutative product table lookup.
  225. DINPTslT     : Distributive polynomial non-commutative product table strict lex test.
  226. DINPTU       : Distributive polynomial non-commutative product table update.
  227. DINPPR       : Distributive polynomial non-commutative product.
  228. DIPNBC       : Distributive polynomial number of base coefficients.
  229. DIPNOV       : Distributive polynomial number of variables.
  230. DIPERM       : Distributive polynomial permutation of variables.
  231. DIPRED       : Distributive polynomial reductum.
  232. DIGBSI       : Distributive polynomial system algebraic number G basis sign.
  233. DIITNT       : Distributive polynomial system intervall tupel from norm tupel.
  234. DIITWR       : Distributive polynomial system intervall tupels write.
  235. DINTWR       : Distributive polynomial system normalized tupels write.
  236. DIROWR       : Distributive polynomial system real root write.
  237. DIPTRM       : Distributive polynomial terms.
  238. DIP2SYM      : Distributive polynomial to symbol term.
  239. DIPTDG       : Distributive polynomial total degree.
  240. DIPTBC       : Distributive polynomial trailing base coefficient.
  241. DIPTCS       : Distributive polynomial trailing coefficient specified variable.
  242. DIPTCF       : Distributive polynomial trailing coefficient.
  243. DIPTYP       : Distributive polynomial typ.
  244. DIPUNT       : Distributive polynomial univariate test.
  245. DIPUV        : Distributive polynomial univariate variable output.
  246. DIPVOP       : Distributive polynomial variable ordering optimisation.
  247. DIRGZS       : Distributive rational Groebner base zero set.
  248. DIRMPG       : Distributive rational minimal polynomial for a groebner basis.
  249. DINCCPpre    : Distributive rational non-commutative polynomial center polynomial preparation.
  250. DINCCP       : Distributive rational non-commutative polynomial center polynomial.
  251. DINCCO       : Distributive rational non-commutative polynomial commutator.
  252. DIRPAB       : Distributive rational polynomial absolute value.
  253. DIRPDM       : Distributive rational polynomial derivation main variable.
  254. DIRPDR       : Distributive rational polynomial derivation.
  255. DIRPDF       : Distributive rational polynomial difference.
  256. DIRPES       : Distributive rational polynomial elementary symmetric functions.
  257. DIRPEM       : Distributive rational polynomial evaluation of main variable.
  258. DIRPEV       : Distributive rational polynomial evaluation of the i-th variable.
  259. DIRPEX       : Distributive rational polynomial exponentiation.
  260. DIRFAC       : Distributive rational polynomial factorisation.
  261. DIRFIP       : Distributive rational polynomial from integral polynomial.
  262. DIRPFT       : Distributive rational polynomial from term.
  263. DIRGBA       : Distributive rational polynomial groebner basis augmentation.
  264. DIRGBR       : Distributive rational polynomial groebner basis recursion.
  265. DIRPHD       : Distributive rational polynomial higher derivation.
  266. DIRLCT       : Distributive rational polynomial list ideal containement test.
  267. DIRLIP       : Distributive rational polynomial list ideal product.
  268. DIRLIS       : Distributive rational polynomial list irreducible set.
  269. DIRLPI       : Distributive rational polynomial list primary ideal.
  270. DIRLRD       : Distributive rational polynomial list read.
  271. DIRPLS       : Distributive rational polynomial list sum.
  272. DIRLWR       : Distributive rational polynomial list write.
  273. DIRPMN       : Distributive rational polynomial maximum norm.
  274. DIRPMC       : Distributive rational polynomial monic.
  275. DIRPNG       : Distributive rational polynomial negative.
  276. DIRPNF       : Distributive rational polynomial normal form.
  277. DIRPON       : Distributive rational polynomial one.
  278. DIRPPR       : Distributive rational polynomial product.
  279. DIRPQR       : Distributive rational polynomial quotient and remainder.
  280. DIRPQ        : Distributive rational polynomial quotient.
  281. DIRPRA       : Distributive rational polynomial random.
  282. DIRPRP       : Distributive rational polynomial rational number product.
  283. DIRPRQ       : Distributive rational polynomial rational number quotient.
  284. DIRPRD       : Distributive rational polynomial read.
  285. DIRPSG       : Distributive rational polynomial sign.
  286. DIRPSO       : Distributive rational polynomial sort.
  287. DIRPSV       : Distributive rational polynomial substitution for main variable.
  288. DIRPSU       : Distributive rational polynomial substitution.
  289. DIRPSN       : Distributive rational polynomial sum norm.
  290. DIRPSM       : Distributive rational polynomial sum.
  291. DIRPSE       : Distributive rational polynomial symm.
  292. DIRPSR       : Distributive rational polynomial symmetric function reduction.
  293. DIRPSP       : Distributive rational polynomial S polynomial.
  294. DIRPTM       : Distributive rational polynomial translation main variable.
  295. DIRPTR       : Distributive rational polynomial translation.
  296. DIRPWV       : Distributive rational polynomial write with standard variable
  297.  
  298. DIRPWR       : Distributive rational polynomial write.
  299. DIRRAS       : Distributive rational polynomial, random sparse exponent vector.
  300. DIRPGB       : Distributive rational polynomials groebner basis.
  301. DIPC         : DIP Common Polynomial System Definition Module.
  302. DIPTODEF     : DIP define distributive polynomial term order.
  303. DIPVDEF      : DIP define distributive polynomial variable list.
  304. DIPDIM       : DIP Dimension Definition Module.
  305. DIPE         : DIP Exterior Algebra Definition Module.
  306. DIGISM       : DIP G base index search for extension multiple univariats.
  307. DIGISR       : DIP G base index search for extension reductas.
  308. DIGFET       : DIP G base successful extension test.
  309. DIPGCD       : DIP GCD Definition Module.
  310. DIPDEC0      : DIP Ideal Decomposition 0 System Definition Module.
  311. DIPROOT      : DIP Ideal Real Root System Definition Module.
  312. DIPIDEAL     : DIP Ideal System Definition Module.
  313. DIPIPOL      : DIP Integer Polynomial Definition Module.
  314. DIPI         : DIP Integral Definition Module.
  315. DINTZS       : DIP nomalized tupels from system zero.
  316. DINTFE       : DIP normalized tupel field extension.
  317. DINTSR       : DIP normalized tupel separation refinement.
  318. DINTSS       : DIP normalized tupel strong separation.
  319. DIRPDA       : DIP rational polynomial ideal primary ideal decomposition over Q(alpha).
  320. DIRLPW       : DIP rational polynomial ideal primary ideal decomposition write.
  321. DIRLPD       : DIP rational polynomial ideal primary ideal decomposition.
  322. DIPRN        : DIP Rational Definition Module.
  323. DIPRF        : DIP Rational Function Definition Module.
  324. DIPRNGB      : DIP Rational Groebner Bases Definition Module.
  325. DIPRNPOL     : DIP Rational Number Polynomial Definition Module.
  326. DITFZS       : DIP tupel from zero set.
  327. DIPTOO       : DIP Termorder Optimization Definition Module.
  328. DITSPL       : DIP zero set tupel split.
  329. DIPZ         : DIP Zero Dimensional Ideal Definition Module.
  330. DoParse      : Do parse.
  331. DoWrite      : Do Write.
  332. DOS          : DOS.
  333. EDIT         : Edit file with name s.
  334. EDIT         : Edit.
  335. ELEMP        : Elementary Pointer.
  336. EMPTYQUE     : Empty Queue.
  337. ECENV        : Encode environment.
  338. ENQUE        : Enqueue.
  339. ENTER        : Enter into symbol table.
  340. ENTER        : Enter into symbol table.
  341. EQUAL        : Equal.
  342. ErrorHandler : Error handler.
  343. ERROR        : Error.
  344. MASEVEN      : Even.
  345. EXPLOD       : Explode symbol.
  346. EXPLOD       : Explode symbol.
  347. EPREAD       : Exponent read.
  348. EVASC        : Exponent vector ascending.
  349. EVCOMP       : Exponent vector compare.
  350. EVCADD       : Exponent vector component add.
  351. EVCSUB       : Exponent vector component subtract.
  352. EVDEL        : Exponent vector delete.
  353. EVDOV        : Exponent vector dependency on variables.
  354. EVDER        : Exponent vector derivation.
  355. EVDFSI       : Exponent vector difference and sign.
  356. EVDIF        : Exponent vector difference.
  357. EVEXC        : Exponent vector exchange.
  358. EVGCD        : Exponent vector greatest common divisor.
  359. EVGBIT       : Exponent vector groebner base intersection test.
  360. EVINV        : Exponent vector introduction of new variables.
  361. EVIGLC       : Exponent vector inverse graded lexicographical compare.
  362. EVILCI       : Exponent vector inverse lexicographical compare inverse exponent vector.
  363. EVILCP       : Exponent vector inverse lexicographical compare.
  364. EVITDC       : Exponent vector inverse total degree compare.
  365. EVLCM        : Exponent vector least common multiple.
  366. EVLFCP       : Exponent vector linear form compare.
  367. EVLGIL       : Exponent vector list generate for inverse lexicographical sequence.
  368. EVLGTD       : Exponent vector list generate for total degree.
  369. EVLINV       : Exponent vector list introduction of new variables.
  370. EVMT         : Exponent vector multiple test.
  371. EVNNZE       : Exponent vector number of non zero exponents.
  372. EVPLM        : Exponent vector pair-list merge.
  373. EVPLSO       : Exponent vector pair-list sort.
  374. EVRAND       : Exponent vector random.
  375. EVRASP       : Exponent vector random.
  376. EVSIGN       : Exponent vector signum.
  377. EVSU         : Exponent vector substitution.
  378. EVSUM        : Exponent vector sum.
  379. EVTSZ        : Exponent vector test if starting with i zero exponents.
  380. EVTDEG       : Exponent vector total degree.
  381. EVZERO       : Exponent vector zero.
  382. MASEXP       : Exponential function.
  383. EXPF         : Exponential.
  384. EXTENDENV    : Extend environement.
  385. EXTENT       : Extent.
  386. EXIDT2       : Exterior integral matrix determinant 2.
  387. EXIDET       : Exterior integral matrix determinant.
  388. EIMWRT       : Exterior integral matrix write.
  389. EIVAPP       : Exterior integral vector absolute primitive part.
  390. EIVABS       : Exterior integral vector absolute value.
  391. EIVCPP       : Exterior integral vector content and primitive part.
  392. EIVEPR       : Exterior integral vector exterior product.
  393. EIVFUP       : Exterior integral vector from univariate integral polynomial
  394.  
  395. EIVILP       : Exterior integral vector inner left product.
  396. EIVIRP       : Exterior integral vector inner right product.
  397. EIVIP        : Exterior integral vector integer product.
  398. EIVIQ        : Exterior integral vector integer quotient.
  399. EIVNEG       : Exterior integral vector negative.
  400. EIVPP        : Exterior integral vector primitive part.
  401. EIVSIG       : Exterior integral vector sign.
  402. EIVSUM       : Exterior integral vector sum.
  403. EIVWRT       : Exterior integral vector write.
  404. EXMHOM       : Exterior matrix homomorphism.
  405. EXVHOM       : Exterior vector homomorphism.
  406. FRLSM        : Fermat residue list, single modulus.
  407. FRESL        : Fermat residue list.
  408. FIRST2       : First 2.
  409. FIRST3       : First 3.
  410. FIRST4       : First 4.
  411. FIRST        : First.
  412. FEXP         : Floating point exponentiation.
  413. FFGI         : Floating point from gamma integer.
  414. FFINT        : Floating point from integer.
  415. FFRN         : Floating point from rational number.
  416. FLOG10       : Floating point logarithm base 10.
  417. ForEachinList : For each element e in r apply function f.
  418. ForEachinRep : For each pair (n,e) in r apply function f.
  419. FOURTH       : Fourth.
  420. FullRep      : Full representation.
  421. GREAD        : Gamma-integer read.
  422. GWRITE       : Gamma-integer write.
  423. GDPGEN       : Gaussian digit prime generator.
  424. GENPROCESS   : Generate a new process.
  425. ARRAYDEC     : Generate array name declarations.
  426. GENARRAY     : Generate array reference symbol.
  427. GENINDEX     : Generate index set.
  428. GENPL        : Generate parameter list.
  429. GENSYM       : Generate symbol.
  430. GENSYM       : Generate symbol.
  431. GENTE        : Generate typed expression.
  432. GET          : Get property.
  433. GET          : Get property.
  434. GetRep       : Get representation.
  435. GBZSET       : Groebner base real zero set of zero dimensional ideal.
  436. HDIFDI       : Homogeneous distributive polynomial from distributive polynomial.
  437. HIPRAN       : Homogeneous integral polynomial random.
  438. DIPC         : Import lists and declarations.
  439. MASLISP      : Import lists and declarations.
  440. MASLISPU     : Import lists and declarations.
  441. MASSPEC      : Import lists and declarations.
  442. MASSYM       : Import lists and declarations.
  443. MASSYM2      : Import lists and declarations.
  444. MASYMDIP     : Import lists and declarations.
  445. SACDPOL      : Import lists and declarations.
  446. SACSYM       : Import lists and declarations.
  447. ILADDC       : Index list addition of constant.
  448. ILEXPR       : Index list exterior product.
  449. ILILPR       : Index list inner left product.
  450. ILINPR       : Index list inner product.
  451. ILIRPR       : Index list inner right product.
  452. ILSCMP       : Index list strong compare.
  453. ILWCMP       : Index list week compare.
  454. INLWRT       : Index list write.
  455. INDLST       : Index list.
  456. IXSUBS       : Indexed subset.
  457. InitExternalsA : Initialize external compiled arithmetic procedures.
  458. InitExternalsD : Initialize external compiled ideal decomposition and root procedures.
  459. InitExternalsI : Initialize external compiled interface procedures.
  460. InitExternalsL : Initialize external compiled linear algebra procedures.
  461. InitExternalsC : Initialize external compiled non-commutative polynomial procedures.
  462. InitExternalsB : Initialize external compiled polynomial procedures.
  463. InitExternals : Initialize external compiled procedures.
  464. InitExternalsU : Initialize external compiled utility procedures.
  465. INP          : Input.
  466. IABSF        : Integer absolute value function.
  467. IBCIND       : Integer binomial coefficient induction.
  468. IBCPS        : Integer binomial coefficient partial sum.
  469. IBCOEF       : Integer binomial coefficient.
  470. ICOMP        : Integer comparison.
  471. IDIF         : Integer difference.
  472. IDIPR2       : Integer digit inner product, length 2.
  473. IDP2         : Integer division by power of 2.
  474. IDEGCD       : Integer doubly extended greatest common divisor algorithm.
  475. IEVEN        : Integer even.
  476. IEXP         : Integer exponentiation.
  477. IEGCD        : Integer extended greatest common divisor algorithm.
  478. IFACTL       : Integer factorial.
  479. IFACT        : Integer factorization.
  480. IFF          : Integer from floating point.
  481. IGCDCF       : Integer greatest common divisor and cofactors.
  482. IGCD         : Integer greatest common divisor.
  483. IHEGCD       : Integer half-extended greatest common divisor.
  484. IJACS        : Integer Jacobi symbol algorithm.
  485. ILPDS        : Integer large prime divisor search.
  486. ILCM         : Integer least common multiple.
  487. ILCOMB       : Integer linear combination.
  488. ILWRIT       : Integer list write.
  489. ILOG10       : Integer logarithm base 10.
  490. ILOG2        : Integer logarithm, base 2.
  491. IMLT         : Integer lower triangular matrix transformation.
  492. IMDET        : Integer matrix determinant, using Gaussian elimination.
  493. IMDETL       : Integer matrix determinant, using Laplace expansion.
  494. IMDIF        : Integer matrix difference.
  495. IMFRNM       : Integer matrix from rational number matrix.
  496. IMFRNM1      : Integer matrix from rational number matrix.
  497. IMGELUD      : Integer matrix Gaussian elimination LU-decomposition.
  498. IMGE         : Integer matrix Gaussian elimination.
  499. IMMAX        : Integer matrix maximum norm.
  500. IMPROD       : Integer matrix product.
  501. IMSDS        : Integer matrix solve decomposed system.
  502. IMSUM        : Integer matrix sum.
  503. IMUNS        : Integer matrix upper triangular matrix solution null space.
  504. IMWRITE      : Integer matrix write.
  505. IMAX         : Integer maximum.
  506. IMPDS        : Integer medium prime divisor search.
  507. IMIN         : Integer minimum.
  508. IMP2         : Integer multiplication by power of 2.
  509. INEG         : Integer negation.
  510. IODD         : Integer odd.
  511. IPOWER       : Integer power.
  512. IPRODK       : Integer product, Karatsuba algorithm.
  513. IPROD        : Integer product.
  514. IPROD        : Integer product.
  515. IQR          : Integer quotient and remainder.
  516. IQ           : Integer quotient.
  517. IREAD        : Integer read.
  518. IREM         : Integer remainder.
  519. IROOT        : Integer root.
  520. ISMPROD      : Integer scalar and matrix product.
  521. ISEG         : Integer segmentation.
  522. ISPT         : Integer selfridge primality test.
  523. ISSUM        : Integer shifted sum.
  524. ISIGNF       : Integer sign function.
  525. ISPD         : Integer small prime divisors.
  526. ISQRT        : Integer square root.
  527. ISUM         : Integer sum.
  528. ITD          : Integer trailing digit.
  529. ITRUNC       : Integer truncation.
  530. IUM          : Integer unit matrix.
  531. IMUT         : Integer upper triangular matrix transformation.
  532. IKM          : Integer vector component product.
  533. IVVDIF       : Integer vector difference.
  534. IVFRNV       : Integer vector from rational number vector.
  535. IVFRNV1      : Integer vector from rational number vector.
  536. IVHOM        : Integer vector homomorphism.
  537. IVLC         : Integer vector linear combination.
  538. IVMAX        : Integer vector maximum norm.
  539. IVRAND       : Integer vector random.
  540. IVSVPROD     : Integer vector scalar and vector product.
  541. IVSVSUM      : Integer vector scalar and vector sum.
  542. IVSPROD      : Integer vector scalar product.
  543. IVSQ         : Integer vector scalar quotient.
  544. IVSSUM       : Integer vector scalar sum.
  545. IVVSUM       : Integer vector vector sum.
  546. IVVPROD      : Integer vector vectors product.
  547. IVWRITE      : Integer vector write.
  548. IWRITE       : Integer write.
  549. IFCL2        : Integer, floor and ceiling, logarithm, base 2.
  550. IORD2        : Integer, order of 2.
  551. IRAND        : Integer, random.
  552. IDPR         : Integer-digit product.
  553. IDQR         : Integer-digit quotient and remainder.
  554. IDQ          : Integer-digit quotient.
  555. IDREM        : Integer-digit remainder.
  556. IFWRIT       : Integral function write.
  557. IPABS        : Integral polynomial absolute value.
  558. IPCRA        : Integral polynomial chinese remainder algorithm.
  559. IPCSFB       : Integral polynomial coarsest squarefree basis.
  560. IPCPP        : Integral polynomial content and primitive part.
  561. IPC          : Integral polynomial content.
  562. IPDMV        : Integral polynomial derivative, main variable.
  563. IPDER        : Integral polynomial derivative.
  564. IPDIF        : Integral polynomial difference.
  565. IPDSCR       : Integral polynomial discriminant.
  566. IPEMV        : Integral polynomial evaluation of main variable.
  567. IPEVAL       : Integral polynomial evaluation.
  568. IPEXP        : Integral polynomial exponentiation.
  569. IPFCB        : Integral polynomial factor coefficient bound.
  570. IPFLC        : Integral polynomial factor list combine.
  571. IPFSD        : Integral polynomial factorization, second derivative.
  572. IPFAC        : Integral polynomial factorization.
  573. IPFSFB       : Integral polynomial finest squarefree basis.
  574. IPFRP        : Integral polynomial from rational polynomial.
  575. IPGSUB       : Integral polynomial general substitution.
  576. IPGCDC       : Integral polynomial greatest common divisor and cofactors.
  577. IPGFCB       : Integral polynomial Gelfond factor coefficient bound.
  578. IPHDMV       : Integral polynomial higher derivative, main variable.
  579. IPICPP       : Integral polynomial integer content and primitive part.
  580. IPICS        : Integral polynomial integer content subroutine.
  581. IPIC         : Integral polynomial integer content.
  582. IPIPP        : Integral polynomial integer primitive part.
  583. IPIP         : Integral polynomial integer product.
  584. IPIQ         : Integral polynomial integer quotient.
  585. IPINT        : Integral polynomial integration.
  586. IPLCM        : Integral polynomial least common multiple.
  587. IPLCPP       : Integral polynomial list of contents and primitive parts.
  588. IPLRRI       : Integral polynomial list real root isolation.
  589. IPMAXN       : Integral polynomial maximum norm.
  590. IPIHOM       : Integral polynomial mod ideal homomorphism.
  591. IPIPR        : Integral polynomial mod ideal product.
  592. IPIQH        : Integral polynomial mod ideal quadratic Hensel lemma.
  593. IPNEG        : Integral polynomial negative.
  594. IPONE        : Integral polynomial one.
  595. IPPGSD       : Integral polynomial primitive greatest squarefree divisor.
  596. IPPP         : Integral polynomial primitive part.
  597. IPPSC        : Integral polynomial principal subresultant coefficients.
  598. IPPROD       : Integral polynomial product.
  599. IPPSR        : Integral polynomial pseudo-remainder.
  600. IPQR         : Integral polynomial quotient and remainder.
  601. IPQ          : Integral polynomial quotient.
  602. IPRAN        : Integral polynomial random.
  603. IPREAD       : Integral polynomial read.
  604. IPRCN1       : Integral polynomial real root calcuation, 1 root.
  605. IPRCH        : Integral polynomial real root calculation, high precision.
  606. IPRCHS       : Integral polynomial real root calculation, high-precision special.
  607. IPRCNP       : Integral polynomial real root calculation, newton method preparation.
  608. IPRRII       : Integral polynomial real root isolation induction.
  609. IPRICL       : Integral polynomial real root isolation, Collins-Loos algorithm.
  610. IPRIMO       : Integral polynomial real root isolation, modified Uspensky method, open interval.
  611. IPRIMS       : Integral polynomial real root isolation, modified Uspensky method, standard interval.
  612. IPRIMU       : Integral polynomial real root isolation, modified Uspensky method, unit interval.
  613. IPRIM        : Integral polynomial real root isolation, modified Uspensky method.
  614. IPRIUP       : Integral polynomial real root isolation, Uspensky method, positive roots.
  615. IPRIU        : Integral polynomial real root isolation, Uspensky method.
  616. IPRRLS       : Integral polynomial real root list separation.
  617. IPRRS        : Integral polynomial real root separation.
  618. IPRPRS       : Integral polynomial reduced polynomial remainder sequence.
  619. IPRRRI       : Integral polynomial relative real root isolation.
  620. IPRES        : Integral polynomial resultant.
  621. IPSCPP       : Integral polynomial sign, content, and primitive part.
  622. IPSIGN       : Integral polynomial sign.
  623. IPSRP        : Integral polynomial similiar to rational polynomial.
  624. IPSR         : Integral polynomial specified roots.
  625. IPSFBA       : Integral polynomial squarefree basis augmentation.
  626. IPSF         : Integral polynomial squarefree factorization.
  627. IPSIFI       : Integral polynomial standard isolating interval from isolating interval.
  628. IPSRMS       : Integral polynomial strong real root isolation, modified Uspensky method, standard interval.
  629. IPSRM        : Integral polynomial strong real root isolation, modified Uspensky method.
  630. IPSPRS       : Integral polynomial subresultant polynomial remainder sequence.
  631. IPSMV        : Integral polynomial substitution for main variable.
  632. IPSUB        : Integral polynomial substitution.
  633. IPSUMN       : Integral polynomial sum norm.
  634. IPSUM        : Integral polynomial sum.
  635. IPTRMV       : Integral polynomial translation, main variable.
  636. IPTRAN       : Integral polynomial translation.
  637. IPTPR        : Integral polynomial truncated product.
  638. IPTRUN       : Integral polynomial truncation.
  639. IPVCHT       : Integral polynomial variations after circle to half-plane transformation.
  640. IPWRIT       : Integral polynomial write.
  641. IPCEVP       : Integral polynomial, choice of evaluation points.
  642. IPRAN        : Integral polynomial, random.
  643. IPSFSD       : Integral squarefree factorization, second derivative.
  644. ISFPF        : Integral squarefree polynomial factorization.
  645. ISFPIR       : Integral squarefree polynomial isolating interval refinement.
  646. ISPSFB       : Integral squarefree polynomial squarefree basis.
  647. IUPBHT       : Integral univariate polynomial binary homothetic transformation.
  648. IUPBES       : Integral univariate polynomial binary rational evaluation of sign.
  649. IUPBEI       : Integral univariate polynomial binary rational evaluation, integer output.
  650. IUPBRE       : Integral univariate polynomial binary rational evaluation.
  651. IUPCHT       : Integral univariate polynomial circle to half-plane transformation.
  652. IUPFDS       : Integral univariate polynomial factor degree set.
  653. IUPFAC       : Integral univariate polynomial factorization.
  654. IUPIHT       : Integral univariate polynomial integer homothetic transformation.
  655. IUPNT        : Integral univariate polynomial negative transformation.
  656. IUPQHL       : Integral univariate polynomial quadratic Hensel lemma, list.
  657. IUPQH        : Integral univariate polynomial quadratic Hensel lemma.
  658. IUPRC        : Integral univariate polynomial resultant and cofactor.
  659. IUPRB        : Integral univariate polynomial root bound.
  660. IUPTR1       : Integral univariate polynomial translation by 1.
  661. IUPTR        : Integral univariate polynomial translation.
  662. IUPTPR       : Integral univariate polynomial truncated product.
  663. IUPVAR       : Integral univariate polynomial variations.
  664. IUPRLP       : Integral univariate polynomial, root of a linear polynomial.
  665. IUPVOI       : Integral univariate polynomial, variations for open interval.
  666. IUPVSI       : Integral univariate polynomial, variations for standard interval.
  667. IUSFPF       : Integral univariate squarefree polynomial factorization.
  668. INV          : Inverse.
  669. IIC          : Isolating interval conversion.
  670. KREISP       : Kreisteilungs polynom.
  671. LAST         : Last.
  672. LENGTH       : Length.
  673. LETTER       : Letter.
  674. LEXNEX       : Lexicographically next.
  675. LDSSBR       : Linear diophantine system solution, based on Rosser ideas.
  676. LDSMKB       : Linear diophantine system solution, modified Kannan and Bachem algorithm.
  677. EVALUATE     : Lisp evaluator.
  678. LCONC        : List concatenation.
  679. LEINST       : List element insertion.
  680. LEROT        : List element rotation.
  681. LELT         : List element.
  682. LEQUAL       : List equality.
  683. LISTS        : List from string.
  684. LINS         : List insertion.
  685. LINSRT       : List insertion.
  686. LMERGE       : List merge.
  687. LBLXCO       : List of beta integers lexicographical compare.
  688. LBIBS        : List of beta-integers bubble sort.
  689. LBIBMS       : List of beta-integers bubble-merge sort.
  690. LBIM         : List of beta-integers merge.
  691. LPERM        : List permute.
  692. LPERM        : List permute.
  693. LREAD        : List read.
  694. LSRCH        : List search.
  695. LISTVAR      : List variable.
  696. LWRITE       : List write.
  697. LIST1        : List, 1 element.
  698. LIST10       : List, 10 elements.
  699. LIST2        : List, 2 elements.
  700. LIST3        : List, 3 elements.
  701. LIST4        : List, 4 elements.
  702. LIST5        : List, 5 elements.
  703. LN           : Ln.
  704. LOG          : Log.
  705. MDELCOL      : Matrix delete column.
  706. MDIM         : Matrix dimension.
  707. MFILL        : Matrix fill.
  708. MGET         : Matrix get.
  709. MMINOR       : Matrix minor.
  710. MCPMV        : Matrix of coefficients of polynomials, with respect to main variable.
  711. MICINS       : Matrix of integers column insertion.
  712. MICS         : Matrix of integers column sort.
  713. MIAIM        : Matrix of integers, adjoin identity matrix,  A is an m by n matrix
  714.  
  715. MINNCT       : Matrix of integers, non-negative column transformation.
  716. MAIPDE       : Matrix of integral polynomials determinant, exact division algorithm.
  717. MAIPDM       : Matrix of integral polynomials determinant, modular algorithm.
  718. MAIPHM       : Matrix of integral polynomials homomorphism.
  719. MAIPP        : Matrix of integral polynomials product.
  720. MMDDET       : Matrix of modular digits determinant.
  721. MMDNSB       : Matrix of modular digits null space basis.
  722. MMPDMA       : Matrix of modular polynomials determinant, modular algorithm.
  723. MMPEV        : Matrix of modular polynomials evaluation.
  724. MIRAND       : Matrix random.
  725. MRANG        : Matrix rang.
  726. MSET         : Matrix set.
  727. MTRANS       : Matrix transpose.
  728. MASMAX       : Maximum.
  729. MASAPF       : MAS Arbitrary Precision Floating Point Definition Module.
  730. MASBIOS      : MAS Basic I/O System Definition Module.
  731. MASBIOSU     : MAS BIOS Utility Definition Module.
  732. MASCHR       : MAS character.
  733. MASCONF      : MAS Configuration Definition Module.
  734. MASELEM      : MAS Elementary Functions Definition Module.
  735. MASF         : MAS Floating Point Definition Module.
  736. MASGEM       : MAS GEM Definition Module.
  737. MASI         : MAS Integer Definition Module.
  738. LinAlgI      : MAS Linear Algebra Integer Definition Module.
  739. LinAlgRN     : MAS Linear Algebra Rational Number Definition Module.
  740. MASLISP      : MAS Lisp Definition Module.
  741. MASLISPU     : MAS Lisp Utility Definition Module.
  742. MASLOADA     : MAS Load Definition Module A.
  743. MASLOADB     : MAS Load Definition Module B.
  744. MASLOADC     : MAS Load Definition Module C.
  745. MASLOADD     : MAS Load Definition Module D.
  746. MASLOADL     : MAS Load Definition Module L.
  747. MASLOAD      : MAS Load Definition Module.
  748. MASNCC       : MAS Non-commutative Center Definition Module.
  749. MASNC        : MAS Non-commutative Definition Module.
  750. MASNCGB      : MAS Non-commutative Groebner Bases Definition Module.
  751. MASORDI      : MAS order integer.
  752. MASORD       : MAS order.
  753. MASPARSE     : MAS Parser Definition Module.
  754. MASRN        : MAS Rational Number Definition Module.
  755. MASREP       : MAS Representation Definition Module.
  756. MASSPEC      : MAS Sepcification Definition Module.
  757. MASSTOR      : MAS Storage Definition Module.
  758. MASSYM       : MAS Symbol Definition Module.
  759. MASYMDIP     : MAS Symbol to DIP Definition Module.
  760. MASU         : MAS Utility Definition Module.
  761. MASSYM2      : MAS/SAC Symbol System Definition Module 2.
  762. StorSummary  : MASSTOR Summary.
  763. MEMQ         : Membership test equal pointers.
  764. MEMBER       : Membership test.
  765. MASMIN       : Minimum.
  766. MDCRA        : Modular digit chinese remainder algorithm.
  767. MDDIF        : Modular digit difference.
  768. MDEXP        : Modular digit exponentiation.
  769. MDHOM        : Modular digit homomorphism.
  770. MDINV        : Modular digit inverse.
  771. MDLCRA       : Modular digit list chinese remainder algorithm.
  772. MDNEG        : Modular digit negative.
  773. MDPROD       : Modular digit product.
  774. MDQ          : Modular digit quotient.
  775. MDSUM        : Modular digit sum.
  776. MDRAN        : Modular digit, random.
  777. MIDIF        : Modular integer difference.
  778. MIDCRA       : Modular integer digit chinese remainder algorithm.
  779. MIEXP        : Modular integer exponentiation.
  780. MIHOM        : Modular integer homomorphism.
  781. MIINV        : Modular integer inverse.
  782. MINEG        : Modular integer negation.
  783. MIPROD       : Modular integer product.
  784. MIQ          : Modular integer quotient.
  785. MISUM        : Modular integer sum.
  786. MIRAN        : Modular integer, random.
  787. MIPDIF       : Modular integral polynomial difference.
  788. MIPFSM       : Modular integral polynomial from symmetric modular.
  789. MIPHOM       : Modular integral polynomial homomorphism.
  790. MIPIPR       : Modular integral polynomial mod ideal product.
  791. MIPISE       : Modular integral polynomial mod ideal, solution of equation.
  792. MIPNEG       : Modular integral polynomial negation.
  793. MIPPR        : Modular integral polynomial product.
  794. MIPSUM       : Modular integral polynomial sum.
  795. MIPRAN       : Modular integral polynomial, random.
  796. MIUPQR       : Modular integral univariate polynomial quotient and remainder.
  797. MIUPSE       : Modular integral univariate polynomial, solution of equation.
  798. MMPIQR       : Modular monic polynomial mod ideal quotient and remainder.
  799. MPDIF        : Modular polynomial difference.
  800. MPEMV        : Modular polynomial evaluation of main variable.
  801. MPEVAL       : Modular polynomial evaluation.
  802. MPEXP        : Modular polynomial exponentiation.
  803. MPGCDC       : Modular polynomial greatest common divisor and cofactors.
  804. MPHOM        : Modular polynomial homomorphism.
  805. MPINT        : Modular polynomial interpolation.
  806. MPIQHL       : Modular polynomial mod ideal quadratic Hensel lemma, list.
  807. MPIQHS       : Modular polynomial mod ideal, quadratic Hensel lemma on a single variable.
  808. MPIQH        : Modular polynomial mod ideal, quadratic Hensel lemma.
  809. MPMDP        : Modular polynomial modular digit product.
  810. MPMON        : Modular polynomial monic.
  811. MPNEG        : Modular polynomial negative.
  812. MPPROD       : Modular polynomial product.
  813. MPPSR        : Modular polynomial pseudo-remainder.
  814. MPQR         : Modular polynomial quotient and remainder.
  815. MPQ          : Modular polynomial quotient.
  816. MPRES        : Modular polynomial resultant.
  817. MPSPRS       : Modular polynomial subresultant polynomial remainder sequence.
  818. MPSUM        : Modular polynomial sum.
  819. MPUCPP       : Modular polynomial univariate content and primitive part.
  820. MPUCS        : Modular polynomial univariate content subroutine.
  821. MPUC         : Modular polynomial univariate content.
  822. MPUPP        : Modular polynomial univariate primitive part.
  823. MPUP         : Modular polynomial univariate product.
  824. MPUQ         : Modular polynomial univariate quotient.
  825. MPRAN        : Modular polynomial, random.
  826. MUPBQP       : Modular univariate polynomial Berlekamp q polynomials construction.
  827. MUPDER       : Modular univariate polynomial derivative.
  828. MUPDDF       : Modular univariate polynomial distinct degree factorization.
  829. MUPEGC       : Modular univariate polynomial extended greatest common divisor.
  830. MUPFS        : Modular univariate polynomial factorization, special.
  831. MUPFBL       : Modular univariate polynomial factorization-Berlekamp algorithm.
  832. MUPGCD       : Modular univariate polynomial greatest common divisor.
  833. MUPHEG       : Modular univariate polynomial half-extended greatest common divisor.
  834. MUPRC        : Modular univariate polynomial resultant and cofactor.
  835. MUPRES       : Modular univariate polynomial resultant.
  836. MUPSFF       : Modular univariate polynomial squarefree factorization.
  837. MUPRAN       : Modular univariate polynomial, random.
  838. MDVHOM       : Modular vector homomorphism.
  839. NAME         : Name.
  840. NAME         : Name.
  841. NEWQUE       : New Queue.
  842. NewRep       : New representation.
  843. NextParm     : Next Parameter.
  844. OREAD        : Object read.
  845. OWRITE       : Object write.
  846. OCCURQ       : Occurs test equal pointers.
  847. MASODD       : Odd.
  848. ORDER        : Order.
  849. MWRIT1       : Output in modula like syntax.
  850. MWRITE       : Output in modula like syntax.
  851. OUT          : Output.
  852. PACK         : Pack character list.
  853. PACK         : Pack character list.
  854. PAIR         : Pair.
  855. Aparse       : Parse a set of ALDES-2 declarations and algorithms.
  856. Parse        : Parse program and generate code.
  857. PARTSS       : Partition sumset.
  858. PARTN        : Partition, next.
  859. PARTR        : Partition, random.
  860. PVDEMA       : Permutation vector for degree matrix.
  861. PERMCY       : Permutation, cyclic.
  862. PERMR        : Permutation, random.
  863. PBCLI        : Polynomial base coefficients list.
  864. PBIN         : Polynomial binomial.
  865. PCL          : Polynomial coefficient list.
  866. PCONST       : Polynomial constant.
  867. PDEGV        : Polynomial degree vector.
  868. PDEGSV       : Polynomial degree, specified variable.
  869. PDEG         : Polynomial degree.
  870. PDBORD       : Polynomial divided by order.
  871. PDPV         : Polynomial division by power of variable.
  872. PFDP         : Polynomial from dense polynomial.
  873. PFDIP        : Polynomial from distributive polynomial.
  874. PINV         : Polynomial introduction of new variables.
  875. PLBCF        : Polynomial leading base coefficient.
  876. PLDCF        : Polynomial leading coefficient.
  877. PLFDIL       : Polynomial list from distributive polynom list.
  878. PMDEG        : Polynomial modified degree.
  879. PMON         : Polynomial monomial.
  880. PMPMV        : Polynomial multiplication by power of main variable.
  881. PMPV         : Polynomial multiplication by power of variable.
  882. PORD         : Polynomial order.
  883. PPERMV       : Polynomial permutation of variables.
  884. PRT          : Polynomial reciprocal transformation.
  885. PRED         : Polynomial reductum.
  886. PSDSV        : Polynomial special decomposition, specified variable.
  887. PTERM        : Polynomial terms.
  888. PTBCF        : Polynomial trailing base coefficient.
  889. PTYP         : Polynomial typ.
  890. PUNT         : Polynomial univariate test.
  891. PUFP         : Polynomial, univariate, from polynomial.
  892. POWSEV       : Power of variable symmetric product with exterior vector.
  893. MASLISPU     : Procedure declarations.
  894. MASSYM       : Procedure declarations.
  895. MASYMDIP     : Procedure declarations.
  896. PROCP        : Procedure Pointer.
  897. PUT          : Put.
  898. PUT          : Put.
  899. MASQREM      : Quotient and remainder.
  900. RFDEN        : Rational function denominator.
  901. RFDIF        : Rational function difference.
  902. RFEXP        : Rational function exponentiation.
  903. RFFIP        : Rational function from integral polynomial.
  904. RFINV        : Rational function inverse.
  905. RFNEG        : Rational function negative.
  906. RFNOV        : Rational function number of variables.
  907. RFNUM        : Rational function numerator.
  908. RFONE        : Rational function one.
  909. RFPROD       : Rational function product.
  910. RFQ          : Rational function quotient.
  911. RFREAD       : Rational function read.
  912. RFRED        : Rational function reduction to lowest terms.
  913. RFSIGN       : Rational function sign.
  914. RFSUM        : Rational function sum.
  915. RFWRIT       : Rational function write.
  916. RIB          : Rational interval bisection.
  917. RILC         : Rational interval length comparison.
  918. RINT         : Rational interval normalizing transformation.
  919. RIRNP        : Rational interval rational number product.
  920. RIRWRT       : Rational intervall refinement write.
  921. RNMLT        : Rational matrix lower triangular matrix transformation.
  922. RNMUT        : Rational matrix upper triangular matrix transformation.
  923. RNABS        : Rational number absolute value.
  924. RNBCR        : Rational number binary common representation.
  925. RNCOMP       : Rational number comparison.
  926. RNDRD        : Rational number decimal read.
  927. RNDRD        : Rational number decimal read.
  928. RNDWRS       : Rational number decimal write special.
  929. RNDWR        : Rational number decimal write.
  930. RNDWR        : Rational number decimal write.
  931. RNDEN        : Rational number denominator.
  932. RNDIF        : Rational number difference.
  933. RNEXP        : Rational number exponentiation.
  934. RNFCL2       : Rational number floor and ceiling of logarithm, base 2.
  935. RNFAP        : Rational number from arbitrary precision floating point.
  936. RNFF         : Rational number from floating point.
  937. RNINT        : Rational number from integer.
  938. RNINV        : Rational number inverse.
  939. RNMDET       : Rational number matrix determinant, using Gaussian elimination.
  940. RNMDETL      : Rational number matrix determinant, using Laplace expansion.
  941. RNMDIF       : Rational number matrix difference.
  942. RNMFIM       : Rational number matrix from integer matrix.
  943. RNMGELUD     : Rational number matrix Gaussian elimination LU-decomposition.
  944. RNMGE        : Rational number matrix Gaussian elimination.
  945. RNMHILBERT   : Rational number matrix Hilbert.
  946. RNMINVI      : Rational number matrix inversion, integer algorithm.
  947. RNMINV       : Rational number matrix inversion.
  948. RNMMAX       : Rational number matrix maximum norm.
  949. RNMPROD      : Rational number matrix product.
  950. RNMREAD      : Rational number matrix read.
  951. RNMSDS       : Rational number matrix solve decomposed system.
  952. RNMSUM       : Rational number matrix sum.
  953. RNMUNS       : Rational number matrix upper triangular matrix solution null space.
  954. RNMWRITE     : Rational number matrix write.
  955. RNMAX        : Rational number maximum.
  956. RNNEG        : Rational number negative.
  957. RNNUM        : Rational number numerator.
  958. RNONE        : Rational number one.
  959. RNP2         : Rational number power of 2.
  960. RNPROD       : Rational number product.
  961. RNQ          : Rational number quotient.
  962. RNREAD       : Rational number read.
  963. RNRED        : Rational number reduction to lowest terms.
  964. RNSMPROD     : Rational number scalar and matrix product.
  965. RNSIGN       : Rational number sign.
  966. RNSUM        : Rational number sum.
  967. RNUM         : Rational number unit matrix.
  968. RNVDIF       : Rational number vector difference.
  969. RNVFIV       : Rational number vector from integer vector.
  970. RNVLC        : Rational number vector linear combination.
  971. RNVMAX       : Rational number vector maximum norm.
  972. RNSVPROD     : Rational number vector product with scalar.
  973. RNVQ         : Rational number vector quotient.
  974. RNVQF        : Rational number vector quotient.
  975. RNVREAD      : Rational number vector read.
  976. RNVSPROD     : Rational number vector scalar product.
  977. RNVSSUM      : Rational number vector scalar sum.
  978. RNVSVSUM     : Rational number vector scalar sum.
  979. RNVSVPROD    : Rational number vector scalar vector product.
  980. RNVVPROD     : Rational number vector vector product.
  981. RNVVSUM      : Rational number vector vector sum.
  982. RNVWRITE     : Rational number vector write.
  983. RNWRIT       : Rational number write.
  984. RNCEIL       : Rational number, ceiling of.
  985. RNFLOR       : Rational number, floor of.
  986. RNRAND       : Rational number, random.
  987. RPBLGS       : Rational polynomial base coefficients least common multiple, greatest common divisor, and sign.
  988. RPDMV        : Rational polynomial derivative, main variable.
  989. RPDIF        : Rational polynomial difference.
  990. RPEMV        : Rational polynomial evaluation, main variable.
  991. RPFIP        : Rational polynomial from integral polynomial.
  992. RPIMV        : Rational polynomial integration, main variable.
  993. RPLWRS       : Rational polynomial list write.
  994. RPMAIP       : Rational polynomial monic associate of integral polynomial.
  995. RPNEG        : Rational polynomial negative.
  996. RPONE        : Rational polynomial one.
  997. RPPROD       : Rational polynomial product.
  998. RPQR         : Rational polynomial quotient and remainder.
  999. RPRNP        : Rational polynomial rational number product.
  1000. RPREAD       : Rational polynomial read.
  1001. RPSUM        : Rational polynomial sum.
  1002. RPWRIT       : Rational polynomial write.
  1003. RPWRTS       : Rational polynomial write.
  1004. RUPMRN       : Rational univariate polynomial minimal polynomial of a rational number.
  1005. RED2         : Reductum 2.
  1006. RED3         : Reductum 3.
  1007. RED4         : Reductum 4.
  1008. RED          : Reductum.
  1009. REDUCT       : Reductum.
  1010. MASREM       : Remainder.
  1011. REMPRP       : Remove property.
  1012. REMPRP       : Remove property.
  1013. SAVEPROCESS  : Save current process.
  1014. SACANF       : SAC Algebraic Number Field Definition Module.
  1015. SACBIOS      : SAC Basic I/O System Definition Module.
  1016. SACCOMB      : SAC Combinatorical System Definition Module.
  1017. SACDPOL      : SAC Dense Polynomial Definition Module.
  1018. SACD         : SAC Digit Definition Module.
  1019. SACEXT1      : SAC Extensions 1 Definition Module.
  1020. SACEXT2      : SAC Extensions 2 Definition Module.
  1021. SACEXT3      : SAC Extensions 3 Definition Module.
  1022. SACEXT4      : SAC Extensions 4 Definition Module.
  1023. SACEXT5      : SAC Extensions 5 Definition Module.
  1024. SACEXT6      : SAC Extensions 6 Definition Module.
  1025. SACEXT7      : SAC Extensions 7 Definition Module.
  1026. SACPRIM      : SAC Factorization and Prime Number Definition Module.
  1027. SACI         : SAC Integer Definition Module.
  1028. SACIPOL      : SAC Integer Polynomial System Definition Module.
  1029. SACLDIO      : SAC Linear Diophantine Equation System Definition Module.
  1030. SACLIST      : SAC List Processing Definition Module.
  1031. SACM         : SAC Modular Digit and Integer Definition Module.
  1032. SACMPOL      : SAC Modular Polynomial Definition Module.
  1033. SACMUFAC     : SAC Modular Univariate Polynomial Factorization Definition Module.
  1034. SACPFAC      : SAC Polynomial Factorization Definition Module.
  1035. SACPGCD      : SAC Polynomial GCD and RES System Definition Module.
  1036. SACROOT      : SAC Polynomial Real Root Definition Module.
  1037. SACPOL       : SAC Polynomial System Definition Module.
  1038. SACRN        : SAC Rational Number Definition Module.
  1039. SACRPOL      : SAC Rational Polynomial Definition Module.
  1040. SACSET       : SAC Set Definition Module.
  1041. SACSYM2      : SAC Symbol 2 Definition Module.
  1042. SACSYM       : SAC Symbol System Definition Module.
  1043. SACUPFAC     : SAC Univariate Polynomial Factorization Definition Module.
  1044. SECOND       : Second.
  1045. SCOMP        : Set composition.
  1046. SDIFF        : Set difference.
  1047. SFIRST       : Set first.
  1048. SFCS         : Set from characteristic set.
  1049. SILINE       : Set input line.
  1050. SIUNIT       : Set input unit.
  1051. SINTER       : Set intersection.
  1052. SLELT        : Set list element.
  1053. SOLINE       : Set output line.
  1054. SOUNIT       : Set output unit.
  1055. SRED         : Set reductum.
  1056. SetRep       : Set representation.
  1057. SUNION       : Set union.
  1058. SETV         : Set variable.
  1059. SHUT         : Shut.
  1060. MASSIGN      : Sign.
  1061. Signature    : Signature of a compiled function or procedure.
  1062. SIN          : Sinus.
  1063. SQRT         : Sqrt.
  1064. STVL         : Standard variable list.
  1065. StepRep      : Step through representation.
  1066. SLIST        : String from list.
  1067. SWRITE       : String write.
  1068. SUBLIS       : Substitution with list.
  1069. SUBLIS       : Substitution with list.
  1070. SUFFIX       : Suffix.
  1071. Summary      : Summary of stream IO.
  1072. SymSummary   : Summary of symbol system.
  1073. SymSummary   : Summary of symbol system.
  1074. SwitchParse  : Switch parsing between generic / non-generic parse.
  1075. SMEMB        : Symbol membership.
  1076. SMEMB        : Symbol membership.
  1077. SREAD1       : Symbol read, 1.
  1078. SREAD1       : Symbol read, 1.
  1079. SREAD        : Symbol read.
  1080. SREAD        : Symbol read.
  1081. STCNT        : Symbol table tree count.
  1082. STCNT        : Symbol table tree count.
  1083. SYM2DIP      : Symbol term to distributive polynomial.
  1084. STBALS       : Symbol tree balance subroutine.
  1085. STBAL        : Symbol tree balance.
  1086. STINS        : Symbol tree insertion.
  1087. STINS        : Symbol tree insertion.
  1088. STLSTI       : Symbol tree list, in-order.
  1089. STLSTI       : Symbol tree list, in-order.
  1090. STLST        : Symbol tree list.
  1091. STLST        : Symbol tree list.
  1092. STNLST       : Symbol tree nodes list.
  1093. STSRCH       : Symbol tree search.
  1094. STSRCH       : Symbol tree search.
  1095. STWRT        : Symbol tree write.
  1096. STWRT        : Symbol tree write.
  1097. SYWRIT       : Symbol write.
  1098. SYWRIT       : Symbol write.
  1099. SYMBOL       : Symbol.
  1100. SYMBOL       : Symbol.
  1101. SYMMFU       : Symmetric functions definition module.
  1102. SMFMI        : Symmetric modular from modular integer.
  1103. SMFMIP       : Symmetric modular from modular integral polynomial.
  1104. SDR          : System of distinct representatives.
  1105. SSYTBAL      : System symbol tree balance.
  1106. TAB          : Tabulate.
  1107. TAG          : Tag object.
  1108. TAN          : Tangens.
  1109. TFDIRP       : Term from distributive rational polynomial.
  1110. TVARS        : Term variables.
  1111. LAMBDAP      : Test if expression S is a lambda form.
  1112. SPECIALFORM  : Test if expression S is a special form.
  1113. SEXPRP       : Test if X is a S-expression function.
  1114. THIRD        : Third.
  1115. TIME         : Time.
  1116. TYPEOF       : Type of S-expression.
  1117. TYPOFTAG     : Type of tagged object.
  1118. MASLISPU     : Types, S-Expresion Types and Indicators.
  1119. UNIFY        : Unification.
  1120. UIPSIL       : Univariate integral polynomial symmetric product with exterior index list.
  1121. UIPSIV       : Univariate integral polynomial symmetric product with exterior integral vector.
  1122. UIPRS1       : Univariate integral polynomials resultant 1.
  1123. UIPRES       : Univariate integral polynomials resultant.
  1124. UREAD        : Universal read.
  1125. UREAD        : Universal read.
  1126. UREAD        : Universal read.
  1127. UWRIT1       : Universal write, 1.
  1128. UWRIT1       : Universal write, 1.
  1129. UWRIT1       : Universal write, 1.
  1130. UWRITE       : Universal write.
  1131. UWRITE       : Universal write.
  1132. UWRITE       : Universal write.
  1133. USCOMP       : Unordered set composition.
  1134. USETCT       : Unordered set containment test.
  1135. USDIFF       : Unordered set difference.
  1136. USINT        : Unordered set intersection.
  1137. USUN         : Unordered set union.
  1138. VALOFTAG     : Value of tagged object.
  1139. VLREAD       : Variable list read.
  1140. VLSRCH       : Variable list search.
  1141. VLWRIT       : Variable list write.
  1142. VREAD        : Variable read.
  1143. VCOMP        : Vector comparison.
  1144. VDELEL       : Vector delete element.
  1145. VEL          : Vector elements.
  1146. VMAX         : Vector maximum.
  1147. VMIN         : Vector maximum.
  1148. VIDIF        : Vector of integers difference.
  1149. VILCOM       : Vector of integers linear combination.
  1150. VINEG        : Vector of integers negation.
  1151. VISPR        : Vector of integers scalar product.
  1152. VISUM        : Vector of integers sum.
  1153. VIAZ         : Vector of integers, adjoin zeros.
  1154. VIERED       : Vector of integers, element reduction.
  1155. VIUT         : Vector of integers, unimodular transformation.
  1156. VIPIIP       : Vector of integral polynomials with vector of integers inner product.
  1157. VMPIP        : Vector of modular polynomial inner product.
  1158.