SamplePublisher`GrassmannCalculus`
CongruentExpressionQ |
|
| | ||||
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
In[2]:=
 | SetBookVectorSpace |
Here are two forms of an exterior product.
In[3]:=
product1=Wedge@@
[{2,4},2].Basisproduct2=
[product1,⋀]
 | RandomGrassmannMatrix |
 | ToReducedFactoredForm |
e
2
e
4
Out[3]=
(6+3+10-)⋀(28+18+51-5)
e
1
e
2
e
3
e
4
e
1
e
2
e
3
e
4
Out[3]=
3-++⋀(-8-9+)
2
e
1
3
e
2
e
3
3
e
1
e
3
e
4
They are congruent.
In[4]:=
CongruentExpressionsQ[product1,product2]
Out[4]=
True
Here is a third product. It is not congruent with the first product.
In[5]:=
product3=Wedge@@
[{2,4},2].BasisCongruentExpressionsQ[product1,product3]
| RandomGrassmannMatrix |
Out[5]=
(-7++2+11)⋀(-44+5+12+60)
e
1
e
2
e
3
e
4
e
1
e
2
e
3
e
4
Out[5]=
False
""