SamplePublisher`GrassmannCalculus`DifferentialGeometry`
FunctionSymbolQ  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
Work in the GrassmannPlane.
In[2]:=
SetActiveAssociation
"Grassmann Plane"
 | PublicGrassmannAtlas |
The symbol is not a function symbol.
foo
In[3]:=
Clear[foo]
[foo]
 | FunctionSymbolQ |
Out[3]=
False
Here we set it to be a function symbol.
In[4]:=
foo/:
[foo]=True;
[foo]
 | FunctionSymbolQ |
| FunctionSymbolQ |
Out[4]=
True
The following starts over and defines a Function for . Since we are operating in the GrassmannPlane it is automatically a two argument function.
foo
In[5]:=
ClearAll[foo]
[foo,+y]
[foo]foo[x,y]
| DefineScalarFunction |
2
x
| FunctionSymbolQ |
Out[5]=
True
Out[5]=
2
x
We can then push arguments onto using as a patterm test.
foo
FunctionSymbolQ
In[6]:=
(3x+5foo)[x,y]%//
_?
| GCPushOnto |
| FunctionSymbolQ |
Out[6]=
(5foo+3x)[x,y]
Out[6]=
3x+5(+y)
2
x
In[7]:=
ClearAll[foo]
 |
|
 |
|
""