GrassmannCalculus`
CongruenceFactor (★c)  |
|
| | ||||
Details and Options
Examples
(3)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
In[2]:=
 | SetActiveSpacePreferences |
 | PublicGrassmannAtlas |
Find the intersection of the horizontal line and the vertical line . Turn on .
y3
x2
ShowPrecedence
In[3]:=
 | ★P |
e
y
e
x
e
x
e
y
| ToCommonFactor |
| ToPointForm |
Out[3]=
((★+3)⋀)⋁((★+2)⋀)
e
y
e
x
e
x
e
y
Out[3]=
★c(★+2+3)
e
x
e
y
Out[3]=
★+2+3
e
x
e
y
The initial result is a weighted point with an unspecified scalar congruence factor . extracts the unweighted point. A weighted point is in the same space and corresponds to the use of homogeneous coordinates.
★c
ToPointForm
If we are working in a Projective or metric space we may wish to use , with the alias , instead of . This sets the to .
CongruenceSimplify
★
ToCommonFactor
CongruenceFactor
1
In[4]:=
((★+3)⋀)⋁((★+2)⋀)%//★
e
y
e
x
e
x
e
y
Out[4]=
((★+3)⋀)⋁((★+2)⋀)
e
y
e
x
e
x
e
y
Out[4]=
★+2+3
e
x
e
y
Intersections of All Basis Elements in a Vector 3-Space
(1)
Intersections of All Basis Elements in the GrassmannPlane
(1)
 |
|
 |
|
""