home *** CD-ROM | disk | FTP | other *** search
- Program LIE for Lie analysis of differential equations on IBM type PCs
- ------------------------------------------------------------------------
-
- by
- A. K. Head
- CSIRO Division of Materials Science and Technology
- Melbourne Australia
-
- Postal: Locked Bag 33, Clayton, Vic 3168, Australia
- Phone: (03) 542 2861
- Telex: AA 32945
- Fax: (03) 544 1128
- E-mail: HEAD@RIVETT.MST.CSIRO.AU
-
- Equipment
- ---------
- Any IBM type PC with at least 256k of free memory.
- Any version of DOS.
- An attached printer is very useful.
-
- Contents of disk
- ----------------
- README.1ST This file.
-
- MULIE.EXE The operating program.
-
- LIE.DOC Read this for instructions.
-
- MORELIE.DOC More information for those interested.
-
- .DAT files Examples of differential equations you can run.
- Read these to see how to write YOUR differential
- equations and for the comments therein.
-
- LIE.LIE Source code of LIE.
-
- PRN2FILE To aid in saving a LIE session on file.
-
- Update
- ------
- Version 3.1
- (1) LIE is wrtten in MUMATH, the symbolic mathematics language for
- IBM type PCs. Previous versions have required you to have the MUMATH
- system. By generous permission of Soft Warehouse Inc, authors and
- owners of MUMATH, this is no longer necessary. A limited version of
- MUMATH is combined with LIE to give MULIE.EXE which is a complete
- stand-alone operating program. Portions of the software are
- copyrighted by Soft Warehouse Inc, 3616 Harding Av., Suite 505,
- Honolulu, Hawaii 96816 USA, and are used by permission on a gratis,
- as-is basis with no liability or support.
-
- (2) With the cumulative improvements to the heuristics of program
- LIE, including a new Op that adds integrability conditions to the
- defining equations, there is now little need for the user to intervene
- ( by low level MUMATH operations ) in the solution process. A lot of
- the previous documentation was to aid in this intervention and this
- has now been much reduced. The MUMATH manual is really what you would
- need.
-
- Version 3.2
- A multinomial GCD package has been added. This aids in reducing the
- size of expressions by detecting and dividing out inessential factors.
- Larger problems can now be run without exhausting memory.
- If your DE contains symbolic functions or constants then there may
- be special values of these that lead to different Lie symmetries. This
- may occur in two ways, that a factor which is divided out may be zero
- in special cases, or, when splitting a "polynomial", that functions
- taken as linearly independent may not be so in special cases.
- Selective information on these possibilities can be shown by ( say )
- SHOW#:LIST(A,B,K) where the list contains the names of functions and
- constants of interest. ( This is turned off by SHOW#:FALSE, the
- default value). See SPECIALC.DAT and the non-linear heat equation
- HEATNL.DAT.
- IMPORTANT: All derivatives of a symbolic function in the DE must
- be written as explicit derivatives with respect to the argument of the
- function else LIE will misfunction. See HEATNL.DAT.
-
- Version 3.3
- Extensions to factorization and to information shown by SHOW#.
-
- Version 3.4
- Addition of a facility so that, at the end of an analysis, the results
- can be written to a diskfile. Invoking RESULTS(filename,extension)
- writes to that file the three arrays A#,V# ( which contains the vectors )
- and NZC# ( which contains the non-zero commutators ). If any of these
- was not calculated then this will be indicated by the value FALSE.
- If the named file does not exist then it is created. If it does exist
- then the results are appended to the end of the file, thus the results
- could be appended to the input data file.
- Changes to heuristics of DOSOLV to reduce the possibility of looping
- and other improvements to factorization.
- The screen display of the amount of free workspace after each Garbage
- Collection, as described at the start of MORELIE.DOC, can now be turned
- on and off by GCON() and GCOFF(). The initial default is OFF.
- LIOUVIL.DAT and PESKY.DAT are examples of differential equations
- that LIE cannot fully solve by itself but requires your help.
- A paper on program LIE has been submitted to " Computer Physics
- Communications ".
-
- Version 4.1
- OP2 and OP9 of DOSOLV have been rewritten and OP1,OP3 and OP10 have
- been deleted as now being essentially duplicated by other OPs. The
- remaining 8 operations have been renumbered OP1-OP8 and the description
- in MORELIE.DOC changed accordingly. This cuts down program size with a
- corresponding increase in workspace.
-
- Included on disk is the public-domain program PRN2FILE. This is
- referred to in MORELIE.DOC as a means of getting a file copy of all of
- a MULIE session. Starting in DOS, it can be used as follows:
-
- PRN2FILE filename "Divert printer output to file
- CTRL-P "Send copy of screen output to printer,
- i.e. to file
- MULIE
- Use MULIE
- Exit MULIE by CTRL-C or SYSTEM()
-
- CTRL-P "Stop copying screen output to printer
- PRN2FILE "Close file and reconnect printer
-
- This sequence will work whether or not there is an actual printer
- connected to the PC.
-
- LIE output is, by default, 79 characters per line. This can be
- altered by changing the value of the variable LINELENGTH from 79.
-
- A feature of LIE is that the solver for systems of linear homogeneous
- differential equations is general and works for equations that were not
- necessarily obtained from point symmetry analysis or not even from any
- type of symmetry analysis. If a data file is made up in the form:
-
- A#:
- { ........ ,
- ........ ,
- Set of linear homogeneous overdetermined PDEs
- in the format as generated by DOLIE
- ........ ,
- ........ } $
- NIND#: ... $
- NDEP#: ... $
- DOATA() $
- RDS()$
-
- then after reading this in by RDS, all the facilities of DOSOLV,
- DOCHECK, DOVEC, DONZC and RESULTS are available for solving this set of
- PDEs. The function DOATA in the data file does initialisations that
- would normally have been done by DOLIE.
-
-
-