Learn More
We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or(More)
Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks Abstract A general non-linear gauge condition is implemented into GRACE, an automated system for the calculation of physical processes in high-energy physics. These new gauge-fixing conditions are used as a very efficient means to check the results of(More)
Every homomorphism of modules is projective-stably equivalent to an epimor-phism but is not always to a monomorphism. We prove that a map is projective-stably equivalent to a monomorphism if and only if its kernel is torsionless, that is, a first syzygy. If it occurs although, there can be various monomorphisms that are projective-stably equivalent to a(More)
Stable equivalences of Morita type preserve many interesting properties and is proved to be the appropriate concept to study for equivalences between stable categories. Recently the singularity category attained much attraction and Xiao-Wu Chen and Long-Gang Sun gave an appropriate definition of singular equivalence of Morita type. We shall show that under(More)