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