Skip to main content
added 70 characters in body
Source Link
Dennis
  • 210.6k
  • 41
  • 370
  • 825

Jelly, 11 10 bytes

ṖṖ€$ƬÆḊṂ>0

Uses Sylvester's criterion.

Try it online!

How it works

ṖṖ€$ƬÆḊṂ>0  Main link. Argument: M (matrix)

   $Ƭ       Do the following until a fixed point is encountered.
Ṗ             Pop; remove the last row of the matrix.
 Ṗ€           Pop each; remove the last entry of each row.
     ÆḊ     Take the determinants of the resulting minors.
       Ṃ    Take the minimum.
        >0  Test if the least determinant is positive, i.e., if all determinants are.

Jelly, 11 10 bytes

ṖṖ€$ƬÆḊṂ>0

Try it online!

How it works

ṖṖ€$ƬÆḊṂ>0  Main link. Argument: M (matrix)

   $Ƭ       Do the following until a fixed point is encountered.
Ṗ             Pop; remove the last row of the matrix.
 Ṗ€           Pop each; remove the last entry of each row.
     ÆḊ     Take the determinants of the resulting minors.
       Ṃ    Take the minimum.
        >0  Test if the least determinant is positive, i.e., if all determinants are.

Jelly, 11 10 bytes

ṖṖ€$ƬÆḊṂ>0

Uses Sylvester's criterion.

Try it online!

How it works

ṖṖ€$ƬÆḊṂ>0  Main link. Argument: M (matrix)

   $Ƭ       Do the following until a fixed point is encountered.
Ṗ             Pop; remove the last row of the matrix.
 Ṗ€           Pop each; remove the last entry of each row.
     ÆḊ     Take the determinants of the resulting minors.
       Ṃ    Take the minimum.
        >0  Test if the least determinant is positive, i.e., if all determinants are.
added 70 characters in body
Source Link
Dennis
  • 210.6k
  • 41
  • 370
  • 825

Jelly, 11 10 bytes

ṖṖ€ƊƬÆḊṂ>0ṖṖ€$ƬÆḊṂ>0

Try it online!Try it online!

How it works

ṖṖ€$ƬÆḊṂ>0  Main link. Argument: M (matrix)

   $Ƭ       Do the following until a fixed point is encountered.
Ṗ             Pop; remove the last row of the matrix.
 Ṗ€           Pop each; remove the last entry of each row.
     ÆḊ     Take the determinants of the resulting minors.
       Ṃ    Take the minimum.
        >0  Test if the least determinant is positive, i.e., if all determinants are.

Jelly, 11 10 bytes

ṖṖ€ƊƬÆḊṂ>0

Try it online!

Jelly, 11 10 bytes

ṖṖ€$ƬÆḊṂ>0

Try it online!

How it works

ṖṖ€$ƬÆḊṂ>0  Main link. Argument: M (matrix)

   $Ƭ       Do the following until a fixed point is encountered.
Ṗ             Pop; remove the last row of the matrix.
 Ṗ€           Pop each; remove the last entry of each row.
     ÆḊ     Take the determinants of the resulting minors.
       Ṃ    Take the minimum.
        >0  Test if the least determinant is positive, i.e., if all determinants are.
added 25 characters in body
Source Link
Dennis
  • 210.6k
  • 41
  • 370
  • 825

Jelly, 1111 10 bytes

ḣJḣ€"JÆḊṂ>0ṖṖ€ƊƬÆḊṂ>0

Try it online!Try it online!

Jelly, 11 bytes

ḣJḣ€"JÆḊṂ>0

Try it online!

Jelly, 11 10 bytes

ṖṖ€ƊƬÆḊṂ>0

Try it online!

Source Link
Dennis
  • 210.6k
  • 41
  • 370
  • 825
Loading