include "Z/compare.ma".
include "Z/plus.ma".
include "nat/factorization.ma".
+include "Q/fraction/fraction.ma".
let rec enumerator_integral_fraction l ≝
match l with
]
].
+(*
definition enumerator_of_fraction ≝
λq.
match q with
| Qpos r ⇒ denominator_of_fraction r
| Qneg r ⇒ denominator_of_fraction r
].
+*)
\ No newline at end of file