Extended MatrixLib

Author: kevinlano

libraries/mathlib.km3

@@ -29,15 +29,19 @@ package mathlib {
 
     static query piValue() : double
     pre: true
-    post: result = 3.14159265;
+    post: result = 3.1415926535897932384626433;
 
     static query e() : double
     pre: true
     post: result = 1->exp();
 
     static query eValue() : double
     pre: true
-    post: result = 1->exp();
+    post: result = 2.71828182845904523536028747135266249775724709369995;
+
+    static query gammaValue() : double
+    pre: true
+    post: result = 0.5772156649015328606065120900824024310421;
 
     static operation setSeeds(x : int , y : int , z : int ) : void
     pre: true