div package:numhask

Approximate diviso for fields. Compared with div, divF returns the original type rather than the Whole type.

>>> divF 1.5 1.2
1.0

Approximate divMod for fields.

>>> divModF 1.5 1.2
(1.0,0.30000000000000004)

or Division Though unusual, the term Divisive usefully fits in with the grammer of other classes and avoids name clashes that occur with some popular libraries.

\(a :: Double) -> a / a ~= one || a == zero

\(a :: Double) -> recip a ~= one / a || a == zero

\(a :: Double) -> recip a * a ~= one || a == zero

\(a :: Double) -> a * recip a ~= one || a == zero

>>> recip 2.0
0.5

>>> 1 / 2
0.5

Divisive Action

m |/ one = m