Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
DiracMatrix
Guides
DiracMatrix
Symbols
CliffordBasis
CliffordCanonicalBasis
EuclideanGammaMatrices
FlatMetric
GammaMatrices
MetricVielbein
NumericZeroQ
RandomCurvedMetric
ToDiracBasis
ToWeylBasis
WolframQuantumComputation`DiracMatrix`
M
e
t
r
i
c
V
i
e
l
b
e
i
n
M
e
t
r
i
c
V
i
e
l
b
e
i
n
[
η
]
r
e
t
u
r
n
s
{
s
i
g
n
a
t
u
r
e
,
e
}
f
o
r
t
h
e
r
e
a
l
s
y
m
m
e
t
r
i
c
m
e
t
r
i
c
η
,
w
h
e
r
e
s
i
g
n
a
t
u
r
e
i
s
d
i
a
g
(
S
i
g
n
(
e
i
g
e
n
v
a
l
u
e
s
)
)
a
n
d
t
h
e
v
i
e
l
b
e
i
n
e
s
a
t
i
s
f
i
e
s
T
·
s
i
g
n
a
t
u
r
e
·
e
=
η
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
Examples
(
6
)
Basic Examples
(
1
)
The vielbein of FlatMetric returns the signature itself and an identity vielbein (up to ordering and signs):
I
n
[
1
]
:
=
M
e
t
r
i
c
V
i
e
l
b
e
i
n
F
l
a
t
M
e
t
r
i
c
[
1
,
3
]
O
u
t
[
1
]
=
{
{
{
-
1
,
0
,
0
,
0
}
,
{
0
,
-
1
,
0
,
0
}
,
{
0
,
0
,
-
1
,
0
}
,
{
0
,
0
,
0
,
1
}
}
,
{
{
0
,
0
,
0
,
1
}
,
{
0
,
0
,
1
,
0
}
,
{
0
,
1
,
0
,
0
}
,
{
1
,
0
,
0
,
0
}
}
}
Round-trip: reconstructing
η
from the vielbein returns the original metric (House rule #3):
I
n
[
2
]
:
=
M
o
d
u
l
e
η
=
F
l
a
t
M
e
t
r
i
c
[
1
,
3
]
,
s
i
g
,
e
,
{
s
i
g
,
e
}
=
M
e
t
r
i
c
V
i
e
l
b
e
i
n
[
η
]
;
T
r
a
n
s
p
o
s
e
[
e
]
.
s
i
g
.
e
=
=
=
η
O
u
t
[
2
]
=
T
r
u
e
S
c
o
p
e
(
2
)
A
p
p
l
i
c
a
t
i
o
n
s
(
1
)
P
o
s
s
i
b
l
e
I
s
s
u
e
s
(
1
)
N
e
a
t
E
x
a
m
p
l
e
s
(
1
)
S
e
e
A
l
s
o
F
l
a
t
M
e
t
r
i
c
▪
R
a
n
d
o
m
C
u
r
v
e
d
M
e
t
r
i
c
▪
G
a
m
m
a
M
a
t
r
i
c
e
s
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
D
i
r
a
c
M
a
t
r
i
x
"
"