Hex Artifact Content

Artifact b2939ea9be89372c32cb2f3498b5045b54f6c340:

Wiki page [Numerics] by Entomy 2017-12-27 16:12:40.
0000: 44 20 32 30 31 37 2d 31 32 2d 32 37 54 31 36 3a  D 2017-12-27T16:
0010: 31 32 3a 34 30 2e 32 37 38 0a 4c 20 4e 75 6d 65  12:40.278.L Nume
0020: 72 69 63 73 0a 50 20 61 36 36 38 30 33 64 65 63  rics.P a66803dec
0030: 63 61 33 37 38 61 66 33 31 37 63 39 33 66 66 31  ca378af317c93ff1
0040: 36 62 35 39 64 34 66 66 39 32 66 62 66 65 32 0a  6b59d4ff92fbfe2.
0050: 55 20 45 6e 74 6f 6d 79 0a 57 20 37 32 36 0a 3c  U Entomy.W 726.<
0060: 70 3e 49 6d 70 6c 65 6d 65 6e 74 73 20 61 20 6c  p>Implements a l
0070: 61 72 67 65 20 6e 75 6d 62 65 72 20 6f 66 20 75  arge number of u
0080: 73 65 66 75 6c 20 6e 75 6d 65 72 69 63 20 74 79  seful numeric ty
0090: 70 65 73 20 74 68 61 74 20 77 65 72 65 2c 20 66  pes that were, f
00a0: 6f 72 20 76 61 72 69 6f 75 73 20 72 65 61 73 6f  or various reaso
00b0: 6e 73 2c 20 6e 6f 74 20 69 6e 63 6c 75 64 65 64  ns, not included
00c0: 20 69 6e 20 53 74 61 6e 64 61 72 64 2e 20 49 20   in Standard. I 
00d0: 61 67 72 65 65 20 77 69 74 68 20 74 68 65 20 65  agree with the e
00e0: 78 63 6c 75 73 69 6f 6e 2c 20 61 6e 64 20 74 68  xclusion, and th
00f0: 69 73 20 70 61 63 6b 61 67 65 20 73 65 65 6b 73  is package seeks
0100: 20 74 6f 20 73 75 70 70 6c 65 6d 65 6e 74 20 74   to supplement t
0110: 68 65 20 53 74 61 6e 64 61 72 64 20 6e 75 6d 65  he Standard nume
0120: 72 69 63 73 2e 20 53 6f 6d 65 20 6b 65 79 20 66  rics. Some key f
0130: 65 61 74 75 72 65 73 3a 3c 2f 70 3e 0d 0a 3c 75  eatures:</p>..<u
0140: 6c 3e 0d 0a 3c 6c 69 3e 4e 61 74 75 72 61 6c 2c  l>..<li>Natural,
0150: 20 50 6f 73 69 74 69 76 65 2c 20 4e 65 67 61 74   Positive, Negat
0160: 69 76 65 2c 20 45 76 65 6e 2c 20 61 6e 64 20 4f  ive, Even, and O
0170: 64 64 20 73 75 62 74 79 70 65 73 20 66 6f 72 20  dd subtypes for 
0180: 74 68 65 20 73 74 61 6e 64 61 72 64 20 49 6e 74  the standard Int
0190: 65 67 65 72 20 6f 66 20 61 6c 6c 20 73 69 7a 65  eger of all size
01a0: 73 2e 20 45 76 65 6e 20 61 6e 64 20 4f 64 64 20  s. Even and Odd 
01b0: 61 72 65 20 61 63 68 69 65 76 65 64 20 77 69 74  are achieved wit
01c0: 68 20 44 79 6e 61 6d 69 63 20 50 72 65 64 69 63  h Dynamic Predic
01d0: 61 74 65 73 2c 20 61 6e 64 20 72 65 71 75 69 72  ates, and requir
01e0: 65 20 41 64 61 20 32 30 31 32 2e 3c 2f 6c 69 3e  e Ada 2012.</li>
01f0: 0d 0a 3c 6c 69 3e 50 72 65 64 65 66 69 6e 65 64  ..<li>Predefined
0200: 20 6d 6f 64 75 6c 61 72 20 74 79 70 65 73 20 62   modular types b
0210: 61 73 65 64 20 6f 6e 20 74 68 65 69 72 20 65 71  ased on their eq
0220: 75 69 76 61 6c 65 6e 74 20 49 6e 74 65 67 65 72  uivalent Integer
0230: 20 74 79 70 65 73 2e 3c 2f 6c 69 3e 0d 0a 3c 6c   types.</li>..<l
0240: 69 3e 4d 6f 64 75 6c 75 73 20 61 6e 64 20 52 65  i>Modulus and Re
0250: 6d 61 69 6e 64 65 72 20 6f 70 65 72 61 74 6f 72  mainder operator
0260: 73 20 66 6f 72 20 66 72 61 63 74 69 6f 6e 61 6c  s for fractional
0270: 20 74 79 70 65 73 2e 3c 2f 6c 69 3e 0d 0a 3c 6c   types.</li>..<l
0280: 69 3e 54 72 75 6e 63 61 74 65 2c 20 43 65 69 6c  i>Truncate, Ceil
0290: 69 6e 67 2c 20 61 6e 64 20 46 6c 6f 6f 72 2c 20  ing, and Floor, 
02a0: 66 75 6e 63 74 69 6f 6e 73 20 66 6f 72 20 66 72  functions for fr
02b0: 61 63 74 69 6f 6e 61 6c 20 74 79 70 65 73 2e 3c  actional types.<
02c0: 2f 6c 69 3e 0d 0a 3c 2f 75 6c 3e 0d 0a 3c 70 3e  /li>..</ul>..<p>
02d0: 4f 6e 6c 79 20 61 72 69 74 68 6d 65 74 69 63 20  Only arithmetic 
02e0: 61 6e 64 20 70 72 6f 70 65 72 74 69 65 73 20 61  and properties a
02f0: 72 65 20 69 6d 70 6c 65 6d 65 6e 74 65 64 20 68  re implemented h
0300: 65 72 65 2e 20 46 75 72 74 68 65 72 20 6d 61 74  ere. Further mat
0310: 68 20 73 75 70 70 6f 72 74 20 62 65 6c 6f 6e 67  h support belong
0320: 73 20 69 6e 20 4d 61 74 68 65 6d 61 74 69 63 73  s in Mathematics
0330: 2e 3c 2f 70 3e 0a 5a 20 62 65 37 61 62 31 31 64  .</p>.Z be7ab11d
0340: 31 62 65 38 33 37 36 30 63 30 37 62 31 64 32 64  1be83760c07b1d2d
0350: 39 66 61 62 64 30 61 35 0a                       9fabd0a5.