AIMA.Probability.CategoricalDistribution.divideBy C# (CSharp) Method

        public abstract CategoricalDistribution divideBy(CategoricalDistribution divisor);

        public CategoricalDistribution posteriorDistribution(IProposition phi,
                                                             params IProposition[] evidence)
        {
            IProposition conjEvidence = ProbUtil.constructConjunction(evidence);

            // P(A | B) = P(A AND B)/P(B) - (13.3 AIMA3e)
            CategoricalDistribution dAandB    = jointDistribution(phi, conjEvidence);
            CategoricalDistribution dEvidence = jointDistribution(conjEvidence);

            return(dAandB.divideBy(dEvidence));
        }