Nuprl Definition : matrix-det

|M| ==  Σ{r} f ∈ permutations-list(n). let k = Π(r) 0 ≤ i < n. M[i,f i] in if permutation-sign(n;f)=1 then k else (-r k)


Definitions occuring in Statement :  matrix-ap: M[i,j],  rng_lsum: Σ{r} x ∈ as. f[x],  permutations-list: permutations-list(n),  permutation-sign: permutation-sign(n;f),  let: let,  int_eq: if a=b then c else d,  apply: f a,  natural_number: $n,  rng_prod: rng_prod,  rng_minus: -r
Definitions occuring in definition :  rng_lsum: Σ{r} x ∈ as. f[x],  let: let,  rng_prod: rng_prod,  matrix-ap: M[i,j],  int_eq: if a=b then c else d,  permutation-sign: permutation-sign(n;f),  natural_number: $n,  apply: f a,  rng_minus: -r
FDL editor aliases :  matrix-det
Latex:
|M|  ==
    \mSigma{}\{r\}  f  \mmember{}  permutations-list(n).  let  k  =  \mPi{}(r)  0 
                                                                                            \mleq{}  i 
                                                                                            <  n
                                                                                    M[i,f  i]  in
                                                                          if  permutation-sign(n;f)=1  then  k  else  (-r  k)


Date html generated: 2018_05_21-PM-09_35_29
Last ObjectModification: 2017_12_11-PM-00_55_53

Theory : matrices


Home Index