Changes between Version 133 and Version 134 of IR2

Timestamp:

06/17/21 13:55:42 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -404 +404 @@
 <$int s> $float<s> $powf($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
-<T> $herbrand<T> $herbrandize(T x);  // trivial symbolic expression consisting of a single node
 
 }}}