Changes between Version 130 and Version 131 of IR2

Timestamp:

06/16/21 10:29:40 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -392 +392 @@
 
 {{{
-$template <$int s> $int<s> $round($real x); // round to nearest integer
-$template <$int s> $int<s> $floor($real x); // greatest integer less than or equal to
-$template <$int s> $int<s> $ceil($real x); // least integer greater than or equal to
-$template <$int s> $float<s> $roundf($real x, $int mode);  // round to float (see modes above)
+$int $round($real x); // round to nearest integer
+$int $floor($real x); // greatest integer less than or equal to
+$int $ceil($real x); // least integer greater than or equal to
+<$int s> $float<s> $roundf($real x, $int mode);  // round to float (see modes above)
 $real $abs($real x); // absolute value on reals
-$template <$int s> $int<s> $absi($int<s> x); // absolute value on integers
-$template <$int s> $float<s> $absf($float<s> x); // absolute value on $float
-...left off here...
-$float64 $abs64($float64 x); // absolute value on $float64
+$int $absi($int x); // absolute value on integers
+<$int s> $float<s> $absf($float<s> x); // absolute value on $float
 $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?
+<$int s> $float<s> $pow($float<s> x, $int n);
 // trig functions? pi?
 <T> T $eval($herbrand<T> x);  // returns value of type T obtained by evaluating all the delayed operations