Cited By
View all- Rodionov ATaranov A(1999)Computation of covariant derivatives of the geodetic interval with coincident argumentsClassical and Quantum Gravity10.1088/0264-9381/4/6/0284:6(1767-1775)Online publication date: 1-Jan-1999
Work with non-commutative variables in the reduce-2 system for analytical calculations
Abstract
A brief description and examples of using a program package for handling non-commutative variables in the REDUCE-2 system are presented. The package facilitates work with arbitrary commutation rules. The user may declare operators, variables, and procedures to be non-commutative, and introduce the rules for their rearrangement. Tools are included for reducing delta functions and Kronecker symbols in expressions involving non-commutative variables. During calculation, expressions are rearranged according to the rules introduced by the user, and similar terms are grouped together with explicit singling out of the non-commutative part.
References
[1]
Hearn, A. C.: REDUCE-2 User's Manual, UCP-19(1974).
[2]
Grimm, R., and Kuhnelt, H.: Comp. Phys. Comm., 1980, 20. p77.
[3]
Lassner, W.: Noncommutative algebras proposed for computer calculations, in book: International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics. Dubna, September 18--21, 1979.
[4]
Vasilyev, A. N.: Functional methods in the field quantum theory and statistics. LGU, 1976.
[5]
De Raedt, H., Fivez, J. and De Raedt, B.: Comp. Phys. Comm., 1981, 23, p209.
[6]
Creutz, M.: Rev. Mod. Phys., 1978, 50, p561.
Recommendations
Commutative pseudo-equality algebras
Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...
Minimal Varieties of Representable Commutative Residuated Lattices
We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17---19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-...
Ideals and their complements in commutative semirings
We study conditions under which the lattice $${{\mathrm{\mathbf {Id}}}}\mathbf R$$IdR of ideals of a given a commutative semiring $${\mathbf {R}}$$R is complemented. At first we check when the annihilator $$I^*$$I? of a given ideal I of $${\mathbf {R}}$$...
Comments
Information & Contributors
Information
Published In
Copyright © 1984 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 August 1984
Published in SIGSAM Volume 18, Issue 3
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 104Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)3
Reflects downloads up to 13 Sep 2024
Other Metrics
Citations
Cited By
View all- Rodionov ATaranov A(1999)Computation of covariant derivatives of the geodetic interval with coincident argumentsClassical and Quantum Gravity10.1088/0264-9381/4/6/0284:6(1767-1775)Online publication date: 1-Jan-1999
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in