kill(all)$

maxima:programming :problems with noun,verbify (unprotect :for evaluation with nouns),version 1.0
peter.vlasschaert@gmail.com,20/06/2022

use:simp,noun,nouns,verbify (problems : new version, wxMaxima )

→version maxima:wxMaxima : 22.04.00

info : lisp language below system.

 ?print(f);

?print("+"(a,b));

?print(nounify(f)(a,b));

sin(5);

1e) question : How display → sin(0)=0
--------------------------------------------------

ref :http://www.cs.berkeley.edu/~fateman/papers/nounverbmac.pdf

sin(0)=0;

block([], sin(0)=0);

simp;/*default value*/

block([simp:false],sin(0)=0);

simp;

only way : 

simp:false;

p1:(sin(0)=0);

p1a:ev(p1,simp:true);/*ev:used local :simp*/

p1b:ev(p1,nouns);

simp;

→ nouns doesn't work with ev .when simp:false.

2e) How write : sin(x),noun function.
-------------------------------------------------

simp:true;

declare(fsin,noun)$

fsin(x):=(sin(x));

fsin(0);/*noun form:protect against evaluation*/

gs:verbify(fsin);

?print(gs(0));

final : result sin(0) = 0

gs(0);/*(*ref). gs(0)→0*/

ev(fsin(0),nouns);

fsin(0),nouns;

? problem found : verbify ,doesn't work anymore.
*ref : https://def.fe.up.pt/pipermail/maxima-discuss/2008/026756.html

declare(fs,noun)$

fs(x):=sin(x);

fs(0);

'fs(0);

fs(0),nouns;

? problem noun form  : for evaluation after use nouns.
ref : https://def.fe.up.pt/pipermail/maxima-discuss/2008/026756.html

fs1(x):=sin(x);

fs1(0);

'fs1(0);/* ' used as noun form */

? ' no problem