Use P::=QQ[x,y,z];
Points := Mat([[1,2,3],[4,5,6],[7,11,12]]);
Val := Mat([[1],[0.1],[0.2]]);
R:=Num.EXTABM(Points,Val, 0.1);
Dec(-Eval(R[1],Points[1]),3);
Dec(-Eval(R[1],Points[2]),3);
Dec(-Eval(R[1],Points[3]),3);
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
["1.000", "0.999", "0.999", "0.999", "0.999", "1.000"]
-------------------------------
["0.099", "0.099", "0.099", "0.099", "0.099", "0.099"]
-------------------------------
["0.199", "0.200", "0.199", "0.200", "0.199", "0.199"]
-------------------------------
|