From 009dd1f9cbbd024f8bfd925989e2482f48abe71d Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Tue, 6 Jan 2026 23:28:18 +1300
Subject: Demonstration program for using arbitrary zero and one elements in
 Math generic

---
 test/boolnum.adb | 57 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 test/boolnum.adb

(limited to 'test')

diff --git a/test/boolnum.adb b/test/boolnum.adb
new file mode 100644
index 0000000..0539594
--- /dev/null
+++ b/test/boolnum.adb
@@ -0,0 +1,57 @@
+
+
+--  Programmed by Jedidiah Barber
+--  Licensed under the Sunset License v1.0
+
+--  See license.txt for further details
+
+
+with
+
+    Ada.Text_IO,
+    Kompsos.Math,
+    Kompsos.Pretty_Print;
+
+
+procedure Boolnum is
+
+    package TIO renames Ada.Text_IO;
+
+
+    package BKomp is new Kompsos (Boolean);
+    use BKomp;
+
+    package Math is new BKomp.Math (False, True);
+
+    package Printer is new BKomp.Pretty_Print (Boolean'Image);
+
+
+    Relation : Goal := Empty_Goal;
+
+    Four : constant Term := Math.Build (4);
+    Five : constant Term := Math.Build (5);
+    Nine : constant Term := Math.Build (9);
+
+    Sum     : constant Term := Relation.Fresh;
+    Product : constant Term := Relation.Fresh;
+
+    Result : State;
+
+begin
+
+    TIO.Put_Line ("Demonstration of arithmetic using boolean zero and one elements.");
+    TIO.New_Line;
+
+    Math.Add (Relation, Five & Nine & Sum);
+    Math.Multiply (Relation, Four & Five & Product);
+
+    Result := Relation.Run;
+
+    TIO.Put_Line (Printer.Image (Five) & " + " & Printer.Image (Nine) &
+        " = " & Printer.Image (Sum.Resolve (Result)));
+    TIO.Put_Line (Printer.Image (Four) & " * " & Printer.Image (Five) &
+        " = " & Printer.Image (Product.Resolve (Result)));
+
+end Boolnum;
+
+
-- 
cgit