Add positive semi-definite typehinting

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
  {