RE: commuting and non-commuting symbols
- To: mathgroup at smc.vnet.net
- Subject: [mg31378] RE: [mg31361] commuting and non-commuting symbols
- From: "David Park" <djmp at earthlink.net>
- Date: Wed, 31 Oct 2001 03:31:11 -0500 (EST)
- Sender: owner-wri-mathgroup at wolfram.com
You should be able to do it. Here is a little toy system which labels
numbers and symbols as to whether they are to be used for multiplication or
as powers. 3[t] means 3 is to be used for multiplication and 3[p] means that
3 is to be used as a power. Then we can write our products using
CircleTimes. CircleTimes can be used as an infix operator and has no
attributes. CircleTimes can be entered as esc c * esc, or by \[CircleTimes].
You can make a palette if you are going to use these symbols a lot. We can
then write definitions for CircleTimes which implement the specific
operations depending on the type of quantity, t or p. In this set of
definitions, an expression is evaluated from left to right.
CircleTimes[a_[t], b_[t], c___] := CircleTimes[(a b)[t], c];
CircleTimes[a_[t], b_[p], c___] := CircleTimes[(a^b)[t], c]
CircleTimes[a_[b : (p | t)]] := a[b]
If there is no definition, you just get the expression back.
This would be one approach. All the definitions on how to handle different
combinations of element types have to be specified. You will probably get
other useful answers.
djmp at earthlink.net
> From: Ian Swanson [mailto:swanson at theory.caltech.edu]
To: mathgroup at smc.vnet.net
> My research group is trying to use Mathematica to simplify and verify some
> complicated expressions that combine various parameters living in
> different spaces. Basically, we need to be able to label certain symbols
> as commuting and certain others as non-commuting (ie. Grassman numbers).
> We then need to perform standard matrx multiplication with this mixture of
> commuting and non-commuting variables -- and have Mathematica simplify the
> resulting expressions as much as possible. Can anyone help??
> Thank you,
> | Ian J Swanson |
> | Theoretical Physics |
> | 253 Lauritsen |
> | swanson at theory.caltech.edu |
> | office: 626.395.2615 |
> | cell: 626.230.1882 |
Prev by Date:
Next by Date:
Re: Zero does not equal Zero
Previous by thread:
Re: commuting and non-commuting symbols
Next by thread: