PATHY
发表于 2025-3-23 13:39:40
A Harder Look,This chapter introduces numerous features of REDUCE which are not as elementary as those presented in the previous chapter. Not every REDUCE user will require these additional features, which is fortunate because some of them — such as the concept of the “substitution environment” — involve logical intricacies.
Arresting
发表于 2025-3-23 16:04:52
978-0-387-96598-7Springer-Verlag New York Inc. 1987
炼油厂
发表于 2025-3-23 19:16:09
http://reply.papertrans.cn/83/8246/824522/824522_13.png
晚来的提名
发表于 2025-3-23 23:28:53
http://reply.papertrans.cn/83/8246/824522/824522_14.png
obsession
发表于 2025-3-24 05:39:13
Book 1987world-wide use by thousands of scientists, engineers, and mathematicians. Although it traces its beginnings to 1963, until recently it has only been available on main-frame computers because of its relatively large resource requirements. In 1980 I predicted (1) that by the mid-1980‘s it would be pos
生锈
发表于 2025-3-24 07:17:00
http://reply.papertrans.cn/83/8246/824522/824522_16.png
corpuscle
发表于 2025-3-24 13:07:19
Procedures,” (or “functions” or “subroutines”). REDUCE is no exception. However, REDUCE is so powerful a tool even when used in “calculator mode” (i.e. by typing in commands and examining the results obtained) that user-defined procedures play a much lesser role in it than in most other languages.
无表情
发表于 2025-3-24 18:00:37
Case Studies, pointing out unexpected complications and suggesting how to detour around them. Along the way we will also introduce a number of features of REDUCE which didn’t seem to be of sufficiently general interest to warrant a place in the earlier chapters.
ERUPT
发表于 2025-3-24 20:16:00
Running Reduce,which REDUCE resides. Included are such mundane topics as how to use files created by a text editor (or by another REDUCE run) to cut down on typing and retyping; correcting (editing) input lines, or procedure definitions, or files; setting the output line length to meet the requirements of display
Oafishness
发表于 2025-3-25 02:25:23
http://reply.papertrans.cn/83/8246/824522/824522_20.png