mirror of
https://github.com/mfillpot/mathomatic.git
synced 2026-01-08 04:29:39 +00:00
4790 lines
111 KiB
C
4790 lines
111 KiB
C
/*
|
|
* Mathomatic commands that don't belong anywhere else.
|
|
*
|
|
* Copyright (C) 1987-2012 George Gesslein II.
|
|
|
|
This library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
This library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with this library; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
The chief copyright holder can be contacted at gesslein@mathomatic.org, or
|
|
George Gesslein II, P.O. Box 224, Lansing, NY 14882-0224 USA.
|
|
|
|
*/
|
|
|
|
#include "includes.h"
|
|
|
|
#define OPT_MIN_SIZE 7 /* Minimum size (in tokens) of repeated expressions to find in optimize command. */
|
|
|
|
enum spf_function {
|
|
SUM_COMMAND,
|
|
PRODUCT_COMMAND,
|
|
FOR_COMMAND
|
|
};
|
|
|
|
static int sum_product(char *cp, enum spf_function current_function);
|
|
static int complex_func(char *cp, int imag_flag);
|
|
static int elim_sub(int i, long v);
|
|
|
|
/* Global variables for the optimize command. */
|
|
static int opt_en[N_EQUATIONS+1];
|
|
static int last_temp_var = 0;
|
|
|
|
#if SHELL_OUT
|
|
/*
|
|
* The plot command.
|
|
*
|
|
* All command functions like this return true if successful, or false for failure.
|
|
*/
|
|
int
|
|
plot_cmd(cp)
|
|
char *cp; /* the command-line argument */
|
|
{
|
|
#define APPEND(str) { if (strlen(str) + cl1_len < sizeof(cl1)) { strcpy(&cl1[cl1_len], str); cl1_len += strlen(str); } else warning(_("Expression too large to plot; omitted.")); }
|
|
|
|
int i1, i2;
|
|
int start, stop;
|
|
int first_time = true;
|
|
int cl1_len = 0, cl2_len = 0, len;
|
|
char *cp1, cl[16384+MAX_CMD_LEN], cl1[16384], cl2[MAX_CMD_LEN], *exp_str;
|
|
long v, vx; /* Mathomatic variables */
|
|
token_type *equation;
|
|
int *np;
|
|
int ev; /* exit value */
|
|
int cur_equation_flag = false;
|
|
|
|
if (security_level > 0) {
|
|
show_usage = false;
|
|
error(_("Command disabled by security level."));
|
|
return false;
|
|
}
|
|
if (!parse_var(&vx, "x")) {
|
|
return false;
|
|
}
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &start, &stop)) {
|
|
reset_error();
|
|
break;
|
|
}
|
|
if (cp != cp1 || first_time) {
|
|
if (cp == cp1)
|
|
cur_equation_flag = (!empty_equation_space(cur_equation));
|
|
for (i1 = start; i1 <= stop; i1++) {
|
|
if (i1 != cur_equation) {
|
|
cur_equation_flag = false;
|
|
}
|
|
if (n_lhs[i1] > 0) {
|
|
v = 0;
|
|
if (n_rhs[i1]) {
|
|
equation = rhs[i1];
|
|
np = &n_rhs[i1];
|
|
} else {
|
|
equation = lhs[i1];
|
|
np = &n_lhs[i1];
|
|
}
|
|
if (!no_vars(equation, *np, &v) && v) {
|
|
if (strcmp(var_name(v), "x") && strcmp(var_name(v), "t")) {
|
|
list_var(v, 0);
|
|
fprintf(gfp, _("#%d: Renaming variable %s to x for gnuplot.\n"), i1 + 1, var_str);
|
|
rename_var_in_es(i1, v, vx);
|
|
}
|
|
}
|
|
if (n_rhs[i1] && !solved_equation(i1)) {
|
|
warning(_("Not a normally solved equation, plotting the RHS only."));
|
|
}
|
|
for (i2 = 0; i2 < *np; i2 += 2) {
|
|
if (equation[i2].kind == VARIABLE && (equation[i2].token.variable & VAR_MASK) == SIGN) {
|
|
warning(_("Plot expression contains sign variables; try \"simplify sign\" before plotting."));
|
|
break;
|
|
}
|
|
}
|
|
exp_str = list_expression(equation, *np, 3);
|
|
if (exp_str == NULL)
|
|
return false;
|
|
if (cl1_len) {
|
|
APPEND(", ");
|
|
}
|
|
APPEND(exp_str);
|
|
free(exp_str);
|
|
}
|
|
}
|
|
}
|
|
first_time = false;
|
|
} while (*cp && cp != cp1);
|
|
cl1[cl1_len] = '\0';
|
|
if (cl1_len == 0 && *cp == '\0') {
|
|
error(_("No plot expression specified."));
|
|
return false;
|
|
}
|
|
for (cl2_len = 0, i2 = 0; cp[i2]; i2++) {
|
|
if ((cl2_len + 2) >= sizeof(cl2)) {
|
|
error(_("Command-line too long."));
|
|
return false;
|
|
}
|
|
switch (cp[i2]) {
|
|
case '^':
|
|
cl2[cl2_len] = '*';
|
|
cl2_len++;
|
|
cl2[cl2_len] = '*';
|
|
cl2_len++;
|
|
break;
|
|
default:
|
|
cl2[cl2_len] = cp[i2];
|
|
cl2_len++;
|
|
break;
|
|
}
|
|
}
|
|
cl2[cl2_len] = '\0';
|
|
if (cl1_len && cl2_len && cl2[cl2_len-1] != ',') {
|
|
if (cur_equation_flag) {
|
|
snprintf(prompt_str, sizeof(prompt_str), _("Do you want to plot the current equation, too (y/n)? "));
|
|
if (!get_yes_no()) {
|
|
cl1_len = 0;
|
|
cl1[cl1_len] = '\0';
|
|
}
|
|
}
|
|
if (cl1_len) {
|
|
snprintf(prompt_str, sizeof(prompt_str), _("Does the plot command-line consist of any expressions (y/n)? "));
|
|
if (get_yes_no()) {
|
|
fprintf(gfp, _("Appending a comma to the command-line.\n"));
|
|
if ((cl2_len + 2) >= sizeof(cl2)) {
|
|
error(_("Command-line too long."));
|
|
return false;
|
|
}
|
|
cl2[cl2_len++] = ',';
|
|
cl2[cl2_len] = '\0';
|
|
}
|
|
}
|
|
}
|
|
if (strchr(cl2, 'y') || strchr(cl1, 'y')) {
|
|
fprintf(gfp, _("Performing 3D surface plot...\n"));
|
|
#if MINGW
|
|
len = snprintf(cl, sizeof(cl), "gnuplot -persist -e \"%s; splot %s %s\"", plot_prefix, cl2, cl1);
|
|
#else
|
|
len = snprintf(cl, sizeof(cl), "echo '%s; splot %s %s'|gnuplot -persist", plot_prefix, cl2, cl1);
|
|
#endif
|
|
} else {
|
|
fprintf(gfp, _("Performing 2D plot...\n"));
|
|
#if MINGW
|
|
len = snprintf(cl, sizeof(cl), "gnuplot -persist -e \"%s; plot %s %s\"", plot_prefix, cl2, cl1);
|
|
#else
|
|
len = snprintf(cl, sizeof(cl), "echo '%s; plot %s %s'|gnuplot -persist", plot_prefix, cl2, cl1);
|
|
#endif
|
|
}
|
|
if (len >= sizeof(cl)) {
|
|
error(_("gnuplot command-line too long."));
|
|
return false;
|
|
}
|
|
ev = shell_out(cl);
|
|
if (ev) {
|
|
error(_("Possible error running gnuplot."));
|
|
printf(_("Decimal exit value = %d\n"), ev);
|
|
if (ev == 256 || ev == 1) {
|
|
printf(_("Try separating each expression with a comma.\n"));
|
|
}
|
|
printf(_("Shell command-line = %s\n"), cl);
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
|
|
/*
|
|
* The version command.
|
|
*
|
|
* All commands return true if successful.
|
|
*/
|
|
int
|
|
version_cmd(cp)
|
|
char *cp; /* the command-line argument */
|
|
{
|
|
int rv = true; /* return value */
|
|
int status_flag = false;
|
|
|
|
if (strncasecmp(cp, "status", 4) == 0) {
|
|
status_flag = true;
|
|
cp = skip_param(cp);
|
|
}
|
|
if (extra_characters(cp)) /* Make sure nothing else is on the command-line. */
|
|
return false;
|
|
#if LIBRARY
|
|
free_result_str();
|
|
result_str = strdup(VERSION);
|
|
#endif
|
|
if (status_flag) {
|
|
rv = version_report();
|
|
} else {
|
|
#if !SILENT || !LIBRARY
|
|
fprintf(gfp, _("Mathomatic version %s\n"), VERSION);
|
|
#endif
|
|
}
|
|
|
|
if (status_flag) {
|
|
debug_string(0, "\nMathomatic is GNU LGPL version 2.1 licensed software,\n"
|
|
"meaning it is free software that comes with no warranty.\n"
|
|
"Type \"help license\" for the copyright and license.");
|
|
|
|
EP(_("\nFor all new stuff, visit the Mathomatic website: www.mathomatic.org"));
|
|
}
|
|
#if LIBRARY
|
|
return(rv && result_str != NULL);
|
|
#else
|
|
return rv;
|
|
#endif
|
|
}
|
|
|
|
/*
|
|
* Return the maximum amount of memory (in bytes) that this program will use.
|
|
*/
|
|
long
|
|
max_memory_usage(void)
|
|
{
|
|
return((long) (N_EQUATIONS + 3L) * (long) n_tokens * sizeof(token_type) * 2L);
|
|
}
|
|
|
|
/*
|
|
* Try the function getrusage(2).
|
|
*
|
|
* Return true if successful.
|
|
*/
|
|
int
|
|
show_status(ofp)
|
|
FILE *ofp;
|
|
{
|
|
#if SHOW_RESOURCES
|
|
struct rusage usage_local;
|
|
|
|
if (getrusage(RUSAGE_SELF, &usage_local) == 0) {
|
|
fprintf(ofp, _("Total CPU usage, user time: %g seconds, system time: %g seconds.\n"),
|
|
(double) usage_local.ru_utime.tv_sec + ((double) usage_local.ru_utime.tv_usec / 1000000.0),
|
|
(double) usage_local.ru_stime.tv_sec + ((double) usage_local.ru_stime.tv_usec / 1000000.0));
|
|
if (usage_local.ru_ixrss == 0 && usage_local.ru_idrss == 0 && usage_local.ru_isrss == 0) {
|
|
if (usage_local.ru_maxrss)
|
|
fprintf(ofp, _("Total RSS size: %ld kilobytes.\n"), usage_local.ru_maxrss);
|
|
} else {
|
|
fprintf(ofp, _("Total RSS size: %ld kbytes; shared text memory size: %ld kbytes*ticks;\n"), usage_local.ru_maxrss, usage_local.ru_ixrss);
|
|
fprintf(ofp, _("Unshared data size: %ld kbytes*ticks; unshared stack size: %ld kbytes*ticks.\n"), usage_local.ru_idrss, usage_local.ru_isrss);
|
|
fprintf(ofp, _("Number of times Mathomatic was swapped out: %ld; signals received: %ld.\n"), usage_local.ru_nswap, usage_local.ru_nsignals);
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* Display version and status info.
|
|
*/
|
|
int
|
|
version_report(void)
|
|
{
|
|
long l;
|
|
|
|
fprintf(gfp, _("Mathomatic version %s\n"), VERSION);
|
|
fprintf(gfp, _("The last main prompt return value is %d (meaning "), previous_return_value);
|
|
switch (previous_return_value) {
|
|
case 0:
|
|
fprintf(gfp, _("failure).\n"));
|
|
break;
|
|
default:
|
|
fprintf(gfp, _("success).\n"));
|
|
break;
|
|
}
|
|
show_status(gfp);
|
|
fprintf(gfp, _("\nCompile-time defines used: "));
|
|
#if linux
|
|
fprintf(gfp, "linux ");
|
|
#endif
|
|
#if sun
|
|
fprintf(gfp, "sun ");
|
|
#endif
|
|
#if UNIX
|
|
fprintf(gfp, "UNIX ");
|
|
#endif
|
|
#if CYGWIN
|
|
fprintf(gfp, "CYGWIN ");
|
|
#endif
|
|
#if MINGW
|
|
fprintf(gfp, "MINGW ");
|
|
#endif
|
|
#if HANDHELD
|
|
fprintf(gfp, "HANDHELD ");
|
|
#endif
|
|
#if EDITLINE
|
|
fprintf(gfp, "EDITLINE ");
|
|
#endif
|
|
#if READLINE
|
|
fprintf(gfp, "READLINE ");
|
|
#endif
|
|
#if SILENT
|
|
fprintf(gfp, "SILENT ");
|
|
#endif
|
|
#if LIBRARY
|
|
fprintf(gfp, "LIBRARY ");
|
|
#endif
|
|
#if SECURE
|
|
fprintf(gfp, "SECURE ");
|
|
#endif
|
|
#if TIMEOUT_SECONDS
|
|
fprintf(gfp, "TIMEOUT_SECONDS=%d ", TIMEOUT_SECONDS);
|
|
#endif
|
|
#if I18N
|
|
fprintf(gfp, "I18N ");
|
|
#endif
|
|
#if NO_COLOR
|
|
fprintf(gfp, "NO_COLOR ");
|
|
#endif
|
|
#if BOLD_COLOR
|
|
fprintf(gfp, "BOLD_COLOR ");
|
|
#endif
|
|
#if WIN32_CONSOLE_COLORS
|
|
fprintf(gfp, "WIN32_CONSOLE_COLORS ");
|
|
#endif
|
|
#if NOGAMMA
|
|
fprintf(gfp, "NOGAMMA ");
|
|
#endif
|
|
#if USE_TGAMMA
|
|
fprintf(gfp, "USE_TGAMMA ");
|
|
#endif
|
|
#if DEBUG
|
|
fprintf(gfp, "DEBUG ");
|
|
#endif
|
|
#if VALGRIND
|
|
fprintf(gfp, "VALGRIND ");
|
|
#endif
|
|
#if SHOW_RESOURCES
|
|
fprintf(gfp, "SHOW_RESOURCES ");
|
|
#endif
|
|
|
|
fprintf(gfp, "\nsizeof(int) = %u bytes, sizeof(long) = %u bytes.\n", (unsigned) sizeof(int), (unsigned) sizeof(long));
|
|
fprintf(gfp, "sizeof(double) = %u bytes, maximum double precision = %d decimal digits.\n", (unsigned) sizeof(double), DBL_DIG);
|
|
#ifdef __VERSION__
|
|
#ifdef __GNUC__
|
|
fprintf(gfp, "GNU ");
|
|
#endif
|
|
fprintf(gfp, _("C Compiler version: %s\n"), __VERSION__);
|
|
#endif
|
|
|
|
fprintf(gfp, _("\n%d equation spaces currently allocated.\n"), n_equations);
|
|
fprintf(gfp, _("The current expression array size is %d tokens,\n"), n_tokens);
|
|
l = max_memory_usage() / 1000L;
|
|
if (l >= 10000L) {
|
|
fprintf(gfp, _("making the maximum memory usage approximately %ld megabytes.\n"), l / 1000L);
|
|
} else {
|
|
fprintf(gfp, _("making the maximum memory usage approximately %ld kilobytes.\n"), l);
|
|
}
|
|
#if SECURE
|
|
fprintf(gfp, _("Compiled for maximum security.\n"));
|
|
#else
|
|
fprintf(gfp, _("The current security level is %d"), security_level);
|
|
switch (security_level) {
|
|
case -1:
|
|
fprintf(gfp, _(", meaning you are running m4 Mathomatic.\n"));
|
|
break;
|
|
case 0:
|
|
fprintf(gfp, _(", no security, meaning users are unrestricted.\n"));
|
|
break;
|
|
case 1:
|
|
case 2:
|
|
fprintf(gfp, _(", some security.\n"));
|
|
break;
|
|
case 3:
|
|
fprintf(gfp, _(", high security.\n"));
|
|
break;
|
|
case 4:
|
|
fprintf(gfp, _(", maximum security.\n"));
|
|
break;
|
|
default:
|
|
fprintf(gfp, _(", unknown meaning.\n"));
|
|
break;
|
|
}
|
|
#endif
|
|
#if READLINE || EDITLINE
|
|
#if READLINE
|
|
fprintf(gfp, _("\nreadline is compiled in and "));
|
|
#else
|
|
fprintf(gfp, _("\neditline is compiled in and "));
|
|
#endif
|
|
if (readline_enabled) {
|
|
fprintf(gfp, _("activated.\n"));
|
|
} else {
|
|
fprintf(gfp, _("deactivated.\n"));
|
|
}
|
|
#elif !LIBRARY && !HANDHELD
|
|
#if MINGW
|
|
SP(_("\nreadline is not compiled in, however some of its functionality"));
|
|
SP(_("already exists in the Windows console for any"));
|
|
EP(_("Windows console program (like Mathomatic)."));
|
|
#else
|
|
SP(_("\nreadline is not compiled in."));
|
|
SP(_("Please notify the package maintainer that readline"));
|
|
EP(_("should be compiled into Mathomatic, with \"make READLINE=1\"."));
|
|
#endif
|
|
#endif
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The solve command.
|
|
*
|
|
* Return 0 on solve failure for any equation which a solve was requested, or something was not verifiable,
|
|
* with the "solve verifiable" option.
|
|
* Return 1 on total success (all requested solves completed successfully),
|
|
* or 2 if partial success (all solved, but some solutions didn't verify when doing "solve verify",
|
|
* or the result contains infinity or NaN).
|
|
*/
|
|
int
|
|
solve_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j, k;
|
|
int start, stop;
|
|
char buf[MAX_CMD_LEN];
|
|
int diff_sign;
|
|
int verify_flag = 0, plural_flag, once_through, contains_infinity, did_something = false, last_solve_successful = false;
|
|
char *cp1, *cp_start;
|
|
token_type want;
|
|
int rv = 1;
|
|
long pre_v; /* Mathomatic variable */
|
|
|
|
cp_start = cp;
|
|
if (strcmp_tospace(cp, "verify") == 0) {
|
|
verify_flag = 1;
|
|
cp = skip_param(cp);
|
|
} else if (strcmp_tospace(cp, "verifiable") == 0) {
|
|
verify_flag = 2;
|
|
cp = skip_param(cp);
|
|
}
|
|
if (!get_range(&cp, &start, &stop)) {
|
|
warning(_("No equations to solve."));
|
|
return false;
|
|
}
|
|
i = next_espace();
|
|
repeat_flag = true;
|
|
if (strcmp_tospace(cp, "verify") == 0) {
|
|
verify_flag = 1;
|
|
cp = skip_param(cp);
|
|
} else if (strcmp_tospace(cp, "verifiable") == 0) {
|
|
verify_flag = 2;
|
|
cp = skip_param(cp);
|
|
}
|
|
if (strcmp_tospace(cp, "for") == 0) {
|
|
cp1 = skip_param(cp);
|
|
if (*cp1) {
|
|
cp = cp1;
|
|
}
|
|
}
|
|
if (*cp == '\0') {
|
|
my_strlcpy(prompt_str, _("Enter variable to solve for: "), sizeof(prompt_str));
|
|
if ((cp = get_string(buf, sizeof(buf))) == NULL) {
|
|
return false;
|
|
}
|
|
cp_start = cp;
|
|
}
|
|
input_column += (cp - cp_start);
|
|
if ((cp = parse_equation(i, cp)) == NULL) {
|
|
return false;
|
|
}
|
|
if (verify_flag) {
|
|
if (n_lhs[i] != 1 || n_rhs[i] != 0 || (lhs[i][0].kind != VARIABLE
|
|
&& (lhs[i][0].kind != CONSTANT || lhs[i][0].token.constant != 0.0))) {
|
|
error(_("Can only verify for a single solve variable or identities after solving for 0."));
|
|
goto fail;
|
|
}
|
|
want = lhs[i][0];
|
|
}
|
|
show_usage = false;
|
|
for (k = start; k <= stop; k++) {
|
|
if (k == i || n_lhs[k] <= 0 || n_rhs[k] <= 0) {
|
|
continue;
|
|
}
|
|
last_solve_successful = false;
|
|
cur_equation = k;
|
|
|
|
did_something = true;
|
|
if (verify_flag) {
|
|
pre_v = 0;
|
|
fprintf(gfp, _("Solving equation #%d for "), cur_equation + 1);
|
|
list_proc(&want, 1, false);
|
|
if (verify_flag == 2) {
|
|
fprintf(gfp, " with required ");
|
|
} else {
|
|
fprintf(gfp, " with ");
|
|
}
|
|
if (want.kind == VARIABLE) {
|
|
fprintf(gfp, "verification...\n");
|
|
if (solved_equation(cur_equation)) {
|
|
pre_v = lhs[cur_equation][0].token.variable;
|
|
}
|
|
} else {
|
|
fprintf(gfp, "identity verification...\n");
|
|
}
|
|
copy_espace(cur_equation, i);
|
|
if (solve_sub(&want, 1, lhs[cur_equation], &n_lhs[cur_equation], rhs[cur_equation], &n_rhs[cur_equation]) > 0) {
|
|
simpa_repeat(cur_equation, true, false); /* Solve result should be quick simplified. */
|
|
last_solve_successful = true;
|
|
debug_string(0, _("Solve and \"repeat simplify quick\" successful:"));
|
|
if (!return_result(cur_equation)) { /* Display the simplified solve result. */
|
|
goto fail;
|
|
}
|
|
if (want.kind == VARIABLE) {
|
|
if (!solved_equation(cur_equation) || lhs[cur_equation][0].token.variable != want.token.variable) {
|
|
error(_("Result not a properly solved equation, so cannot verify."));
|
|
continue;
|
|
}
|
|
if (pre_v && pre_v == want.token.variable) {
|
|
warning(_("Equation was already solved, so no need to verify solutions."));
|
|
continue;
|
|
}
|
|
} else {
|
|
copy_espace(cur_equation, i);
|
|
}
|
|
plural_flag = false;
|
|
for (j = 0; j < n_rhs[cur_equation]; j += 2) {
|
|
if (rhs[cur_equation][j].kind == VARIABLE && (rhs[cur_equation][j].token.variable & VAR_MASK) == SIGN) {
|
|
plural_flag = true;
|
|
break;
|
|
}
|
|
}
|
|
if (want.kind == VARIABLE) {
|
|
subst_var_with_exp(lhs[i], &n_lhs[i], rhs[cur_equation], n_rhs[cur_equation], want.token.variable);
|
|
subst_var_with_exp(rhs[i], &n_rhs[i], rhs[cur_equation], n_rhs[cur_equation], want.token.variable);
|
|
}
|
|
once_through = false;
|
|
calc_simp(lhs[i], &n_lhs[i]);
|
|
calc_simp(rhs[i], &n_rhs[i]);
|
|
check_result:
|
|
contains_infinity = (exp_contains_infinity(lhs[i], n_lhs[i])
|
|
|| exp_contains_infinity(rhs[i], n_rhs[i]));
|
|
if (se_compare(lhs[i], n_lhs[i], rhs[i], n_rhs[i], &diff_sign) && (want.kind != VARIABLE || !diff_sign)) {
|
|
if (want.kind != VARIABLE) {
|
|
fprintf(gfp, _("This equation is an identity.\n"));
|
|
} else if (plural_flag)
|
|
fprintf(gfp, _("All solutions verified.\n"));
|
|
else
|
|
fprintf(gfp, _("Solution verified.\n"));
|
|
if (contains_infinity) {
|
|
error(_("Solution might be incorrect because it contains infinity or NaN."));
|
|
if (rv)
|
|
rv = 2;
|
|
}
|
|
} else {
|
|
if (!contains_infinity && once_through < 2) {
|
|
symb_flag = symblify;
|
|
simpa_repeat(i, once_through ? false : true, once_through ? true : false); /* Simplify to compare equation sides. */
|
|
symb_flag = false;
|
|
once_through++;
|
|
goto check_result;
|
|
}
|
|
if (contains_infinity) {
|
|
error(_("Solution might be incorrect because it contains infinity or NaN."));
|
|
} else {
|
|
if (want.kind != VARIABLE) {
|
|
error(_("This equation is NOT an identity."));
|
|
} else if (plural_flag)
|
|
error(_("Unable to verify all solutions."));
|
|
else
|
|
error(_("Unable to verify solution."));
|
|
}
|
|
if (verify_flag == 2)
|
|
rv = 0;
|
|
else if (rv)
|
|
rv = 2;
|
|
}
|
|
} else {
|
|
printf(_("Solve failed for equation space #%d.\n"), cur_equation + 1);
|
|
rv = 0;
|
|
}
|
|
} else {
|
|
if (solve_espace(i, cur_equation)) {
|
|
last_solve_successful = true;
|
|
if (!return_result(cur_equation)) {
|
|
goto fail;
|
|
}
|
|
} else {
|
|
rv = 0;
|
|
}
|
|
}
|
|
}
|
|
if (did_something) {
|
|
if (last_solve_successful && verify_flag) {
|
|
debug_string(1, "Verification identity:");
|
|
list_esdebug(1, i);
|
|
}
|
|
} else {
|
|
printf(_("No work done.\n"));
|
|
}
|
|
n_lhs[i] = 0;
|
|
n_rhs[i] = 0;
|
|
return rv;
|
|
fail:
|
|
n_lhs[i] = 0;
|
|
n_rhs[i] = 0;
|
|
return 0;
|
|
}
|
|
|
|
/*
|
|
* The sum command.
|
|
*/
|
|
int
|
|
sum_cmd(cp)
|
|
char *cp;
|
|
{
|
|
return sum_product(cp, SUM_COMMAND);
|
|
}
|
|
|
|
/*
|
|
* The product command.
|
|
*/
|
|
int
|
|
product_cmd(cp)
|
|
char *cp;
|
|
{
|
|
return sum_product(cp, PRODUCT_COMMAND);
|
|
}
|
|
|
|
/*
|
|
* The for command.
|
|
*/
|
|
int
|
|
for_cmd(cp)
|
|
char *cp;
|
|
{
|
|
return sum_product(cp, FOR_COMMAND);
|
|
}
|
|
|
|
/*
|
|
* Common function for the sum and product commands.
|
|
*/
|
|
static int
|
|
sum_product(cp, current_function)
|
|
char *cp; /* the command-line */
|
|
enum spf_function current_function;
|
|
{
|
|
int i;
|
|
long v = 0; /* Mathomatic variable */
|
|
double start, end, step = 1.0;
|
|
int result_equation;
|
|
int n, ns;
|
|
token_type *dest, *source;
|
|
int count_down; /* if true, count down, otherwise count up */
|
|
char *cp1, buf[MAX_CMD_LEN];
|
|
|
|
if (current_not_defined()) {
|
|
return false;
|
|
}
|
|
result_equation = next_espace();
|
|
if (n_rhs[cur_equation]) {
|
|
ns = n_rhs[cur_equation];
|
|
source = rhs[cur_equation];
|
|
dest = rhs[result_equation];
|
|
} else {
|
|
ns = n_lhs[cur_equation];
|
|
source = lhs[cur_equation];
|
|
dest = lhs[result_equation];
|
|
}
|
|
if (*cp) {
|
|
cp = parse_var2(&v, cp);
|
|
if (cp == NULL) {
|
|
return false;
|
|
}
|
|
}
|
|
if (no_vars(source, ns, &v)) {
|
|
error(_("Current expression contains no variables."));
|
|
return false;
|
|
}
|
|
if (v == 0) {
|
|
if (!prompt_var(&v)) {
|
|
return false;
|
|
}
|
|
}
|
|
if (!found_var(source, ns, v)) {
|
|
error(_("Specified variable not found."));
|
|
return false;
|
|
}
|
|
if (*cp) {
|
|
if (*cp == '=') {
|
|
cp++;
|
|
}
|
|
cp1 = cp;
|
|
} else {
|
|
list_var(v, 0);
|
|
snprintf(prompt_str, sizeof(prompt_str), "%s = ", var_str);
|
|
if ((cp1 = get_string(buf, sizeof(buf))) == NULL)
|
|
return false;
|
|
}
|
|
start = strtod(cp1, &cp);
|
|
if (cp1 == cp || !isfinite(start)) {
|
|
error(_("Number expected."));
|
|
return false;
|
|
}
|
|
if (fabs(start) >= MAX_K_INTEGER) {
|
|
error(_("Number too large."));
|
|
return false;
|
|
}
|
|
cp = skip_comma_space(cp);
|
|
if (strcmp_tospace(cp, "to") == 0) {
|
|
cp = skip_param(cp);
|
|
}
|
|
if (*cp) {
|
|
cp1 = cp;
|
|
} else {
|
|
my_strlcpy(prompt_str, _("To: "), sizeof(prompt_str));
|
|
if ((cp1 = get_string(buf, sizeof(buf))) == NULL)
|
|
return false;
|
|
}
|
|
end = strtod(cp1, &cp);
|
|
if (cp1 == cp || !isfinite(end)) {
|
|
error(_("Number expected."));
|
|
return false;
|
|
}
|
|
if (fabs(end) >= MAX_K_INTEGER) {
|
|
error(_("Number too large."));
|
|
return false;
|
|
}
|
|
cp = skip_comma_space(cp);
|
|
if (strcmp_tospace(cp, "step") == 0) {
|
|
cp = skip_param(cp);
|
|
}
|
|
if (*cp) {
|
|
cp1 = cp;
|
|
step = fabs(strtod(cp1, &cp));
|
|
if (cp1 == cp || !isfinite(step) || step <= 0.0 || step >= MAX_K_INTEGER) {
|
|
error(_("Invalid step."));
|
|
return false;
|
|
}
|
|
}
|
|
if (extra_characters(cp))
|
|
return false;
|
|
count_down = (end < start);
|
|
if (fmod(fabs(start - end) / step, 1.0) != 0.0) {
|
|
warning(_("End value not reached."));
|
|
}
|
|
if (current_function == PRODUCT_COMMAND) {
|
|
dest[0] = one_token;
|
|
} else {
|
|
dest[0] = zero_token;
|
|
}
|
|
n = 1;
|
|
for (; count_down ? (start >= end) : (start <= end); count_down ? (start -= step) : (start += step)) {
|
|
if (n + 1 + ns > n_tokens) {
|
|
error_huge();
|
|
}
|
|
blt(tlhs, source, ns * sizeof(token_type));
|
|
n_tlhs = ns;
|
|
for (i = 0; i < n_tlhs; i += 2) {
|
|
if (tlhs[i].kind == VARIABLE && tlhs[i].token.variable == v) {
|
|
tlhs[i].kind = CONSTANT;
|
|
tlhs[i].token.constant = start;
|
|
}
|
|
}
|
|
if (current_function != FOR_COMMAND) {
|
|
for (i = 0; i < n_tlhs; i++) {
|
|
tlhs[i].level++;
|
|
}
|
|
for (i = 0; i < n; i++) {
|
|
dest[i].level++;
|
|
}
|
|
dest[n].kind = OPERATOR;
|
|
dest[n].level = 1;
|
|
}
|
|
switch (current_function) {
|
|
case PRODUCT_COMMAND:
|
|
dest[n].token.operatr = TIMES;
|
|
n++;
|
|
break;
|
|
case SUM_COMMAND:
|
|
dest[n].token.operatr = PLUS;
|
|
n++;
|
|
break;
|
|
case FOR_COMMAND:
|
|
n = 0;
|
|
break;
|
|
}
|
|
blt(&dest[n], tlhs, n_tlhs * sizeof(token_type));
|
|
n += n_tlhs;
|
|
calc_simp(dest, &n);
|
|
if (current_function == FOR_COMMAND) {
|
|
list_var(v, 0);
|
|
fprintf(gfp, "%s = %.*g: ", var_str, precision, start);
|
|
list_factor(dest, &n, false);
|
|
fprintf(gfp, "\n");
|
|
} else {
|
|
side_debug(1, dest, n);
|
|
}
|
|
}
|
|
if (current_function == FOR_COMMAND) {
|
|
return true;
|
|
} else {
|
|
if (n_rhs[cur_equation]) {
|
|
n_rhs[result_equation] = n;
|
|
blt(lhs[result_equation], lhs[cur_equation], n_lhs[cur_equation] * sizeof(token_type));
|
|
n_lhs[result_equation] = n_lhs[cur_equation];
|
|
} else {
|
|
n_lhs[result_equation] = n;
|
|
}
|
|
return return_result(result_equation);
|
|
}
|
|
}
|
|
|
|
/*
|
|
* This function is for the "optimize" command.
|
|
* It finds and substitutes all occurrences of the RHS of "en" in "equation".
|
|
* It should be called repeatedly until it returns false.
|
|
*/
|
|
static int
|
|
find_more(equation, np, en)
|
|
token_type *equation; /* expression to search */
|
|
int *np; /* pointer to length of expression */
|
|
int en; /* equation space number */
|
|
{
|
|
int i, j, k;
|
|
int level;
|
|
int diff_sign;
|
|
int found_se; /* found sub-expression flag */
|
|
|
|
if (*np <= 0 || !solved_equation(en)) {
|
|
return false;
|
|
}
|
|
for (level = 1, found_se = true; found_se; level++) {
|
|
for (i = 1, found_se = false; i < *np; i = j + 2) {
|
|
for (j = i; j < *np && equation[j].level >= level; j += 2)
|
|
;
|
|
if (j == i) {
|
|
continue;
|
|
}
|
|
found_se = true;
|
|
k = i - 1;
|
|
if (se_compare(&equation[k], j - k, rhs[en], n_rhs[en], &diff_sign)) {
|
|
if (diff_sign) {
|
|
blt(&equation[i+2], &equation[j], (*np - j) * sizeof(token_type));
|
|
*np -= (j - (i + 2));
|
|
level++;
|
|
equation[k].level = level;
|
|
equation[k].kind = CONSTANT;
|
|
equation[k].token.constant = -1.0;
|
|
k++;
|
|
equation[k].level = level;
|
|
equation[k].kind = OPERATOR;
|
|
equation[k].token.operatr = TIMES;
|
|
k++;
|
|
} else {
|
|
blt(&equation[i], &equation[j], (*np - j) * sizeof(token_type));
|
|
*np -= (j - i);
|
|
}
|
|
equation[k].level = level;
|
|
equation[k].kind = VARIABLE;
|
|
equation[k].token.variable = lhs[en][0].token.variable;
|
|
return true;
|
|
}
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* This function is for the "optimize" command.
|
|
* It finds and replaces all repeated expressions in "equation" with temporary variables.
|
|
* It also creates a new equation for each temporary variable.
|
|
* It should be called repeatedly until it returns false.
|
|
*/
|
|
static int
|
|
opt_es(equation, np)
|
|
token_type *equation;
|
|
int *np;
|
|
{
|
|
int i, j, k, i1, i2, jj1, k1;
|
|
int level, level1;
|
|
int diff_sign;
|
|
int found_se, found_se1; /* found sub-expression flags */
|
|
long v; /* Mathomatic variable */
|
|
char var_name_buf[MAX_VAR_LEN];
|
|
|
|
if (*np <= 0) {
|
|
return false;
|
|
}
|
|
for (level = 1, found_se = true; found_se; level++) {
|
|
for (i = 1, found_se = false; i < *np; i = j + 2) {
|
|
for (j = i; j < *np && equation[j].level > level; j += 2)
|
|
;
|
|
if (j == i) {
|
|
continue;
|
|
}
|
|
found_se = true;
|
|
k = i - 1;
|
|
if ((j - k) < OPT_MIN_SIZE) {
|
|
continue;
|
|
}
|
|
found_se1 = true;
|
|
for (level1 = 1; found_se1; level1++) {
|
|
for (i1 = 1, found_se1 = false; i1 < *np; i1 = jj1 + 2) {
|
|
for (jj1 = i1; jj1 < *np && equation[jj1].level > level1; jj1 += 2) {
|
|
}
|
|
if (jj1 == i1) {
|
|
continue;
|
|
}
|
|
found_se1 = true;
|
|
if (i1 <= j)
|
|
continue;
|
|
k1 = i1 - 1;
|
|
if ((jj1 - k1) >= OPT_MIN_SIZE
|
|
&& se_compare(&equation[k], j - k, &equation[k1], jj1 - k1, &diff_sign)) {
|
|
snprintf(var_name_buf, sizeof(var_name_buf), "temp%.0d", last_temp_var);
|
|
if (parse_var(&v, var_name_buf) == NULL) {
|
|
return false; /* can't create "temp" variable */
|
|
}
|
|
last_temp_var++;
|
|
if (last_temp_var < 0) {
|
|
last_temp_var = 0;
|
|
}
|
|
i2 = next_espace();
|
|
lhs[i2][0].level = 1;
|
|
lhs[i2][0].kind = VARIABLE;
|
|
lhs[i2][0].token.variable = v;
|
|
n_lhs[i2] = 1;
|
|
blt(rhs[i2], &equation[k], (j - k) * sizeof(token_type));
|
|
n_rhs[i2] = j - k;
|
|
if (diff_sign) {
|
|
blt(&equation[i1+2], &equation[jj1], (*np - jj1) * sizeof(token_type));
|
|
*np -= (jj1 - (i1 + 2));
|
|
level1++;
|
|
equation[k1].level = level1;
|
|
equation[k1].kind = CONSTANT;
|
|
equation[k1].token.constant = -1.0;
|
|
k1++;
|
|
equation[k1].level = level1;
|
|
equation[k1].kind = OPERATOR;
|
|
equation[k1].token.operatr = TIMES;
|
|
k1++;
|
|
} else {
|
|
blt(&equation[i1], &equation[jj1], (*np - jj1) * sizeof(token_type));
|
|
*np -= (jj1 - i1);
|
|
}
|
|
equation[k1].level = level1;
|
|
equation[k1].kind = VARIABLE;
|
|
equation[k1].token.variable = v;
|
|
blt(&equation[i], &equation[j], (*np - j) * sizeof(token_type));
|
|
*np -= j - i;
|
|
equation[k].level = level;
|
|
equation[k].kind = VARIABLE;
|
|
equation[k].token.variable = v;
|
|
while (find_more(equation, np, i2))
|
|
;
|
|
simp_loop(rhs[i2], &n_rhs[i2]);
|
|
simp_loop(equation, np);
|
|
for (i = 0;; i++) {
|
|
if (i >= N_EQUATIONS) {
|
|
error_bug("Too many optimized equations.");
|
|
}
|
|
if (opt_en[i] < 0)
|
|
break;
|
|
}
|
|
opt_en[i] = i2;
|
|
opt_en[i+1] = -1;
|
|
return true;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* The optimize command.
|
|
*/
|
|
int
|
|
optimize_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j, k, i1;
|
|
int start, stop;
|
|
int rv = false, flag, skip_flag;
|
|
int start_en;
|
|
int diff_sign;
|
|
|
|
if (!get_range_eol(&cp, &start, &stop)) {
|
|
return false;
|
|
}
|
|
opt_en[0] = -1;
|
|
start_en = 0;
|
|
for (j = i = start; i <= stop; i++) {
|
|
if (n_lhs[i]) {
|
|
j = i;
|
|
simp_equation(i);
|
|
}
|
|
}
|
|
stop = j;
|
|
do {
|
|
flag = false;
|
|
for (i = start; i <= stop; i++) {
|
|
for (j = start; j <= stop; j++) {
|
|
if (i != j) {
|
|
while (find_more(rhs[i], &n_rhs[i], j)) {
|
|
flag = true;
|
|
rv = true;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
} while (flag);
|
|
for (i = start; i <= stop; i++) {
|
|
if (n_lhs[i] == 0)
|
|
continue;
|
|
do {
|
|
flag = false;
|
|
simp_equation(i);
|
|
for (j = 0; opt_en[j] >= 0; j++) {
|
|
if (i != opt_en[j]) {
|
|
simp_equation(opt_en[j]);
|
|
while (find_more(lhs[i], &n_lhs[i], opt_en[j]))
|
|
flag = true;
|
|
while (find_more(rhs[i], &n_rhs[i], opt_en[j]))
|
|
flag = true;
|
|
}
|
|
}
|
|
} while (flag);
|
|
while (opt_es(lhs[i], &n_lhs[i])) {
|
|
rv = true;
|
|
}
|
|
while (opt_es(rhs[i], &n_rhs[i])) {
|
|
rv = true;
|
|
}
|
|
if (rv) {
|
|
for (i1 = start_en; opt_en[i1] >= 0; i1++) {
|
|
for (j = start_en; opt_en[j] >= 0; j++) {
|
|
for (k = j + 1; opt_en[k] >= 0; k++) {
|
|
while (find_more(rhs[opt_en[k]], &n_rhs[opt_en[k]], opt_en[j]))
|
|
;
|
|
while (find_more(rhs[opt_en[j]], &n_rhs[opt_en[j]], opt_en[k]))
|
|
;
|
|
}
|
|
}
|
|
while (opt_es(rhs[opt_en[i1]], &n_rhs[opt_en[i1]]))
|
|
;
|
|
}
|
|
/* Remove equation if identity, otherwise display. */
|
|
for (; opt_en[start_en] >= 0; start_en++) {
|
|
k = opt_en[start_en];
|
|
if (se_compare(lhs[k], n_lhs[k], rhs[k], n_rhs[k], &diff_sign) && !diff_sign) {
|
|
n_lhs[k] = 0;
|
|
n_rhs[k] = 0;
|
|
} else
|
|
list_sub(k);
|
|
}
|
|
if (se_compare(lhs[i], n_lhs[i], rhs[i], n_rhs[i], &diff_sign) && !diff_sign) {
|
|
n_lhs[i] = 0;
|
|
n_rhs[i] = 0;
|
|
}
|
|
}
|
|
}
|
|
if (rv) {
|
|
for (i = start; i <= stop; i++) {
|
|
if (n_lhs[i] == 0)
|
|
continue;
|
|
skip_flag = false;
|
|
do {
|
|
flag = false;
|
|
simp_equation(i);
|
|
for (j = 0; opt_en[j] >= 0; j++) {
|
|
if (i != opt_en[j]) {
|
|
simp_equation(opt_en[j]);
|
|
while (find_more(lhs[i], &n_lhs[i], opt_en[j]))
|
|
flag = true;
|
|
while (find_more(rhs[i], &n_rhs[i], opt_en[j]))
|
|
flag = true;
|
|
} else
|
|
skip_flag = true;
|
|
}
|
|
} while (flag);
|
|
if (!skip_flag)
|
|
list_sub(i);
|
|
}
|
|
}
|
|
if (!rv) {
|
|
error(_("Unable to find any repeated expressions."));
|
|
}
|
|
return rv;
|
|
}
|
|
|
|
#if READLINE || EDITLINE
|
|
/*
|
|
* The push command.
|
|
*/
|
|
int
|
|
push_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int start, stop;
|
|
int k;
|
|
char *cp1, *cp_start;
|
|
|
|
cp_start = cp;
|
|
if (!readline_enabled) {
|
|
error(_("Readline is currently turned off."));
|
|
return false;
|
|
}
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &start, &stop)) {
|
|
if (*cp_start) {
|
|
reset_error();
|
|
}
|
|
goto push_text;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
goto push_text;
|
|
}
|
|
for (k = start; k <= stop; k++) {
|
|
if (n_lhs[k]) {
|
|
if (push_en(k)) {
|
|
debug_string(0, _("Expression pushed. Press the UP key to access."));
|
|
} else {
|
|
error(_("Expression push failed."));
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
} while (*cp);
|
|
return true;
|
|
|
|
push_text:
|
|
if (*cp_start) {
|
|
add_history(cp_start);
|
|
last_history_string = NULL;
|
|
debug_string(0, _("Text string pushed. Press the UP key to access."));
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* Push an equation space into the readline history.
|
|
*
|
|
* Return true if successful.
|
|
*/
|
|
int
|
|
push_en(en)
|
|
int en; /* equation space number to push */
|
|
{
|
|
char *cp;
|
|
|
|
if (!readline_enabled)
|
|
return false;
|
|
high_prec = true;
|
|
cp = list_equation(en, false);
|
|
high_prec = false;
|
|
if (cp == NULL)
|
|
return false;
|
|
add_history(cp);
|
|
last_history_string = cp;
|
|
return true;
|
|
}
|
|
#endif
|
|
|
|
/*
|
|
* Output the current working directory.
|
|
*
|
|
* Return true if successful.
|
|
*/
|
|
int
|
|
output_current_directory(ofp)
|
|
FILE *ofp; /* output file pointer */
|
|
{
|
|
#if !SECURE
|
|
char buf[MAX_CMD_LEN];
|
|
|
|
if (security_level < 3 && ofp) {
|
|
if (getcwd(buf, sizeof(buf))) {
|
|
fprintf(ofp, "directory %s\n", buf);
|
|
return true;
|
|
} else {
|
|
perror(NULL);
|
|
}
|
|
}
|
|
#endif
|
|
return false;
|
|
}
|
|
|
|
int
|
|
fprintf_escaped(ofp, cp)
|
|
FILE *ofp;
|
|
char *cp;
|
|
{
|
|
int len = 0;
|
|
|
|
while (*cp) {
|
|
if (*cp == ';') {
|
|
len += fprintf(ofp, "\\");
|
|
}
|
|
len += fprintf(ofp, "%c", *cp);
|
|
cp++;
|
|
}
|
|
return len;
|
|
}
|
|
|
|
/*
|
|
* Output the current set options in a format suitable for reading back in.
|
|
* If all_set_options, include options you don't want to save.
|
|
*/
|
|
void
|
|
output_options(ofp, all_set_options)
|
|
FILE *ofp; /* output file pointer */
|
|
int all_set_options;
|
|
{
|
|
if (ofp == NULL)
|
|
return;
|
|
|
|
fprintf(ofp, "precision = %d digits\n", precision);
|
|
|
|
if (!autosolve) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "autosolve\n");
|
|
|
|
if (!autocalc) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "autocalc\n");
|
|
|
|
if (!autodelete) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "autodelete\n");
|
|
|
|
if (!autoselect) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "autoselect\n");
|
|
|
|
#if !SILENT
|
|
fprintf(ofp, "debug_level = %d\n", debug_level);
|
|
#endif
|
|
|
|
if (!case_sensitive_flag) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "case_sensitive\n");
|
|
|
|
if (all_set_options && html_flag) {
|
|
if (html_flag == 2) {
|
|
fprintf(ofp, "all html ");
|
|
} else {
|
|
fprintf(ofp, "html ");
|
|
}
|
|
}
|
|
if (color_flag == 2) {
|
|
fprintf(ofp, "alternative ");
|
|
}
|
|
if (bold_colors && color_flag) {
|
|
fprintf(ofp, "bold color");
|
|
} else {
|
|
if (!color_flag) {
|
|
fprintf(ofp, "no color");
|
|
} else {
|
|
fprintf(ofp, "no bold color");
|
|
}
|
|
}
|
|
if (text_color >= 0) {
|
|
fprintf(ofp, " %d", text_color);
|
|
}
|
|
fprintf(ofp, "\n");
|
|
|
|
if (!display2d) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "display2d\n");
|
|
|
|
if (all_set_options) {
|
|
fprintf(ofp, "columns = %d, ", screen_columns);
|
|
fprintf(ofp, "rows = %d\n", screen_rows);
|
|
}
|
|
|
|
fprintf(ofp, "fractions_display_mode = ");
|
|
switch (fractions_display) {
|
|
case 0:
|
|
fprintf(ofp, "none\n");
|
|
break;
|
|
case 2:
|
|
fprintf(ofp, "mixed\n");
|
|
break;
|
|
default:
|
|
fprintf(ofp, "simple\n");
|
|
break;
|
|
}
|
|
|
|
if (quiet_mode) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "prompt\n");
|
|
|
|
#if 0
|
|
if (!preserve_surds) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "preserve_surds\n");
|
|
#endif
|
|
|
|
if (!rationalize_denominators) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "rationalize_denominators\n");
|
|
|
|
fprintf(ofp, "modulus_mode = ");
|
|
switch (modulus_mode) {
|
|
case 0:
|
|
fprintf(ofp, "C\n");
|
|
break;
|
|
case 1:
|
|
fprintf(ofp, "Python\n");
|
|
break;
|
|
case 2:
|
|
fprintf(ofp, "normal\n");
|
|
break;
|
|
default:
|
|
fprintf(ofp, "unknown\n");
|
|
break;
|
|
}
|
|
|
|
if (finance_option < 0) {
|
|
fprintf(ofp, "no fixed_point\n");
|
|
} else {
|
|
fprintf(ofp, "fixed_point = %d\n", finance_option);
|
|
}
|
|
|
|
if (!factor_int_flag) {
|
|
fprintf(ofp, "no ");
|
|
}
|
|
fprintf(ofp, "factor_integers\n");
|
|
|
|
if (right_associative_power) { /* option is hardly ever used */
|
|
fprintf(ofp, "right_associative_power\n");
|
|
}
|
|
|
|
#if SHELL_OUT
|
|
fprintf(ofp, "plot_prefix = ");
|
|
fprintf_escaped(ofp, plot_prefix);
|
|
fprintf(ofp, "\n");
|
|
#endif
|
|
|
|
fprintf(ofp, "special_variable_characters = %s\n", special_variable_characters);
|
|
}
|
|
|
|
/*
|
|
* Skip over a yes/no indicator and return true if *cpp pointed to a negative word.
|
|
*/
|
|
int
|
|
skip_no(cpp)
|
|
char **cpp;
|
|
{
|
|
if (strcmp_tospace(*cpp, "no") == 0
|
|
|| strcmp_tospace(*cpp, "not") == 0
|
|
|| strcmp_tospace(*cpp, "off") == 0
|
|
|| strcmp_tospace(*cpp, "false") == 0) {
|
|
*cpp = skip_param(*cpp);
|
|
return true;
|
|
}
|
|
if (strcmp_tospace(*cpp, "yes") == 0
|
|
|| strcmp_tospace(*cpp, "on") == 0
|
|
|| strcmp_tospace(*cpp, "true") == 0) {
|
|
*cpp = skip_param(*cpp);
|
|
}
|
|
return false;
|
|
}
|
|
|
|
#if !SECURE
|
|
/*
|
|
* Save set options in the startup file, displaying a confirmation message.
|
|
* If a string is passed, then just save the string.
|
|
*
|
|
* Return true if successful.
|
|
*/
|
|
int
|
|
save_set_options(cp)
|
|
char *cp;
|
|
{
|
|
FILE *fp;
|
|
int pre_existing;
|
|
|
|
if (rc_file[0] == '\0') {
|
|
error(_("Set options startup file name not set; contact the developer."));
|
|
return false;
|
|
}
|
|
pre_existing = (access(rc_file, F_OK) == 0);
|
|
if ((fp = fopen(rc_file, "w")) == NULL) {
|
|
perror(rc_file);
|
|
error(_("Unable to write to set options startup file."));
|
|
return false;
|
|
}
|
|
fprintf(fp, "; Mathomatic set options loaded at startup,\n");
|
|
fprintf(fp, "; created by the \"set save\" command.\n");
|
|
fprintf(fp, "; This file can be edited or deleted.\n\n");
|
|
if (cp && *cp) {
|
|
fprintf(fp, "%s\n", cp);
|
|
} else {
|
|
output_options(fp, false);
|
|
}
|
|
if (fclose(fp) == 0) {
|
|
if (pre_existing)
|
|
printf(_("Startup file \"%s\" overwritten with set options.\n"), rc_file);
|
|
else
|
|
printf(_("Set options saved in startup file \"%s\".\n"), rc_file);
|
|
} else {
|
|
perror(rc_file);
|
|
error(_("Error saving set options."));
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
|
|
/*
|
|
* Handle parsing of options for the set command.
|
|
*
|
|
* Return false if error.
|
|
*/
|
|
int
|
|
set_options(cp, loading_startup_file)
|
|
char *cp;
|
|
int loading_startup_file;
|
|
{
|
|
int i;
|
|
int negate;
|
|
char *cp1 = NULL, *option_string;
|
|
|
|
show_usage = false; /* this command gives enough usage information */
|
|
try_next_param:
|
|
cp = skip_comma_space(cp);
|
|
if (*cp == '\0') {
|
|
return true;
|
|
}
|
|
if (strncasecmp(cp, "directory", 3) == 0) {
|
|
cp = skip_param(cp);
|
|
#if !SECURE
|
|
if (security_level < 3) {
|
|
if (*cp == '\0') {
|
|
cp1 = getenv("HOME");
|
|
if (cp1 == NULL) {
|
|
error(_("HOME environment variable not set."));
|
|
return false;
|
|
}
|
|
cp = cp1;
|
|
}
|
|
if (chdir(cp)) {
|
|
perror(cp);
|
|
error(_("Error changing directory."));
|
|
return false;
|
|
}
|
|
printf(_("Current working directory changed to "));
|
|
return output_current_directory(stdout);
|
|
}
|
|
#endif
|
|
error(_("Option disabled by security level."));
|
|
return false;
|
|
}
|
|
negate = skip_no(&cp);
|
|
option_string = cp;
|
|
cp = skip_param(cp);
|
|
#if !SILENT
|
|
if (strncasecmp(option_string, "debug", 5) == 0) {
|
|
if (negate) {
|
|
debug_level = 0;
|
|
} else {
|
|
i = decstrtol(cp, &cp1);
|
|
if (cp1 == NULL || cp == cp1) {
|
|
error(_("Please specify the debug level number from -2 to 6."));
|
|
return false;
|
|
}
|
|
cp = cp1;
|
|
debug_level = i;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
#endif
|
|
if (strncasecmp(option_string, "special", 7) == 0) {
|
|
if (negate) {
|
|
special_variable_characters[0] = '\0';
|
|
} else {
|
|
for (i = 0; cp[i]; i++) {
|
|
if (is_mathomatic_operator(cp[i])) {
|
|
error(_("Invalid character in list, character is a Mathomatic operator."));
|
|
return false;
|
|
}
|
|
}
|
|
my_strlcpy(special_variable_characters, cp, sizeof(special_variable_characters));
|
|
}
|
|
return true;
|
|
}
|
|
#if SHELL_OUT
|
|
if (strncasecmp(option_string, "plot_prefix", 4) == 0) {
|
|
if (negate) {
|
|
plot_prefix[0] = '\0';
|
|
} else {
|
|
my_strlcpy(plot_prefix, cp, sizeof(plot_prefix));
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
if (strncasecmp(option_string, "rows", 3) == 0) {
|
|
if (negate) {
|
|
screen_rows = 0;
|
|
} else {
|
|
if (*cp == '\0') {
|
|
printf(_("Current screen rows is %d.\n"), screen_rows);
|
|
goto check_return;
|
|
}
|
|
i = decstrtol(cp, &cp1);
|
|
if (i < 0 || cp1 == NULL || cp == cp1) {
|
|
error(_("Please specify how tall the screen is; 0 = no pagination."));
|
|
return false;
|
|
}
|
|
cp = cp1;
|
|
screen_rows = i;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "columns", 6) == 0) {
|
|
if (negate) {
|
|
screen_columns = 0;
|
|
} else {
|
|
if (*cp == '\0') {
|
|
if (!get_screen_size()) {
|
|
error(_("OS failed to return screen size."));
|
|
return false;
|
|
}
|
|
goto check_return;
|
|
}
|
|
i = decstrtol(cp, &cp1);
|
|
if (i < 0 || cp1 == NULL || cp == cp1) {
|
|
error(_("Please specify how wide the screen is; 0 = no limit."));
|
|
return false;
|
|
}
|
|
cp = cp1;
|
|
screen_columns = i;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "wide", 4) == 0) {
|
|
if (negate) {
|
|
if (!get_screen_size() || screen_columns == 0) {
|
|
error(_("OS failed to return screen size."));
|
|
return false;
|
|
}
|
|
} else {
|
|
screen_columns = 0;
|
|
screen_rows = 0;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "precision", 4) == 0) {
|
|
i = decstrtol(cp, &cp1);
|
|
if (i < 0 || i > 15 || cp1 == NULL || cp == cp1) {
|
|
error(_("Please specify a display precision between 0 and 15 digits."));
|
|
return false;
|
|
}
|
|
precision = i;
|
|
return true;
|
|
}
|
|
if (strcmp_tospace(option_string, "auto") == 0) {
|
|
autosolve = autocalc = autoselect = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "autosolve", 9) == 0) {
|
|
autosolve = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "autocalc", 8) == 0) {
|
|
autocalc = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "autodelete", 7) == 0) {
|
|
autodelete = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "autoselect", 10) == 0) {
|
|
autoselect = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "case", 4) == 0) {
|
|
case_sensitive_flag = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "display2d", 7) == 0) {
|
|
display2d = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "fractions", 4) == 0) {
|
|
if (negate) {
|
|
fractions_display = 0;
|
|
} else {
|
|
i = decstrtol(cp, &cp1);
|
|
if (cp == cp1) {
|
|
if (strcmp_tospace(cp, "none") == 0) {
|
|
cp1 = skip_param(cp);
|
|
i = 0;
|
|
} else if (strcmp_tospace(cp, "simple") == 0) {
|
|
cp1 = skip_param(cp);
|
|
i = 1;
|
|
} else if (strcmp_tospace(cp, "mixed") == 0) {
|
|
cp1 = skip_param(cp);
|
|
i = 2;
|
|
}
|
|
}
|
|
if (cp1 == NULL || cp == cp1 || i < 0 || i > 2) {
|
|
error(_("Please specify the fractions display mode number (0, 1, or 2)."));
|
|
printf(_("0 means do not display any constants as fractions,\n"));
|
|
printf(_("1 means display some constants as \"simple\" fractions,\n"));
|
|
printf(_("2 means display some constants as \"mixed\" or simple fractions.\n"));
|
|
printf(_("Current value is %d.\n"), fractions_display);
|
|
return false;
|
|
}
|
|
cp = cp1;
|
|
fractions_display = i;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "prompt", 6) == 0) {
|
|
quiet_mode = negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "demo", 4) == 0) {
|
|
demo_mode = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "html", 4) == 0) {
|
|
#if !SECURE
|
|
if (security_level > 0) {
|
|
#endif
|
|
error(_("Option disabled by security level."));
|
|
return false;
|
|
#if !SECURE
|
|
}
|
|
#endif
|
|
reset_attr();
|
|
if (is_all(cp)) {
|
|
cp = skip_param(cp);
|
|
if (negate)
|
|
html_flag = 0;
|
|
else
|
|
html_flag = 2;
|
|
} else {
|
|
html_flag = !negate;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "preserve_surds", 13) == 0) {
|
|
preserve_surds = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "rationalize", 11) == 0) {
|
|
rationalize_denominators = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "modulus_mode", 3) == 0) {
|
|
if (negate) {
|
|
error(_("Modulus mode cannot be turned off."));
|
|
return false;
|
|
} else {
|
|
i = decstrtol(cp, &cp1);
|
|
if (cp == cp1) {
|
|
if (strcmp_tospace(cp, "C") == 0 || strcmp_tospace(cp, "java") == 0) {
|
|
cp1 = skip_param(cp);
|
|
i = 0;
|
|
} else if (strcmp_tospace(cp, "python") == 0) {
|
|
cp1 = skip_param(cp);
|
|
i = 1;
|
|
} else if (strcmp_tospace(cp, "positive") == 0 || strcmp_tospace(cp, "normal") == 0) {
|
|
cp1 = skip_param(cp);
|
|
i = 2;
|
|
}
|
|
}
|
|
if (cp1 == NULL || cp == cp1 || i < 0 || i > 2) {
|
|
error(_("Please specify the modulus mode number (0, 1, or 2)."));
|
|
printf(_("* \"C\" and \"Java\" programming language mode 0:\n"));
|
|
printf(_(" 0 means modulus operator (dividend %% divisor) result has same sign as dividend;\n"));
|
|
printf(_("* \"Python\" programming language mode 1:\n"));
|
|
printf(_(" 1 means computed result always has same sign as the divisor;\n"));
|
|
printf(_("* Mathematically correct mode 2 for perfect simplification:\n"));
|
|
printf(_(" 2 means the result is always \"positive\" or zero (\"normal\" mode).\n\n"));
|
|
printf(_("The current value is %d ("), modulus_mode);
|
|
switch (modulus_mode) {
|
|
case 0:
|
|
printf("C");
|
|
break;
|
|
case 1:
|
|
printf("Python");
|
|
break;
|
|
case 2:
|
|
printf("normal");
|
|
break;
|
|
default:
|
|
printf("unknown");
|
|
break;
|
|
}
|
|
printf(_(" mode).\n"));
|
|
return false;
|
|
}
|
|
cp = cp1;
|
|
modulus_mode = i;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "color", 5) == 0) {
|
|
reset_attr();
|
|
if (color_flag != 2 || negate) {
|
|
color_flag = !negate;
|
|
}
|
|
i = decstrtol(cp, &cp1);
|
|
if (cp1 && cp != cp1) {
|
|
text_color = i;
|
|
cp = cp1;
|
|
} else {
|
|
text_color = -1;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "alternative", 3) == 0) {
|
|
reset_attr();
|
|
color_flag = (!negate) + 1;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "bold", 4) == 0) {
|
|
reset_attr();
|
|
bold_colors = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "fixed", 3) == 0) {
|
|
if (negate) {
|
|
finance_option = -1;
|
|
} else {
|
|
i = decstrtol(cp, &cp1);
|
|
if (cp1 == NULL) {
|
|
return false;
|
|
}
|
|
if (cp == cp1) {
|
|
if (*cp1 == '\0') {
|
|
i = 2;
|
|
} else {
|
|
error(_("Please specify the number of digits to display after the decimal point."));
|
|
return false;
|
|
}
|
|
}
|
|
if (i < -1 || i > 100) {
|
|
error(_("Range is -1 to 100; Sets rounded display with fixed number of trailing digits."));
|
|
return false;
|
|
}
|
|
if (i == 0) {
|
|
warning("Setting rounded, integer-only display.");
|
|
}
|
|
cp = cp1;
|
|
finance_option = i;
|
|
}
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "factor_integers", 6) == 0) {
|
|
factor_int_flag = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strncasecmp(option_string, "right_associative_power", 5) == 0) {
|
|
right_associative_power = !negate;
|
|
goto try_next_param;
|
|
}
|
|
if (strcmp_tospace(option_string, "load") == 0) {
|
|
#if !SECURE
|
|
if (negate) {
|
|
printf(_("Doing nothing.\n"));
|
|
return true;
|
|
}
|
|
if (loading_startup_file) {
|
|
printf(_("Ignoring recursive \"set load\".\n"));
|
|
return true;
|
|
}
|
|
if (extra_characters(cp))
|
|
return false;
|
|
if (security_level <= 3) {
|
|
if (load_rc(false, gfp)) {
|
|
fprintf(gfp, _("\nEnd of file.\n"));
|
|
return true;
|
|
} else {
|
|
error(_("Error loading startup set options."));
|
|
return false;
|
|
}
|
|
}
|
|
#endif
|
|
error(_("Option disabled by security level."));
|
|
return false;
|
|
}
|
|
if (strcmp_tospace(option_string, "save") == 0) {
|
|
#if !SECURE
|
|
if (security_level < 2) {
|
|
if (rc_file[0] == '\0') {
|
|
error(_("Set options startup file name not set; contact the developer."));
|
|
return false;
|
|
}
|
|
if (loading_startup_file) {
|
|
printf(_("Got \"set save\" while loading startup options, quitting.\n"));
|
|
return false;
|
|
}
|
|
if (negate) {
|
|
if (extra_characters(cp))
|
|
return false;
|
|
if (unlink(rc_file) == 0) {
|
|
printf(_("Set options startup file \"%s\" removed.\n"), rc_file);
|
|
printf(_("Factory default options will be used on next startup of Mathomatic.\n"));
|
|
return true;
|
|
} else {
|
|
perror(rc_file);
|
|
error(_("Set options startup file cannot be removed."));
|
|
return false;
|
|
}
|
|
} else {
|
|
if (save_set_options(cp)) {
|
|
if (load_rc(false, gfp)) {
|
|
fprintf(gfp, _("\nNew startup set options loaded.\n"));
|
|
return true;
|
|
} else {
|
|
error(_("Error loading new startup set options."));
|
|
fprintf(gfp, _("Correct or type \"set no save\" to remove.\n"));
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
}
|
|
#endif
|
|
error(_("Option disabled by security level."));
|
|
return false;
|
|
}
|
|
if (strcmp_tospace(option_string, "set") == 0) {
|
|
if (!negate)
|
|
goto try_next_param;
|
|
}
|
|
printf(_("\nCannot process set string \"%s\".\n"), option_string);
|
|
error(_("Unknown set option."));
|
|
return false;
|
|
|
|
check_return:
|
|
extra_characters(cp);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The set command.
|
|
*/
|
|
int
|
|
set_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int rv;
|
|
|
|
if (*cp == '\0') {
|
|
fprintf(gfp, _("Options are set as follows:\n\n"));
|
|
|
|
output_options(gfp, true);
|
|
|
|
output_current_directory(gfp);
|
|
return true;
|
|
}
|
|
rv = set_options(cp, false);
|
|
if (rv) {
|
|
debug_string(0, _("Success."));
|
|
}
|
|
return rv;
|
|
}
|
|
|
|
/*
|
|
* The echo command.
|
|
*/
|
|
int
|
|
echo_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i;
|
|
int len = 0;
|
|
int width, height;
|
|
|
|
if (repeat_flag) {
|
|
if (*cp) {
|
|
if (screen_columns)
|
|
width = screen_columns;
|
|
else
|
|
width = TEXT_COLUMNS;
|
|
while ((len + strlen(cp)) < width) {
|
|
fprintf(gfp, "%s", cp);
|
|
len += strlen(cp);
|
|
}
|
|
fprintf(gfp, "\n");
|
|
} else {
|
|
if (screen_rows)
|
|
height = screen_rows;
|
|
else
|
|
height = TEXT_ROWS;
|
|
for (i = 0; i < height; i++) {
|
|
fprintf(gfp, "\n");
|
|
}
|
|
}
|
|
} else {
|
|
fprintf(gfp, "%s\n", cp);
|
|
}
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The pause command.
|
|
*/
|
|
int
|
|
pause_cmd(cp)
|
|
char *cp;
|
|
{
|
|
#if LIBRARY
|
|
return true;
|
|
#else
|
|
char *cp1;
|
|
char buf[MAX_CMD_LEN];
|
|
|
|
if (test_mode || demo_mode) {
|
|
return true;
|
|
}
|
|
show_usage = false;
|
|
if (*cp == '\0') {
|
|
cp = _("Please press the Enter key");
|
|
}
|
|
set_color(3); /* make color blue, to show that this is not part of the surrounding text */
|
|
snprintf(prompt_str, sizeof(prompt_str), "==== %s: ", cp);
|
|
cp1 = get_string(buf, sizeof(buf));
|
|
default_color(false);
|
|
if (cp1 == NULL) {
|
|
return false;
|
|
}
|
|
if (strncasecmp(cp1, "quit", 4) == 0) {
|
|
return false;
|
|
}
|
|
if (strncasecmp(cp1, "exit", 4) == 0) {
|
|
return false;
|
|
}
|
|
return true;
|
|
#endif
|
|
}
|
|
|
|
/*
|
|
* The copy command.
|
|
*/
|
|
int
|
|
copy_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j, k;
|
|
int i1;
|
|
char exists[N_EQUATIONS];
|
|
char *cp1;
|
|
int select_flag = false; /* select the first equation space copied to */
|
|
|
|
CLEAR_ARRAY(exists);
|
|
for (i1 = 0; i1 < n_equations; i1++) {
|
|
if (n_lhs[i1] > 0) {
|
|
exists[i1] = true;
|
|
}
|
|
}
|
|
if (strncasecmp(cp, "select", 3) == 0) {
|
|
select_flag = true;
|
|
cp = skip_param(cp);
|
|
}
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &i, &j)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid equation number range."));
|
|
return false;
|
|
}
|
|
for (i1 = i; i1 <= j; i1++) {
|
|
if (exists[i1]) {
|
|
k = next_espace();
|
|
copy_espace(i1, k);
|
|
if (!return_result(k)) {
|
|
return false;
|
|
}
|
|
if (select_flag) {
|
|
cur_equation = k;
|
|
select_flag = false;
|
|
}
|
|
}
|
|
}
|
|
} while (*cp);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* Common function for the imaginary and real commands.
|
|
*/
|
|
static int
|
|
complex_func(cp, imag_flag)
|
|
char *cp; /* the command-line */
|
|
int imag_flag; /* if true, copy the imaginary part, otherwise copy the real part */
|
|
{
|
|
int i, j, k;
|
|
int beg;
|
|
int found_imag, has_imag, has_real, solved;
|
|
token_type *source, *dest;
|
|
int n1, *nps, *np;
|
|
long v = IMAGINARY; /* separation variable */
|
|
|
|
if (current_not_defined()) {
|
|
return false;
|
|
}
|
|
solved = solved_equation(cur_equation);
|
|
i = cur_equation;
|
|
j = next_espace();
|
|
if (n_rhs[i]) {
|
|
source = rhs[i];
|
|
nps = &n_rhs[i];
|
|
dest = rhs[j];
|
|
np = &n_rhs[j];
|
|
} else {
|
|
source = lhs[i];
|
|
nps = &n_lhs[i];
|
|
dest = lhs[j];
|
|
np = &n_lhs[j];
|
|
}
|
|
if (*cp) {
|
|
cp = parse_var2(&v, cp);
|
|
if (cp == NULL) {
|
|
return false;
|
|
}
|
|
if (extra_characters(cp))
|
|
return false;
|
|
}
|
|
simp_loop(source, nps);
|
|
uf_simp(source, nps);
|
|
factorv(source, nps, v);
|
|
partial_flag = false;
|
|
uf_simp(source, nps);
|
|
partial_flag = true;
|
|
n1 = 1;
|
|
dest[0] = zero_token;
|
|
has_imag = has_real = false;
|
|
for (beg = k = 0; beg < *nps; beg = k, k++) {
|
|
for (found_imag = false; k < *nps; k++) {
|
|
if (source[k].level == 1 && source[k].kind == OPERATOR
|
|
&& (source[k].token.operatr == PLUS || source[k].token.operatr == MINUS)) {
|
|
break;
|
|
}
|
|
if (source[k].kind == VARIABLE && source[k].token.variable == v) {
|
|
found_imag = true;
|
|
}
|
|
}
|
|
if (found_imag)
|
|
has_imag = true;
|
|
else
|
|
has_real = true;
|
|
if (found_imag == imag_flag) {
|
|
if (beg == 0) {
|
|
n1 = 0;
|
|
}
|
|
blt(&dest[n1], &source[beg], (k - beg) * sizeof(token_type));
|
|
n1 += (k - beg);
|
|
}
|
|
}
|
|
if (!has_imag || !has_real) {
|
|
warning(_("Expression was not a mix."));
|
|
}
|
|
do {
|
|
simp_loop(dest, &n1);
|
|
} while (factor_plus(dest, &n1, v, 0.0));
|
|
simp_divide(dest, &n1);
|
|
if (n_rhs[i]) {
|
|
blt(lhs[j], lhs[i], n_lhs[i] * sizeof(token_type));
|
|
n_lhs[j] = n_lhs[i];
|
|
if (solved) {
|
|
if (list_var(lhs[j][0].token.variable, 0) < (MAX_VAR_LEN - 5)) {
|
|
if (imag_flag)
|
|
strcat(var_str, "_imag");
|
|
else
|
|
strcat(var_str, "_real");
|
|
parse_var(&lhs[j][0].token.variable, var_str);
|
|
}
|
|
}
|
|
}
|
|
*np = n1;
|
|
cur_equation = j;
|
|
return return_result(cur_equation);
|
|
}
|
|
|
|
/*
|
|
* The real command.
|
|
*/
|
|
int
|
|
real_cmd(cp)
|
|
char *cp;
|
|
{
|
|
return complex_func(cp, false);
|
|
}
|
|
|
|
/*
|
|
* The imaginary command.
|
|
*/
|
|
int
|
|
imaginary_cmd(cp)
|
|
char *cp;
|
|
{
|
|
return complex_func(cp, true);
|
|
}
|
|
|
|
#if !LIBRARY
|
|
/*
|
|
* The tally command.
|
|
*/
|
|
int
|
|
tally_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, k, first, last;
|
|
double count = 0.0;
|
|
int arithmetic_mean = false;
|
|
long v;
|
|
char *cp1;
|
|
|
|
if (!parse_var(&v, "total")) {
|
|
return false;
|
|
}
|
|
if (strcmp_tospace(cp, "average") == 0) {
|
|
arithmetic_mean = true;
|
|
cp = skip_param(cp);
|
|
}
|
|
trhs[0] = zero_token;
|
|
n_trhs = 1;
|
|
if (*cp) {
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &first, &last)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (k = first; k <= last; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
if (n_rhs[k] > 0) {
|
|
if ((n_trhs + 1 + n_rhs[k]) > n_tokens) {
|
|
error_huge();
|
|
}
|
|
for (i = 0; i < n_trhs; i++) {
|
|
trhs[i].level++;
|
|
}
|
|
trhs[n_trhs].kind = OPERATOR;
|
|
trhs[n_trhs].level = 1;
|
|
trhs[n_trhs].token.operatr = PLUS;
|
|
n_trhs++;
|
|
blt(&trhs[n_trhs], rhs[k], n_rhs[k] * sizeof(token_type));
|
|
n_trhs += n_rhs[k];
|
|
} else {
|
|
if ((n_trhs + 1 + n_lhs[k]) > n_tokens) {
|
|
error_huge();
|
|
}
|
|
for (i = 0; i < n_trhs; i++) {
|
|
trhs[i].level++;
|
|
}
|
|
trhs[n_trhs].kind = OPERATOR;
|
|
trhs[n_trhs].level = 1;
|
|
trhs[n_trhs].token.operatr = PLUS;
|
|
n_trhs++;
|
|
blt(&trhs[n_trhs], lhs[k], n_lhs[k] * sizeof(token_type));
|
|
n_trhs += n_lhs[k];
|
|
}
|
|
for (i++; i < n_trhs; i++) {
|
|
trhs[i].level++;
|
|
}
|
|
calc_simp(trhs, &n_trhs);
|
|
count++;
|
|
}
|
|
} while (*cp);
|
|
}
|
|
if (extra_characters(cp)) {
|
|
return false;
|
|
}
|
|
for (;; count++) {
|
|
fprintf(gfp, _("total = "));
|
|
list_proc(trhs, n_trhs, false);
|
|
fprintf(gfp, "\n");
|
|
if (count > 0) {
|
|
if (arithmetic_mean) {
|
|
/* calculate and display the average */
|
|
blt(tlhs, trhs, n_trhs * sizeof(token_type));
|
|
n_tlhs = n_trhs;
|
|
if ((n_tlhs + 2) > n_tokens) {
|
|
error_huge();
|
|
}
|
|
for (i = 0; i < n_tlhs; i++) {
|
|
tlhs[i].level++;
|
|
}
|
|
tlhs[n_tlhs].kind = OPERATOR;
|
|
tlhs[n_tlhs].level = 1;
|
|
tlhs[n_tlhs].token.operatr = DIVIDE;
|
|
n_tlhs++;
|
|
tlhs[n_tlhs].kind = CONSTANT;
|
|
tlhs[n_tlhs].level = 1;
|
|
tlhs[n_tlhs].token.constant = count;
|
|
n_tlhs++;
|
|
calc_simp(tlhs, &n_tlhs);
|
|
fprintf(gfp, _("count = %.0f, average = "), count);
|
|
list_proc(tlhs, n_tlhs, false);
|
|
fprintf(gfp, "\n");
|
|
}
|
|
}
|
|
fprintf(gfp, "\n");
|
|
my_strlcpy(prompt_str, _("Enter value to add: "), sizeof(prompt_str));
|
|
if (!get_expr(tlhs, &n_tlhs)) {
|
|
break;
|
|
}
|
|
if ((n_trhs + 1 + n_tlhs) > n_tokens) {
|
|
error_huge();
|
|
}
|
|
for (i = 0; i < n_tlhs; i++) {
|
|
tlhs[i].level++;
|
|
}
|
|
for (i = 0; i < n_trhs; i++) {
|
|
trhs[i].level++;
|
|
}
|
|
trhs[n_trhs].kind = OPERATOR;
|
|
trhs[n_trhs].level = 1;
|
|
trhs[n_trhs].token.operatr = PLUS;
|
|
n_trhs++;
|
|
blt(&trhs[n_trhs], tlhs, n_tlhs * sizeof(token_type));
|
|
n_trhs += n_tlhs;
|
|
calc_simp(trhs, &n_trhs);
|
|
}
|
|
fprintf(gfp, _("End.\n"));
|
|
if (count > 0) {
|
|
i = next_espace();
|
|
lhs[i][0].level = 1;
|
|
lhs[i][0].kind = VARIABLE;
|
|
lhs[i][0].token.variable = v;
|
|
n_lhs[i] = 1;
|
|
blt(rhs[i], trhs, n_trhs * sizeof(token_type));
|
|
n_rhs[i] = n_trhs;
|
|
cur_equation = i;
|
|
return return_result(cur_equation);
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
|
|
#if !LIBRARY
|
|
/*
|
|
* The calculate command.
|
|
*/
|
|
int
|
|
calculate_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, k1, k;
|
|
int first, last;
|
|
long v, last_v, it_v = 0; /* Mathomatic variables */
|
|
long counter, counter_max;
|
|
sign_array_type sa_mark, sa_value;
|
|
long l, iterations = 1;
|
|
token_type *source;
|
|
int n;
|
|
int diff_sign;
|
|
char buf[MAX_CMD_LEN];
|
|
int factor_flag = false, value_entered;
|
|
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strcmp_tospace(cp, "factor") == 0) {
|
|
factor_flag = true;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
if (!get_range(&cp, &first, &last)) {
|
|
return false;
|
|
}
|
|
if (*cp) {
|
|
cp = parse_var2(&it_v, cp);
|
|
if (cp == NULL) {
|
|
return false;
|
|
}
|
|
if (*cp == '\0') {
|
|
my_strlcpy(prompt_str, _("Enter maximum number of iterations: "), sizeof(prompt_str));
|
|
if ((cp = get_string(buf, sizeof(buf))) == NULL)
|
|
return false;
|
|
}
|
|
iterations = decstrtol(cp, &cp);
|
|
if (*cp || iterations < 0) {
|
|
error(_("Positive integer required."));
|
|
return false;
|
|
}
|
|
if (iterations == 0) {
|
|
warning(_("Feedback calculation will be iterated until convergence."));
|
|
iterations = LONG_MAX - 1L;
|
|
}
|
|
}
|
|
if (extra_characters(cp)) {
|
|
return false;
|
|
}
|
|
calc_again:
|
|
value_entered = false;
|
|
for (i = first; i <= last; i++) {
|
|
if (n_rhs[i]) {
|
|
source = rhs[i];
|
|
n = n_rhs[i];
|
|
} else {
|
|
source = lhs[i];
|
|
n = n_lhs[i];
|
|
}
|
|
if (it_v) {
|
|
if (!found_var(source, n, it_v)) {
|
|
debug_string((first == last) ? 0 : 1, _("Specified feedback variable not found."));
|
|
continue;
|
|
}
|
|
}
|
|
n_trhs = n;
|
|
blt(trhs, source, n_trhs * sizeof(token_type));
|
|
last_v = 0;
|
|
for (;;) {
|
|
v = -1;
|
|
for (k1 = 0; k1 < n; k1 += 2) {
|
|
if (source[k1].kind == VARIABLE) {
|
|
if (source[k1].token.variable > last_v
|
|
&& (v == -1 || source[k1].token.variable < v))
|
|
v = source[k1].token.variable;
|
|
}
|
|
}
|
|
if (v == -1)
|
|
break;
|
|
last_v = v;
|
|
if ((v & VAR_MASK) <= SIGN || v == it_v) {
|
|
continue;
|
|
}
|
|
if (test_mode || demo_mode)
|
|
continue;
|
|
list_var(v, 0);
|
|
snprintf(prompt_str, sizeof(prompt_str), _("Enter %s: "), var_str);
|
|
if (!get_expr(tlhs, &n_tlhs)) {
|
|
continue;
|
|
}
|
|
value_entered = true;
|
|
/* Disguise all variables in the entered expression by making them negative. */
|
|
/* That way they won't be improperly substituted in the future. */
|
|
for (k1 = 0; k1 < n_tlhs; k1 += 2)
|
|
if (tlhs[k1].kind == VARIABLE)
|
|
tlhs[k1].token.variable = -tlhs[k1].token.variable;
|
|
subst_var_with_exp(trhs, &n_trhs, tlhs, n_tlhs, v);
|
|
}
|
|
/* Restore disguised variables: */
|
|
for (k1 = 0; k1 < n_trhs; k1 += 2)
|
|
if (trhs[k1].kind == VARIABLE && trhs[k1].token.variable < 0)
|
|
trhs[k1].token.variable = -trhs[k1].token.variable;
|
|
if (it_v) {
|
|
/* Handle the iteration option, where the simplified result is repeatedly plugged into variable it_v. */
|
|
list_var(it_v, 0);
|
|
snprintf(prompt_str, sizeof(prompt_str), _("Enter initial %s: "), var_str);
|
|
while (!get_expr(tes, &n_tes)) {
|
|
printf("Aborted.\n");
|
|
return repeat_flag;
|
|
}
|
|
value_entered = true;
|
|
calc_simp(tes, &n_tes);
|
|
blt(tlhs, trhs, n_trhs * sizeof(token_type));
|
|
n_tlhs = n_trhs;
|
|
for (l = 0;; l++) {
|
|
if (l >= iterations) {
|
|
fprintf(gfp, _("%ld feedback iterations performed.\n"), l);
|
|
break;
|
|
}
|
|
side_debug(1, tes, n_tes);
|
|
blt(trhs, tlhs, n_tlhs * sizeof(token_type));
|
|
n_trhs = n_tlhs;
|
|
subst_var_with_exp(trhs, &n_trhs, tes, n_tes, it_v);
|
|
calc_simp(trhs, &n_trhs);
|
|
if (se_compare(trhs, n_trhs, tes, n_tes, &diff_sign) && !diff_sign) {
|
|
fprintf(gfp, _("Convergence reached after %ld iterations.\n"), l + 1);
|
|
break;
|
|
}
|
|
blt(tes, trhs, n_trhs * sizeof(token_type));
|
|
n_tes = n_trhs;
|
|
}
|
|
}
|
|
calc_simp(trhs, &n_trhs);
|
|
|
|
/* Now substitute all sign variables with +1 and -1. */
|
|
CLEAR_ARRAY(sa_mark);
|
|
for (k1 = 0; k1 < n_trhs; k1 += 2) {
|
|
if (trhs[k1].kind == VARIABLE && (trhs[k1].token.variable & VAR_MASK) == SIGN) {
|
|
sa_mark[(trhs[k1].token.variable >> VAR_SHIFT) & SUBSCRIPT_MASK] = true;
|
|
}
|
|
}
|
|
for (k1 = 0, k = 0; k1 < ARR_CNT(sa_mark); k1++) {
|
|
if (sa_mark[k1]) {
|
|
k++;
|
|
}
|
|
}
|
|
counter_max = (1L << k) - 1L;
|
|
if (counter_max) {
|
|
fprintf(gfp, _("There are %ld solutions.\n"), counter_max + 1);
|
|
}
|
|
for (counter = 0; counter <= counter_max; counter++) {
|
|
blt(tlhs, trhs, n_trhs * sizeof(token_type));
|
|
n_tlhs = n_trhs;
|
|
for (k1 = 0, k = 0; k1 < ARR_CNT(sa_mark); k1++) {
|
|
if (sa_mark[k1]) {
|
|
sa_value[k1] = (((1L << k) & counter) != 0);
|
|
k++;
|
|
}
|
|
}
|
|
for (k1 = 0; k1 < n_tlhs; k1 += 2) {
|
|
if (tlhs[k1].kind == VARIABLE && (tlhs[k1].token.variable & VAR_MASK) == SIGN) {
|
|
if (sa_value[(tlhs[k1].token.variable >> VAR_SHIFT) & SUBSCRIPT_MASK]) {
|
|
tlhs[k1].kind = CONSTANT;
|
|
tlhs[k1].token.constant = -1.0;
|
|
} else {
|
|
tlhs[k1].kind = CONSTANT;
|
|
tlhs[k1].token.constant = 1.0;
|
|
}
|
|
}
|
|
}
|
|
for (k1 = 0, k = false; k1 < ARR_CNT(sa_mark); k1++) {
|
|
if (sa_mark[k1]) {
|
|
if (k) {
|
|
fprintf(gfp, ", ");
|
|
} else {
|
|
fprintf(gfp, _("\nSolution number %ld with "), counter + 1);
|
|
}
|
|
list_var((long) SIGN + (((long) k1) << VAR_SHIFT), 0);
|
|
fprintf(gfp, "%s = ", var_str);
|
|
if (sa_value[k1]) {
|
|
fprintf(gfp, "-1");
|
|
} else {
|
|
fprintf(gfp, "1");
|
|
}
|
|
k = true;
|
|
}
|
|
}
|
|
if (k)
|
|
fprintf(gfp, ":\n");
|
|
calc_simp(tlhs, &n_tlhs);
|
|
if (factor_flag) {
|
|
mid_simp_side(tlhs, &n_tlhs);
|
|
}
|
|
fprintf(gfp, " ");
|
|
if (n_rhs[i]) {
|
|
list_proc(lhs[i], n_lhs[i], false);
|
|
fprintf(gfp, " = ");
|
|
}
|
|
list_factor(tlhs, &n_tlhs, factor_flag);
|
|
if (fractions_display && n_tlhs <= 9 && make_fractions(tlhs, &n_tlhs)) {
|
|
group_proc(tlhs, &n_tlhs);
|
|
fprintf(gfp, ", with fractions it is: ");
|
|
list_factor(tlhs, &n_tlhs, factor_flag);
|
|
}
|
|
fprintf(gfp, "\n");
|
|
}
|
|
}
|
|
if (value_entered && repeat_flag) {
|
|
fprintf(gfp, "Repeating:\n");
|
|
goto calc_again;
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
|
|
/*
|
|
* The clear command.
|
|
*/
|
|
int
|
|
clear_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j;
|
|
char *cp1;
|
|
|
|
do {
|
|
cp1 = cp;
|
|
if (is_all(cp)) {
|
|
clear_all();
|
|
return true;
|
|
} else {
|
|
if (!get_range(&cp, &i, &j)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (; i <= j; i++) {
|
|
n_lhs[i] = 0;
|
|
n_rhs[i] = 0;
|
|
}
|
|
}
|
|
} while (*cp);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* Compare the Right Hand Sides of two equation spaces.
|
|
*/
|
|
static int
|
|
compare_rhs(i, j, diff_signp)
|
|
int i, j;
|
|
int *diff_signp;
|
|
{
|
|
int rv;
|
|
|
|
/* First, test the compare function by comparing with self: */
|
|
rv = se_compare(rhs[i], n_rhs[i], rhs[i], n_rhs[i], diff_signp);
|
|
if (!rv || *diff_signp) {
|
|
error(_("Too many terms to compare."));
|
|
return false;
|
|
}
|
|
/* Now do the requested compare: */
|
|
sign_cmp_flag = true;
|
|
rv = se_compare(rhs[i], n_rhs[i], rhs[j], n_rhs[j], diff_signp);
|
|
sign_cmp_flag = false;
|
|
return rv;
|
|
}
|
|
|
|
/*
|
|
* Compare two equation spaces.
|
|
*
|
|
* Return 0 if they differ.
|
|
* Return 1 if identical. Return -1 if they are expressions that differ only in sign.
|
|
*/
|
|
int
|
|
compare_es(i, j)
|
|
int i, j; /* equation space numbers */
|
|
{
|
|
int rv;
|
|
int diff_sign_lhs, diff_sign_rhs;
|
|
|
|
if (n_lhs[i] == 0 || n_lhs[j] == 0)
|
|
return false; /* empty equation space */
|
|
if ((n_rhs[i] == 0) != (n_rhs[j] == 0))
|
|
return false; /* mix of expression and equation */
|
|
/* Compare the two left hand sides: */
|
|
sign_cmp_flag = true;
|
|
rv = se_compare(lhs[i], n_lhs[i], lhs[j], n_lhs[j], &diff_sign_lhs);
|
|
sign_cmp_flag = false;
|
|
if (!rv)
|
|
return false;
|
|
if (n_rhs[i] == 0 && n_rhs[j] == 0) {
|
|
/* two expressions, not equations */
|
|
if (diff_sign_lhs)
|
|
return -1;
|
|
else
|
|
return 1;
|
|
}
|
|
/* They are equations, so compare the two right hand sides: */
|
|
sign_cmp_flag = true;
|
|
rv = se_compare(rhs[i], n_rhs[i], rhs[j], n_rhs[j], &diff_sign_rhs);
|
|
sign_cmp_flag = false;
|
|
if (!rv)
|
|
return false;
|
|
return(diff_sign_lhs == diff_sign_rhs);
|
|
}
|
|
|
|
/*
|
|
* The compare command.
|
|
*/
|
|
int
|
|
compare_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j;
|
|
int diff_sign;
|
|
int symb = false, approx = false;
|
|
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strncasecmp(cp, "symbolic", 4) == 0) {
|
|
symb = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "approximate", 4) == 0) {
|
|
approx = true;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
if (strcmp_tospace(cp, "with") == 0) {
|
|
cp = skip_param(cp);
|
|
}
|
|
i = decstrtol(cp, &cp) - 1;
|
|
if (not_defined(i)) {
|
|
return false;
|
|
}
|
|
if (strcmp_tospace(cp, "with") == 0) {
|
|
cp = skip_param(cp);
|
|
}
|
|
if ((j = get_default_en(cp)) < 0) {
|
|
return false;
|
|
}
|
|
if (i == j) {
|
|
error(_("Cannot compare an expression with itself."));
|
|
return false;
|
|
}
|
|
show_usage = false;
|
|
fprintf(gfp, _("Comparing #%d with #%d...\n"), i + 1, j + 1);
|
|
simp_equation(i);
|
|
simp_equation(j);
|
|
if (n_rhs[i] == 0 || n_rhs[j] == 0) {
|
|
if (n_rhs[i] == 0 && n_rhs[j] == 0) {
|
|
switch (compare_es(i, j)) {
|
|
case 1:
|
|
fprintf(gfp, _("Expressions are identical.\n"));
|
|
return true;
|
|
case -1:
|
|
error(_("Expressions differ only in sign (times -1)."));
|
|
return false;
|
|
}
|
|
if (approx) {
|
|
debug_string(0, _("Approximating both expressions..."));
|
|
approximate(lhs[i], &n_lhs[i]);
|
|
approximate(lhs[j], &n_lhs[j]);
|
|
switch (compare_es(i, j)) {
|
|
case 1:
|
|
fprintf(gfp, _("Expressions are identical.\n"));
|
|
return true;
|
|
case -1:
|
|
error(_("Expressions differ only in sign (times -1)."));
|
|
return false;
|
|
}
|
|
}
|
|
debug_string(0, _("Simplifying both expressions..."));
|
|
symb_flag = symb;
|
|
simpa_repeat_side(lhs[i], &n_lhs[i], false, true);
|
|
simpa_repeat_side(lhs[j], &n_lhs[j], false, true);
|
|
symb_flag = false;
|
|
if (approx) {
|
|
approximate(lhs[i], &n_lhs[i]);
|
|
approximate(lhs[j], &n_lhs[j]);
|
|
}
|
|
switch (compare_es(i, j)) {
|
|
case 1:
|
|
fprintf(gfp, _("Expressions are identical.\n"));
|
|
return true;
|
|
case -1:
|
|
error(_("Expressions differ only in sign (times -1)."));
|
|
return false;
|
|
}
|
|
#if !SILENT
|
|
if (debug_level >= 0) {
|
|
list_sub(i);
|
|
list_sub(j);
|
|
}
|
|
#endif
|
|
uf_simp(lhs[i], &n_lhs[i]);
|
|
uf_simp(lhs[j], &n_lhs[j]);
|
|
if (approx) {
|
|
approximate(lhs[i], &n_lhs[i]);
|
|
approximate(lhs[j], &n_lhs[j]);
|
|
}
|
|
switch (compare_es(i, j)) {
|
|
case 1:
|
|
fprintf(gfp, _("Expressions are identical.\n"));
|
|
return true;
|
|
case -1:
|
|
error(_("Expressions differ only in sign (times -1)."));
|
|
return false;
|
|
}
|
|
fprintf(gfp, _("Expressions differ.\n"));
|
|
return false;
|
|
}
|
|
error(_("Cannot compare an equation with a non-equation."));
|
|
return false;
|
|
}
|
|
if (compare_es(i, j) > 0) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
if (solved_equation(i) && solved_equation(j)) {
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
goto times_neg1;
|
|
}
|
|
if (approx) {
|
|
debug_string(0, _("Approximating both equations..."));
|
|
approximate(rhs[i], &n_rhs[i]);
|
|
approximate(rhs[j], &n_rhs[j]);
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
goto times_neg1;
|
|
}
|
|
}
|
|
debug_string(0, _("Simplifying both equations..."));
|
|
symb_flag = symb;
|
|
simpa_repeat_side(rhs[i], &n_rhs[i], false, true);
|
|
simpa_repeat_side(rhs[j], &n_rhs[j], false, true);
|
|
symb_flag = false;
|
|
if (approx) {
|
|
approximate(rhs[i], &n_rhs[i]);
|
|
approximate(rhs[j], &n_rhs[j]);
|
|
}
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
goto times_neg1;
|
|
}
|
|
#if !SILENT
|
|
if (debug_level >= 0) {
|
|
list_sub(i);
|
|
list_sub(j);
|
|
}
|
|
#endif
|
|
uf_simp(rhs[i], &n_rhs[i]);
|
|
uf_simp(rhs[j], &n_rhs[j]);
|
|
if (approx) {
|
|
approximate(rhs[i], &n_rhs[i]);
|
|
approximate(rhs[j], &n_rhs[j]);
|
|
}
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
goto times_neg1;
|
|
}
|
|
}
|
|
debug_string(0, _("Solving both equations for zero and expanding..."));
|
|
if (solve_sub(&zero_token, 1, lhs[i], &n_lhs[i], rhs[i], &n_rhs[i]) <= 0)
|
|
return false;
|
|
if (solve_sub(&zero_token, 1, lhs[j], &n_lhs[j], rhs[j], &n_rhs[j]) <= 0)
|
|
return false;
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
uf_simp(rhs[i], &n_rhs[i]);
|
|
uf_simp(rhs[j], &n_rhs[j]);
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
if (approx) {
|
|
debug_string(0, _("Approximating both equations..."));
|
|
approximate(rhs[i], &n_rhs[i]);
|
|
approximate(rhs[j], &n_rhs[j]);
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
}
|
|
debug_string(0, _("Simplifying both equations..."));
|
|
symb_flag = symb;
|
|
simpa_repeat_side(rhs[i], &n_rhs[i], false, false);
|
|
simpa_repeat_side(rhs[j], &n_rhs[j], false, false);
|
|
symb_flag = false;
|
|
if (approx) {
|
|
approximate(rhs[i], &n_rhs[i]);
|
|
approximate(rhs[j], &n_rhs[j]);
|
|
}
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
if (solve_sub(&zero_token, 1, lhs[i], &n_lhs[i], rhs[i], &n_rhs[i]) <= 0)
|
|
return false;
|
|
if (solve_sub(&zero_token, 1, lhs[j], &n_lhs[j], rhs[j], &n_rhs[j]) <= 0)
|
|
return false;
|
|
uf_simp(rhs[i], &n_rhs[i]);
|
|
uf_simp(rhs[j], &n_rhs[j]);
|
|
if (approx) {
|
|
approximate(rhs[i], &n_rhs[i]);
|
|
approximate(rhs[j], &n_rhs[j]);
|
|
}
|
|
if (compare_rhs(i, j, &diff_sign)) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
fprintf(gfp, _("Equations differ.\n"));
|
|
return false;
|
|
times_neg1:
|
|
if (!diff_sign && lhs[i][0].token.variable == lhs[j][0].token.variable) {
|
|
fprintf(gfp, _("Equations are identical.\n"));
|
|
return true;
|
|
}
|
|
fprintf(gfp, _("Variable "));
|
|
list_proc(lhs[i], n_lhs[i], false);
|
|
fprintf(gfp, _(" in the first equation\nis equal to "));
|
|
if (diff_sign) {
|
|
fprintf(gfp, "-");
|
|
}
|
|
list_proc(lhs[j], n_lhs[j], false);
|
|
fprintf(gfp, _(" in the second equation.\n"));
|
|
#if LIBRARY
|
|
if (diff_sign)
|
|
error(_("RHS appears negated."));
|
|
else
|
|
error(_("Different LHS variable name, otherwise the same."));
|
|
return false;
|
|
#else
|
|
return 2;
|
|
#endif
|
|
}
|
|
|
|
/*
|
|
* Display the specified floating point value.
|
|
* If it is equal to a simple fraction, display that too.
|
|
*
|
|
* Return true if a fraction was displayed.
|
|
*/
|
|
int
|
|
display_fraction(value)
|
|
double value;
|
|
{
|
|
double d4, d5;
|
|
int rv = false;
|
|
|
|
f_to_fraction(value, &d4, &d5);
|
|
fprintf(gfp, "%.*g", precision, value);
|
|
if (d5 != 1.0) {
|
|
fprintf(gfp, " = %.*g/%.*g", precision, d4, precision, d5);
|
|
rv = true;
|
|
}
|
|
fprintf(gfp, "\n");
|
|
return rv;
|
|
}
|
|
|
|
/*
|
|
* The divide command.
|
|
*/
|
|
int
|
|
divide_cmd(cp)
|
|
char *cp;
|
|
{
|
|
long v = 0, v_tmp; /* Mathomatic variables */
|
|
int i, j;
|
|
int nleft = 0, nright = 0;
|
|
double lcm, d1, d2, d3, d4, d5;
|
|
complexs c1, c2, c3;
|
|
char *cp_start;
|
|
|
|
cp_start = cp;
|
|
pull_number = -1; /* Operands are last two entered expressions when using library. */
|
|
if (*cp && isvarchar(*cp)) {
|
|
cp = parse_var(&v, cp);
|
|
if (cp == NULL || (*cp && !isspace(*cp) && *cp != ',')) {
|
|
if (cp == NULL) {
|
|
reset_error();
|
|
}
|
|
cp = cp_start;
|
|
v = 0;
|
|
} else {
|
|
cp = skip_comma_space(cp);
|
|
SP(_("You have entered a base variable."));
|
|
EP(_("Polynomial division will be based on this variable."));
|
|
point_flag = false;
|
|
}
|
|
}
|
|
i = next_espace();
|
|
if (*cp) {
|
|
input_column += (cp - cp_start);
|
|
cp = parse_expr(rhs[i], &nright, cp, false);
|
|
if (cp == NULL || nright <= 0) {
|
|
return false;
|
|
}
|
|
}
|
|
if (*cp) {
|
|
cp_start = cp;
|
|
cp = skip_comma_space(cp);
|
|
input_column += (cp - cp_start);
|
|
cp = parse_expr(lhs[i], &nleft, cp, false);
|
|
if (cp == NULL || extra_characters(cp) || nleft <= 0) {
|
|
return false;
|
|
}
|
|
}
|
|
do_repeat_prompt:
|
|
/* prompt for the two operands */
|
|
my_strlcpy(prompt_str, _("Enter dividend: "), sizeof(prompt_str));
|
|
if (nright == 0 && !get_expr(rhs[i], &nright)) {
|
|
return repeat_flag;
|
|
}
|
|
my_strlcpy(prompt_str, _("Enter divisor: "), sizeof(prompt_str));
|
|
if (nleft == 0 && !get_expr(lhs[i], &nleft)) {
|
|
return repeat_flag;
|
|
}
|
|
fprintf(gfp, "\n");
|
|
/* simplify and expand the operand expressions */
|
|
#if 1
|
|
simp_loop(rhs[i], &nright);
|
|
uf_simp(rhs[i], &nright);
|
|
simp_loop(lhs[i], &nleft);
|
|
uf_simp(lhs[i], &nleft);
|
|
#else
|
|
/* approximates, too */
|
|
calc_simp(rhs[i], &nright);
|
|
calc_simp(lhs[i], &nleft);
|
|
#endif
|
|
/* if division by zero, display a warning */
|
|
if (get_constant(lhs[i], nleft, &d2)) {
|
|
check_divide_by_zero(d2);
|
|
}
|
|
/* Do constant division if 2 normal numbers were entered */
|
|
if (get_constant(rhs[i], nright, &d1) && get_constant(lhs[i], nleft, &d2)) {
|
|
fprintf(gfp, _("Result of numerical division:\n"));
|
|
d3 = gcd_verified(d1, d2);
|
|
d4 = modf(d1 / d2, &d5);
|
|
fprintf(gfp, "%.*g/%.*g = %.*g", precision, d1, precision, d2, precision, d1 / d2);
|
|
if (d3 != 0.0 && d3 != 1.0 && (d2 / d3) != 1.0) {
|
|
if ((d1 / d2) < 0) {
|
|
fprintf(gfp, " = -%.*g/%.*g", precision, fabs(d1 / d3), precision, fabs(d2 / d3));
|
|
} else {
|
|
fprintf(gfp, " = %.*g/%.*g", precision, fabs(d1 / d3), precision, fabs(d2 / d3));
|
|
}
|
|
}
|
|
if (d3 != 0 && d4 != 0 && d5 != 0) {
|
|
if ((d1 / d2) < 0) {
|
|
fprintf(gfp, " = -(%.*g + (%.*g/%.*g))", precision, fabs(d5), precision, fabs(d4 * (d2 / d3)), precision, fabs(d2 / d3));
|
|
} else {
|
|
fprintf(gfp, " = %.*g + (%.*g/%.*g)", precision, fabs(d5), precision, fabs(d4 * (d2 / d3)), precision, fabs(d2 / d3));
|
|
}
|
|
}
|
|
fprintf(gfp, _("\nQuotient: %.*g, Remainder: %.*g\n"), precision, d5, precision, d4 * d2);
|
|
d1 = fabs(d1);
|
|
d2 = fabs(d2);
|
|
if (d3 == 0.0) {
|
|
fprintf(gfp, _("No GCD found.\n"));
|
|
if (repeat_flag)
|
|
goto do_repeat;
|
|
return true;
|
|
}
|
|
fprintf(gfp, "GCD = ");
|
|
if (d3 >= 4.0 && factor_one(d3) && !is_prime()) {
|
|
display_unique();
|
|
} else {
|
|
display_fraction(d3);
|
|
}
|
|
lcm = (d1 * d2) / d3;
|
|
fprintf(gfp, "LCM = ");
|
|
if (lcm >= 4.0 && factor_one(lcm) && !is_prime()) {
|
|
display_unique();
|
|
} else {
|
|
display_fraction(lcm);
|
|
}
|
|
if (repeat_flag)
|
|
goto do_repeat;
|
|
return true;
|
|
}
|
|
/* else do complex number division if 2 complex numbers were entered */
|
|
if (parse_complex(rhs[i], nright, &c1) && parse_complex(lhs[i], nleft, &c2)) {
|
|
fprintf(gfp, _("Result of complex number division:\n"));
|
|
c3 = complex_div(c1, c2);
|
|
fprintf(gfp, "%.*g %+.*g*i\n\n", precision, c3.re, precision, c3.im);
|
|
if (repeat_flag)
|
|
goto do_repeat;
|
|
return true;
|
|
}
|
|
/* else do polynomial division and univariate GCD display */
|
|
v_tmp = v;
|
|
if (poly_div(rhs[i], nright, lhs[i], nleft, &v_tmp)) {
|
|
simp_divide(tlhs, &n_tlhs);
|
|
simp_divide(trhs, &n_trhs);
|
|
list_var(v_tmp, 0);
|
|
fprintf(gfp, _("Polynomial division successful using base variable %s.\n"), var_str);
|
|
fprintf(gfp, _("The quotient is:\n"));
|
|
fractions_and_group(tlhs, &n_tlhs);
|
|
list_factor(tlhs, &n_tlhs, false);
|
|
fprintf(gfp, _("\n\nThe remainder is:\n"));
|
|
fractions_and_group(trhs, &n_trhs);
|
|
list_factor(trhs, &n_trhs, false);
|
|
fprintf(gfp, "\n");
|
|
} else {
|
|
SP(_("Polynomial division failed,"));
|
|
SP(_("because the given polynomials cannot be divided in the given order,"));
|
|
EP(_("according to the rules of polynomial division."));
|
|
}
|
|
fprintf(gfp, "\n");
|
|
j = poly_gcd(rhs[i], nright, lhs[i], nleft, v);
|
|
if (j == 0) {
|
|
j = poly_gcd(lhs[i], nleft, rhs[i], nright, v);
|
|
}
|
|
if (j > 0) {
|
|
simp_divide(trhs, &n_trhs);
|
|
fprintf(gfp, _("Polynomial GCD (after %d Euclidean algorithm iterations):\n"), j);
|
|
fractions_and_group(trhs, &n_trhs);
|
|
list_factor(trhs, &n_trhs, false);
|
|
fprintf(gfp, "\n");
|
|
blt(tes, trhs, n_trhs * sizeof(token_type));
|
|
n_tes = n_trhs;
|
|
if (poly_factor(tes, &n_tes, true)) {
|
|
simp_loop(tes, &n_tes);
|
|
fprintf(gfp, _("Polynomial GCD (after quick polynomial factoring):\n"));
|
|
fractions_and_group(tes, &n_tes);
|
|
list_factor(tes, &n_tes, false);
|
|
fprintf(gfp, "\n");
|
|
}
|
|
} else {
|
|
SP(_("No additive univariate polynomial GCD found."));
|
|
SP(_("This does not mean there is no GCD; it could be multivariate,"));
|
|
EP(_("or contain too much floating point round-off error."));
|
|
}
|
|
if (repeat_flag)
|
|
goto do_repeat;
|
|
return true;
|
|
|
|
do_repeat:
|
|
nright = 0;
|
|
nleft = 0;
|
|
goto do_repeat_prompt;
|
|
}
|
|
|
|
/*
|
|
* The eliminate command.
|
|
*/
|
|
int
|
|
eliminate_cmd(cp)
|
|
char *cp;
|
|
{
|
|
long v, last_v, v1, va[MAX_VARS]; /* Mathomatic variables */
|
|
int vc = 0; /* variable count */
|
|
int i = 0, n;
|
|
int success_flag = false, did_something = false, using_flag;
|
|
char used[N_EQUATIONS];
|
|
char *cp_start;
|
|
char buf[MAX_CMD_LEN];
|
|
|
|
CLEAR_ARRAY(used);
|
|
if (current_not_defined()) {
|
|
return false;
|
|
}
|
|
if (*cp == '\0') {
|
|
my_strlcpy(prompt_str, _("Enter variables to eliminate: "), sizeof(prompt_str));
|
|
cp = get_string(buf, sizeof(buf));
|
|
if (cp == NULL || *cp == '\0') {
|
|
return false;
|
|
}
|
|
}
|
|
cp_start = cp;
|
|
next_var:
|
|
if (vc) {
|
|
v = va[--vc];
|
|
} else if (*cp) {
|
|
if (is_all(cp)) {
|
|
cp = skip_param(cp);
|
|
vc = 0;
|
|
last_v = 0;
|
|
for (;;) {
|
|
v1 = -1;
|
|
for (i = 0; i < n_lhs[cur_equation]; i += 2) {
|
|
if (lhs[cur_equation][i].kind == VARIABLE
|
|
&& lhs[cur_equation][i].token.variable > last_v) {
|
|
if (v1 == -1 || lhs[cur_equation][i].token.variable < v1) {
|
|
v1 = lhs[cur_equation][i].token.variable;
|
|
}
|
|
}
|
|
}
|
|
for (i = 0; i < n_rhs[cur_equation]; i += 2) {
|
|
if (rhs[cur_equation][i].kind == VARIABLE
|
|
&& rhs[cur_equation][i].token.variable > last_v) {
|
|
if (v1 == -1 || rhs[cur_equation][i].token.variable < v1) {
|
|
v1 = rhs[cur_equation][i].token.variable;
|
|
}
|
|
}
|
|
}
|
|
if (v1 == -1)
|
|
break;
|
|
last_v = v1;
|
|
if ((v1 & VAR_MASK) > SIGN) {
|
|
if (vc >= ARR_CNT(va)) {
|
|
break;
|
|
}
|
|
va[vc++] = v1;
|
|
}
|
|
}
|
|
goto next_var;
|
|
}
|
|
cp = parse_var2(&v, cp);
|
|
if (cp == NULL) {
|
|
return false;
|
|
}
|
|
} else {
|
|
if (repeat_flag) {
|
|
if (success_flag) {
|
|
success_flag = false;
|
|
cp = cp_start;
|
|
goto next_var; /* repeat until failure to substitute anything */
|
|
}
|
|
}
|
|
if (did_something) {
|
|
did_something = return_result(cur_equation);
|
|
} else {
|
|
error(_("No substitutions made."));
|
|
}
|
|
return did_something;
|
|
}
|
|
using_flag = (strcmp_tospace(cp, "using") == 0);
|
|
if (using_flag) {
|
|
cp = skip_param(cp);
|
|
if (*cp == '#')
|
|
cp++;
|
|
i = decstrtol(cp, &cp) - 1;
|
|
if (not_defined(i)) {
|
|
return false;
|
|
}
|
|
}
|
|
if (!var_in_equation(cur_equation, v)) {
|
|
#if !SILENT
|
|
if (!repeat_flag) {
|
|
list_var(v, 0);
|
|
printf(_("Variable %s not found in current equation.\n"), var_str);
|
|
}
|
|
#endif
|
|
goto next_var;
|
|
}
|
|
if (using_flag) {
|
|
if (!elim_sub(i, v))
|
|
goto next_var;
|
|
} else {
|
|
n = 1;
|
|
i = cur_equation;
|
|
for (;; n++) {
|
|
if (n >= n_equations) {
|
|
goto next_var;
|
|
}
|
|
if (i <= 0)
|
|
i = n_equations - 1;
|
|
else
|
|
i--;
|
|
if (used[i])
|
|
continue;
|
|
if (n_lhs[i] && n_rhs[i] && var_in_equation(i, v)) {
|
|
if (elim_sub(i, v))
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
success_flag = true;
|
|
did_something = true;
|
|
used[i] = true;
|
|
goto next_var;
|
|
}
|
|
|
|
/*
|
|
* Solve equation number i for v and substitute the RHS
|
|
* into all occurrences of v in the current equation, then simplify.
|
|
*/
|
|
static int
|
|
elim_sub(i, v)
|
|
int i; /* equation number */
|
|
long v; /* Mathomatic variable */
|
|
{
|
|
token_type want;
|
|
int solved;
|
|
|
|
if (i == cur_equation) {
|
|
error(_("Error: source and destination are the same."));
|
|
return false;
|
|
}
|
|
solved = (solved_equation(i) && lhs[i][0].token.variable == v);
|
|
#if !SILENT
|
|
list_var(v, 0);
|
|
if (solved) {
|
|
fprintf(gfp, _("Eliminating variable %s using solved equation #%d...\n"), var_str, i + 1);
|
|
} else {
|
|
fprintf(gfp, _("Solving equation #%d for %s and substituting into the current equation...\n"), i + 1, var_str);
|
|
}
|
|
#endif
|
|
if (!solved) {
|
|
want.level = 1;
|
|
want.kind = VARIABLE;
|
|
want.token.variable = v;
|
|
if (solve_sub(&want, 1, lhs[i], &n_lhs[i], rhs[i], &n_rhs[i]) <= 0) {
|
|
error(_("Solve failed."));
|
|
return false;
|
|
}
|
|
}
|
|
subst_var_with_exp(rhs[cur_equation], &n_rhs[cur_equation], rhs[i], n_rhs[i], v);
|
|
subst_var_with_exp(lhs[cur_equation], &n_lhs[cur_equation], rhs[i], n_rhs[i], v);
|
|
|
|
simp_equation(cur_equation);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The display command.
|
|
*
|
|
* Displays equations in multi-line fraction format.
|
|
*
|
|
* Return number of expressions displayed.
|
|
*/
|
|
int
|
|
display_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j;
|
|
char *cp1;
|
|
jmp_buf save_save;
|
|
int factor_flag = false, displayed = 0;
|
|
int orig_fractions_display_mode, new_fractions_display_mode;
|
|
|
|
new_fractions_display_mode = orig_fractions_display_mode = fractions_display;
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strncasecmp(cp, "factor", 4) == 0) {
|
|
factor_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "simple", 4) == 0) {
|
|
new_fractions_display_mode = 1;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "mixed", 3) == 0) {
|
|
new_fractions_display_mode = 2;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &i, &j)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (; i <= j; i++) {
|
|
if (n_lhs[i] > 0) {
|
|
blt(save_save, jmp_save, sizeof(jmp_save));
|
|
if (setjmp(jmp_save) != 0) { /* trap errors */
|
|
fractions_display = orig_fractions_display_mode;
|
|
blt(jmp_save, save_save, sizeof(jmp_save));
|
|
printf("Skipping equation number %d.\n", i + 1);
|
|
continue;
|
|
}
|
|
fractions_display = new_fractions_display_mode;
|
|
make_fractions_and_group(i);
|
|
fractions_display = orig_fractions_display_mode;
|
|
if (factor_flag || factor_int_flag) {
|
|
factor_int_equation(i);
|
|
}
|
|
blt(jmp_save, save_save, sizeof(jmp_save));
|
|
#if LIBRARY
|
|
free_result_str();
|
|
result_str = flist_equation_string(i);
|
|
if (result_str == NULL)
|
|
result_str = list_equation(i, false);
|
|
if (result_str)
|
|
result_en = i;
|
|
if (gfp != stdout) {
|
|
if (flist_equation(i) > 0) {
|
|
displayed++;
|
|
}
|
|
}
|
|
#else
|
|
if (flist_equation(i) > 0) {
|
|
displayed++;
|
|
}
|
|
#endif
|
|
}
|
|
}
|
|
} while (*cp);
|
|
#if LIBRARY
|
|
return(result_str != NULL);
|
|
#else
|
|
return(displayed);
|
|
#endif
|
|
}
|
|
|
|
/*
|
|
* The list command.
|
|
*/
|
|
int
|
|
list_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int k;
|
|
int first, last;
|
|
char *cp1;
|
|
int export_flag = 0;
|
|
#if SHELL_OUT
|
|
char cl[MAX_CMD_LEN];
|
|
int primes_flag = false;
|
|
int ev; /* exit value */
|
|
#endif
|
|
|
|
if (strncasecmp(cp, "gnuplot", 3) == 0) {
|
|
export_flag = 3;
|
|
cp = skip_param(cp);
|
|
} else if (strncasecmp(cp, "export", 3) == 0) {
|
|
export_flag = 2;
|
|
cp = skip_param(cp);
|
|
} else if (strncasecmp(cp, "maxima", 3) == 0) {
|
|
export_flag = 1;
|
|
cp = skip_param(cp);
|
|
} else if (strncasecmp(cp, "hexadecimal", 3) == 0) {
|
|
export_flag = 4;
|
|
cp = skip_param(cp);
|
|
#if SHELL_OUT
|
|
} else if (strncasecmp(cp, "primes", 5) == 0) {
|
|
primes_flag = true;
|
|
cp = skip_param(cp);
|
|
#endif
|
|
}
|
|
#if SHELL_OUT
|
|
if (primes_flag) {
|
|
if (gfp && gfp_filename && gfp_filename[0]) {
|
|
if (snprintf(cl, sizeof(cl), "matho-primes -u %s >%s%s", cp, gfp_append_flag ? ">" : "", gfp_filename) >= sizeof(cl)) {
|
|
error(_("Command-line too long."));
|
|
return false;
|
|
}
|
|
clean_up(); /* end any redirection */
|
|
} else {
|
|
if (snprintf(cl, sizeof(cl), "matho-primes -u %s", cp) >= sizeof(cl)) {
|
|
error(_("Command-line too long."));
|
|
return false;
|
|
}
|
|
}
|
|
if ((ev = shell_out(cl))) {
|
|
error(_("Abnormal termination of matho-primes."));
|
|
printf(_("Decimal exit value = %d, shell command-line = %s\n"), ev, cl);
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
#endif
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &first, &last)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (k = first; k <= last; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
#if LIBRARY
|
|
free_result_str();
|
|
result_str = list_equation(k, export_flag);
|
|
if (result_str)
|
|
result_en = k;
|
|
else
|
|
return false;
|
|
if (gfp == stdout) {
|
|
continue;
|
|
}
|
|
#endif
|
|
list1_sub(k, export_flag);
|
|
}
|
|
} while (*cp);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The code command.
|
|
*/
|
|
int
|
|
code_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j, k;
|
|
int li, ri;
|
|
enum language_list language = C;
|
|
int int_flag = false, displayed = false;
|
|
char *cp1;
|
|
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strcmp_tospace(cp, "c") == 0 || strcmp_tospace(cp, "c++") == 0) {
|
|
language = C;
|
|
continue;
|
|
}
|
|
if (strcmp_tospace(cp, "java") == 0) {
|
|
language = JAVA;
|
|
continue;
|
|
}
|
|
if (strcmp_tospace(cp, "python") == 0) {
|
|
language = PYTHON;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "integer", 3) == 0) {
|
|
int_flag = true;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &i, &j)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (k = i; k <= j; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
if (n_rhs[k] == 0 || n_lhs[k] != 1 || lhs[k][0].kind != VARIABLE) {
|
|
warning(_("Can't make assignment statement because this is not an equation."));
|
|
} else if (!solved_equation(k)) {
|
|
warning(_("Equation is not solved for a normal variable."));
|
|
}
|
|
simp_i(lhs[k], &n_lhs[k]);
|
|
if (int_flag) {
|
|
/* factor_constants() for more accurate integer results. */
|
|
do {
|
|
simp_loop(lhs[k], &n_lhs[k]);
|
|
} while (factor_constants(lhs[k], &n_lhs[k], 6));
|
|
/* Turn the power operator into the multiply operator, if raised to the power of a constant. */
|
|
uf_repeat_always(lhs[k], &n_lhs[k]);
|
|
}
|
|
if (n_rhs[k] > 0) {
|
|
simp_i(rhs[k], &n_rhs[k]);
|
|
if (int_flag) {
|
|
/* factor_constants() for more accurate integer results. */
|
|
do {
|
|
simp_loop(rhs[k], &n_rhs[k]);
|
|
} while (factor_constants(rhs[k], &n_rhs[k], 6));
|
|
/* Turn the power operator into the multiply operator, if raised to the power of a constant. */
|
|
uf_repeat_always(rhs[k], &n_rhs[k]);
|
|
}
|
|
}
|
|
make_fractions_and_group(k);
|
|
if (int_flag) {
|
|
if ((!(li = int_expr(lhs[k], n_lhs[k])) || !(ri = int_expr(rhs[k], n_rhs[k])))) {
|
|
warning(_("Not an integer expression, but this rounded code may possibly work:"));
|
|
} else if (li < 0 || ri < 0) {
|
|
warning(_("This integer expression contains non-integer divides:"));
|
|
}
|
|
}
|
|
#if LIBRARY
|
|
free_result_str();
|
|
result_str = string_code_equation(k, language, int_flag);
|
|
if (result_str)
|
|
result_en = k;
|
|
else
|
|
return false;
|
|
if (gfp == stdout) {
|
|
displayed = true;
|
|
continue;
|
|
}
|
|
#endif
|
|
if (list_code_equation(k, language, int_flag) > 0) {
|
|
displayed = true;
|
|
}
|
|
}
|
|
} while (*cp);
|
|
return displayed;
|
|
}
|
|
|
|
/*
|
|
* Compare function for qsort(3).
|
|
*/
|
|
static int
|
|
vcmp(p1, p2)
|
|
sort_type *p1, *p2;
|
|
{
|
|
if (p2->count == p1->count) {
|
|
if (p1->v < p2->v)
|
|
return -1;
|
|
if (p1->v == p2->v)
|
|
return 0;
|
|
return 1;
|
|
}
|
|
return(p2->count - p1->count);
|
|
}
|
|
|
|
/*
|
|
* The variables command.
|
|
*/
|
|
int
|
|
variables_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int start, stop;
|
|
int k;
|
|
int i1;
|
|
long v1, last_v; /* Mathomatic variables */
|
|
int vc, cnt; /* variable counts */
|
|
sort_type va[MAX_VARS]; /* variable array */
|
|
token_type *p1;
|
|
int n1;
|
|
enum language_list lang_code = 0; /* default to no programming language */
|
|
int int_flag = false, imag_flag = false, count_flag = false, not_complex = false;
|
|
char imag_array[N_EQUATIONS];
|
|
char *range_start, *cp1;
|
|
int array_element_flag = false;
|
|
int rv = false;
|
|
int n_tabs = 0;
|
|
|
|
CLEAR_ARRAY(imag_array);
|
|
if (strncasecmp(cp, "counts", 5) == 0) {
|
|
cp = skip_param(cp);
|
|
count_flag = true;
|
|
}
|
|
if (strcmp_tospace(cp, "c") == 0 || strcmp_tospace(cp, "c++") == 0) {
|
|
cp = skip_param(cp);
|
|
lang_code = C;
|
|
} else if (strcmp_tospace(cp, "java") == 0) {
|
|
cp = skip_param(cp);
|
|
lang_code = JAVA;
|
|
} else if (strncasecmp(cp, "integer", 3) == 0) {
|
|
cp = skip_param(cp);
|
|
lang_code = C;
|
|
int_flag = true;
|
|
}
|
|
if (strncasecmp(cp, "counts", 5) == 0) {
|
|
cp = skip_param(cp);
|
|
count_flag = true;
|
|
}
|
|
range_start = cp;
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &start, &stop)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (k = start; k <= stop; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
if (n_rhs[k] > 0) {
|
|
p1 = rhs[k];
|
|
n1 = n_rhs[k];
|
|
} else {
|
|
p1 = lhs[k];
|
|
n1 = n_lhs[k];
|
|
}
|
|
for (i1 = 0; i1 < n1; i1 += 2) {
|
|
if (p1[i1].kind == VARIABLE && p1[i1].token.variable == IMAGINARY) {
|
|
imag_flag = true;
|
|
imag_array[k] = true;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
} while (*cp);
|
|
show_usage = false;
|
|
last_v = 0;
|
|
for (vc = 0;;) {
|
|
if (vc >= ARR_CNT(va)) {
|
|
error(_("Too many variables to list."));
|
|
return false;
|
|
}
|
|
cnt = 0;
|
|
v1 = -1;
|
|
cp = range_start;
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &start, &stop)) {
|
|
return false;
|
|
}
|
|
#if DEBUG
|
|
if (*cp && cp == cp1) {
|
|
error_bug("Bug in variables command.");
|
|
}
|
|
#endif
|
|
for (k = start; k <= stop; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
p1 = lhs[k];
|
|
n1 = n_lhs[k];
|
|
for (i1 = 0; i1 < n1; i1 += 2) {
|
|
if (p1[i1].kind == VARIABLE && p1[i1].token.variable > last_v) {
|
|
if (v1 == -1 || p1[i1].token.variable < v1) {
|
|
v1 = p1[i1].token.variable;
|
|
cnt = 1;
|
|
} else if (p1[i1].token.variable == v1) {
|
|
cnt++;
|
|
}
|
|
}
|
|
}
|
|
p1 = rhs[k];
|
|
n1 = n_rhs[k];
|
|
for (i1 = 0; i1 < n1; i1 += 2) {
|
|
if (p1[i1].kind == VARIABLE && p1[i1].token.variable > last_v) {
|
|
if (v1 == -1 || p1[i1].token.variable < v1) {
|
|
v1 = p1[i1].token.variable;
|
|
cnt = 1;
|
|
} else if (p1[i1].token.variable == v1) {
|
|
cnt++;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
} while (*cp);
|
|
if (v1 == -1)
|
|
break;
|
|
last_v = v1;
|
|
va[vc].v = v1;
|
|
va[vc].count = cnt;
|
|
vc++;
|
|
}
|
|
if (vc <= 0) {
|
|
if (lang_code == 0) {
|
|
error(_("Expression is numeric. No normal variables found."));
|
|
return false;
|
|
} else {
|
|
return true;
|
|
}
|
|
}
|
|
qsort((char *) va, vc, sizeof(*va), vcmp);
|
|
for (i1 = 0; i1 < vc; i1++) {
|
|
if (lang_code && va[i1].v < SIGN) {
|
|
continue;
|
|
}
|
|
if ((va[i1].v & VAR_MASK) >= SIGN) {
|
|
rv = true;
|
|
}
|
|
n_tabs = list_var(va[i1].v, lang_code ? lang_code : -5);
|
|
if (lang_code) {
|
|
if (strpbrk(var_str, "[]()"))
|
|
array_element_flag = true;
|
|
if (imag_flag) {
|
|
for (k = 0;; k++) {
|
|
if (k >= n_equations) {
|
|
not_complex = true;
|
|
break;
|
|
}
|
|
if (imag_array[k] && n_lhs[k] == 1
|
|
&& lhs[k][0].kind == VARIABLE && lhs[k][0].token.variable == va[i1].v) {
|
|
fprintf(gfp, "_Complex ");
|
|
n_tabs += 8;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
if (int_flag || is_integer_var(va[i1].v) || (va[i1].v & VAR_MASK) == SIGN) {
|
|
fprintf(gfp, "int%s%s;", (n_tabs + 1)/8 ? "\t" : "\t\t", var_str);
|
|
} else {
|
|
fprintf(gfp, "double%s%s;", (n_tabs + 1)/8 ? "\t" : "\t\t", var_str);
|
|
}
|
|
if (n_tabs >= 7)
|
|
n_tabs -= 7;
|
|
} else {
|
|
fprintf(gfp, "%s", var_str);
|
|
}
|
|
if (count_flag) {
|
|
if ((n_tabs / 8) == 0) {
|
|
fprintf(gfp, "\t");
|
|
}
|
|
fprintf(gfp, _("\t/* count = %d */\n"), va[i1].count);
|
|
} else {
|
|
fprintf(gfp, "\n");
|
|
}
|
|
}
|
|
if (lang_code && imag_flag && not_complex && rv) {
|
|
printf("\n");
|
|
warning(_("Some variables might need to be of the complex number type."));
|
|
printf(_("Manual adjustments may be necessary\n"));
|
|
printf(_("because of the appearance of the imaginary unit (i).\n"));
|
|
}
|
|
if (!rv) {
|
|
error(_("Expressions are all numeric. No variables found."));
|
|
}
|
|
if (array_element_flag) {
|
|
warning(_("Some defined variables were array elements or functions, requiring manual definition."));
|
|
rv = false;
|
|
}
|
|
return rv;
|
|
}
|
|
|
|
/*
|
|
* The approximate command.
|
|
*/
|
|
int
|
|
approximate_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int start, stop;
|
|
int k;
|
|
char *cp1;
|
|
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &start, &stop)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (k = start; k <= stop; k++) {
|
|
if (n_lhs[k]) {
|
|
approximate(lhs[k], &n_lhs[k]);
|
|
if (n_rhs[k]) {
|
|
approximate(rhs[k], &n_rhs[k]);
|
|
}
|
|
if (!return_result(k)) {
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
} while (*cp);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The replace command.
|
|
*/
|
|
int
|
|
replace_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, j;
|
|
long last_v, v, va[MAX_VARS]; /* Mathomatic variables */
|
|
int vc; /* variable count */
|
|
char *cp_start, *cp1;
|
|
int found, value_entered;
|
|
int diff_sign;
|
|
|
|
cp_start = cp;
|
|
if (current_not_defined()) {
|
|
return false;
|
|
}
|
|
i = cur_equation;
|
|
for (vc = 0; *cp; vc++) {
|
|
if (strcmp_tospace(cp, "with") == 0) {
|
|
if (vc) {
|
|
repeat_flag = false;
|
|
break;
|
|
}
|
|
}
|
|
if (vc >= ARR_CNT(va)) {
|
|
error(_("Too many variables specified."));
|
|
return false;
|
|
}
|
|
cp = parse_var2(&va[vc], cp);
|
|
if (cp == NULL) {
|
|
return false;
|
|
}
|
|
if (!var_in_equation(i, va[vc])) {
|
|
error(_("Variable not found."));
|
|
return false;
|
|
}
|
|
}
|
|
replace_again:
|
|
n_tlhs = n_lhs[i];
|
|
blt(tlhs, lhs[i], n_tlhs * sizeof(token_type));
|
|
n_trhs = n_rhs[i];
|
|
blt(trhs, rhs[i], n_trhs * sizeof(token_type));
|
|
value_entered = false;
|
|
last_v = 0;
|
|
for (;;) {
|
|
v = -1;
|
|
for (j = 0; j < n_lhs[i]; j += 2) {
|
|
if (lhs[i][j].kind == VARIABLE) {
|
|
if (lhs[i][j].token.variable > last_v
|
|
&& (v == -1 || lhs[i][j].token.variable < v))
|
|
v = lhs[i][j].token.variable;
|
|
}
|
|
}
|
|
for (j = 0; j < n_rhs[i]; j += 2) {
|
|
if (rhs[i][j].kind == VARIABLE) {
|
|
if (rhs[i][j].token.variable > last_v
|
|
&& (v == -1 || rhs[i][j].token.variable < v))
|
|
v = rhs[i][j].token.variable;
|
|
}
|
|
}
|
|
if (v == -1) {
|
|
break;
|
|
}
|
|
last_v = v;
|
|
if (vc) {
|
|
found = false;
|
|
for (j = 0; j < vc; j++) {
|
|
if (v == va[j])
|
|
found = true;
|
|
}
|
|
if (!found)
|
|
continue;
|
|
if (*cp) {
|
|
if (strcmp_tospace(cp, "with") != 0) {
|
|
return false;
|
|
}
|
|
cp1 = skip_param(cp);
|
|
input_column += (cp1 - cp_start);
|
|
if ((cp1 = parse_expr(tes, &n_tes, cp1, true)) == NULL || n_tes <= 0) {
|
|
return false;
|
|
}
|
|
goto do_this;
|
|
}
|
|
}
|
|
list_var(v, 0);
|
|
snprintf(prompt_str, sizeof(prompt_str), _("Enter %s: "), var_str);
|
|
if (!get_expr(tes, &n_tes)) {
|
|
continue;
|
|
}
|
|
value_entered = true;
|
|
do_this:
|
|
/* Disguise all variables in the entered expression by making them negative; */
|
|
/* That way they won't be improperly substituted later, allowing variable interchange. */
|
|
for (j = 0; j < n_tes; j += 2) {
|
|
if (tes[j].kind == VARIABLE) {
|
|
tes[j].token.variable = -tes[j].token.variable;
|
|
}
|
|
}
|
|
subst_var_with_exp(tlhs, &n_tlhs, tes, n_tes, v);
|
|
subst_var_with_exp(trhs, &n_trhs, tes, n_tes, v);
|
|
}
|
|
/* Restore disguised variables: */
|
|
for (j = 0; j < n_tlhs; j += 2)
|
|
if (tlhs[j].kind == VARIABLE && tlhs[j].token.variable < 0)
|
|
tlhs[j].token.variable = -tlhs[j].token.variable;
|
|
for (j = 0; j < n_trhs; j += 2)
|
|
if (trhs[j].kind == VARIABLE && trhs[j].token.variable < 0)
|
|
trhs[j].token.variable = -trhs[j].token.variable;
|
|
if (repeat_flag) {
|
|
calc_simp(tlhs, &n_tlhs);
|
|
if (n_trhs) {
|
|
calc_simp(trhs, &n_trhs);
|
|
if (se_compare(tlhs, n_tlhs, trhs, n_trhs, &diff_sign) && !diff_sign) {
|
|
fprintf(gfp, _("The result is an identity:\n"));
|
|
}
|
|
}
|
|
list_tdebug(-10);
|
|
if (value_entered) {
|
|
fprintf(gfp, "Repeating:\n");
|
|
goto replace_again;
|
|
} else {
|
|
return true;
|
|
}
|
|
}
|
|
n_lhs[i] = n_tlhs;
|
|
blt(lhs[i], tlhs, n_tlhs * sizeof(token_type));
|
|
n_rhs[i] = n_trhs;
|
|
blt(rhs[i], trhs, n_trhs * sizeof(token_type));
|
|
simp_equation(i);
|
|
return return_result(i);
|
|
}
|
|
|
|
/*
|
|
* The simplify command.
|
|
*
|
|
* Returns number of expressions simplified.
|
|
*/
|
|
int
|
|
simplify_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, i1;
|
|
int first, last;
|
|
int k, k1, total_number_of_solutions, number_simplified = 0;
|
|
long counter, counter_max, previous_solution_number[N_EQUATIONS];
|
|
sign_array_type sa_mark, sa_value;
|
|
int sign_flag = false, quick_flag = false, quickest_flag = false, symb = false, frac_flag = false;
|
|
char *cp1;
|
|
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strncasecmp(cp, "sign", 4) == 0) {
|
|
sign_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "symbolic", 4) == 0) {
|
|
symb = true;
|
|
continue;
|
|
}
|
|
if (strcmp_tospace(cp, "quickest") == 0) {
|
|
quickest_flag = true;
|
|
continue;
|
|
}
|
|
if (strcmp_tospace(cp, "quick") == 0) {
|
|
quick_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "fraction", 4) == 0) {
|
|
frac_flag = true;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
do {
|
|
cp1 = cp;
|
|
if (!get_range(&cp, &first, &last)) {
|
|
return false;
|
|
}
|
|
if (*cp && cp == cp1) {
|
|
error(_("Invalid argument. Expecting equation number or range."));
|
|
return false;
|
|
}
|
|
for (i = first; i <= last; i++) {
|
|
if (n_lhs[i] <= 0)
|
|
continue;
|
|
number_simplified++;
|
|
symb_flag = symb;
|
|
if (quickest_flag) {
|
|
simp_equation(i);
|
|
} else {
|
|
simpa_repeat(i, quick_flag, frac_flag);
|
|
}
|
|
symb_flag = false;
|
|
if (!return_result(i)) {
|
|
return false;
|
|
}
|
|
if (!sign_flag)
|
|
continue;
|
|
/* Now substitute all sign variables with +1 and -1. */
|
|
CLEAR_ARRAY(previous_solution_number);
|
|
CLEAR_ARRAY(sa_mark);
|
|
for (k1 = 0; k1 < n_lhs[i]; k1 += 2) {
|
|
if (lhs[i][k1].kind == VARIABLE && (lhs[i][k1].token.variable & VAR_MASK) == SIGN) {
|
|
sa_mark[(lhs[i][k1].token.variable >> VAR_SHIFT) & SUBSCRIPT_MASK] = true;
|
|
}
|
|
}
|
|
for (k1 = 0; k1 < n_rhs[i]; k1 += 2) {
|
|
if (rhs[i][k1].kind == VARIABLE && (rhs[i][k1].token.variable & VAR_MASK) == SIGN) {
|
|
sa_mark[(rhs[i][k1].token.variable >> VAR_SHIFT) & SUBSCRIPT_MASK] = true;
|
|
}
|
|
}
|
|
for (k1 = 0, k = 0; k1 < ARR_CNT(sa_mark); k1++) {
|
|
if (sa_mark[k1]) {
|
|
k++;
|
|
}
|
|
}
|
|
if (k == 0)
|
|
continue;
|
|
counter_max = (1L << k) - 1L;
|
|
if (counter_max) {
|
|
fprintf(gfp, _("There are %ld possible solutions.\n"), counter_max + 1);
|
|
}
|
|
for (counter = 0; counter <= counter_max; counter++) {
|
|
i1 = next_espace();
|
|
copy_espace(i, i1);
|
|
for (k1 = 0, k = 0; k1 < ARR_CNT(sa_mark); k1++) {
|
|
if (sa_mark[k1]) {
|
|
sa_value[k1] = (((1L << k) & counter) != 0);
|
|
k++;
|
|
}
|
|
}
|
|
for (k1 = 0; k1 < n_lhs[i1]; k1 += 2) {
|
|
if (lhs[i1][k1].kind == VARIABLE && (lhs[i1][k1].token.variable & VAR_MASK) == SIGN) {
|
|
if (sa_value[(lhs[i1][k1].token.variable >> VAR_SHIFT) & SUBSCRIPT_MASK]) {
|
|
lhs[i1][k1].kind = CONSTANT;
|
|
lhs[i1][k1].token.constant = -1.0;
|
|
} else {
|
|
lhs[i1][k1].kind = CONSTANT;
|
|
lhs[i1][k1].token.constant = 1.0;
|
|
}
|
|
}
|
|
}
|
|
for (k1 = 0; k1 < n_rhs[i1]; k1 += 2) {
|
|
if (rhs[i1][k1].kind == VARIABLE && (rhs[i1][k1].token.variable & VAR_MASK) == SIGN) {
|
|
if (sa_value[(rhs[i1][k1].token.variable >> VAR_SHIFT) & SUBSCRIPT_MASK]) {
|
|
rhs[i1][k1].kind = CONSTANT;
|
|
rhs[i1][k1].token.constant = -1.0;
|
|
} else {
|
|
rhs[i1][k1].kind = CONSTANT;
|
|
rhs[i1][k1].token.constant = 1.0;
|
|
}
|
|
}
|
|
}
|
|
for (k1 = 0, k = false; k1 < ARR_CNT(sa_mark); k1++) {
|
|
if (sa_mark[k1]) {
|
|
if (k) {
|
|
fprintf(gfp, ", ");
|
|
} else {
|
|
fprintf(gfp, _("Solution number %ld with "), counter + 1);
|
|
}
|
|
list_var((long) SIGN + (((long) k1) << VAR_SHIFT), 0);
|
|
fprintf(gfp, "%s = ", var_str);
|
|
if (sa_value[k1]) {
|
|
fprintf(gfp, "-1");
|
|
} else {
|
|
fprintf(gfp, "1");
|
|
}
|
|
k = true;
|
|
}
|
|
}
|
|
if (k)
|
|
fprintf(gfp, ":\n");
|
|
symb_flag = symb;
|
|
if (quickest_flag) {
|
|
simp_equation(i1);
|
|
} else {
|
|
simpa_repeat(i1, quick_flag, frac_flag);
|
|
}
|
|
symb_flag = false;
|
|
for (k1 = 0; k1 < ARR_CNT(previous_solution_number); k1++) {
|
|
if (previous_solution_number[k1]) {
|
|
if (compare_es(k1, i1) > 0) {
|
|
n_lhs[i1] = 0;
|
|
n_rhs[i1] = 0;
|
|
fprintf(gfp, _("is identical to solution number %ld.\n"), previous_solution_number[k1]);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
if (n_lhs[i1]) {
|
|
list_sub(i1);
|
|
previous_solution_number[i1] = counter + 1;
|
|
}
|
|
}
|
|
total_number_of_solutions = 0;
|
|
for (k1 = 0; k1 < ARR_CNT(previous_solution_number); k1++) {
|
|
if (previous_solution_number[k1]) {
|
|
total_number_of_solutions++;
|
|
}
|
|
}
|
|
if (total_number_of_solutions > 0) {
|
|
number_simplified += total_number_of_solutions;
|
|
fprintf(gfp, _("%d unique solutions stored in equation spaces for this expression (#%d).\n"), total_number_of_solutions, i + 1);
|
|
}
|
|
}
|
|
} while (*cp);
|
|
return number_simplified;
|
|
}
|
|
|
|
/*
|
|
* The factor command.
|
|
*/
|
|
int
|
|
factor_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int first, last;
|
|
int i1;
|
|
int found, rv = true;
|
|
long v; /* Mathomatic variable */
|
|
int valid_range = false, power_flag = false;
|
|
char *cp_start;
|
|
int count_down;
|
|
char *cp1, *cp2;
|
|
double d, ed;
|
|
#if !LIBRARY
|
|
char buf[MAX_CMD_LEN];
|
|
#endif
|
|
|
|
cp_start = cp;
|
|
if (strcmp_tospace(cp, "number") == 0) {
|
|
cp = skip_param(cp);
|
|
} else if (strcmp_tospace(cp, "numbers") == 0) {
|
|
repeat_flag = true;
|
|
cp = skip_param(cp);
|
|
} else {
|
|
if (strcmp_tospace(cp, "power") == 0) {
|
|
power_flag = true;
|
|
cp = skip_param(cp);
|
|
}
|
|
valid_range = get_range(&cp, &first, &last);
|
|
if (!valid_range) {
|
|
#if LIBRARY /* be consistent */
|
|
return false;
|
|
#else /* be helpful */
|
|
if (*cp == '-' || isdigit(*cp)) {
|
|
reset_error();
|
|
printf(_("Factoring integers on command-line instead:\n"));
|
|
point_flag = false;
|
|
} else {
|
|
extra_characters(cp);
|
|
return false;
|
|
}
|
|
#endif
|
|
}
|
|
}
|
|
if (!valid_range) {
|
|
#if LIBRARY
|
|
repeat_flag = false;
|
|
#endif
|
|
do {
|
|
if (*cp == '\0') {
|
|
retry:
|
|
#if LIBRARY
|
|
return false;
|
|
#else
|
|
my_strlcpy(prompt_str, _("Enter integers to factor: "), sizeof(prompt_str));
|
|
cp = get_string(buf, sizeof(buf));
|
|
if (cp == NULL)
|
|
return false;
|
|
cp_start = cp;
|
|
#endif
|
|
}
|
|
if (*cp == '\0')
|
|
return true;
|
|
rv = true;
|
|
for (; *cp; ) {
|
|
cp1 = cp = skip_space(cp);
|
|
errno = 0;
|
|
ed = d = strtod(cp, &cp);
|
|
if (cp == cp1 || errno || !isfinite(d)) {
|
|
goto try_parsing;
|
|
}
|
|
cp = skip_space(cp);
|
|
if (*cp && !isdigit(*cp)) {
|
|
if (*cp == '-') {
|
|
cp2 = cp = skip_space(++cp);
|
|
errno = 0;
|
|
ed = strtod(cp, &cp);
|
|
if (cp == cp2 || errno || !isfinite(ed) || (*cp && *cp != ',' && !isspace(*cp))) {
|
|
goto try_parsing;
|
|
}
|
|
} else {
|
|
try_parsing:
|
|
input_column += (cp1 - cp_start);
|
|
cp = parse_expr(tes, &n_tes, cp1, false);
|
|
if (cp == NULL)
|
|
goto retry;
|
|
cp_start = cp;
|
|
if (n_tes <= 0)
|
|
return rv;
|
|
calc_simp(tes, &n_tes);
|
|
if (n_tes != 1 || tes[0].kind != CONSTANT || !isfinite(tes[0].token.constant)) {
|
|
error(_("Integer expected."));
|
|
goto retry;
|
|
}
|
|
ed = d = tes[0].token.constant;
|
|
}
|
|
}
|
|
cp = skip_comma_space(cp);
|
|
count_down = (ed < d);
|
|
for (; count_down ? (d >= ed) : (d <= ed); count_down ? (d -= 1.0) : (d += 1.0)) {
|
|
if (d == 0) {
|
|
fprintf(gfp, _("0 can be evenly divided by any number.\n"));
|
|
continue;
|
|
}
|
|
if (!factor_one(d)) {
|
|
error(_("Number too large to factor or not an integer."));
|
|
rv = false;
|
|
break;
|
|
}
|
|
#if !SILENT
|
|
if (is_prime() && debug_level >= 0) {
|
|
fprintf(gfp, _("Prime number: "));
|
|
}
|
|
#endif
|
|
if (!display_unique())
|
|
rv = false;
|
|
}
|
|
}
|
|
} while (repeat_flag);
|
|
return rv;
|
|
}
|
|
if (power_flag) {
|
|
if (extra_characters(cp))
|
|
return false;
|
|
for (i1 = first; i1 <= last; i1++) {
|
|
if (n_lhs[i1]) {
|
|
/* factor_power(lhs[i1], &n_lhs[i1]); */
|
|
do {
|
|
simp_loop(lhs[i1], &n_lhs[i1]);
|
|
} while (factor_power(lhs[i1], &n_lhs[i1]));
|
|
if (n_rhs[i1]) {
|
|
/* factor_power(rhs[i1], &n_rhs[i1]); */
|
|
do {
|
|
simp_loop(rhs[i1], &n_rhs[i1]);
|
|
} while (factor_power(rhs[i1], &n_rhs[i1]));
|
|
}
|
|
if (!return_result(i1))
|
|
return false;
|
|
}
|
|
}
|
|
} else {
|
|
do {
|
|
v = 0;
|
|
if (*cp) {
|
|
if ((cp = parse_var2(&v, cp)) == NULL) {
|
|
return false;
|
|
}
|
|
}
|
|
if (v) {
|
|
found = false;
|
|
for (i1 = first; i1 <= last; i1++) {
|
|
if (var_in_equation(i1, v)) {
|
|
found = true;
|
|
break;
|
|
}
|
|
}
|
|
if (!found) {
|
|
warning(_("Specified variable not found."));
|
|
}
|
|
}
|
|
for (i1 = first; i1 <= last; i1++) {
|
|
#if 0
|
|
if (v == 0) {
|
|
if (n_lhs[i1]) {
|
|
simp_loop(lhs[i1], &n_lhs[i1]);
|
|
poly_factor(lhs[i1], &n_lhs[i1], true);
|
|
if (n_rhs[i1]) {
|
|
simp_loop(rhs[i1], &n_rhs[i1]);
|
|
poly_factor(rhs[i1], &n_rhs[i1], true);
|
|
}
|
|
}
|
|
}
|
|
#endif
|
|
simpv_equation(i1, v);
|
|
}
|
|
} while (*cp);
|
|
for (i1 = first; i1 <= last; i1++) {
|
|
if (n_lhs[i1]) {
|
|
if (!return_result(i1))
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* Display the number of additive terms in the specified equation space.
|
|
*
|
|
* Return the total number of terms.
|
|
*/
|
|
int
|
|
display_term_count(en)
|
|
int en; /* equation space number */
|
|
{
|
|
int left_count = 0, right_count = 0;
|
|
|
|
if (empty_equation_space(en))
|
|
return 0;
|
|
left_count = level1_plus_count(lhs[en], n_lhs[en]) + 1;
|
|
if (n_rhs[en]) {
|
|
right_count = level1_plus_count(rhs[en], n_rhs[en]) + 1;
|
|
fprintf(gfp, "#%d: LHS consists of %d term%s; ", en + 1, left_count, (left_count == 1) ? "" : "s");
|
|
fprintf(gfp, "RHS consists of %d term%s.\n", right_count, (right_count == 1) ? "" : "s");
|
|
} else {
|
|
fprintf(gfp, "#%d: ", en + 1);
|
|
}
|
|
fprintf(gfp, "Expression consists of a total of %d term%s.\n", left_count + right_count, ((left_count + right_count) == 1) ? "" : "s");
|
|
return(left_count + right_count);
|
|
}
|
|
|
|
/*
|
|
* The unfactor command.
|
|
*/
|
|
int
|
|
unfactor_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int first, last;
|
|
int k;
|
|
int quick_flag = false, fraction_flag = false, power_flag = false, count_flag = false;
|
|
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strncasecmp(cp, "quick", 4) == 0) {
|
|
quick_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "fraction", 4) == 0 || strncasecmp(cp, "fully", 4) == 0) {
|
|
fraction_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "power", 4) == 0) {
|
|
power_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "count", 4) == 0) {
|
|
count_flag = true;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
if (!get_range_eol(&cp, &first, &last)) {
|
|
return false;
|
|
}
|
|
partial_flag = !fraction_flag;
|
|
if (power_flag) {
|
|
for (k = first; k <= last; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
if (quick_flag) {
|
|
uf_power(lhs[k], &n_lhs[k]);
|
|
} else {
|
|
uf_allpower(lhs[k], &n_lhs[k]);
|
|
}
|
|
elim_loop(lhs[k], &n_lhs[k]);
|
|
if (n_rhs[k]) {
|
|
if (quick_flag) {
|
|
uf_power(rhs[k], &n_rhs[k]);
|
|
} else {
|
|
uf_allpower(rhs[k], &n_rhs[k]);
|
|
}
|
|
elim_loop(rhs[k], &n_rhs[k]);
|
|
}
|
|
if (!return_result(k)) {
|
|
partial_flag = true;
|
|
return false;
|
|
}
|
|
if (count_flag) {
|
|
display_term_count(k);
|
|
}
|
|
}
|
|
} else {
|
|
for (k = first; k <= last; k++) {
|
|
if (n_lhs[k] <= 0)
|
|
continue;
|
|
if (quick_flag) {
|
|
uf_tsimp(lhs[k], &n_lhs[k]);
|
|
if (n_rhs[k]) {
|
|
uf_tsimp(rhs[k], &n_rhs[k]);
|
|
}
|
|
} else {
|
|
uf_simp(lhs[k], &n_lhs[k]);
|
|
if (n_rhs[k]) {
|
|
uf_simp(rhs[k], &n_rhs[k]);
|
|
}
|
|
}
|
|
if (!return_result(k)) {
|
|
partial_flag = true;
|
|
return false;
|
|
}
|
|
if (count_flag) {
|
|
display_term_count(k);
|
|
}
|
|
}
|
|
}
|
|
partial_flag = true;
|
|
return true;
|
|
}
|
|
|
|
int
|
|
div_loc_find(expression, n)
|
|
token_type *expression;
|
|
int n;
|
|
{
|
|
int k, div_loc;
|
|
int level;
|
|
|
|
level = min_level(expression, n);
|
|
for (k = 1, div_loc = -1; k < n; k += 2) {
|
|
if (expression[k].level == level && expression[k].token.operatr == DIVIDE) {
|
|
if (div_loc >= 0) {
|
|
error_bug("Expression not grouped.");
|
|
}
|
|
div_loc = k;
|
|
}
|
|
}
|
|
return div_loc;
|
|
}
|
|
|
|
/*
|
|
* The fraction command.
|
|
*/
|
|
int
|
|
fraction_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int i, div_loc;
|
|
int first, last;
|
|
int num_flag = false, den_flag = false, was_fraction;
|
|
|
|
for (;; cp = skip_param(cp)) {
|
|
if (strncasecmp(cp, "numerator", 3) == 0) {
|
|
num_flag = true;
|
|
continue;
|
|
}
|
|
if (strncasecmp(cp, "denominator", 3) == 0) {
|
|
den_flag = true;
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
if (!get_range_eol(&cp, &first, &last)) {
|
|
return false;
|
|
}
|
|
show_usage = false;
|
|
for (i = first; i <= last; i++) {
|
|
if (n_lhs[i]) {
|
|
was_fraction = false;
|
|
simple_frac_repeat_side(lhs[i], &n_lhs[i]);
|
|
div_loc = div_loc_find(lhs[i], n_lhs[i]);
|
|
if (div_loc > 0) {
|
|
was_fraction = true;
|
|
if (num_flag && !den_flag) {
|
|
n_lhs[i] = div_loc;
|
|
} else if (den_flag && !num_flag) {
|
|
blt(&lhs[i][0], &lhs[i][div_loc+1], (n_lhs[i] - (div_loc + 1)) * sizeof(token_type));
|
|
n_lhs[i] -= (div_loc + 1);
|
|
}
|
|
}
|
|
if (n_rhs[i]) {
|
|
simple_frac_repeat_side(rhs[i], &n_rhs[i]);
|
|
div_loc = div_loc_find(rhs[i], n_rhs[i]);
|
|
if (div_loc > 0) {
|
|
was_fraction = true;
|
|
if (num_flag && !den_flag) {
|
|
n_rhs[i] = div_loc;
|
|
} else if (den_flag && !num_flag) {
|
|
blt(&rhs[i][0], &rhs[i][div_loc+1], (n_rhs[i] - (div_loc + 1)) * sizeof(token_type));
|
|
n_rhs[i] -= (div_loc + 1);
|
|
}
|
|
}
|
|
}
|
|
if ((num_flag || den_flag) && !was_fraction) {
|
|
warning(_("Expression is not an algebraic fraction."));
|
|
if (den_flag) {
|
|
error(_("Could not extract denominator."));
|
|
return false;
|
|
}
|
|
}
|
|
if (!return_result(i))
|
|
return false;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
#if !LIBRARY
|
|
/*
|
|
* The quit command.
|
|
*/
|
|
int
|
|
quit_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int ev = 0;
|
|
|
|
if (*cp) {
|
|
ev = decstrtol(cp, &cp);
|
|
if (extra_characters(cp))
|
|
return false;
|
|
}
|
|
exit_program(ev);
|
|
return false; /* to placate the C compiler */
|
|
}
|
|
#endif
|
|
|
|
#if !SECURE
|
|
/*
|
|
* The read command.
|
|
*/
|
|
int
|
|
read_cmd(cp)
|
|
char *cp;
|
|
{
|
|
int rv;
|
|
|
|
if (security_level >= 3) {
|
|
show_usage = false;
|
|
error(_("Command disabled by security level."));
|
|
return false;
|
|
}
|
|
if (!repeat_flag || *cp == '\0') {
|
|
return read_file(cp);
|
|
}
|
|
do {
|
|
rv = read_file(cp);
|
|
} while (rv);
|
|
return rv;
|
|
}
|
|
|
|
/*
|
|
* Main read command code.
|
|
*
|
|
* Return true if successful.
|
|
*/
|
|
int
|
|
read_file(cp)
|
|
char *cp;
|
|
{
|
|
int rv;
|
|
FILE *fp;
|
|
char buf[MAX_CMD_LEN];
|
|
#if SHELL_OUT
|
|
char cl[MAX_CMD_LEN];
|
|
int ev; /* exit value */
|
|
char *lister;
|
|
#endif
|
|
|
|
if (*cp == '\0') {
|
|
#if SHELL_OUT
|
|
#if MINGW
|
|
lister = "dir /W/P";
|
|
#else
|
|
lister = "ls -C";
|
|
#endif
|
|
if (gfp && gfp_filename && gfp_filename[0]) {
|
|
if (snprintf(cl, sizeof(cl), "%s >%s%s", lister, gfp_append_flag ? ">" : "", gfp_filename) >= sizeof(cl)) {
|
|
error(_("Command-line too long."));
|
|
return false;
|
|
}
|
|
clean_up(); /* end any redirection */
|
|
} else {
|
|
if (snprintf(cl, sizeof(cl), "%s", lister) >= sizeof(cl)) {
|
|
error(_("Command-line too long."));
|
|
return false;
|
|
}
|
|
}
|
|
#if !MINGW
|
|
printf(_("Listing contents of "));
|
|
output_current_directory(stdout);
|
|
printf("\n");
|
|
#endif
|
|
if ((ev = shell_out(cl))) {
|
|
error(_("Error executing directory lister."));
|
|
printf(_("Decimal exit value = %d, shell command-line = %s\n"), ev, cl);
|
|
return false;
|
|
}
|
|
return true;
|
|
#else
|
|
error(_("No file name specified."));
|
|
return false;
|
|
#endif
|
|
}
|
|
if (snprintf(buf, sizeof(buf), "%s.in", cp) >= sizeof(buf)) {
|
|
error(_("File name too long."));
|
|
return false;
|
|
}
|
|
fp = fopen(buf, "r");
|
|
if (fp == NULL) {
|
|
buf[strlen(cp)] = '\0';
|
|
fp = fopen(buf, "r");
|
|
if (fp == NULL) {
|
|
if (chdir(buf)) {
|
|
error(_("Can't open requested file to read or change directory to."));
|
|
return false;
|
|
} else {
|
|
printf(_("Current working directory changed to "));
|
|
return output_current_directory(stdout);
|
|
}
|
|
}
|
|
}
|
|
rv = read_sub(fp, buf);
|
|
show_usage = false;
|
|
if (fclose(fp)) {
|
|
perror(buf);
|
|
rv = 1;
|
|
}
|
|
if (rv == 100)
|
|
return(true);
|
|
#if !SILENT
|
|
if (!quiet_mode) {
|
|
if (rv) {
|
|
if (!demo_mode) {
|
|
printf(_("Reading of script file \"%s\" aborted due to failure return status\n"), buf);
|
|
printf(_("of a command or expression parsing, or some other error listed above.\n"));
|
|
}
|
|
} else if (debug_level >= 0) {
|
|
printf(_("Successfully finished reading script file \"%s\".\n"), buf);
|
|
}
|
|
}
|
|
#endif
|
|
return(!rv);
|
|
}
|
|
|
|
/*
|
|
* Read and process Mathomatic input from a file pointer.
|
|
*
|
|
* Return zero if no error, non-zero if read aborted.
|
|
*/
|
|
int
|
|
read_sub(fp, filename)
|
|
FILE *fp; /* open Mathomatic input file */
|
|
char *filename; /* filename of fp */
|
|
{
|
|
int rv;
|
|
jmp_buf save_save;
|
|
char *cp;
|
|
int something_there = false;
|
|
|
|
if (fp == NULL) {
|
|
return -1;
|
|
}
|
|
blt(save_save, jmp_save, sizeof(jmp_save));
|
|
if ((rv = setjmp(jmp_save)) != 0) { /* trap errors */
|
|
clean_up();
|
|
if (rv == 14) {
|
|
error(_("Expression too large."));
|
|
}
|
|
previous_return_value = 0;
|
|
} else {
|
|
while ((cp = fgets((char *) tlhs, n_tokens * sizeof(token_type), fp)) != NULL) {
|
|
if (*cp) {
|
|
something_there = true;
|
|
}
|
|
if (!display_process(cp)) {
|
|
longjmp(jmp_save, 3); /* jump to the above error trap */
|
|
}
|
|
}
|
|
if (!something_there) {
|
|
if (chdir(filename)) {
|
|
error(_("Empty file (no script to read)."));
|
|
rv = 1;
|
|
} else {
|
|
printf(_("Current directory changed to "));
|
|
output_current_directory(stdout);
|
|
rv = 100;
|
|
}
|
|
}
|
|
}
|
|
blt(jmp_save, save_save, sizeof(jmp_save));
|
|
return rv;
|
|
}
|
|
#endif
|
|
|
|
#if SHELL_OUT
|
|
static int
|
|
edit_sub(cp)
|
|
char *cp;
|
|
{
|
|
char cl[MAX_CMD_LEN]; /* command-line */
|
|
char *cp1;
|
|
int ev; /* exit value */
|
|
|
|
edit_again:
|
|
cp1 = getenv("EDITOR");
|
|
if (cp1 == NULL) {
|
|
#if CYGWIN || MINGW
|
|
cp1 = "notepad";
|
|
#else
|
|
cp1 = "nano";
|
|
#endif
|
|
warning("EDITOR environment variable not set; using default text editor.");
|
|
}
|
|
if (snprintf(cl, sizeof(cl), "%s %s", cp1, cp) >= sizeof(cl)) {
|
|
error(_("Editor command-line too long."));
|
|
return false;
|
|
}
|
|
if ((ev = shell_out(cl))) {
|
|
error("Error executing editor, check EDITOR environment variable.");
|
|
printf(_("Decimal exit value = %d, shell command-line = %s\n"), ev, cl);
|
|
return false;
|
|
}
|
|
clear_all();
|
|
if (!read_cmd(cp)) {
|
|
if (pause_cmd(_("Prepare to rerun the editor, or type \"quit\""))) {
|
|
goto edit_again;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* The edit command.
|
|
*/
|
|
int
|
|
edit_cmd(cp)
|
|
char *cp;
|
|
{
|
|
FILE *fp;
|
|
#if !MINGW
|
|
int fd;
|
|
#endif
|
|
int rv;
|
|
char tmp_file[MAX_CMD_LEN];
|
|
|
|
show_usage = false;
|
|
if (security_level) {
|
|
if (security_level < 0) {
|
|
error(_("Running the editor is not possible with m4."));
|
|
} else {
|
|
error(_("Command disabled by security level."));
|
|
}
|
|
return false;
|
|
}
|
|
clean_up(); /* end any redirection */
|
|
if (*cp == '\0') {
|
|
#if MINGW
|
|
my_strlcpy(tmp_file, "mathomatic.tmp", sizeof(tmp_file));
|
|
fp = fopen(tmp_file, "w+");
|
|
if (fp == NULL) {
|
|
perror(tmp_file);
|
|
error(_("Can't create temporary file."));
|
|
return false;
|
|
}
|
|
#else
|
|
my_strlcpy(tmp_file, TMP_FILE, sizeof(tmp_file));
|
|
fd = mkstemp(tmp_file);
|
|
if (fd < 0 || (fp = fdopen(fd, "w+")) == NULL) {
|
|
perror(tmp_file);
|
|
error(_("Can't create temporary file."));
|
|
return false;
|
|
}
|
|
#endif
|
|
gfp = fp;
|
|
high_prec = true;
|
|
list_cmd("all");
|
|
high_prec = false;
|
|
gfp = default_out;
|
|
rv = !ferror(fp);
|
|
if (fclose(fp) || !rv) {
|
|
rv = false;
|
|
perror(tmp_file);
|
|
error(_("Writing temporary file failed."));
|
|
} else {
|
|
rv = edit_sub(tmp_file);
|
|
}
|
|
if (unlink(tmp_file)) {
|
|
perror(tmp_file);
|
|
}
|
|
return rv;
|
|
} else {
|
|
show_usage = true;
|
|
if (access(cp, R_OK | W_OK)) {
|
|
perror(cp);
|
|
error(_("You can only edit existing/writable files or all equation spaces."));
|
|
return false;
|
|
}
|
|
return edit_sub(cp);
|
|
}
|
|
}
|
|
#endif
|
|
|
|
#if !SECURE
|
|
/*
|
|
* The save command.
|
|
*/
|
|
int
|
|
save_cmd(cp)
|
|
char *cp;
|
|
{
|
|
FILE *fp;
|
|
int rv, space_flag = false, error_flag;
|
|
char *cp1;
|
|
|
|
if (security_level >= 2) {
|
|
show_usage = false;
|
|
error(_("Command disabled by security level."));
|
|
return false;
|
|
}
|
|
clean_up(); /* end any redirection */
|
|
if (*cp == '\0') {
|
|
error(_("No file name specified; nothing was saved."));
|
|
return false;
|
|
}
|
|
for (cp1 = cp; *cp1; cp1++) {
|
|
if (isspace(*cp1)) {
|
|
space_flag = true;
|
|
}
|
|
}
|
|
#if !SILENT
|
|
if (access(cp, F_OK) == 0) {
|
|
if (access(cp, W_OK)) {
|
|
perror(cp);
|
|
error(_("Specified save file is not writable; choose a different file name."));
|
|
return false;
|
|
}
|
|
snprintf(prompt_str, sizeof(prompt_str), _("File \"%s\" exists, overwrite (y/n)? "), cp);
|
|
if (!get_yes_no()) {
|
|
error(_("File not overwritten; nothing was saved."));
|
|
return false;
|
|
}
|
|
} else if (space_flag) {
|
|
snprintf(prompt_str, sizeof(prompt_str), _("File name \"%s\" contains space characters, create anyways (y/n)? "), cp);
|
|
if (!get_yes_no()) {
|
|
error(_("Save command aborted; nothing was saved."));
|
|
return false;
|
|
}
|
|
}
|
|
#endif
|
|
fp = fopen(cp, "w");
|
|
if (fp == NULL) {
|
|
perror(cp);
|
|
error(_("Cannot create specified save file; nothing was saved."));
|
|
return false;
|
|
}
|
|
gfp = fp;
|
|
high_prec = true;
|
|
rv = list_cmd("all");
|
|
high_prec = false;
|
|
gfp = default_out;
|
|
error_flag = ferror(fp);
|
|
if (fclose(fp) || error_flag) {
|
|
rv = false;
|
|
perror(cp);
|
|
}
|
|
if (rv) {
|
|
#if !SILENT
|
|
printf(_("All expressions saved in file \"%s\".\n"), cp);
|
|
#endif
|
|
} else {
|
|
error(_("Error encountered while saving expressions."));
|
|
}
|
|
return rv;
|
|
}
|
|
#endif
|