SamplePublisher`GrassmannCalculus`
DeclareUserFormSymbols (★F)  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
Set the GrassmannPlane coordinate system.
In[2]:=
 | SetCoordinateVectorSpace |
The following are the that come with the space.
UserFormSymbols
In[3]:=
UserFormSymbols
Out[3]=
{α,β,ψ,ω}
The following sets a new empty list of user form symbols.
In[4]:=
★F[{}]★f
Out[4]=
{}
The following creates a new set of user form symbols. It's possible to use lists and patterns in the specification.
In[5]:=
★F[f[_],{{α,β},{Ω,Ψ}}]★f
Out[5]=
{α,β,Ψ,Ω,f[_]}
Expressions that fit the pattern are now treated as general vectors under the Grassmann simplification routines.
In[6]:=
(af[1]+bf[2])⋀(cf[1]+df[2])%//
| ★ |
Out[6]=
(af[1]+bf[2])⋀(cf[1]+df[2])
Out[6]=
(-bc+ad)f[1]⋀f[2]
New form symbols can't be existing user vector symbols, basis symbols or scalars.
In[7]:=
★Fa,x,p,,,dx
e
x
e
x
DeclareVectorSymbols::scalarsymbol:The symbols in the list {a,x} have already been declared as scalar symbols. Scalar symbols cannot also be declared as vector or form symbols, since they are of different grade.
DeclareVectorSymbols::vector:The symbols in the list {p} have already been declared as vectors. Vectors cannot also be declared as forms.
DeclareVectorSymbols::basis:The symbols in the list dx,, have already been declared as basis elements. Basis elements cannot also be declared as vector or form symbols.
e
x
e
x
Out[7]=
DeclareUserFormSymbolsa,x,p,,,dx
e
x
e
x
 |
|
""