Allow function-call syntax for evaluating univariate polynomials

hpcgap/lib/ratfun.gi

@@ -1356,6 +1356,20 @@ function(f,g)
   TryNextMethod();
 end);
 
+#############################################################################
+##
+#M  <upol>(<val>)
+##
+##  Method to allow univariate polynomials to be used like functions when 
+##  appropriate
+InstallMethod(CallFuncList, [IsUnivariatePolynomial, IsList], 
+  function(poly, lst) 
+    if Length(lst) <> 1 then 
+        TryNextMethod(); 
+    fi; 
+    return Value(poly, lst[1]); 
+end);
+
 #############################################################################
 ##
 #M  Value

lib/ratfun.gd

@@ -1077,6 +1077,8 @@ DeclareOperation( "UnivariateRationalFunctionByCoefficients",
 ##  The second version takes an univariate rational function and specializes
 ##  the value of its indeterminate to <A>val</A>.
 ##  Again, an optional argument <A>one</A> may be given.
+##  <C>Value( <A>upol</A>, <A>val</A> )</C> can also be expressed as <C>upol( 
+##  <A>val</A> )</C>.
 ##  <P/>
 ##  <Example><![CDATA[
 ##  gap> Value(x*y+y+x^7,[x,y],[5,7]);

lib/ratfun.gi

@@ -1350,6 +1350,20 @@ function(f,g)
   TryNextMethod();
 end);
 
+#############################################################################
+##
+#M  <upol>(<val>)
+##
+##  Method to allow univariate polynomials to be used like functions when 
+##  appropriate
+InstallMethod(CallFuncList, [IsUnivariatePolynomial, IsList], 
+  function(poly, lst) 
+    if Length(lst) <> 1 then 
+        TryNextMethod(); 
+    fi; 
+    return Value(poly, lst[1]); 
+end);
+
 #############################################################################
 ##
 #M  Value

tst/testinstall/ratfun.tst

@@ -85,6 +85,16 @@ gap> Value(t^0,-1);
 gap> Value(t,-1);
 -1
 
+#
+gap> t(0);
+0
+gap> t(1);
+1
+gap> (t+1)(3);
+4
+gap> data[4](3);
+4
+
 #
 gap> y1:=Indeterminate(Rationals,1);;
 gap> y2:=Indeterminate(Rationals,2);;

tst/testinstall/ratfun_gf5.tst

@@ -71,6 +71,18 @@ Z(5)^0
 gap> Value(t,-1);
 Z(5)^2
 
+#
+gap> data[1](0);
+0
+gap> 0*t(1);
+0*Z(5)
+gap> (0*t)(1);
+0
+gap> data[4](3);
+Z(5)^2
+gap> (t+Z(5)^0)(3);
+Z(5)^2
+
 #
 gap> y1:=Indeterminate(Rationals,1);;
 gap> y2:=Indeterminate(Rationals,2);;