add to_List_String for Int

totoro
1 parent ddfcf545
Showing 1 changed file with 13 additions and 1 deletions Show diff stats
anubis_dev/library/tools/int.anubis
@@ -71,6 +71,9 @@ public define              Bool      even    (Int x).
 public define              Int       gcd     (Int x, Int y).    greatest common divisor
 public define              Int       lcm     (Int x, Int y).    least common multiple
  
+   *** (8) String tools for Int. 
+   
+public define     List(String) to_List_String(List(Int) l_int). convert a list of Int into List of String
  
    --- That's all for the public part ! -----------------------------------------------
  
@@ -200,5 +203,14 @@ public define Int
                   else greatest(t,h)
      }.
  
-   
+    convert a list of Int into List of String
+    
+public define List(String) 
+  to_List_String
+  (
+    List(Int) l_int
+  )=
+  map((Int int) |-> abs_to_decimal(int), l_int)
+  .
+