Nikos P. Pitsianis

Thanks, the contextual menu selection works. N On Jun 15, 2020, at 11:22 AM, Christiaan Hofman hofman@users.sourceforge.net wrote: BTW, this is also available through the contextual menu. [feature-requests:#1589] https://urldefense.com/v3/__https://sourceforge.net/p/skim-app/feature-requests/1589/__;!!OToaGQ!5tDqplYem5uM4QTN8F_8IINAYvB8aMMCQs07zoCu6p4-YOFoqfu2wZin8u_c8umH$ Tool selection to apply to the split window as well Status: closed Group: All Created: Sun Jun 14, 2020 10:04 AM UTC by Nikos...

Tool selection to apply to the split window as well

Hello! Does REDUCE support term rewriting with conditional rule application? For example Mathematica allows to name sets of rules with conditions rule-name = pattern :> replacement-value \; condition and then apply it expression //. rule-name Is there an equivalent way to have such functionality with REDUCE? A casual browsing of the online documentation did not locate the word rewrite. The for all such that let seem to define conditional rules but I did not figure out how to apply them strategically....