def Rational.mul

bend-kit-bignum@0.1.0.0 · rational.bend:65

import bend-kit-bignum@0.1.0.0/rational.bend as Rational
import Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big

65def Rational.mul(a: Rational, b: Rational) -> Rational:
66  match a b:
67    case Rational{an, ad} Rational{bn, bd}:
68      Rational.norm(Big.BigInt.mul(an, bn), Big.BigInt.mul(ad, bd))

Uses (3)

Used by (0)

No other definition uses this definition.