|
Packit |
5c3484 |
/* mpz expression evaluation, simple part
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
Copyright 2000-2002 Free Software Foundation, Inc.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
This file is part of the GNU MP Library.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
The GNU MP Library is free software; you can redistribute it and/or modify
|
|
Packit |
5c3484 |
it under the terms of either:
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
* the GNU Lesser General Public License as published by the Free
|
|
Packit |
5c3484 |
Software Foundation; either version 3 of the License, or (at your
|
|
Packit |
5c3484 |
option) any later version.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
or
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
* the GNU General Public License as published by the Free Software
|
|
Packit |
5c3484 |
Foundation; either version 2 of the License, or (at your option) any
|
|
Packit |
5c3484 |
later version.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
or both in parallel, as here.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
The GNU MP Library is distributed in the hope that it will be useful, but
|
|
Packit |
5c3484 |
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
Packit |
5c3484 |
or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
Packit |
5c3484 |
for more details.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
You should have received copies of the GNU General Public License and the
|
|
Packit |
5c3484 |
GNU Lesser General Public License along with the GNU MP Library. If not,
|
|
Packit |
5c3484 |
see https://www.gnu.org/licenses/. */
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#include <ctype.h>
|
|
Packit |
5c3484 |
#include <stdio.h>
|
|
Packit |
5c3484 |
#include <string.h>
|
|
Packit |
5c3484 |
#include "gmp.h"
|
|
Packit |
5c3484 |
#include "expr-impl.h"
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* Change this to "#define TRACE(x) x" to get some traces. */
|
|
Packit |
5c3484 |
#define TRACE(x)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* These are macros, so need function wrappers. */
|
|
Packit |
5c3484 |
static int
|
|
Packit |
5c3484 |
e_mpz_sgn (mpz_srcptr x)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
return mpz_sgn (x);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
static int
|
|
Packit |
5c3484 |
e_mpz_odd_p (mpz_srcptr x)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
return mpz_odd_p (x);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
static int
|
|
Packit |
5c3484 |
e_mpz_even_p (mpz_srcptr x)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
return mpz_even_p (x);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* These wrapped because MPEXPR_TYPE_I_ functions are expected to return
|
|
Packit |
5c3484 |
"int" whereas these return "unsigned long". */
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
e_mpz_hamdist (mpz_ptr w, mpz_srcptr x, mpz_srcptr y)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_set_ui (w, mpz_hamdist (x, y));
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
e_mpz_popcount (mpz_ptr w, mpz_srcptr x)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_set_ui (w, mpz_popcount (x));
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
e_mpz_scan0 (mpz_ptr w, mpz_srcptr x, unsigned long start)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_set_ui (w, mpz_scan0 (x, start));
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
e_mpz_scan1 (mpz_ptr w, mpz_srcptr x, unsigned long start)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_set_ui (w, mpz_scan1 (x, start));
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* These wrapped because they're in-place whereas MPEXPR_TYPE_BINARY_UI
|
|
Packit |
5c3484 |
expects a separate source and destination. Actually the parser will
|
|
Packit |
5c3484 |
normally pass w==x anyway. */
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
e_mpz_setbit (mpz_ptr w, mpz_srcptr x, unsigned long n)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
if (w != x)
|
|
Packit |
5c3484 |
mpz_set (w, x);
|
|
Packit |
5c3484 |
mpz_setbit (w, n);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
e_mpz_clrbit (mpz_ptr w, mpz_srcptr x, unsigned long n)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
if (w != x)
|
|
Packit |
5c3484 |
mpz_set (w, x);
|
|
Packit |
5c3484 |
mpz_clrbit (w, n);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static const struct mpexpr_operator_t _mpz_expr_standard_table[] = {
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "**", (mpexpr_fun_t) mpz_pow_ui,
|
|
Packit |
5c3484 |
MPEXPR_TYPE_BINARY_UI | MPEXPR_TYPE_RIGHTASSOC, 220 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "~", (mpexpr_fun_t) mpz_com,
|
|
Packit |
5c3484 |
MPEXPR_TYPE_UNARY | MPEXPR_TYPE_PREFIX, 210 },
|
|
Packit |
5c3484 |
{ "!", (mpexpr_fun_t) e_mpz_sgn,
|
|
Packit |
5c3484 |
MPEXPR_TYPE_LOGICAL_NOT | MPEXPR_TYPE_PREFIX, 210 },
|
|
Packit |
5c3484 |
{ "-", (mpexpr_fun_t) mpz_neg,
|
|
Packit |
5c3484 |
MPEXPR_TYPE_UNARY | MPEXPR_TYPE_PREFIX, 210 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "*", (mpexpr_fun_t) mpz_mul, MPEXPR_TYPE_BINARY, 200 },
|
|
Packit |
5c3484 |
{ "/", (mpexpr_fun_t) mpz_tdiv_q, MPEXPR_TYPE_BINARY, 200 },
|
|
Packit |
5c3484 |
{ "%", (mpexpr_fun_t) mpz_tdiv_r, MPEXPR_TYPE_BINARY, 200 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "+", (mpexpr_fun_t) mpz_add, MPEXPR_TYPE_BINARY, 190 },
|
|
Packit |
5c3484 |
{ "-", (mpexpr_fun_t) mpz_sub, MPEXPR_TYPE_BINARY, 190 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "<<", (mpexpr_fun_t) mpz_mul_2exp, MPEXPR_TYPE_BINARY_UI, 180 },
|
|
Packit |
5c3484 |
{ ">>", (mpexpr_fun_t) mpz_tdiv_q_2exp, MPEXPR_TYPE_BINARY_UI, 180 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "<=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_LE, 170 },
|
|
Packit |
5c3484 |
{ "<", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_LT, 170 },
|
|
Packit |
5c3484 |
{ ">=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_GE, 170 },
|
|
Packit |
5c3484 |
{ ">", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_GT, 170 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "==", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_EQ, 160 },
|
|
Packit |
5c3484 |
{ "!=", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_CMP_NE, 160 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "&", (mpexpr_fun_t) mpz_and, MPEXPR_TYPE_BINARY, 150 },
|
|
Packit |
5c3484 |
{ "^", (mpexpr_fun_t) mpz_xor, MPEXPR_TYPE_BINARY, 140 },
|
|
Packit |
5c3484 |
{ "|", (mpexpr_fun_t) mpz_ior, MPEXPR_TYPE_BINARY, 130 },
|
|
Packit |
5c3484 |
{ "&&", (mpexpr_fun_t) e_mpz_sgn, MPEXPR_TYPE_LOGICAL_AND, 120 },
|
|
Packit |
5c3484 |
{ "||", (mpexpr_fun_t) e_mpz_sgn, MPEXPR_TYPE_LOGICAL_OR, 110 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ ":", NULL, MPEXPR_TYPE_COLON, 101 },
|
|
Packit |
5c3484 |
{ "?", (mpexpr_fun_t) e_mpz_sgn, MPEXPR_TYPE_QUESTION, 100 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ ")", NULL, MPEXPR_TYPE_CLOSEPAREN, 4 },
|
|
Packit |
5c3484 |
{ "(", NULL, MPEXPR_TYPE_OPENPAREN, 3 },
|
|
Packit |
5c3484 |
{ ",", NULL, MPEXPR_TYPE_ARGSEP, 2 },
|
|
Packit |
5c3484 |
{ "$", NULL, MPEXPR_TYPE_VARIABLE, 1 },
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
{ "abs", (mpexpr_fun_t) mpz_abs, MPEXPR_TYPE_UNARY },
|
|
Packit |
5c3484 |
{ "bin", (mpexpr_fun_t) mpz_bin_ui, MPEXPR_TYPE_BINARY_UI },
|
|
Packit |
5c3484 |
{ "clrbit", (mpexpr_fun_t) e_mpz_clrbit, MPEXPR_TYPE_BINARY_UI },
|
|
Packit |
5c3484 |
{ "cmp", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_I_BINARY },
|
|
Packit |
5c3484 |
{ "cmpabs", (mpexpr_fun_t) mpz_cmpabs, MPEXPR_TYPE_I_BINARY },
|
|
Packit |
5c3484 |
{ "congruent_p",(mpexpr_fun_t)mpz_congruent_p, MPEXPR_TYPE_I_TERNARY },
|
|
Packit |
5c3484 |
{ "divisible_p",(mpexpr_fun_t)mpz_divisible_p, MPEXPR_TYPE_I_BINARY },
|
|
Packit |
5c3484 |
{ "even_p", (mpexpr_fun_t) e_mpz_even_p, MPEXPR_TYPE_I_UNARY },
|
|
Packit |
5c3484 |
{ "fib", (mpexpr_fun_t) mpz_fib_ui, MPEXPR_TYPE_UNARY_UI },
|
|
Packit |
5c3484 |
{ "fac", (mpexpr_fun_t) mpz_fac_ui, MPEXPR_TYPE_UNARY_UI },
|
|
Packit |
5c3484 |
{ "gcd", (mpexpr_fun_t) mpz_gcd, MPEXPR_TYPE_BINARY
|
|
Packit |
5c3484 |
| MPEXPR_TYPE_PAIRWISE },
|
|
Packit |
5c3484 |
{ "hamdist", (mpexpr_fun_t) e_mpz_hamdist, MPEXPR_TYPE_BINARY },
|
|
Packit |
5c3484 |
{ "invert", (mpexpr_fun_t) mpz_invert, MPEXPR_TYPE_BINARY },
|
|
Packit |
5c3484 |
{ "jacobi", (mpexpr_fun_t) mpz_jacobi, MPEXPR_TYPE_I_BINARY },
|
|
Packit |
5c3484 |
{ "kronecker", (mpexpr_fun_t) mpz_kronecker, MPEXPR_TYPE_I_BINARY },
|
|
Packit |
5c3484 |
{ "lcm", (mpexpr_fun_t) mpz_lcm, MPEXPR_TYPE_BINARY
|
|
Packit |
5c3484 |
| MPEXPR_TYPE_PAIRWISE },
|
|
Packit |
5c3484 |
{ "lucnum", (mpexpr_fun_t) mpz_lucnum_ui, MPEXPR_TYPE_UNARY_UI },
|
|
Packit |
5c3484 |
{ "max", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_MAX
|
|
Packit |
5c3484 |
| MPEXPR_TYPE_PAIRWISE },
|
|
Packit |
5c3484 |
{ "min", (mpexpr_fun_t) mpz_cmp, MPEXPR_TYPE_MIN
|
|
Packit |
5c3484 |
| MPEXPR_TYPE_PAIRWISE },
|
|
Packit |
5c3484 |
{ "nextprime", (mpexpr_fun_t) mpz_nextprime, MPEXPR_TYPE_UNARY },
|
|
Packit |
5c3484 |
{ "odd_p", (mpexpr_fun_t) e_mpz_odd_p, MPEXPR_TYPE_I_UNARY },
|
|
Packit |
5c3484 |
{ "perfect_power_p", (mpexpr_fun_t)mpz_perfect_power_p, MPEXPR_TYPE_I_UNARY},
|
|
Packit |
5c3484 |
{ "perfect_square_p",(mpexpr_fun_t)mpz_perfect_square_p,MPEXPR_TYPE_I_UNARY},
|
|
Packit |
5c3484 |
{ "popcount", (mpexpr_fun_t) e_mpz_popcount, MPEXPR_TYPE_UNARY },
|
|
Packit |
5c3484 |
{ "powm", (mpexpr_fun_t) mpz_powm, MPEXPR_TYPE_TERNARY },
|
|
Packit |
5c3484 |
{ "probab_prime_p", (mpexpr_fun_t)mpz_probab_prime_p, MPEXPR_TYPE_I_UNARY},
|
|
Packit |
5c3484 |
{ "root", (mpexpr_fun_t) mpz_root, MPEXPR_TYPE_BINARY_UI },
|
|
Packit |
5c3484 |
{ "scan0", (mpexpr_fun_t) e_mpz_scan0, MPEXPR_TYPE_BINARY_UI },
|
|
Packit |
5c3484 |
{ "scan1", (mpexpr_fun_t) e_mpz_scan1, MPEXPR_TYPE_BINARY_UI },
|
|
Packit |
5c3484 |
{ "setbit", (mpexpr_fun_t) e_mpz_setbit, MPEXPR_TYPE_BINARY_UI },
|
|
Packit |
5c3484 |
{ "tstbit", (mpexpr_fun_t) mpz_tstbit, MPEXPR_TYPE_I_BINARY_UI },
|
|
Packit |
5c3484 |
{ "sgn", (mpexpr_fun_t) e_mpz_sgn, MPEXPR_TYPE_I_UNARY },
|
|
Packit |
5c3484 |
{ "sqrt", (mpexpr_fun_t) mpz_sqrt, MPEXPR_TYPE_UNARY },
|
|
Packit |
5c3484 |
{ NULL }
|
|
Packit |
5c3484 |
};
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* The table is available globally only through a pointer, so the table size
|
|
Packit |
5c3484 |
can change without breaking binary compatibility. */
|
|
Packit |
5c3484 |
const struct mpexpr_operator_t * const mpz_expr_standard_table
|
|
Packit |
5c3484 |
= _mpz_expr_standard_table;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
int
|
|
Packit |
5c3484 |
mpz_expr (mpz_ptr res, int base, const char *e, ...)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_srcptr var[MPEXPR_VARIABLES];
|
|
Packit |
5c3484 |
va_list ap;
|
|
Packit |
5c3484 |
int ret;
|
|
Packit |
5c3484 |
va_start (ap, e);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
TRACE (printf ("mpz_expr(): base %d, %s\n", base, e));
|
|
Packit |
5c3484 |
ret = mpexpr_va_to_var ((void **) var, ap);
|
|
Packit |
5c3484 |
va_end (ap);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
if (ret != MPEXPR_RESULT_OK)
|
|
Packit |
5c3484 |
return ret;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
return mpz_expr_a (mpz_expr_standard_table, res, base, e, strlen(e), var);
|
|
Packit |
5c3484 |
}
|