Activity for Nikos P. Pitsianis

  • Nikos P. Pitsianis Nikos P. Pitsianis posted a comment on ticket #1589

    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...

  • Nikos P. Pitsianis Nikos P. Pitsianis created ticket #1589

    Tool selection to apply to the split window as well

  • Nikos P. Pitsianis Nikos P. Pitsianis posted a comment on discussion Open Discussion

    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....

1