Physics[Normal] - The Normal tensor
|
Calling Sequence
|
|
Normal(f, option=value, ...)
|
|
Parameters
|
|
f
|
-
|
algebraic expression, or relation between them, or a set or list of them
|
producttopower
|
-
|
optional - can be true (default) or false, to express products of the same object as a power
|
reprocesscommutativeproducts
|
-
|
optional - can be true (default) or false, to reprocess commutative products identifying and normalizing anticommutative and noncommutative operands operands
|
sortnoncommutative
|
-
|
optional - can be true (default) or false, to sort noncommutative operands in products using into account commutation rules for them
|
unnest
|
-
|
optional - can be true (default) or false, to unnest given nested products flattening the nested operations into only one
|
|
|
|
|
Description
|
|
•
|
The Normal command replaces products expressed with the * operator by simplified, unnested and sorted ones. The sorting procedure has the purpose of rewriting products expressed with the * operator of Physics, perhaps with different appearance but the same mathematical contents, in a unique manner here called "canonical form". In turn, this allows you to take advantage of the simplification commands of the Maple Standard Library since, after calling Normal, "equivalent" products can be recognized as such by the system. To set the identifiers for type/noncommutative and type/anticommutative variables see Setup.
|
•
|
Normal is automatically used by the Physics product operator * with all its options using their default values but for sortnoncommutative.
|
•
|
The canonical form for products expressed with the * operator of Physics is built as follows:
|
2.
|
The elements of s1 are sorted by using machine ordering (table(symmetric)), resulting in sorted_s1.
|
4.
|
Both sorted_s1 and sorted_s2 are normalized by using normal.
|
5.
|
A result is built and returned as the normalized form of sorted_s1 times sorted_s2.
|
•
|
To simplify in general these products that involve noncommutative objects, taking into account the same commutation rules taken into account by Normal and in addition other simplification rules, use Simplify. To expand these generalized products over sums, use expand (will expand mathematical functions as well) or Expand (will expand only noncommutative products and related functions of the Physics package as for instance Commutators).
|
|
|
See Also
|
|
`*`, AntiCommutator, Commutator, Expand, normal, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Setup, Simplify, type/ac_var, type/anticommutative, type/commutative, type/noncommutative
|
|
Compatibility
|
|
•
|
The Physics[Normal] command was introduced in Maple 16.
|
|
|