det2 | Data.Semimodule.Finite |
det3 | Data.Semimodule.Finite |
det4 | Data.Semimodule.Finite |
diag | Data.Semimodule.Combinator |
diagonal | Data.Semimodule.Free |
dirac | Data.Semimodule.Combinator |
discale | Data.Semimodule |
distributive_finite1_on | Data.Semiring.Property |
distributive_finite_on | Data.Semiring.Property |
distributive_on | Data.Semiring.Property |
distributive_xmult1_on | Data.Semiring.Property |
distributive_xmult_on | Data.Semiring.Property |