如何在 Maple 中查看函数/方法的源代码实现

Question

我尝试了以下方法：

interface(verboseproc=2);
readlib(FormalPowerSeries);

但我没有得到源代码，而是得到以下几行：

module()
local UpdateCoeff,ComplexApart,RationalAlgorithm,constantRE,PSInt,PS,hypergeomRE,de2re,hypergeomRsolve,printDE,DIRECTION,simpl,FindDE,Limit,Recursion,RecursionSimplify,Pochhammer,simpreal,simppoch,simpfact,tofact,`FPS/Hankel1`,`FPS/Hankel2`,`FPS/JacobiP`,`FPS/Bateman`,`FPS/ExpIntegralE`,`FPS/Abramowitz`,`FPS/Fibonacci`,`FPS/LegendreP`,`FPS/LegendreQ`,`FPS/ChebyshevT`,`FPS/ChebyshevU`,`FPS/LaguerreL`,standardsum,REorder,subsspecfunc,SUBS,mysolve;
export FPS,HolonomicDE,SimpleRE,_pexports,`convert/RESol`;
global `diff/FPS/Hankel1`,`diff/FPS/Hankel2`,`diff/FPS/JacobiP`,`diff/FPS/LegendreP`,`diff/FPS/LegendreQ`,`diff/FPS/ChebyshevT`,`diff/FPS/ChebyshevU`,`diff/FPS/LaguerreL`,`diff/FPS/Bateman`,`diff/FPS/ExpIntegralE`,`diff/FPS/Abramowitz`,`diff/FPS/Fibonacci`,`convert/FormalPowerSeries`,`convert/FPS`;
end module

有什么方法可以查看源代码实现吗？

Answer 1

restart:
interface(verboseproc=3): # verbose printing of procedure bodies
exports(FormalPowerSeries); # those which you can normally print
eval(FormalPowerSeries:-FPS); # printing one of the exports
eval(FormalPowerSeries); # the shell of the module, showing locals
# normally, you cannot print the locals
eval(FormalPowerSeries:-RationalAlgorithm);
kernelopts(opaquemodules=false): # allowing printing of the locals
eval(FormalPowerSeries:-RationalAlgorithm);