Here's a proposal for integrating exponentiation into the Ints theory. In a nutshell, the proposal is to introduce a new function
with the following semantics:
(** x y) = xy if y >= 0(** x y) = 1 div x-y if y < 0
All the details are in the PDF.
If you're interested, please comment, ideally before Christmas. The goal is to stabilize the proposal by the end of the year.
Here's a proposal for integrating exponentiation into the
Intstheory. In a nutshell, the proposal is to introduce a new functionwith the following semantics:
(** x y) = xyify >= 0(** x y) = 1 div x-yify < 0All the details are in the PDF.
If you're interested, please comment, ideally before Christmas. The goal is to stabilize the proposal by the end of the year.