nqt_match
qt_normalize
を見よ.
ctrl("print_quote",2); A=quote((x-y)*(x+y)); nqt_match(A,quote(P*Q)); [P,Q] 出力: [x-y, x+y] nqt_match(A,quote(P*Q),1); マッチしない. nqt_match(A,quote(P*Q),2); マッチしない. qt_normalize(A,1); 出力: ((x)^(2))+((x)*(y))+((-1)*((y)^(2)))+((-1)*(y)*(x)) qt_normalize(A,2); 出力: ((x)*(x))+((x)*(y))+((-1)*(y)*(x))+((-1)*(y)*(y))
nqt_match_rewrite
,
section qt_rewrite
ChangeLog
Go to the first, previous, next, last section, table of contents.