如何查看 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);