1
1
# Run-REDUCE Install and Run Guide
2
2
3
- ## Francis Wright, December 2020
4
-
5
3
Run-REDUCE is an open-source JavaFX GUI to run the REDUCE Computer
6
4
Algebra System. REDUCE must be obtained from
7
5
[ SourceForge] ( https://sourceforge.net/projects/reduce-algebra/ ) and
8
6
installed separately. Run-REDUCE should find a standard REDUCE
9
7
installation automatically and not ** require** any initial
10
- configuration, at least on Microsoft Windows and Linux. With
8
+ configuration, at least on Microsoft Windows and Gnu/ Linux. With
11
9
[ suitable
12
10
configuration] ( https://fjwright.github.io/Run-REDUCE/UserGuide.html#Configure )
13
- it ** should** run on any platform that supports JavaFX 11 or later,
14
- but I can only test on 64-bit Windows 10, Ubuntu 18/20 and Fedora 32.
11
+ it ** should** run on any platform that supports JavaFX, but I can only
12
+ test on 64-bit Windows, Ubuntu and Fedora.
13
+
14
+ I recommend that you use the appropriate installer but you can also
15
+ use the platform-independent JAR, although this is considerably more
16
+ complicated. Please note that: the installers are quite large, around
17
+ 50 MB, whereas the JAR is well under 1 MB; I may release installers
18
+ less frequently than JARs.
19
+
20
+
21
+ ## Using an Installer
22
+
23
+ I provide installers for 64-bit Windows and Gnu/Linux, which include
24
+ customised versions of Java and JavaFX (but not REDUCE). The
25
+ appropriate installer will have a name of the following form, where
26
+ * \< version\> * represents the version of Run-REDUCE:
27
+
28
+ Platform | Installer Filename
29
+ -------------------------------------|-------------------
30
+ Microsoft Windows | Run-REDUCE-* \< version\> * .msi
31
+ Debian-based Gnu/Linux, e.g. Ubuntu | run-reduce\_ * \< version\> * -1_amd64.deb
32
+ Red Hat-based Gnu/Linux, e.g. Fedora | run-reduce-* \< version\> * -1.x86\_ 64.rpm
33
+
34
+ Download the latest available installer file for your platform from
35
+ the [ GitHub releases
36
+ page] ( https://github.com/fjwright/Run-REDUCE/releases ) and run it,
37
+ e.g. by double-clicking on it.
38
+
39
+ ### Microsoft Windows
40
+
41
+ The Run-REDUCE package will be installed in the folder `C:\Program
42
+ Files\Run-REDUCE` by default, but you can change this. It will appear
43
+ as an installed app in * Settings* under * Apps & features* , which can
44
+ be used to uninstall it. It will also appear in the * Start Menu* in
45
+ the * Reduce* folder, which provides the recommended way to run it. To
46
+ update the Run-REDUCE package you just need to run the installer for
47
+ the new version.
48
+
49
+ ### Gnu/Linux
15
50
16
- You need to have a Java Runtime Environment (JRE) and JavaFX libraries
17
- installed, both version 11 or later (preferably the latest release);
18
- see below for details.
51
+ The Run-REDUCE package will be installed in the directory
52
+ ` /opt/run-reduce ` and will appear as an installed app in * Software* ,
53
+ which can be used to uninstall it. It will also appear in
54
+ * Applications* in the * Unknown/Other* category, which provides the
55
+ easiest way to run it.
56
+
57
+ To update the Run-REDUCE package you need to uninstall the old version
58
+ and then install the new version. One way to do this is to run the
59
+ installer for the new version ** twice** ; the first run just invites
60
+ you to uninstall the old version, but does not install the new
61
+ version.
62
+
63
+ The executable is actually installed as
64
+ ` /opt/run-reduce/bin/Run-REDUCE ` and you can use this full pathname as
65
+ a shell command to run Run-REDUCE if you want, but the directory is
66
+ not automatically added to your PATH. Note that if you run Run-REDUCE
67
+ this way then you will probably see a GDK warning message, which you
68
+ can ignore. (It is not displayed when you run Run-REDUCE from
69
+ * Applications* .)
70
+
71
+
72
+ ## Using the JAR
73
+
74
+ To run the JAR, you need to have a Java Runtime Environment (JRE) and
75
+ JavaFX libraries installed, both version 11 or later (preferably the
76
+ latest release); see below for details.
19
77
20
78
You also need to download the file
21
79
[ Run-REDUCE.jar] ( https://github.com/fjwright/Run-REDUCE/releases/latest/download/Run-REDUCE.jar )
@@ -71,20 +129,19 @@ option unless you want it for running other Java applications (but
71
129
keep the * Add to PATH* option).
72
130
73
131
On other platforms, install ` adoptopenjdk-<latest>-hotspot-jre ` , where
74
- ` <latest> ` represents the highest number available, currently 15 . If
75
- you prefer, you can use Java 11 and the non-JRE version (see above).
132
+ ` <latest> ` represents the highest number available. If you prefer,
133
+ you can use Java 11 and/or the non-JRE version (see above).
76
134
77
135
78
136
## Install OpenJFX
79
137
80
138
Visit [ OpenJFX] ( https://openjfx.io/ ) , scroll down and click on the
81
- * Download* button. Scroll down to * Latest Release* (or you can
82
- currently use JavaFX 11 if you prefer), download the appropriate
83
- * JavaFX SDK* file (not the * jmods* file) and save it. Move it
84
- somewhere appropriate (anywhere should work) and unzip it. Make a
85
- note of the full pathname of the * lib* sub-directory or copy it, since
86
- you need it to set up the ` PATH_TO_FX ` environment variable; see
87
- below.
139
+ * Download* button. Scroll down to * Latest Release* (or you can use
140
+ JavaFX 11 if you prefer), download the appropriate * JavaFX SDK* file
141
+ (** not** the * jmods* file) and save it. Move it somewhere appropriate
142
+ (anywhere should work) and unzip it. Make a note of the full pathname
143
+ of the * lib* sub-directory or copy it, since you need it to set up the
144
+ ` PATH_TO_FX ` environment variable; see below.
88
145
89
146
90
147
## Run Run-REDUCE using a Batch File on...
@@ -131,33 +188,25 @@ PATH_TO_FX=path-to-openjfx/lib
131
188
followed by a space.
132
189
133
190
An easy way to run Run-REDUCE using a shell command is first to open
134
- * Files* and navigate to the directory to which you downloaded
135
- * Run-REDUCE.jar* . Right-click in this directory and select * Open
136
- in Terminal* . You can now run Run-REDUCE as described above by
137
- executing the shell command
191
+ * Files* , navigate to the directory to which you downloaded
192
+ * Run-REDUCE.jar* and set the file permissions to make * Run-REDUCE*
193
+ executable. Right-click in, or open the drop-down menu for, this
194
+ directory and select * Open in Terminal* . You can now run Run-REDUCE
195
+ as described above by executing the shell command
138
196
139
197
``` shell
140
- . Run-REDUCE
198
+ ./ Run-REDUCE
141
199
```
142
200
143
- (Note that the above command has the form dot space filename, where
144
- dot is a short name for the * source* command. If you set the file
145
- permissions to make Run-REDUCE executable, you can run it as
146
- ` ./Run-REDUCE ` , but this doesn't gain much!)
147
-
148
201
149
202
## Known Issues
150
203
151
- On my main Windows computer, which has an HD display, I find that I
152
- need to use a larger REDUCE I/O font size than I would expect. (A
153
- font with the same numerical size appears smaller than in Run-REDUCE.)
154
- This may be because JavaFX font sizes don't reflect display scaling.
155
-
156
- On Ubuntu 18 and 20, by default, two warning message appears and on
157
- Ubuntu 18 some dialogues jump when they first appear. The warning
158
- about * libcanberra-gtk-module* can be avoided by using * Synaptic* to
159
- install * libcanberra-gtk-module* (or you can just ignore it). In
160
- order to avoid the other problems, I have included the option
204
+ When running * Run-REDUCE.jar* on Ubuntu 18 and 20, by default, two
205
+ warning messages appear and on Ubuntu 18 some dialogues jump when they
206
+ first appear. The warning about * libcanberra-gtk-module* can be
207
+ avoided by using * Synaptic* to install * libcanberra-gtk-module* (or
208
+ you can just ignore the warning). In order to avoid the other
209
+ problems, I have included the option
161
210
162
211
``` shell
163
212
-Djdk.gtk.version=2
@@ -171,13 +220,19 @@ I have been advised that on Kubuntu 18.04.4 it may be necessary to
171
220
install the Gnome 2 theme Adwaita. You may also find that the About
172
221
and error dialogue boxes are too small by default.
173
222
174
- If * Run-REDUCE* misbehaves or crashes, try including the option
223
+ If * Run-REDUCE.jar * misbehaves or crashes, try including the option
175
224
176
225
``` shell
177
226
-Dprism.order=sw
178
227
```
179
228
180
- which tells Java to use software display rendering. On Fedora, you
181
- may find that the * Gnome Classic* desktop environment works better
182
- than * Gnome* . (One way to select your desktop environment is by using
183
- the settings icon on the login screen.)
229
+ which tells Java to use software display rendering.
230
+
231
+ On Fedora, you may find that the * Gnome Classic* desktop environment
232
+ works better than * Gnome* . (One way to select your desktop
233
+ environment is by using the settings icon on the login screen.) I
234
+ find that on Fedora 32 and 33 using the default desktop, namely GNOME
235
+ (Wayland), dialogues jump when opened or closed, whereas using either
236
+ GNOME Classic or GNOME on Xorg (X11) avoids this problem.
237
+
238
+ Francis Wright, March 2021
0 commit comments