@@ -1,170 +1,170 @@ -Date: Fri, 5 Nov 93 16:15:43 +0100 -From: melenk@sc.ZIB-Berlin.DE (Herbert Melenk) -Subject: help milestone - -Finally I'm done with the help material. It took me much longer -as originally expected, but I think that the result justifies -the effort. Please pick up the following data sets: - -408064: /silo/herbert/redhelp/redref/helptar.Z these are the .tex files - -230217 /silo/herbert/redhelp/redref.hlp.Z the windows binary help file - -325179 /silo/herbert/redhelp/txt/txttar.Z the bare ascii documents - thanks to Rainer. - -If you want to have a look at the hypertext connections -as implemented in the windows help file: - -- uncompress under unix -- move the .hlp file to a DOS-Windows (or NT) machine -- do one of - (1) double click it with the windows file manager, - (2) (NT only) enter the command line - winhelp redref.hlp - (3) install an icon with title - REDUCE reference - and command line - winhelp \redref.hlp - where is the path, - and then double click the yellow question mark. - -Mode (3) allows one to have the book as on line document available -independent of a reduce session. That is how Microsoft deliver deliver -their system documentation. - -Please have also a look at the index which I have built -partially automatically, partially by inserting lots of -\index statements. E.g. - push the Search button - and then enter - polynomial (or any other central item) - as search item. - -================================================================ - -When working on the material I first had started to keep track -of any modification, but I gave that up rather soon. - -I have modified several formats - latex accepts the object still, -bit I didn't look at the dvi output. 330 is too much for printing -anyway. - -General remarks regarding the information: - -In some places I have modified the REDUCE kernel material substantially. -I am sure that you will find better words for these points - I am happy -with *any* improvement. I ran spell on the data sets, but that does not -find bad grammar or wrong words. - -Substantial points are: - - SOLVE+its sub-operators and switches - ARBINT ARBCOMPLEX ROOT_OF ONE_OF EXPAND_CASES - FULLROOTS FULLPREC - - RULE (new type) - - LET, WHEN, WHERE - - EQUATION - - BLOCK - - TRUE - -====================================================== -some details: ---------------------------------------------------------- - -numeric.tex - -I don't like the heading of this chapter, as most of the -operators described here are more general than just -numeric. How about "Arithmetic Operators?" - ---------------------------------------------------------- -REMAINDER: - -remainder(sin(2*x),x*y); & SIN(2*X) -\end{Examples} - -\begin{Comments} -If the first argument to \name{remainder} is not a polynomial, an error -occurs. - -> Here the example and the comment contradict each other -> sin(2*x) is *not* a polynomial ->>>> not repaired (I have no idea what to write here) - --------------------------------------------------------- - -boolean.tex - - -I have introduced a node which explains the meaning -of "true". This also could be a member of a "glossary". - -The description of NOT - -\meta{logical expression} must evaluate to {\it true} or {\it nil}. - -is too restrictive. I have deleted this line. - ----------------------------------------------------------- - -command.tex - -not very important, but is WS a command? I would prefer -an operator because its main purpose is to deliver a value. - ----------------------------------------------------------- - -algebra.tex - -RESULTANT: please have a look at the TEX-parts: I think that -the 2nd polynomial should have a different degree (namely m -as in the INFO parts). - -SOLVE: You sell SOLVE below its facilities. According to the -original description the following examples would fail: - -8: solve({x+y=1,x+2y=2,2x+3y=3},{x,y}); - -{{x=0,y=1}} - -9: solve({x+y+z=1,x-y-z=1},{x,y,z}); - -{{x=1,y= - arbcomplex(4),z=arbcomplex(4)}} - -Fortunately they don't! I have commented these restrictions -in the description. - --------------------------------------------------------- - -switch.tex - -RATIONAL: - -The \nameref{factorize} command does not accept -polynomials with rational coefficients. - -> this is not true! I have commented this lines. - -SOLVESINGULAR: - -This switch seems to have no effect at all. At least the -example doesn't work. Is that a bug in solve or should -we remove this switch?? - -============================================================= - -matrix.tex - -Cofactor had a completely different syntax style - -============================================================= - -library.tex : upgraded from the current manual - -======== EOF =============================================== +Date: Fri, 5 Nov 93 16:15:43 +0100 +From: melenk@sc.ZIB-Berlin.DE (Herbert Melenk) +Subject: help milestone + +Finally I'm done with the help material. It took me much longer +as originally expected, but I think that the result justifies +the effort. Please pick up the following data sets: + +408064: /silo/herbert/redhelp/redref/helptar.Z these are the .tex files + +230217 /silo/herbert/redhelp/redref.hlp.Z the windows binary help file + +325179 /silo/herbert/redhelp/txt/txttar.Z the bare ascii documents + thanks to Rainer. + +If you want to have a look at the hypertext connections +as implemented in the windows help file: + +- uncompress under unix +- move the .hlp file to a DOS-Windows (or NT) machine +- do one of + (1) double click it with the windows file manager, + (2) (NT only) enter the command line + winhelp redref.hlp + (3) install an icon with title + REDUCE reference + and command line + winhelp \redref.hlp + where is the path, + and then double click the yellow question mark. + +Mode (3) allows one to have the book as on line document available +independent of a reduce session. That is how Microsoft deliver deliver +their system documentation. + +Please have also a look at the index which I have built +partially automatically, partially by inserting lots of +\index statements. E.g. + push the Search button + and then enter + polynomial (or any other central item) + as search item. + +================================================================ + +When working on the material I first had started to keep track +of any modification, but I gave that up rather soon. + +I have modified several formats - latex accepts the object still, +bit I didn't look at the dvi output. 330 is too much for printing +anyway. + +General remarks regarding the information: + +In some places I have modified the REDUCE kernel material substantially. +I am sure that you will find better words for these points - I am happy +with *any* improvement. I ran spell on the data sets, but that does not +find bad grammar or wrong words. + +Substantial points are: + + SOLVE+its sub-operators and switches + ARBINT ARBCOMPLEX ROOT_OF ONE_OF EXPAND_CASES + FULLROOTS FULLPREC + + RULE (new type) + + LET, WHEN, WHERE + + EQUATION + + BLOCK + + TRUE + +====================================================== +some details: +--------------------------------------------------------- + +numeric.tex + +I don't like the heading of this chapter, as most of the +operators described here are more general than just +numeric. How about "Arithmetic Operators?" + +--------------------------------------------------------- +REMAINDER: + +remainder(sin(2*x),x*y); & SIN(2*X) +\end{Examples} + +\begin{Comments} +If the first argument to \name{remainder} is not a polynomial, an error +occurs. + +> Here the example and the comment contradict each other +> sin(2*x) is *not* a polynomial +>>>> not repaired (I have no idea what to write here) + +-------------------------------------------------------- + +boolean.tex + + +I have introduced a node which explains the meaning +of "true". This also could be a member of a "glossary". + +The description of NOT + +\meta{logical expression} must evaluate to {\it true} or {\it nil}. + +is too restrictive. I have deleted this line. + +---------------------------------------------------------- + +command.tex + +not very important, but is WS a command? I would prefer +an operator because its main purpose is to deliver a value. + +---------------------------------------------------------- + +algebra.tex + +RESULTANT: please have a look at the TEX-parts: I think that +the 2nd polynomial should have a different degree (namely m +as in the INFO parts). + +SOLVE: You sell SOLVE below its facilities. According to the +original description the following examples would fail: + +8: solve({x+y=1,x+2y=2,2x+3y=3},{x,y}); + +{{x=0,y=1}} + +9: solve({x+y+z=1,x-y-z=1},{x,y,z}); + +{{x=1,y= - arbcomplex(4),z=arbcomplex(4)}} + +Fortunately they don't! I have commented these restrictions +in the description. + +-------------------------------------------------------- + +switch.tex + +RATIONAL: + +The \nameref{factorize} command does not accept +polynomials with rational coefficients. + +> this is not true! I have commented this lines. + +SOLVESINGULAR: + +This switch seems to have no effect at all. At least the +example doesn't work. Is that a bug in solve or should +we remove this switch?? + +============================================================= + +matrix.tex + +Cofactor had a completely different syntax style + +============================================================= + +library.tex : upgraded from the current manual + +======== EOF ===============================================