nqt_match_rewrite
qt_normalize
を見よ.
ctrl("print_quote",2); nqt_match_rewrite(`x*y*z,[`X*Y,`X+Y],1); 出力: (x)+((y)*(z)) A=`x*x; nqt_match_rewrite(A,[`X*Y,`X+Y],1); 出力: x^2 (マッチしていない) nqt_match_rewrite(A,[`X*Y,`X+Y],2); 出力: 2*x 適合についてのモードの違いを理解するために次の例および fnode標準形(qt_normalize) を参照. quotetolist(qt_normalize(`x*x,0)); 出力: [b_op,^,[internal,x],[internal,2]] quotetolist(qt_normalize(`x*x,1)); 出力: [b_op,^,[internal,x],[internal,2]] quotetolist(qt_normalize(`x*x,2)); 出力: [n_op,*,[internal,x],[internal,x]]
nqt_match
,
section qt_rewrite
,
section qt_normalize
ChangeLog
Go to the first, previous, next, last section, table of contents.