|
Packit |
5c3484 |
/* Test mp*_class ternary expressions.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
Copyright 2001-2003 Free Software Foundation, Inc.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
This file is part of the GNU MP Library test suite.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
The GNU MP Library test suite is free software; you can redistribute it
|
|
Packit |
5c3484 |
and/or modify it under the terms of the GNU General Public License as
|
|
Packit |
5c3484 |
published by the Free Software Foundation; either version 3 of the License,
|
|
Packit |
5c3484 |
or (at your option) any later version.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
The GNU MP Library test suite is distributed in the hope that it will be
|
|
Packit |
5c3484 |
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
5c3484 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
|
|
Packit |
5c3484 |
Public License for more details.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
You should have received a copy of the GNU General Public License along with
|
|
Packit |
5c3484 |
the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#include "config.h"
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#include <iostream>
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#include "gmp.h"
|
|
Packit |
5c3484 |
#include "gmpxx.h"
|
|
Packit |
5c3484 |
#include "gmp-impl.h"
|
|
Packit |
5c3484 |
#include "tests.h"
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
using namespace std;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* The various test cases are broken up into separate functions to keep down
|
|
Packit |
5c3484 |
compiler memory use. They're static so that any mistakenly omitted from
|
|
Packit |
5c3484 |
main() will provoke warnings (under gcc -Wall at least). */
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_1 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template<class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<mpz_class, mpz_class, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a + b * c; ASSERT_ALWAYS(d == 7);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a - b * c; ASSERT_ALWAYS(d == -5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_2 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<mpz_class, T, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
signed int c = 3;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a + b * c; ASSERT_ALWAYS(d == 7);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
signed int c = 3;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a - b * c; ASSERT_ALWAYS(d == -5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_3 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<T, mpz_class, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
unsigned int c = 3;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a + c * b; ASSERT_ALWAYS(d == 7);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
unsigned int c = 3;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a - c * b; ASSERT_ALWAYS(d == -5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_4 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<mpz_class, __gmp_expr<mpz_t, T>, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
double d = 4.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a + b * (c + d); ASSERT_ALWAYS(e == 15);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
double d = 4.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a - b * (c + d); ASSERT_ALWAYS(e == -13);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_5 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, mpz_class, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
signed int d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a + (b - d) * c; ASSERT_ALWAYS(e == -5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
signed int d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a - (b - d) * c; ASSERT_ALWAYS(e == 7);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_6 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, U, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
unsigned int c = 3, d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a + (b + c) * d; ASSERT_ALWAYS(e == 21);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
unsigned int c = 3, d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a - (b + c) * d; ASSERT_ALWAYS(e == -19);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_7 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<T, __gmp_expr<mpz_t, U>, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
double c = 3.0, d = 4.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a + c * (b + d); ASSERT_ALWAYS(e == 19);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
double c = 3.0, d = 4.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a - c * (b + d); ASSERT_ALWAYS(e == -17);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_8 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, __gmp_expr<mpz_t, U>,
|
|
Packit |
5c3484 |
// Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
signed int d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = a + (b - d) * (c + e); ASSERT_ALWAYS(f == -15);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
signed int d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = a - (b - d) * (c + e); ASSERT_ALWAYS(f == 17);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_9 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>,
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<mpz_class, mpz_class, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
unsigned int d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a + d) + b * c; ASSERT_ALWAYS(e == 11);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
unsigned int d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a + d) - b * c; ASSERT_ALWAYS(e == -1);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_10 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>,
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<mpz_class, U, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
double c = 3.0, d = 4.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a - c) + b * d; ASSERT_ALWAYS(e == 6);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
double c = 3.0, d = 4.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a - c) - b * d; ASSERT_ALWAYS(e == -10);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_11 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>,
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<U, mpz_class, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
signed int c = 3, d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a - c) + d * b; ASSERT_ALWAYS(e == 6);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
signed int c = 3, d = 4;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a - c) - d * b; ASSERT_ALWAYS(e == -10);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_12 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<mpz_class, __gmp_expr<mpz_t, U>, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
unsigned int d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + d) + b * (c - e); ASSERT_ALWAYS(f == 1);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
unsigned int d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + d) - b * (c - e); ASSERT_ALWAYS(f == 9);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_13 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, U>, mpz_class, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
double d = 4.0, e = 5.0;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a - d) + (b + e) * c; ASSERT_ALWAYS(f == 18);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
double d = 4.0, e = 5.0;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a - d) - (b + e) * c; ASSERT_ALWAYS(f == -24);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_14 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class V, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, U>, V, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
signed int c = 3, d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + c) + (b + d) * e; ASSERT_ALWAYS(f == 34);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
signed int c = 3, d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + c) - (b + d) * e; ASSERT_ALWAYS(f == -26);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_15 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class V, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<U, __gmp_expr<mpz_t, V>, Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
unsigned int c = 3, d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a - c) + d * (b - e); ASSERT_ALWAYS(f == -14);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2);
|
|
Packit |
5c3484 |
unsigned int c = 3, d = 4, e = 5;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a - c) - d * (b - e); ASSERT_ALWAYS(f == 10);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_16 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class V, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, T>, __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<__gmp_expr<mpz_t, U>, __gmp_expr<mpz_t, V>,
|
|
Packit |
5c3484 |
// Op1> >, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
double d = 4.0, e = 5.0, f = 6.0;
|
|
Packit |
5c3484 |
mpz_class g;
|
|
Packit |
5c3484 |
g = (a + d) + (b - e) * (c + f); ASSERT_ALWAYS(g == -22);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(1), b(2), c(3);
|
|
Packit |
5c3484 |
double d = 4.0, e = 5.0, f = 6.0;
|
|
Packit |
5c3484 |
mpz_class g;
|
|
Packit |
5c3484 |
g = (a + d) - (b - e) * (c + f); ASSERT_ALWAYS(g == 32);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_17 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<mpz_class, mpz_class, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a * b + c; ASSERT_ALWAYS(d == 10);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a * b - c; ASSERT_ALWAYS(d == 2);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_18 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<mpz_class, T, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
signed int c = 4;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a * c + b; ASSERT_ALWAYS(d == 11);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
signed int c = 4;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = a * c - b; ASSERT_ALWAYS(d == 5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_19 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_t, __gmp_binary_expr<T, mpz_class, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
unsigned int c = 4;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = c * a + b; ASSERT_ALWAYS(d == 11);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
unsigned int c = 4;
|
|
Packit |
5c3484 |
mpz_class d;
|
|
Packit |
5c3484 |
d = c * a - b; ASSERT_ALWAYS(d == 5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_20 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_class, __gmp_expr<mpz_t, T>, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
double d = 5.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a * (b + d) + c; ASSERT_ALWAYS(e == 20);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
double d = 5.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a * (b + d) - c; ASSERT_ALWAYS(e == 12);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_21 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <__gmp_expr<mpz_t, T>, mpz_class, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
signed int d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a - d) * b + c; ASSERT_ALWAYS(e == -5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
signed int d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a - d) * b - c; ASSERT_ALWAYS(e == -13);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_22 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <__gmp_expr<mpz_t, T>, U, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
unsigned int c = 4, d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a + c) * d + b; ASSERT_ALWAYS(e == 33);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
unsigned int c = 4, d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = (a + c) * d - b; ASSERT_ALWAYS(e == 27);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_23 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <T, __gmp_expr<mpz_t, U>, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
double c = 4.0, d = 5.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = c * (a + d) + b; ASSERT_ALWAYS(e == 31);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
double c = 4.0, d = 5.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = c * (a + d) - b; ASSERT_ALWAYS(e == 25);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_24 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <__gmp_expr<mpz_t, T>, __gmp_expr<mpz_t, U>, Op1> >, mpz_class, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
signed int d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a - d) * (b + e) + c; ASSERT_ALWAYS(f == -23);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
signed int d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a - d) * (b + e) - c; ASSERT_ALWAYS(f == -31);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_25 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_class, mpz_class, Op1> >, __gmp_expr<mpz_t, T>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
unsigned int d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a * b + (c - d); ASSERT_ALWAYS(e == 5);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
unsigned int d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a * b - (c - d); ASSERT_ALWAYS(e == 7);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_26 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_class, T, Op1> >, __gmp_expr<mpz_t, U>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
double c = 4.0, d = 5.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a * c + (b + d); ASSERT_ALWAYS(e == 16);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
double c = 4.0, d = 5.0;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = a * c - (b + d); ASSERT_ALWAYS(e == 0);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_27 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <T, mpz_class, Op1> >, __gmp_expr<mpz_t, U>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
signed int c = 4, d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = c * a + (b - d); ASSERT_ALWAYS(e == 6);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
signed int c = 4, d = 5;
|
|
Packit |
5c3484 |
mpz_class e;
|
|
Packit |
5c3484 |
e = c * a - (b - d); ASSERT_ALWAYS(e == 10);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_28 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <mpz_class, __gmp_expr<mpz_t, T>, Op1> >, __gmp_expr<mpz_t, U>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
unsigned int d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = a * (b - d) + (c + e); ASSERT_ALWAYS(f == 6);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
unsigned int d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = a * (b - d) - (c + e); ASSERT_ALWAYS(f == -14);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_29 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <__gmp_expr<mpz_t, T>, mpz_class, Op1> >, __gmp_expr<mpz_t, U>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
double d = 5.0, e = 6.0;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + d) * b + (c - e); ASSERT_ALWAYS(f == 19);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
double d = 5.0, e = 6.0;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + d) * b - (c - e); ASSERT_ALWAYS(f == 23);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_30 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class V, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <__gmp_expr<mpz_t, T>, U, Op1> >, __gmp_expr<mpz_t, V>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
signed int c = 4, d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + c) * d + (b + e); ASSERT_ALWAYS(f == 39);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
signed int c = 4, d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = (a + c) * d - (b + e); ASSERT_ALWAYS(f == 21);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_31 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class V, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <T, __gmp_expr<mpz_t, U>, Op1> >, __gmp_expr<mpz_t, V>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
unsigned int c = 4, d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = c * (a + d) + (b - e); ASSERT_ALWAYS(f == 25);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3);
|
|
Packit |
5c3484 |
unsigned int c = 4, d = 5, e = 6;
|
|
Packit |
5c3484 |
mpz_class f;
|
|
Packit |
5c3484 |
f = c * (a + d) - (b - e); ASSERT_ALWAYS(f == 31);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
static void
|
|
Packit |
5c3484 |
check_mpz_32 (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// template <class T, class U, class V, class Op1, class Op2>
|
|
Packit |
5c3484 |
// __gmp_expr
|
|
Packit |
5c3484 |
// <__gmp_expr<mpz_t, T>, __gmp_expr<mpz_t, U>, Op1> >,
|
|
Packit |
5c3484 |
// __gmp_expr<mpz_t, V>, Op2> >
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
double d = 5.0, e = 6.0, f = 7.0;
|
|
Packit |
5c3484 |
mpz_class g;
|
|
Packit |
5c3484 |
g = (a + d) * (b - e) + (c + f); ASSERT_ALWAYS(g == -10);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_class a(2), b(3), c(4);
|
|
Packit |
5c3484 |
double d = 5.0, e = 6.0, f = 7.0;
|
|
Packit |
5c3484 |
mpz_class g;
|
|
Packit |
5c3484 |
g = (a + d) * (b - e) - (c + f); ASSERT_ALWAYS(g == -32);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
void
|
|
Packit |
5c3484 |
check_mpq (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// currently there's no ternary mpq operation
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
void
|
|
Packit |
5c3484 |
check_mpf (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
// currently there's no ternary mpf operation
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
int
|
|
Packit |
5c3484 |
main (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
tests_start();
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
check_mpz_1 ();
|
|
Packit |
5c3484 |
check_mpz_2 ();
|
|
Packit |
5c3484 |
check_mpz_3 ();
|
|
Packit |
5c3484 |
check_mpz_4 ();
|
|
Packit |
5c3484 |
check_mpz_5 ();
|
|
Packit |
5c3484 |
check_mpz_6 ();
|
|
Packit |
5c3484 |
check_mpz_7 ();
|
|
Packit |
5c3484 |
check_mpz_8 ();
|
|
Packit |
5c3484 |
check_mpz_9 ();
|
|
Packit |
5c3484 |
check_mpz_10 ();
|
|
Packit |
5c3484 |
check_mpz_11 ();
|
|
Packit |
5c3484 |
check_mpz_12 ();
|
|
Packit |
5c3484 |
check_mpz_13 ();
|
|
Packit |
5c3484 |
check_mpz_14 ();
|
|
Packit |
5c3484 |
check_mpz_15 ();
|
|
Packit |
5c3484 |
check_mpz_16 ();
|
|
Packit |
5c3484 |
check_mpz_17 ();
|
|
Packit |
5c3484 |
check_mpz_18 ();
|
|
Packit |
5c3484 |
check_mpz_19 ();
|
|
Packit |
5c3484 |
check_mpz_20 ();
|
|
Packit |
5c3484 |
check_mpz_21 ();
|
|
Packit |
5c3484 |
check_mpz_22 ();
|
|
Packit |
5c3484 |
check_mpz_23 ();
|
|
Packit |
5c3484 |
check_mpz_24 ();
|
|
Packit |
5c3484 |
check_mpz_25 ();
|
|
Packit |
5c3484 |
check_mpz_26 ();
|
|
Packit |
5c3484 |
check_mpz_27 ();
|
|
Packit |
5c3484 |
check_mpz_28 ();
|
|
Packit |
5c3484 |
check_mpz_29 ();
|
|
Packit |
5c3484 |
check_mpz_30 ();
|
|
Packit |
5c3484 |
check_mpz_31 ();
|
|
Packit |
5c3484 |
check_mpz_32 ();
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
check_mpq();
|
|
Packit |
5c3484 |
check_mpf();
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
tests_end();
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
}
|