Activity for REDUCE
Rainer Schöpf committed [r4241]
Fri, 20 Oct 2017 20:24:03 -0000
Package mrvlimit: Code cleanup (mostly removal of unnecessary << ... >> constructs).
Francis Wright committed [r4240]
Sun, 15 Oct 2017 13:38:10 -0000
Website: revised the Obtaining REDUCE page, especially to add more about using Linux.
Dream Scatter posted a comment on discussion Open Discussion
Fri, 13 Oct 2017 01:54:38 -0000
Greetings, I'd like to invite you to ponder the similarity between REDUCE and Panini's grammar: As in modern logic, considerable effort is expended distinguishing the ‘‘mention’’ of actual Sanskrit and the ‘‘use’’ of a formal grammar to describe and generate it. Pān: ini constructed a formal metalanguage for linguistic description by extending ordinary Sanskrit; this formalism then expresses the algorithms used to derive spoken expressions. For modern logicians the analogous task is organized through...
Arthur Norman committed [r4239]
Wed, 11 Oct 2017 07:59:20 -0000
CSL now uses a Mersenne Twister random number generator rather than the
Francis Wright committed [r4238]
Sun, 08 Oct 2017 17:09:47 -0000
Website: add a footer to all main pages that shows the date the page was last modified; use the SimplePie library locally to display RSS feeds.
Rainer Schöpf committed [r4237]
Sat, 07 Oct 2017 06:20:44 -0000
PSL for 64bit Linux:
Dream Scatter posted a comment on discussion Developers
Wed, 04 Oct 2017 20:33:41 -0000
Aha, I see. Thanks for the clarification, I do not familiarity with your code but am trying to learn some things!
Rainer Schöpf posted a comment on discussion Developers
Wed, 04 Oct 2017 16:46:45 -0000
I believe you are mistaken: Eberhard's change was not to CSL or PSL, but to Reduce proper. Hence, the switch is available in both CSL and PSL Reduce. However, as I tried to explain in a previous post, PSL is not Unicode-ready, which means that printing of non-ASCII characters does not work as expected: Reduce (Free PSL version, revision 4209), 4-Oct-2017 ... 1: off nat; 2: on unicode_in_off_nat; 3: #alpha; + #beta;; α + β$ 4: ab + #beta;; β + ab$ 5: off unicode_in_off_nat; 6: ab + #beta;; !�!� +...
Dream Scatter posted a comment on discussion Developers
Wed, 04 Oct 2017 15:56:59 -0000
Thanks for your response. I believe Eberhard Schruefer already made the necessary modifications to CSL as explained in this post: https://sourceforge.net/p/reduce-algebra/discussion/899365/thread/5b0447af/#04ee This is the commit: https://sourceforge.net/p/reduce-algebra/code/4234/ However, it would be good to know if this switch will also be available in PSL
Francis Wright committed [r4236]
Tue, 03 Oct 2017 11:35:47 -0000
Website: fixed some broken links in the bibliography.
Arthur Norman posted a comment on discussion Developers
Tue, 03 Oct 2017 07:17:14 -0000
greetings from longyearbyen where I am just back from 100% lack of connectivity. I can fix whatever is needed in CSL when I have unpacked some polar bear pics having got home later today. Arthur -------- Original message -------- From: Dream Scatter chakravala@users.sf.net Date: 29/09/2017 19:35 (GMT+01:00) To: "[reduce-algebra:discussion]" 899365@discussion.reduce-algebra.p.re.sf.net Subject: [reduce-algebra:discussion] Unicode or UTF8 support? That's great, thank you for the assistance. It is now...
Rainer Schöpf committed [r4235]
Mon, 02 Oct 2017 10:17:21 -0000
Updated list of known switches
Dream Scatter posted a comment on discussion Developers
Sat, 30 Sep 2017 21:05:13 -0000
Alright, in that case the name unicode_in_off_nat should be fine, since it is only used once. thanks
Eberhard Schruefer posted a comment on discussion Developers
Sat, 30 Sep 2017 20:25:11 -0000
The switch can be given any name as long as it doesn't clash with something already existing. Preferably, the name should be intuitive (off unat or utf_nat suggests to me that one would also turn off the unicode printing). At the moment the switch unicode_in_off_nat is not turned off when nat is turned on. It has no consequencies whatsoever when nat is turned on. So when you say 'on unicode_in_off_nat' you can toggle nat as many times as you want in your program and have always the unicode characters...
Dream Scatter posted a comment on discussion Developers
Sat, 30 Sep 2017 18:58:26 -0000
Is it necessary for the unicode_in_off_nat switch to have such a long name? for a command like that, which might be used frequently, I would prefer to minimize the time it takes to stream the characters into the pipe could it be named to something like unat or utf_nat ? will unicode_in_off_nat be switched off when nat is turned on and off again or does it stay on the whole time? i.e. will I have to turn unicode_in_off_nat mode back on each time I enter and exit nat mode?
Dream Scatter posted a comment on discussion Developers
Sat, 30 Sep 2017 17:14:15 -0000
Thank you, I appreciate it!
Eberhard Schruefer posted a comment on discussion Developers
Sat, 30 Sep 2017 16:36:28 -0000
I just added a switch unicode_in_off_nat that prints unicode characters as such in 'off nat' mode. E.g. [eschruefer@herbrand ~]$ redcsl -w Reduce (Free CSL version, revision 4218), 30-Sep-17 ... 1: off nat; 2: on unicode_in_off_nat; 3: #alpha; + #beta;; α + β$ 4: ab + #beta;; ab + β$ 5: off unicode_in_off_nat; 6: ab + #beta;; ab + !#03b2;$ Eberhard
Eberhard Schruefer committed [r4234]
Sat, 30 Sep 2017 16:30:34 -0000
Added switch unicode_in_off_nat to have unicode characters displayed as such when nat is off.
Dream Scatter posted a comment on discussion Developers
Sat, 30 Sep 2017 16:00:21 -0000
Thanks for the explanation. There is one difference between the CSL and PSL that I can perceive though: with the "redcsl -w" mode I am able to input a character like Ω and it is recognized, while in PSL the character is not recognized as an input unless written out as #03a9; With CSL combined with my package I can apply Reduce to julia langauge expressions julia> :(Ω^2+2Ω+1) |> factor :((Ω + 1) ^ 2) internally, this command goes through a sequence like this: convert the julia expression object into...
Francis Wright committed [r4233]
Sat, 30 Sep 2017 15:25:03 -0000
Website: ensure that the text in the Download REDUCE from SourceForge box stays black.

rssfeedwidget.com