Artifact 109219bb257e69771000802b822b6b8ba28f6330021313ce5f59a77f9d7a06e6:
- File
r34/lib/assist.doc
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 28337) [annotate] [blame] [check-ins using] [more...]
****** ASSIST ****** A file of additional functions to REDUCE which raise the programming power of the user in a broad range of applications. Author : H. Caprasse . Date : 15/06/1991 ------ ---- Address : Physics Institute, B5 , Sart-Tilman, B4000 Liege, Belgium. -------- Electronic Mail : <u21400L@bliulg11.bitnet> or <u214001@vm1.ulg.ac.be> --------------- ASSIST arose from the use of REDUCE in many different applications. It contains functions which are often needed. Many of them give assistance to the user allowing him to produce a more straightforward and a more efficient code for its own applications. Others give him more control on the environment. Some of them allows him to introduce PROPERTIES and FLAGS within the algebraic mode. ___________________________________ _________________ NEW FUNCTIONS AVAILABLE ----------------------- Control of SWITCHES : -------------------- SWITCHES SWITCHOFF SWITCHORG Operations on "lists" AND "bags" : ------------------------------- MKLIST DELETE BAGPROP PUTBAG CLEARBAG BAGP BAGLISTP ALISTP ABAGLISTP LISTBAG FIRST SECOND THIRD REST REVERSE LAST BELAST APPEND CONS LENGTH REMOVE DELETE MEMBER ELMULT PAIR DEPTH INSERT POSITION ASFLIST ASSLIST RESTASLIST SUBSTITUTE REPFIRST REPLAST Operations on SETS : ------------------ MKSET UNION SETP SETDIFF SYMDIFF General purpose functions : ------------------------- MKIDN == INF2 SUP2 MINLIST MAXLIST ODDP EVENP FOLLOWLINE DETIDNUM RANDOMLIST FACT COMBNUM PERMUTATION COMBINATIONS FUNCVAR IMPLICIT DEPATOM EXPLICIT "Properties" and "flags": ----------------------- PUTFLAG PUTPROP DISPLAYPROP DISPLAYFLAG CLEARFLAG CLEARPROP Control statement and control of the environment : NORDP DEPVARP ALATOMP ALKERNP PRECP KORDERLIST REMSYM SHOW SUPPRESS CLEAROP CLEARFUNCTIONS Handling of polynomials : ----------------------- DISTRIBUTE LEADTERM REDEXPR MONOM LOWESTDEG DIVPOL Handling of TRIGONOMETRIC functions : ----------------------------------- TRIGEXPAND HYPEXPAND TRIGREDUCE HYPREDUCE Handling of log's : ----------------- LOGPLUS CONCSUMLOG Handling of n-vectors : SUMVECT MINVECT SCALVECT CROSSVECT MPVECT Handling of matrices : MKIDM BAGLMAT COERCEMAT UNITMAT SUBMAT MATSUBR MATSUBC RMATEXTR RMATEXTC HCONCMAT VCONCMAT TPMAT HERMAT SETELTMAT GETELTMAT _____________________ ===== We describe successively these different facilities. CONTROL OF SWITCHES -------------------- Not all switches are included. The ones we have chosen are EXP, DIV, MCD, GCD, ALLFAC, INTSTR, RAT ,RATIONAL,FACTOR and the new switch DISTRIBUTE. The selection is somewhat arbitrary but it may be changed in a trivial fashion by the user. The control symbolic variables !*EXP, !*DIV, etc.. which have either the value T or the value NIL are available on the level of the algebraic mode so it becomes possible to write conditional statements of the kind IF !*EXP THEN DO ...... IF !*GCD THEN OFF GCD; Three functions are also available: SWITCHES; SWITCHOFF; SWITCHORG; SWITCHES; gives the ACTUAL STATUS of ALL (selected)switches, SWITCHOFF; puts ALL of them in the OFF status, SWITCHORG; puts them in the status they have when ENTERING the system (ORiGinal status). The new switch DISTRIBUTE controls the working of some polynomial func- tions which are described below. It allows to put polynomial in a distri- buted form. MANIPULATION OF THE "LIST" STRUCTURE ____________________________________ Some additional functions for list manipulations are provided. i) automatic generation of a LIST : MKLIST n ; n is an INTEGER returns a list of 0 of length n MKLIST(U,n); U is LIST-like, n is an INTEGER returns U if n is LESS than the length of U; otherwise returns a list of length n with the first length U elements equal to the elements of U. and with the n-length U elements equal to 0. ii) direct manipulation of a LIST (apart from FIRST,REST,REVERSE): *** U is a LIST-like quantity. LAST U ; BELAST U ; DEPTH U ; LAST gives the last element of U BELAST gives the list U without the last element, DEPTH returns an INTEGER equal to the number of levels where a list is found if and only if this number is the SAME for each element of U otherwise a message telling the user that U is of UNEQUAL depth is returned. POSITION(x,U); x is anything. returns the POSITION of the first occurrence of x in U or a message if x is not present in U. DELETE(x,U); x is anything. DELETE returns U after the FIRST occurrence of x in U has been deleted. REMOVE(U,n); n is an INTEGER. REMOVE returns a list which is U without the nth. element. If one wants to EXTRACT the nth. element of U instead of using PART one may write U.n; MEMBER(x,U); x is anything. MEMBER returns a non-empty list if x belongs to U and nothing if it this is not the case. It is a BOOLEAN function so one may write IF MEMBER(x,U) then ...... ELMULT(x,U); x is anything. ELMULT return an INTEGER which is the MULTIPLICITY of x inside U. REPFIRST(x,U); REPREST(x,U); x is anything. REPFIRST replaces the first element of U by x and returns the new list. REPREST replaces the rest of U by x and returns the list list(first U,x). INSERT(x,U,n); x is anything, n is an integer. INSERTs x in U at the position n and returns the resulting list. SUBSTITUTE(new,old,U); where "new" is the OBJECT to substitute to the object "old" in U at ALL levels. This function is more elementary than the functions "SUB". It is more efficient but works properly only for atomic "new" and old objects. iii) manipulations of two lists: *** U and V are LIST-like. APPEND(U,V); U.V; APPEND returns a list which is the union of the two lists U and V. . returns a list whose first element is the list U and the other elements are the elements of V. PAIR(U,V); PAIR returns a list whose elements are LISTS of TWO ELEMENTS. The nth sublist contains the nth element of U and the nth. element of V. These types of lists are called ASSOCIATION LISTS or ALISTS in the fol- lowing. To test for these type of lists a BOOLEAN function is available ABAGLISTP U; Can ONLY be used in a conditional statement like IF ABAGLISTP U THEN ..... ( this "bizarre" name because it also works for BAGS; see below). iv) functions which apply to ALISTS: *** x is anything, U is an ALIST. ASFIRST(x,U); returns the sublist of U whose FIRST element is x. ASSECOND(x,U); returns the sublist of U whose SECOND element is x. ASLAST(x,U); returns the sublist of U whose LAST element is x. ASREST(V,U); here V is a LIST. returns the sublist of U whose REST is V. In addition to these different functions always gives as output the FIRST occurrence of the appropriate element. There are functions which either return a LIST of elements of U. We describe them now. U is still an ALIST. ASFLIST(x,U); returns ALL the listb-elements of U whose first element are the KEY x. So the returned object is a list of lists. ASSLIST(x,U); acts in the same way as the previous one except that the KEY x is the second element of the list-elements of U. RESTASLIST(V,U); V is a LIST of KEYS. returns a list of the RESTs of the sublists of U associated to each KEY present in V. THE "BAG" TYPE AND ITS ASSOCIATED FUNCTIONS ___________________________________________ In REDUCE 3.4, the LIST structure has a mapping property associated to it. Such a property is not always desirable. It is so, for instance, whenever one needs to define a function which depend on an INDETERMINATE number of variables. Sometimes one would alse like to manipulate functions or operators arguments in the same way one manipulates the elements of a list. The BAG structure allows to do such thinks. The definition: It is a "FLAG" which can be superimposed to the properties of most objects. The objects keep their own properties but to these are superimposed properties which make them VERY SIMILAR to lists. When an object has the flag "BAG" all func-tions defined for lists (or for sets) become ACTIVE. A detailed description is given in the article by H. Caprasse and M. Hans in SIGSAM Bulletin Vol. 19 46-52 (1985). Here we try to make the use of this notion clear from the des- cription of the action of the various available functions. PUTBAG id1,id2,....idn; where id1,.....idn are identifiers. This functions allows one to give to id1,...,idn the BAG properties. id1,.. ,idn are only restricted NOT to be - the name LIST, - the name of a BOOLEAN function. id1,....,idn may be the - the name of an OPERATOR prefix, - the name of an ordinary function. WHEN AND ONLY WHEN the identifier is not an already defined function does PUTBAG puts on it the property of an OPERATOR PREFIX. CLEARBAG id1,...idn; eliminates the BAG properties on id1,...,idn. When an identifier has got the bag property ALL FUNCTIONS previously defined for LISTS (and also subsequently defined for SETS) become ACTIVE. Their actions are the same as for list-like objects except for the following important difference: The NAME of the IDENTIFIER is KEPT by the functions FIRST and LAST. When "appending" two bags the resulting bag gets the name of the FIRST argument. So a bag-like identifier can always be considered as the "envelope" of its arguments. The possibility to manipulate the list of arguments as if it were a LIST increases the programming capabilities and efficiency in the ALGEBRAIC MODE. The TEST FILE gives several illustrations of the actions of the various func-tions on bags. Here we stress two cases where it is particularly convenient: An operator function is defined as OP(x):=x**2; OP(x,y):=x*sin(y); The command PUTBAG OP; will allow us to encompass the different definitions trivially. For example AA:=FIRST OP(X,Y,Z); ==> AA:=OP(X) and AA:=AA; ==> AA:=X**2 AA:=REST OP(X,X,Y); ==> AA:=OP(X,Y) and AA:=AA; ==> AA:=X*SIN Y One can wonder why we did not manage to do the two steps together. This is so because in most applications we encountered the evaluation is not to be done IMMEDIATELY. Moreover we want to keep the basic functions very efficient since they are usually applied repeatedly a great number of times. Last but not least, it is not difficult, if necessary, to con- struct a procedure which does so. The second case is when one wants to construct a PROCEDURE with an (a priori) INDETERMINATE number of variables. Then the use of a prefix with the "BAG" flag to capture all variables will allow to do so easily. The package provides a "standard" name for it which is BAG but ANY OTHER NAME can be used after it has been declared a "bag" through PUTBAG. For instance one may write PROCEDURE TRIAL U ; FOR I:=1:SIZE U DO WRITE U.i; When U is BAG(v1,v2,....,vn), SIZE U automatically determines the ACTUAL number of variables (SIZE is another name for LENGTH which is more appropriate when applied to a bag-like object). Of course several arguments are allowed one or several of them can be "bags". The example above could be treated also with U being LIST-LIKE, however there are two differences: - a bag can be treated as an ordinary KERNEL so that all ALGEBRAIC operations and simplifications do apply to it. - if the prefix is the one of an already defined function it keeps these properties or can also be given other properties (one may declare BAG to be a SYMMETRIC function for instance). ADDITIONAL FUNCTIONS -------------------- There are several simple functions devoted to the bag manipulations . BAGP x ; BAGLISTP x ; x is anything. They are boolean functions. As such they can only be used in conditional statements. BAGP detects if x is a bag or not . BAGLISTP detects if x is a list or a bag. BAGLIST U ; U is a bag. BAGLIST transforms a BAG into a LIST. This is convenient when the name of the prefix does not matter or if one wants to HIDE temporarily its properties. LISTBAG(U,nb); U is a list, nb is an identifier. LISTBAG transforms a LIST into a BAG whose envelope has the NAME nb. SIZE U ; U is a bag (or a list). As said above it is another name for length givem to indicate that it gives the total number of objects INSIDE the envelope. REMARK: The functions BAGLIST and LISTBAG allow easily to mix list-like and ------ bag-like objects in a given expression. All functions do recognize the differences except that functions which work on association-list or -bag cannot work on MIXED objects. This restriction can be elimina- ted but we have had no motivation to do so. SETS AND BASIC MANIPULATION FUNCTIONS ------------------------------------- These functions apply BOTH to list-like and bag-like objects. MKSET U ; SETP U ; U is a bag or list. MKSET returns a bag or list with each element appearing only ONCE. SETP is a boolean function which recognizes set-like objects. UNION(U,V); INTERSECT(U,V); DIFFSET(U,V); SYMDIFF(U,V); U and V are set-like. All these functions return a SET. The names are self-explanatory. GENERAL PURPOSE FUNCTIONS ------------------------- The list of these functions were already given. They depend either of one or two arguments. We describe some of them only. INFLIST U ; SUPLIST U ; U is a bag or list containing numbers ONLY. return the element which is the minimum or maximum. FACT provides an efficient version of the factorial. If its argument is not a number, it behaves as an operator so that one can easily connect it to the GAMMA function when needed. COMBINUM gives the number of combinations of P objects taken among N objects. PERMUTATIONS U ; U is a bag returns a bag of bags each containing one permutation of the original bag. COMBINATIONS (U,n) ; U is a bag ,n is an integer. returns a bag of bags each containing one combination of the original bag FUNCVAR x ; x is any expression . returns the *set* identifiers which are NOT prefix identifiers. The set does NOT contain reserved or constant identifiers. DEPATOM x ; x is an ATOMIC expression. returns a list of identifiers if x has previously been declared to DEPEND on these otherwise returns an empty list. EXPLICIT x ; IMPLICIT x ; These two functions allow one to change smoothly the representation of OPERATORS and FUNCTIONS going from an EXPLICIT to an IMPLICIT representations of these objects. By EXPLICIT representation we mean one in which VARIABLES mus be EXPLICITLY written as in OP(X,Y,F(G)); By IMPLICIT representation we mean one in which VARIABLES dependences are "HIDDEN" as one obtains through the DEPEND command. So the IMPLICIT representation of the object above is OP ; TOGETHER with the command DEPEND OP,X,Y,F(G); One could equivalently call them the CONCRETE and ABSTRACT representations. It is often much better in a calculation to manipulate the abstract represen- tation but then we need functions allowing us to switch easily to the concrete one and vice versa. The function IMPLICIT returns its argument if it is an ATOM and returns the ABSTRACT (or "implicit") representation of its argument if this argument is an OPERATOR (or a FUNCTION). So IMPLICIT OP(X,Y,F(G)); ==> OP IMPLICIT A ; ==> A. The function EXPLICIT must have an argument x which is ALWAYS an ATOM. If this atom is the abstract representation of an OPERATOR (or a FUNCTION) it returns its CONCRETE (or "explicit") representation. So EXPLICIT OP ; ==> OP(X,Y,F(G)) DETIDXNUM x ; where x is any IDENTIFIER This function allows to identify a given variable in a set like A1,A2,....A23,... extracting the number appended to its name. It returns nothing if a variable name terminates by a letter but any integer may be included in the name. For instance DETIDXNUM a1bb23c122 ; ==> 122 The function SET of REDUCE 3.4 is generalized ans slightly modified to make it work not only for atomic quantities but also for KERNELS. We have not redefined the function SET but we have created the INFIX function " == " . Suppose one makes the assignment A:=OP(X); then writing A == SIN(X); will assign OP(X) to SIN(X). "PROPERTIES" AND "FLAGS": ----------------------- One of the important drawbacks of the algebraic mode is the fact that the user has not the possibility to ENDOW objects of flags and properties. The subse- quent functions allow one to do that. If one wants to give a flag or a property to one or a list of IDENTIFIERS one must issue PUTFLAG(idp,<flagname>,T); or PUTFLAG(LIST(idp1,idp2,..),<flagname>,T); PUTPROP(idp,<propname>,<value>,T); or PUTPROP(LIST(idp1,idp2,..),<propname>,<value>,T); The SAME commands must be issued if one wants to ERASE them EXCEPT that T must be replaced by 0. If one wants to DISPLAY the FLAGS or (and) the PROPERTIES of a given IDENTIFIER one must issue the commands DISPLAYFLAG(idp); or (and) DISPLAYPROP(idp,<propname>); We point out that the "DISPLAY" functions do not give access to the property list generated at the level of the source code but ONLY to the properties generated by the PUT(FLAG or PROP) commands i.e. to the properties or flags CREATED BY THE USER. Two additional functions for CLEARING are provided. They are CLEARFLAG A1,A2,...An ; CLEARPROP A1,A2,...An ; where A1..,An are identifiers. They eliminate ALL flags or properties of these. Moreover if one chooses ALL as the UNIQUE argument ALL flags or properties of ALL identifiers are ELIMINATED. CONTROL FUNCTIONS ----------------- Here we describe a certain number of functions which will help the user to CONTROL and BETTER understand the REDUCE environment. A collection of BOOLEAN functions are available. They are ALATOMP x; x is anything. ALKERNP x; x is anything. PRECP(x,y); x,y are ATOMS or printcharacters. DEPVARP(x,V); x is anything, V is an ATOM or a KERNEL. ALATOMP has the value T iff x is an integer or an identifier AFTER it has been evaluated. ALKERNP has the value T iff x is a KERNEL AFTER it has been evaluated. PRECP determines whether the OPERATION x has PRECEDENCE over the OPERATION y. Returns T iff it is the case. DEPVARP returns T iff the expression x depends on V at ANY LEVEL. These functions are ALSO ALGEBRAIC functions. This is very convenient to guide beginners and in particular to make them understand what a KERNEL is. In addition the function STRINGP x ; which determines if x is a string is also available in conditional statements. The next functions allow one to analyze and to CLEAN the environment of REDUCE which is created by the user while he is working INTERACTIVELY. They REMIND the user of the names of identifiers they have introduced IN THE CONSOLE for different purposes and to make PARTIAL CLEARING of them according to their TYPES. There are TWO commands to remember: SHOW and SUPPRESS. They have different arguments which are associated to the different types. So one can do the following commands to DISPLAY the different used-ids: SHOW SCALARS; SHOW LISTS; SHOW SAVEIDS; (for SAVED expressions) SHOW MATRICES; SHOW ARRAYS; SHOW VECTORS; (contains vector, index and tvector) SHOW FORMS; SUPPRESS can be called with the same arguments but also with ALL to clear the different categories or to clear EVERYTHING. It must be stressed these functions IGNORE all variables which are not DIRECTLY introduced or manipulated ON THE CONSOLE. For instance variables which are used ONLY in an INPUT FILE. The CLEAR function of the system does not do a complete cleaning of OPERATORS and FUNCTIONS. The following two functions do a more complete cleaning which also takes automatically into account the USER flag and properties that the new functions PUTFLAG and PUTPROP may have introduced. CLEAROP x; x is an OPERATOR do a COMPLETE cleaning of the x property list. CLEARFUNCTIONS A1,A2,...An ; do the same with ALL functions with names A1,A2...An. These are still in an EXPERIMENTAL STAGE . The user should be careful when he uses them since they only avoid to ERASE the PROTECTED functions and most of the functions in the basic code are NOT protected. HANDLING OF POLYNOMIALS : ----------------------- The LOG file gives all necessary explanations here. Two comments are to be made: a. MONOM is very useful since it places automatically of all monoms of a multivariate polynomial in a list. From the result each monom can be manipulated SEPARATELY. Moreover, if one wishes, it becomes trivial to place them in an ARRAY or to put then as elements of a MATRIX. b. LEADTERM and REDEXPR works either on the recursive or on the distributive forms of a polynomial. They give a mean to control simplifications and the swelling of intermediate expressions. The choice of the recursive- or distributive-way of working is made by the user through the command OFF (ON) DISTRIBUTE; HANDLING OF TRIGONOMETRIC FUNCTIONS : ----------------------------------- The LOG file is here self-explanatory. The use of TRIG(HYP)REDUCE followed by the use of TRIG(HYP)EXPAND makes the necessary simplifica- tions for the sum-squared of the trig(hyp)-functions. In these two cases they make the work of the COMPACT. It is not guaranteed however that the resulting expression will be the most compact one. HANDLING OF LOG'S : ----------------- LOGPLUS is put for convenience of the user. CONCSUMLOG do the reverse job for any rational expression. Both of them restore the environment in the status it had before their action. BASIC OPERATIONS ON N-DIMENSIONAL (explicit) VECTORS _____________________________________________________ Vectors in EUCLIDEAN space may be represented by list-like or bag-like objects. The components may be "bags" but may NOT be "lists". This is so because one has only defined operations between vectors and NOT between tensors so that the operations at level 1 are ORDINARY algebraic operations. As already said list-like objects may NOT be treated as ordinary kernels while bag-like objects do for the basic operations. Of course one can be much more ambitious and we have indeed been. But in this UTILITY package which must remain of rather small size and UNSPECIALIZED so we confine to the ELEMENTARY cases. We have, with U1,U2 being two BAGS or LISTS with n elements SUMVECT(U1,U2); for the sum of U1 and U2, MINVECT(U1,U2); for the difference of U1 and U2, SCALVECT(U1,U2);for the scalar product. LIMITED to 3-dimensional vectors we have CROSSVECT(U1,U2); for the cross product, MPVECT(U1,U2); for the mixed product. ADDITIONAL FUNCTIONS FOR MATRIX MANIPULATIONS --------------------------------------------- MKIDM(U,J); J is an ATOM. This functions works like MKID except that its argument U is a MATRIX. It is also REQUIRED that Uj be a MATRIX. It allows one to make loops. For instance if U,U1,U2,..U5 are matrices one may write FOR I:=1:5 DO U:=U-MKIDM(U,I); The next functions are COERCION functions i.e. they MAP matrices on BAG-LIKE or LIST-LIKE objects and conversely they generate MATRICES from "bags" or "lists". If U is a MATRIX and id is any identifier COERCEMAT(U,id); COERCEMAT transforms U into a list of lists IFF id is equal to LIST otherwise it transforms it into a bag of bags whose ENVELOPE has the NAME id. If UN is a MATRIX-NAME and bgl is either a bag or a list of DEPTH two the function BAGLMAT(bgl,UN); transforms bgl into a matrix whose name is UN. The transformation is NOT done if UN is ALREADY the name of a previously defined matrix. This is to avoid ACCIDENTAL redefinition of this matrix. Often one needs to construct a UNIT matrix of some dimension. This construction is done by the system thanks to the function UNITMAT M1(n1), M2(n2), .....Mi(ni) ; where M1,...Mi are names of matrices and n1,n2,....ni are INTEGERS representing space dimensions. Submatrices are obtained using the function SUBMAT(U,nr,nc); where nr,nc are the row and column numbers respectively. It gives the submatrix obtained from U deleting the row nr and the column nc. When nr or nc are equal to zero only column nc or row nr is deleted. Two functions allow one to EXTRACT a row or a column. They are MATEXTR(U,VN,nr); MATEXTC(U,VN,nc); U is the matrix, VN is the "VECTOR NAME", nr and nc are integers. If VN is equal to LIST the vector is given as a list otherwise it is given as a BAG. Rows and columns may be SUBSTITUTED using MATSUBR(U,bgl,nr); MATSUBC(U,bgl,nc); The meaning of the variables U,nr,nc is the same as above while bgl is a LIST or a BAG. Of course the LENGTH (or the SIZE) of bgl should be compatible with the dimensions of U. Concatenation of two matrices can be made with HCONCMAT(U,V); VCONCMAT(U,V); the first function concatenates horizontally, the second one concatenates vertically. The tensor product between two matrices is madse by TPMAT(U,V); or U TPMAT V; The hermitian matrix corresponding ti an already defined matrix is created automatically by HERMAT(U,hu); hu becomes the hermitian matrix of U. hu SHOULD be a FREE identifier for HERMAT to work successfully. This is done on purpose to prevent accidental redefinition of an already used used identifier . SETELMAT allows to reset the element (i,j) of a given matrix while GETELTMAT allows to extract the element (i,j). They are useful only when used INSIDE a procedure.