2 (in-package :lineal.overload
)
4 (defmethod over-multv-inverse ((a number
)) (/ a
))
5 (defmethod expt2n (a b
) (expt a b
))
7 (defmethod add2n ((a number
) (b number
)) (+ a b
))
8 (defmethod subtr2n ((a number
) (b number
)) (- a b
))
9 (defmethod mult2n ((a number
) (b number
)) (* a b
))
10 (defmethod divis2n ((a number
) (b number
)) (/ a b
))
12 (defun over-factorial (n)
13 (declare (type (integer 0 *) n
))