SamplePublisher`GrassmannCalculus`
DefineScalarFunction  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
Work in the GrassmannPlane.
In[2]:=
 | SetActiveSpacePreferences |
 | PublicGrassmannAtlas |
| ★★V |
This defines two scalar functions and .
f1
f2
In[3]:=
| DefineScalarFunction |
| DefineScalarFunction |
These symbols are now recognized as function symbols.
In[4]:=
| FunctionSymbolQ |
Out[4]=
{True,True}
The following is a functional expressing using the two functions applied to a symbolic point . The symbol is pushed onto the function symbols and then replaced by the sequence of GrassmannPlane coordinates, which causes evaluation.
In[5]:=
(af1+3bf2)[]%//
_?
%/.Sequence[x,y]
| GCPushOnto |
 | FunctionSymbolQ |
Out[5]=
(af1+3bf2)[]
Out[5]=
af1[]+3bf2[]
Out[5]=
3b(x+y)+axCos[y]
It is also possible to insert the position vector for the current space using .
InsertPosition
In[6]:=
//
[]
| InsertPosition |
Out[6]=
★+x+y
e
x
e
y
This also causes evaluation.
In[7]:=
(af1+3bf2)[]%//
_?
%//
[]
| GCPushOnto |
| FunctionSymbolQ |
| InsertPosition |
Out[7]=
(af1+3bf2)[]
Out[7]=
af1[]+3bf2[]
Out[7]=
3b(x+y)+axCos[y]
In[8]:=
Clear[f1,f2]
 |
|
 |
|
""