Nuprl Definition : adjugate
adj(M) == matrix(if isEven(x + y) then |matrix-minor(y;x;M)| else -r |matrix-minor(y;x;M)| fi )
Definitions occuring in Statement :
matrix-minor: matrix-minor(i;j;m),
matrix-det: |M|,
mx: matrix(M[x; y]),
isEven: isEven(n),
ifthenelse: if b then t else f fi ,
apply: f a,
subtract: n - m,
add: n + m,
natural_number: $n,
rng_minus: -r
Definitions occuring in definition :
mx: matrix(M[x; y]),
ifthenelse: if b then t else f fi ,
isEven: isEven(n),
add: n + m,
apply: f a,
rng_minus: -r,
matrix-det: |M|,
subtract: n - m,
natural_number: $n,
matrix-minor: matrix-minor(i;j;m)
FDL editor aliases :
adjugate
Latex:
adj(M) == matrix(if isEven(x + y) then |matrix-minor(y;x;M)| else -r |matrix-minor(y;x;M)| fi )
Date html generated:
2018_05_21-PM-09_38_41
Last ObjectModification:
2017_12_14-AM-00_01_33
Theory : matrices
Home
Index