Maple Professionel
Maple Académique
Maple Edition Étudiant
Maple Personal Edition
Maple Player
Maple Player for iPad
MapleSim Professionel
MapleSim Académique
Maple T.A. - Suite d'examens de classement
Maple T.A. MAA Placement Test Suite
Möbius - Didacticiels de mathématiques en ligne
Machine Design / Industrial Automation
Aéronautique
Ingénierie des véhicules
Robotics
Energie
System Simulation and Analysis
Model development for HIL
Modélisation du procédé pour la conception de systèmes de contrôle
Robotics/Motion Control/Mechatronics
Other Application Areas
Enseignement des mathématiques
Enseignement de l’ingénierie
Enseignement secondaire et supérieur (CPGE, BTS)
Tests et évaluations
Etudiants
Modélisation financière
Recherche opérationnelle
Calcul haute performance
Physique
Webinaires en direct
Webinaires enregistrés
Agenda des évènements
Forum MaplePrimes
Blog Maplesoft
Membres Maplesoft
Maple Ambassador Program
MapleCloud
Livres blancs techniques
Bulletin électronique
Livres Maple
Math Matters
Portail des applications
Galerie de modèles MapleSim
Cas d'Etudes Utilisateur
Exploring Engineering Fundamentals
Concepts d’enseignement avec Maple
Centre d’accueil utilisateur Maplesoft
Centre de ressources pour enseignants
Centre d’assistance aux étudiants
Physics[ToFieldComponents] - Rewrite functions of anticommutative variables in terms of functions of commutative variables
Physics[ToSuperfields] - rewrite expressions with field components in terms of the corresponding superfields
Calling Sequence
ToFieldComponents(expression, F, ...)
ToSuperfields(expression)
Parameters
expression
-
algebraic expression, or relation between them, or a set, list or rtable of them
F
optional, a set of functions restricting the action of ToFieldComponents; if not given, all functions in expression are considered
anticommutativeparameter = ...
optional, default to _lambda, the right-hand-side can be any anticommutative symbol
anticommutativefunction = ...
query = ...
optional, to query about the expansions performed by ToFieldComponents during the current Maple session
reset = ...
optional, to reset the tracking of expansions performed
useonlycommutativefunctions = ...
optional, can be true (default) or false, to use or not anticommutative functions of commutative variables in the result returned
Description
The ToFieldComponents command computes an exact expansion of expression, containing functions of anticommutative variables, by rewriting them in terms of functions of commutative variables. In some frameworks, functions of anticommutative variables are also called superfields, and the functions of commutative variables entering the output of ToFieldComponents are called the field components. Note: mathematical functions such as exp, sin are not expanded - for them you can use Gtaylor.
The ToSuperfields command reverses in a given expression the expansions performed by ToFieldComponents.
Each expansion performed with ToFieldComponents is a polynomial in the function's anticommutative variables, with arbitrary functions of commutative variables as coefficients. This polynomial has terms of degree 0 and 1 with respect to each of its anticommutative variables. In the simplest case, for instance, let be a commutative function of (commutative) and (anticommutative); the expansion returned by ToFieldComponents is according to
This expansion involves only functions of commutative variables and , where the function itself is anticommutative (not its argument ), and preserves the grassmannian parity of the expression: if the left-hand-side is (anti)commutative, so is the sum of terms in the right-hand-side.
Regarding the anticommutative functions () of commutative variables (), introduced by ToFieldComponents, you can optionally indicate the prefix to be used (instead of ) for the function's name by passing it in the right-hand-side of the optional argument anticommutativefunction = ....
To avoid introducing anticommutative functions of commutative variables in the returned result and perform the expansion using only commutative functions of commutative variables, pass the optional argument useonlycommutativefunctions; for the example presented above, for instance, the result would be according to
Note the introduction of anticommutative parameters prefixed by , necessary to preserve the parity of the right-hand-side the same as that of the left-hand-side. You can optionally indicate the anticommutative parameter to be used as a prefix by passing it in the right-hand-side of the optional argument anticommutativeparameter = ....
To restrict the expansion of the functions found in expression to only a subset of them, pass this set as second argument to ToFieldComponents.
ToFieldComponents keeps track of the expansions performed so that ToSuperfields can revert them. To query about the expansions tracked pass the optional argument query. To reset the tracking of expansions (equivalent to forget the ones performed) use the optional argument reset.
Compatibility
The Physics[ToFieldComponents] command was introduced in Maple 16.
For more information on Maple 16 changes, see Updates in Maple 16.
Examples
Set first and as prefixes for variables of type/anticommutative (see Setup)
A commutative function (its name is of type commutative) of commutative and anticommutative variables
The expansion of (3) is a polynomial in and with terms of degree 0 and 1 with respect to each of and . Recall that any product of these variables is also of degree 0 or 1 with respect to each of them, so the expansion contains all the monomials that can be constructed with products of and
This expansion preserves the parity of (3)
The expansion of (3) using only commutative functions
Compare the expansion (6) returned by ToFieldComponents with a multivariable taylor expansion of (3) (see Gtaylor)
The reverse transformation, expressing (6) in terms of superfields
See Also
anticommutative, Coefficients, commutative, GrassmannParity, Gtaylor, PerformOnAnticommutativeSystem, Physics, Physics conventions, Physics examples, Setup, taylor
Download Help Document