MathPHP\SetTheory\SetAxiomsTest::testCardinalityOfCartesianProduct PHP Метод

testCardinalityOfCartesianProduct() публичный Метод

Axiom: |A × B| - |A| * |B| The cardinality (count) of the cartesian product is the product of the cardinality of A and B
public testCardinalityOfCartesianProduct ( Set $A, Set $B )
$A Set
$B Set
    public function testCardinalityOfCartesianProduct(Set $A, Set $B)
    {
        $A×B = $A->cartesianProduct($B);
        $this->assertEquals(count($A) * count($B), count($A×B));
        $this->assertEquals(count($A->asArray()) * count($B->asArray()), count($A×B->asArray()));
    }