Date: 14 January 1983 06:05-EST From: Richard Pavelle
Subject: GR10 To: INFO-TENSOR @ MIT-MC Many of you on this list do not work in relativity but if some of your colleagues have used MACSYMA for relativity applications please forward the following to them: Lars Hornfeldt and his colleagues at Stockholm would like to get together a list of papers for the 10th International Conference on General Relativity and Gravitation this July in Padova. The papers are to be those which have used MACSYMA for General Relativity and I am trying to collect them for Hornfeldt. If you have published any, or if you have any in preprint form, send them or the references to me. Thanks. Date: 20 November 1982 16:44-EST From: Richard Pavelle
Subject: RATRIEMAN To: INFO-TENSOR at MIT-MC At ASB's suggestion, for consistency, I have changed RATRIEMAN to RATRIEMANN in CTENSR. Date: 2 July 1982 13:58-EDT From: Richard Pavelle
To: INFO-TENSOR at MIT-MC cc: RP at MIT-MC I have revised the tensor manual, TM-167 (June 1980), to reflect some changes and additions to the CTENSR and ITENSR packages. If you wish to receive a copy let me know. Date: 11 March 1982 16:37-EST From: Richard Pavelle
Subject: change to ITENSR To: INFO-TENSOR at MIT-MC The RIEMANN function in ITENSR, which represents the standard Riemann 4 index curvature tensor, has been renamed to CURVATURE to stop the conflict with the RIEMANN function in CTENSR. Date: 9 March 1982 14:38-EST From: Richard Pavelle
Subject: TRANSFORM in CTENSR To: INFO-TENSOR at MIT-MC cc: JPG at MIT-MC, ELLEN at MIT-MC, RJF at MIT-MC, RP at MIT-MC, ELL at MIT-MC The TRANSFORM function in CTENSR has been renamed to TTRANSFORM. Date: 1 March 1982 08:38-EST From: Richard Pavelle
To: INFO-TENSOR at MIT-MC ITENSR is now fixed. Thanks JPG. Date: 19 February 1982 07:26-EST From: Richard Pavelle
To: INFO-TENSOR at MIT-MC Do not use ITENSR until further notice. It is broken! Date: 14 January 1982 16:03-EST From: Anthony D. Kennedy
Subject: Dirac Algebra. To: HEP at MIT-MC, INFO-TENSOR at MIT-MC, WEC at MIT-MC, MACSYM at MIT-MC I am considering implementing a new Dirac gamma-matrix algorithm in Macsyma. The algorithm is much faster than the previously used brute-force methods for arbitrary n-dimensional calculations, and is quite possibly faster than tricks like the Kahane algorithm in four dimensions. I would like to know all your comments, suggestions, and uses (past, present, or future) for such a program, as well as your preferences for input/output formats and syntax. Now is the chance to make your prejudices known! - Tony Kennedy (ADK@MIT-MC) [Apologies for multiple copies due to overlapping mailing-lists] Date: 30 May 1981 12:35-EDT From: Lars S. Hornfeldt
Sender: LSH0 at MIT-MC Subject: TRIGSUM accepts all trigfunctions To: INFO-MACSYM at MIT-MC, INFO-TENSOR at MIT-MC -at input, i.e. also tan, cot, sec and csc, and converts them to sin and cos, so that all equivalent formulations of the relation sin^2 + cos^2 = 1 are exploited fully (decreasing the number of terms). Then it also COMBINES BACK the sin- and cos-es into the most advantageous combination of the other functions (not offered by earlier methods as I know). If nothing better, at least neg. powers of sin or cos are replaced with csc and sec. Both conversions are integrated in an excisting one, costing negligible extra time. Please send +/- -experiences and bugs to me. -lsh Date: 25 JAN 1981 1017-EST From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC I wish to remind users of the tensor packages that if you have written any code which you feel should/could be added to the existing code then please let me know. This is the best way to expand the capabilities! Date: 16 DEC 1980 2010-EST From: LSH at MIT-MC (Lars S. Hornfeldt) Subject: Human-like new TRIG-SIMPLIFIER and SUMSUBSTITUTOR To: INFO-MACSYM at MIT-MC, INFO-TENSOR at MIT-MC, HEP at MIT-MC TRIGSUM(exp); is a new function (autoloading) that exploits the TRIG-onometric SUM-relation: 2 2 sin (x) + cos (x) - 1 ==> 0 in an optimal fashion; ie it uses DIFFERENT formulations: 2 2 2 2 2 2 sin + cos ==> 1, 1 - sin ==> cos , 1 - cos ==> sin selectively only where they are BENEFICIAL, and the program returns THAT mixture of sin and cos that constitutes the least number of terms. For instance, TRIGSUM on the 6-term-expression: (ONE - C )*SIN(X)^2 \ Returns 3 terms: / ( S)*SIN(X)^2 + (ONE - S)*COS(X)^2 > ===> < + ( C )*COS(X)^2 + ( + C + S) / \ + (ONE ) This works equally well and fast if multiplied with any sin-cos power. TRIGSUM uses the sum-substitutor (=1yr work) in STENSR. For references and pointers see SHARE;STENSR USAGE. Any arb.-length-sum of arb.-length- products of tensors can be substituted, and in PRINCIPLE also of scalars. Send bugs, and such sum-relations that you want to exploit, to me. Being a complicated program, it's not small, but you can ALWAYS type TRIGSUM(..); since it tests space to fit the program before it autoloads. Also the workspace consumption =0, in contrast to explicit subst. sin=>cos. Do :PRINT LSH;TRGSUM DEMOUT to see a demo writefile, or run the demo itself by DEMO(TRGSUM,DEMO,DSK,LSH)$ which takes 5 cpu-min to end [but (a curiosum): substituting sin=>cos would give results requiring an Earthsized machine to store, and would take 10^7 Universe-lifetimes]. -lsh Date: 5 NOV 1980 0833-EST From: LSH at MIT-MC (Lars S. Hornfeldt) Subject: STENSR's humanoid trig simplifier To: MACSYMA-I at MIT-MC, ELL at MIT-MC, STOUTE at MIT-MC CC: INFO-TENSOR at MIT-MC, MRM at MIT-MC, JPFF at MIT-MC TRIGSUM(exp); is a new function that exploits the trig sum-relation: 2 2 sin (x) + cos (x) -1 => 0 simultaneously in all formulations: sin+cos->1, 1-sin->cos, 1-cos->sin. Each direction is selectively used only where it is BENEFICIAL, and the program returns THAT mixture of sin and cos that constitutes the least number of terms. For instance: TRIGSUM of: (ONE - C )*SIN(X)^2 Returns ( S)*SIN(X)^2 + (ONE - S)*COS(X)^2 ===> + ( C )*COS(X)^2 + ( + C + S) + (ONE ) This works equally well and fast if multiplied with any sin-cos power. The workspace consumption =0, in contrast to explicit subst. sin=>cos. See the output file LSH;TRGSUM DEMOUT -which is a writefile of the batch TRGSUM,DEMO TRIGSUM calls the arbitrary-sum-substitutor (=1yr work) in STENSR (6y). An attempt to explain it's main lines is in TRGSUM MAIL (complementing Springer Verlag.. see lsh;STENSR INFO) I've the last two months [besides beating RP's Sci. Am-problem on 4 machines] made long planned improvements of the sumsubstitutor as to: 1) Substitute COLLAPSABLE sums, ie sums for which the number of, and sequence of, the terms may change in certain malign environments. Eg. the cyclic sum of 3 Riemann tensors (=identically zero) can collapse to 2 or less terms if contracted with symmetric tensors. 2) allow a user-provided, optional ELECTION-function, that determines what terms to get rid of when that choice is extra tricky. A such one is built into TRIGSUM, doing the choice between the terms associated with "sin", "cos" and "-1". Let me know if you can repeat any demo example with trigsimp,ratsubst ,exponentialize.. -lsh Date: 5 OCT 1980 2226-EDT From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC CC: GJC at MIT-MC There is now a new version of CTENSR called TENSOR;CTENSR FASL. It is translated and compiled and it runs several times as fast as the old version while providing more work space for the user. I would like users to test it and let me know if there are any problems. CTENSR FASL may be loaded by calling TSETUP() in MACYSMA or loading the file directly. Thanks go to GJC for creating the new version. Date: 28 SEP 1980 1446-EDT From: TENSOR at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC CC: GJC at MIT-MC There is now a new version of CTENSR called TENSOR;CTENSR NFASL. It runs about twice as fast as the old version, CTENSR FASL, but may leave less work space for the user. This may not, however, be apparant for standard problems. I am asking users to test the new version and let me know how it runs. If there are no core problems I will let this become the working version with the fassave as the backup version. However, for the present the old version will still be loaded by calling TSETUP() in MACYSMA. Thanks go to GJC for creating CTENSR NFASL. Date: 21 SEP 1980 1115-EDT From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC Plans are being made to extend CTENSR to include interaction with LSH's STENSR package. This will mean that a user in CTENSR may decide that a 5dimensional array such as the covariant derivative of the Riemann tensor is needed or perhaps a scalar constructed from the Riemann tensor and its dual- whatever. A new function in CTENSR will interact with STENSR to allow construction of a large number of geometrical objects. We need some input and hence this note. We must have some idea of the kinds of objects you may be interested in so we can build a decent input function in CTENSR. Therefore, if you have some ideas of the kinds of objects you may want to construct send mail to TENSOR@MC. Date: 7 AUG 1980 1351-EDT From: TENSOR at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC The new tensor manual has been reproduced as an LCS document. If you wish to have a copy for your very own then send me a note. If your inquir listing does not give your address then send that as well. Send requests to TENSOR@MC Date: 10 JUL 1980 0746-EDT From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC John Fitch, Michael Rothstein and I are writing an article on Computer Algebra for Scientific American. I am soliciting ideas about specific items of interest we might include. The proposal to Scientific American suggested the following topics: 1) a historical introduction to algebraic manipulation 2) a description of algorithm implementation and capabilities 3) the various programming languages and their advantages to specific systems 4) a description of some specific problems which have been solved. This would include some of the big problems which had been done by hand and have now been checked by computer with comments on the accuracy of scientists of that day. 5) the future of the field and comments on problems which may be solved (in the physical sciences for example). The article must, of course, be directed to the educated layman. In addition, no equations may appear in the text but we can put them in separate boxes. Bearing in mind that the 5 topics above are not cast in stone, but there are the two constraints, I would appreciate any suggestions and/or comments. Please reply to RP@MC. Thanks. P.S. Please excuse the multiple copies some of you may receive because of my choice of mailing lists. Date: 16 FEB 1980 1631-EST From: TENSOR at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC The new tensor packages are operational. The ETENSR pack is now called CTENSR and is available by doing LOADFILE(CTENSR,FASL,SHARE); for component tensor manipulation. The ITENSR pack, as before, is loaded by doing LOADFILE(ITENSR,FASL,SHARE); for indicial tensor manipulation. Both packages have many new functions as well as old ones which have been modified. A full description is available by printing SHARE;TENSOR DESCR. In addition, demos exist on the TENSOR directory under the first filenames CTENSR and ITENSR. Send bugs or comments to RP or TENSOR. Date: 16 DEC 1979 0822-EST From: TENSOR at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC The new tensor code will be released shortly. There has been a great deal of revision to ITENSR and ETENSR. During the next few weeks, before the programs are released, it would be helpful if some of you would try the code and examine an early draft of the manual which is on the file TENSOR;MANUAL DOCUME. If anyone does not have a hardcopy terminal available I can send a copy. Recall there are also demo files called TENSOR;ETENSR DEMO(1,2,...) and ITENSR DEMO(1,2,...). Send comments to RP or TENSOR. Date: 5 AUG 1979 1345-EDT From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC During the next months, before a new manual appears, there will appear on the tensor directory a sequence of batch files. These will give some problems which have been solved using the new tensor packges and should give the user some understanding of the new features which have been implemented by MIKE and me. The names of the files will be ITENSR DEMO1, ITENSR DEMO2,.... and ETENSR DEMO1, ETENSR DEMO2,.... Send comments or bugs to RP@MIT-MC. Date: 15 JUN 1979 1636-EDT From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC ATTENTION TENSOR USERS It is important that I know the kind of problems which users have for which they hope ITENSR can help. In particular I wish to know about problems which involve symmetries. As you know ITENSR does not yet manipulate indexed objects which are skew- symmetric. If you can tell me what you would like perhaps it will happen this summer. Be specific! Send mail to me or TENSOR. Date: 7 JUN 1979 1344-EDT From: MIKE at MIT-MC (Michael Wester) To: INFO-TENSOR at MIT-MC Does anyone use the so-called "special metric file" (TENSOR;METRIC FILE) in ETENSR? Date: 4 JUN 1979 1345-EDT From: RP at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC ETENSR is being modified at this time. I will let you know the changes which are being made at a later date. It is now a good time to send suggestions for changes to me. Date: 5 MAY 1979 0815-EDT From: TENSOR at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC Has anyone ever found an example where the CANTEN function was useful. There is a bug in it now but we will have to decide whether it should be kept. Date: 30 APR 1979 2008-EDT From: TENSOR at MIT-MC (Richard Pavelle) To: INFO-TENSOR at MIT-MC This is RP. Sorry about the last message which was inadvertently sent. INFO-TENSOR is now back up and each of you who receives this is on the mailing list. If you wish to communicate with everyone on the mailing list simply send mail to INFO-TENSOR. If you wish your name removed or wish another name added let me know. The following is the list at the moment. (ASB) (DAVEK) (RP) (AMENT) (STAN) (TENSOR) (ADK) (ZIM) (YEKTA) (SWOLF) (CMA) (JPLHDW) (JPLFBE) (BIRREL) (FORWRD) (SHAP) (STOUTE) (JLK) In closing, this is the final time you will see the system message which was sent twice. Somehow, a number of people do not like to look at msgs. Attention TENSOR users There are plans to rewrite the tensor code this summer. There are a number of known difficulties with the ETENSR and ITENSR (or original CTMS and ITMS) packs. However, we would like to know who uses them and more important we would appreciate any comments, criticisms, suggestions etc on improving the ETENSR AND ITENSR code. If you have developed any special purpose routines utilizing the code let us know this as well. Further, please criticise the description of these packages in the manual. Send mail to TENSOR or INFO-TENSOR if you wish to share your ideas. Work on the tensor packs will begin in early June. DISTRIB: *CMU, *DM, *MC, *ML, *AI EXPIRES: 04/30/79 20:29:20 RP@MIT-MC 04/15/79 20:29:20 Re: Attention TENSOR users There are plans to rewrite the tensor code this summer. There are a number of known difficulties with the ETENSR and ITENSR (or original CTMS and ITMS) packs. However, we would like to know who uses them and more important we would appreciate any comments, criticisms, suggestions etc on improving the ETENSR AND ITENSR code. If you have developed any special purpose routines utilizing the code let us know this as well. Further, please criticise the description of these packages in the manual. Send mail to TENSOR.