raw
ffa_ch1_genesis.kv      1 ------------------------------------------------------------------------------
ffa_ch1_genesis.kv      2 ------------------------------------------------------------------------------
ffa_ch1_genesis.kv      3 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
ffa_ch1_genesis.kv      4 --                                                                          --
ffa_ch1_genesis.kv      5 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
ffa_ch1_genesis.kv      6 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
ffa_ch1_genesis.kv      7 --                                                                          --
ffa_ch1_genesis.kv      8 -- You do not have, nor can you ever acquire the right to use, copy or      --
ffa_ch1_genesis.kv      9 -- distribute this software ; Should you use this software for any purpose, --
ffa_ch1_genesis.kv     10 -- or copy and distribute it to anyone or in any manner, you are breaking   --
ffa_ch1_genesis.kv     11 -- the laws of whatever soi-disant jurisdiction, and you promise to         --
ffa_ch1_genesis.kv     12 -- continue doing so for the indefinite future. In any case, please         --
ffa_ch1_genesis.kv     13 -- always : read and understand any software ; verify any PGP signatures    --
ffa_ch1_genesis.kv     14 -- that you use - for any purpose.                                          --
ffa_ch1_genesis.kv     15 --                                                                          --
ffa_ch1_genesis.kv     16 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm .     --
ffa_ch1_genesis.kv     17 ------------------------------------------------------------------------------
ffa_ch1_genesis.kv     18 ------------------------------------------------------------------------------
ffa_ch1_genesis.kv     19 
ffa_ch1_genesis.kv     20 -- From Ada:
ffa_ch1_genesis.kv     21 with Ada.Text_IO; use Ada.Text_IO;
ffa_ch1_genesis.kv     22 
ffa_ch1_genesis.kv     23 -- From FFA:
ffa_ch1_genesis.kv     24 with Words;    use Words;
ffa_ch1_genesis.kv     25 with FZ_Type;  use FZ_Type;
ffa_ch1_genesis.kv     26 with FZ_Arith; use FZ_Arith;
ffa_ch1_genesis.kv     27 
ffa_ch1_genesis.kv     28 -- From the Demo:
ffa_ch1_genesis.kv     29 with FFA_IO;   use FFA_IO;
ffa_ch1_genesis.kv     30 
ffa_ch1_genesis.kv     31 
ffa_ch1_genesis.kv     32 package body Demo_Ch1 is
ffa_ch1_genesis.kv     33 
ffa_ch1_genesis.kv     34    procedure Demo_Add_Sub is
ffa_ch1_genesis.kv     35       
ffa_ch1_genesis.kv     36       -- We are using 64-bit Words (see iron.ads).
ffa_ch1_genesis.kv     37       -- We'll begin with an elementary demo, using 256-bit FZ:
ffa_ch1_genesis.kv     38       X : FZ(1 .. 4) := (0,        0, 0, 0);
ffa_ch1_genesis.kv     39       Y : FZ(1 .. 4) := (16#5555#, 0, 0, 0);
ffa_ch1_genesis.kv     40       Z : FZ(1 .. 4) := (0,        0, 0, 0);
ffa_ch1_genesis.kv     41       
ffa_ch1_genesis.kv     42       -- Carry.
ffa_ch1_genesis.kv     43       C : WBool := 0;
ffa_ch1_genesis.kv     44       
ffa_ch1_genesis.kv     45    begin
ffa_ch2_logicals.kv    46       Put_Line("~~~ Ch. 1 : Add, Sub ~~~");
ffa_ch2_logicals.kv    47       New_Line;
ffa_ch1_genesis.kv     48       
ffa_ch1_genesis.kv     49       Put_Line("X         =");
ffa_ch1_genesis.kv     50       Dump(X);
ffa_ch1_genesis.kv     51       New_Line;
ffa_ch1_genesis.kv     52       
ffa_ch1_genesis.kv     53       Put_Line("Y         =");
ffa_ch1_genesis.kv     54       Dump(Y);
ffa_ch1_genesis.kv     55       New_Line;
ffa_ch1_genesis.kv     56       
ffa_ch1_genesis.kv     57       FZ_Add(X, Y, Z, C);
ffa_ch1_genesis.kv     58       Put_Line("X + Y     =");
ffa_ch1_genesis.kv     59       Dump(Z);
ffa_ch1_genesis.kv     60       New_Line;
ffa_ch1_genesis.kv     61       Put_Line("C         = " & WBool'Image(C));
ffa_ch1_genesis.kv     62       
ffa_ch1_genesis.kv     63       FZ_Sub(X, Y, Z, C);
ffa_ch1_genesis.kv     64       Put_Line("X - Y     =");
ffa_ch1_genesis.kv     65       Dump(Z);
ffa_ch1_genesis.kv     66       New_Line;
ffa_ch1_genesis.kv     67       Put_Line("C         = " & WBool'Image(C));
ffa_ch2_logicals.kv    68       New_Line;
ffa_ch1_genesis.kv     69       
ffa_ch1_genesis.kv     70    end Demo_Add_Sub;
ffa_ch1_genesis.kv     71       
ffa_ch1_genesis.kv     72 end Demo_Ch1;