diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-25 22:26:29 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-25 22:26:29 +1300 |
| commit | 96f780518640dcb2286b3e08615d8747de370d14 (patch) | |
| tree | ac97adbbff985b568794069c4b0160688aede4b2 /src/kompsos-math.ads | |
| parent | b539ee5bf314bb4ed5df92ada1e0319fefc647ec (diff) | |
Repeated multiply version of exponentiation
Diffstat (limited to 'src/kompsos-math.ads')
| -rw-r--r-- | src/kompsos-math.ads | 15 |
1 files changed, 15 insertions, 0 deletions
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 |