def Rational.mul
import bend-kit-bignum@0.1.0.0/rational.bend as Rationalimport 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.