These are chat archives for symengine/symengine
why is the type of binomial
CWRAPPER_OUTPUT_TYPE ntheory_binomial(basic s, const basic a, unsigned long b)
const basic b as well? having the
n and the
r be two different types in
nCr is weird IMO.
unsigned long, right?
Basicwas more strongly typed
densematrix_mul_matrix :: forall r k c. (KnownNat r, KnownNat k, KnownNat c) => DenseMatrix r k -> DenseMatrix k c -> DenseMatrix r c
basicin that case?