Activity for REDUCE

Arthur Norman committed [r4295]

Most of the time I leave the generated configure script and all the

Posted by Arthur Norman on 14 Dec 2017

Francis Wright committed [r4294]

Standard LISP on Emacs Lisp updates

Posted by Francis Wright on 11 Dec 2017

Arthur Norman committed [r4293]

Improved script to reset a checked out tree to match the repository.

Posted by Arthur Norman on 11 Dec 2017

Arthur Norman committed [r4292]

Smallish patches emerging from wxWidgets activity and trying to build using High Sierra on the Mac.

Posted by Arthur Norman on 10 Dec 2017

Francis Wright committed [r4291]

sl.el: Standard LISP on Emacs Lisp updates

Posted by Francis Wright on 9 Dec 2017

Francis Wright committed [r4290]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 8 Dec 2017

Raffaele Vitolo created a blog post

New release of REDUCE IDE for GNU Emacs

Posted by Raffaele Vitolo on 8 Dec 2017

Francis Wright committed [r4289]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 6 Dec 2017

Francis Wright committed [r4288]

GNU Emacs REDUCE IDE documentation update

Posted by Francis Wright on 5 Dec 2017

Francis Wright committed [r4287]

sl.el: Standard LISP on Emacs Lisp updates

Posted by Francis Wright on 5 Dec 2017

Arthur Norman committed [r4286]

Fixups relating of --with-wx in debug mode.

Posted by Arthur Norman on 30 Nov 2017

Francis Wright committed [r4285]

Web site: Fixed navigation and missing footer for REDUCE IDE page.

Posted by Francis Wright on 30 Nov 2017

Arthur Norman committed [r4284]

A second attempt at the wxWidgets refresh. I now include libpng and zlib within

Posted by Arthur Norman on 30 Nov 2017

Francis Wright committed [r4283]

Web site: Updated REDUCE IDE page for version 1.5 and made directories viewable to facilitate REDUCE IDE package distribution.

Posted by Francis Wright on 30 Nov 2017

Francis Wright committed [r4282]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 30 Nov 2017

Arthur Norman committed [r4281]

Some ages I have had a background activity of migrating the CSL GUI from using

Posted by Arthur Norman on 29 Nov 2017

Francis Wright committed [r4280]

sl.el: Initial experiments to emulate Standard LISP in Emacs Lisp, with a view eventually to running REDUCE in Emacs without any external Lisp support.

Posted by Francis Wright on 28 Nov 2017

Rainer Schöpf committed [r4279]

PSL compiler: Fix a couple of typos in comments.

Posted by Rainer Schöpf on 26 Nov 2017

Rainer Schöpf committed [r4278]

PSL: Implemented exploden, explodecn, explode2n.

Posted by Rainer Schöpf on 26 Nov 2017

Rainer Schöpf committed [r4277]

PSL: minor improvement in printing/explode. Probably doesn't make a difference in real life examples.

Posted by Rainer Schöpf on 26 Nov 2017

Rainer Schöpf committed [r4276]

Merge change 4254 for macintel64 PSL: removed superfluous masking of lisp tags already masked.

Posted by Rainer Schöpf on 26 Nov 2017

Rainer Schöpf committed [r4275]

Merge change 4254 for FreeBSD64 PSL:

Posted by Rainer Schöpf on 26 Nov 2017

Raffaele Vitolo modified a blog post

Support for Scientific Linux

Posted by Raffaele Vitolo on 24 Nov 2017

Raffaele Vitolo created a blog post

Support for Scientific Linux

Posted by Raffaele Vitolo on 24 Nov 2017

Arthur Norman committed [r4274]

A script to use "yum" to install packages that may let you build Reduce from

Posted by Arthur Norman on 19 Nov 2017

Dream Scatter posted a comment on discussion Help

Greetings, I am trying to do something like load_package normform; first jordan(mat((6,5,-2,-3),(-3,-1,3,3),(2,1,-2,-3),(-1,1,5,5))); which works fine in the terminal using redcsl or redpsl However, when I send that command via the Pipe from the Julia language, the return expression is empty and does not contain the answer. Can you reproduce this problem on your end? Is it a bug or am I doing something wrong?

Posted by Dream Scatter on 19 Nov 2017

Rainer Schöpf committed [r4273]

Merge change 4254 for Win64 PSL:

Posted by Rainer Schöpf on 17 Nov 2017

Francis Wright committed [r4272]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 15 Nov 2017

Francis Wright committed [r4271]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 15 Nov 2017

Arthur Norman committed [r4270]

Make the .cab files in winbuild rather smaller, both my omitting some

Posted by Arthur Norman on 13 Nov 2017

Francis Wright committed [r4269]

Web site: Added a new book, corrected an error on the independent distributions page and replaced a dash character in the wrong charset with – on the support page.

Posted by Francis Wright on 13 Nov 2017

Rainer Schöpf committed [r4268]

Replace symbolic link by file (missing target)

Posted by Rainer Schöpf on 13 Nov 2017

REDUCE released /snapshot_2017-11-12/Reduce-Setup_2017-11-12.exe

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-complete-2017_11-12.i386.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-csl_2017-11-12_i386.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-freestanding_2017-11-12_x86_64.tar.bz2

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-addons_2017-11-12_amd64.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-csl-2017_11-12.x86_64.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-psl-2017_11-12.x86_64.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-addons-2017_11-12.i386.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-psl_2017-11-12_i386.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-csl-2017_11-12.i386.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-csl_2017-11-12_amd64.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-csl_2017-11-12_i386.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-common-2017_11-12.noarch.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-csl_2017-11-12_amd64.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/Reduce-snapshot_2017-11-12.dmg

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-addons_2017-11-12_amd64.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-complete_2017-11-12_i386.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-addons_2017-11-12_i386.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-psl_2017-11-12_i386.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-freestanding_2017-11-12_i686.tar.bz2

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-psl_2017-11-12_amd64.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-psl_2017-11-12_amd64.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-common_2017-11-12_all.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-addons-2017_11-12.x86_64.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-psl-2017_11-12.i386.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-complete_2017-11-12_amd64.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-addons_2017-11-12_i386.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-tar/reduce-complete_2017-11-12_i386.tgz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-rpm/reduce-complete-2017_11-12.x86_64.rpm

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-complete_2017-11-12_amd64.deb

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/Reduce-svn4264-src.tar.gz

Posted by REDUCE on 12 Nov 2017

REDUCE released /snapshot_2017-11-12/linux-deb/reduce-common_2017-11-12_all.deb

Posted by REDUCE on 12 Nov 2017

Arthur Norman committed [r4267]

An illustration of how to get started with a framework for analysing existing

Posted by Arthur Norman on 12 Nov 2017

Francis Wright committed [r4266]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 12 Nov 2017

Arthur Norman committed [r4265]

For CSL if you go into the detailed build directory (in other words

Posted by Arthur Norman on 12 Nov 2017

Arthur Norman committed [r4264]

Experimentally generate .cab files in winbuild/Output. At present I do not know

Posted by Arthur Norman on 12 Nov 2017

Arthur Norman committed [r4263]

This should make the creation on a windows distribution in the winbuild

Posted by Arthur Norman on 12 Nov 2017

Arthur Norman committed [r4262]

Remove some unnecessary comments in cslbase/configure.ac, and slightly

Posted by Arthur Norman on 11 Nov 2017

Francis Wright committed [r4261]

Website: Start to add Q&A-style information to the Support page.

Posted by Francis Wright on 11 Nov 2017

Francis Wright committed [r4260]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 7 Nov 2017

Arthur Norman committed [r4259]

Update the CSL configure.ac so that in a situation where curses seems to

Posted by Arthur Norman on 5 Nov 2017

Francis Wright committed [r4258]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 5 Nov 2017

Rainer Schöpf committed [r4257]

Further improvement to the last commit: the substitution was restricted to rational powers of the integration variable.

Posted by Rainer Schöpf on 5 Nov 2017

Rainer Schöpf committed [r4256]

Definite integration package: correct code for detection and substitution of powers of the integration variablei in the argument of a Meijer G function.

Posted by Rainer Schöpf on 5 Nov 2017

Arthur Norman committed [r4255]

Detect CentOS as a distribution whose name is known, rather then it

Posted by Arthur Norman on 4 Nov 2017

Rainer Schöpf committed [r4254]

Minor change to PSL for 64bit Linux: removed superfluous masking of lisp tags already masked.

Posted by Rainer Schöpf on 4 Nov 2017

Rainer Schöpf posted a comment on ticket #79

I'm afraid that changing the build process for the installation programs is not a priority. None of us have the resources to look into it. Have you tried starting the Windows installation program with the /? option? A combination of the /SILENT and /DIR options should do what you want. I don't know much about the MacOS stuff, not owning a Mac myself. Rainer

Posted by Rainer Schöpf on 4 Nov 2017

Arthur Norman committed [r4253]

To try to make the CSL version build better on SuSE I am putting a

Posted by Arthur Norman on 4 Nov 2017

Francis Wright committed [r4252]

GNU Emacs REDUCE IDE

Posted by Francis Wright on 3 Nov 2017

Arthur Norman committed [r4251]

This adds libffi as a library where I have a snapshot of its source in the

Posted by Arthur Norman on 1 Nov 2017

Rainer Schöpf committed [r4250]

Corrected numerical evaluation of psi (digamma) for complex argument, added tests for this case.

Posted by Rainer Schöpf on 1 Nov 2017

Arthur Norman committed [r4249]

This should make the CSL version on the Macintosh link libffi statically, so

Posted by Arthur Norman on 1 Nov 2017

Arthur Norman committed [r4248]

A (trivial!) bug in the new hash table stull caused the fide.tst test file to

Posted by Arthur Norman on 31 Oct 2017

Arthur Norman committed [r4247]

For CSL when hash tables need to grow this arranges that the space used by

Posted by Arthur Norman on 30 Oct 2017

Dream Scatter posted a comment on ticket #79

Is there any progress on separating the OSX redpsl build from the full distribution and using the gcab for making a portable Windows redpsl for the next release cycle? If it's possible to do this with CSL too, please let me know. Regards, Michael

Posted by Dream Scatter on 29 Oct 2017

Raffaele Vitolo committed [r4246]

improved function mkallmon

Posted by Raffaele Vitolo on 28 Oct 2017

Arthur Norman committed [r4245]

CSL has a re-written hash table implementation now. The new version can cope

Posted by Arthur Norman on 27 Oct 2017

Rainer Schöpf committed [r4244]

Update svn:eol-style property for files in CDE package.

Posted by Rainer Schöpf on 23 Oct 2017

Rainer Schöpf committed [r4243]

Update test log file for CDE package (messages only).

Posted by Rainer Schöpf on 23 Oct 2017

Rainer Schöpf committed [r4242]

PSL for AMD64_ext: correct a bug in code generation introduced in last update (addressing relative to register R12 only)

Posted by Rainer Schöpf on 22 Oct 2017

Rainer Schöpf committed [r4241]

Package mrvlimit: Code cleanup (mostly removal of unnecessary > constructs).

Posted by Rainer Schöpf on 20 Oct 2017

Francis Wright committed [r4240]

Website: revised the Obtaining REDUCE page, especially to add more about using Linux.

Posted by Francis Wright on 15 Oct 2017

Dream Scatter posted a comment on discussion Open Discussion

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

Posted by Dream Scatter on 13 Oct 2017

Arthur Norman committed [r4239]

CSL now uses a Mersenne Twister random number generator rather than the

Posted by Arthur Norman on 11 Oct 2017

Francis Wright committed [r4238]

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.

Posted by Francis Wright on 8 Oct 2017

Rainer Schöpf committed [r4237]

PSL for 64bit Linux:

Posted by Rainer Schöpf on 7 Oct 2017

Dream Scatter posted a comment on discussion Developers

Aha, I see. Thanks for the clarification, I do not familiarity with your code but am trying to learn some things!

Posted by Dream Scatter on 4 Oct 2017

Rainer Schöpf posted a comment on discussion Developers

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;; !�!� +...

Posted by Rainer Schöpf on 4 Oct 2017