public function __toString() { return trim(array_reduce(array_map(function ($mᵢ) { return '[' . implode(', ', $mᵢ) . ']'; }, $this->A), function ($A, $mᵢ) { return $A . \PHP_EOL . $mᵢ; })); }