Add positive semi-definite typehinting

Author: andrewdalpino

CHANGELOG.md

@@ -1,4 +1,5 @@
 - 3.0.1
+    - Add positive semi-definite typehinting
 
 - 3.0.0
     - No changes

src/Matrix.php

@@ -41,14 +41,14 @@ class Matrix implements Tensor
     /**
      * The number of rows in the matrix.
      *
-     * @var int
+     * @var int<0,max>
      */
     protected int $m;
 
     /**
      * The number of columns in the matrix.
      *
-     * @var int
+     * @var int<0,max>
      */
     protected int $n;
 
@@ -389,7 +389,7 @@ public function __construct(array $a, bool $validate = true)
     /**
      * Return a tuple with the dimensionality of the tensor.
      *
-     * @return int[]
+     * @return array{int<0,max>,int<0,max>}
      */
     public function shape() : array
     {
@@ -419,7 +419,7 @@ public function isSquare() : bool
     /**
      * Return the number of elements in the tensor.
      *
-     * @return int
+     * @return int<0,max>
      */
     public function size() : int
     {
@@ -429,7 +429,7 @@ public function size() : int
     /**
      * Return the number of rows in the matrix.
      *
-     * @return int
+     * @return int<0,max>
      */
     public function m() : int
     {
@@ -439,7 +439,7 @@ public function m() : int
     /**
      * Return the number of columns in the matrix.
      *
-     * @return int
+     * @return int<0,max>
      */
     public function n() : int
     {

src/Vector.php

@@ -34,7 +34,7 @@ class Vector implements Tensor
     /**
      * The number of elements in the vector.
      *
-     * @var int
+     * @var int<0,max>
      */
     protected int $n;
 
@@ -294,7 +294,7 @@ final public function __construct(array $a, bool $validate = true)
     /**
      * Return a tuple with the dimensionality of the tensor.
      *
-     * @return int[]
+     * @return array{int<0,max>}
      */
     public function shape() : array
     {
@@ -314,7 +314,7 @@ public function shapeString() : string
     /**
      * Return the number of elements in the vector.
      *
-     * @return int
+     * @return int<0,max>
      */
     public function size() : int
     {
@@ -324,7 +324,7 @@ public function size() : int
     /**
      * Return the number of rows in the vector.
      *
-     * @return int
+     * @return int<0,max>
      */
     public function m() : int
     {
@@ -334,7 +334,7 @@ public function m() : int
     /**
      * Return the number of columns in the vector.
      *
-     * @return int
+     * @return int<0,max>
      */
     public function n() : int
     {