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 then else fi  apply: a subtract: m add: m natural_number: $n rng_minus: -r
Definitions occuring in definition :  mx: matrix(M[x; y]) ifthenelse: if then else fi  isEven: isEven(n) add: m apply: a rng_minus: -r matrix-det: |M| subtract: 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