Changes between Version 105 and Version 106 of IR2

Timestamp:

05/14/21 16:41:00 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -347 +347 @@
 $float32 $round32($real x, $int mode);  // round to float32 (see modes above)
 $float64 $round64($real x, $int mode);  // round to float64 (see modes above)
-<T> T $abs(T x);  // absolute value (T must be a numeric type)
-<T> T $pow(T x, $int n);  // x to the n-th power.  T must be a numeric type; n>=0.
+$real $abs($real x); // absolute value on reals
+$int $absi($int x); // absolute value on integers
+$float32 $abs32($float32 x); // absolute value on $float32
+$float64 $abs64($float64 x); // absolute value on $float64
+$real $pow($real x, $int n);  // x to the n-th power.  n>=0
+$int $powi($int x, $int n);
+$float32 $pow32($float32 x, $int n);
+$float64 $pow64($float64 x, $int n);
+// do we need herbrand versions of above?  make these expressions?
+// trig functions? pi?
 <T> T $eval($herbrand<T> x);  // returns value of type T obtained by evaluating all the delayed operations
 <T> $herbrand<T> $herbrandize(T x);  // trivial symbolic expression consisting of a single node