From 96f780518640dcb2286b3e08615d8747de370d14 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Thu, 25 Dec 2025 22:26:29 +1300 Subject: Repeated multiply version of exponentiation --- src/kompsos-math.ads | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/kompsos-math.ads') diff --git a/src/kompsos-math.ads b/src/kompsos-math.ads index a223fcb..093acbf 100644 --- a/src/kompsos-math.ads +++ b/src/kompsos-math.ads @@ -287,6 +287,21 @@ package Kompsos.Math is with Pre => Inputs'Length = 3; + -- repeated-mul -- + -- Inputs = Base_Term & Exponent_Term & Product_Term + function Repeated_Multiply + (This : in Goal; + Inputs : in Term_Array) + return Goal + with Pre => Inputs'Length = 3; + + -- Inputs = Base_Term & Exponent_Term & Product_Term + procedure Repeated_Multiply + (This : in out Goal; + Inputs : in Term_Array) + with Pre => Inputs'Length = 3; + + private -- cgit