2016-04-26 17:20:05 +02:00
|
|
|
/*
|
2014-05-09 16:50:01 +02:00
|
|
|
Copyright (C) 2012 Fredrik Johansson
|
|
|
|
|
2016-04-26 17:20:05 +02:00
|
|
|
This file is part of Arb.
|
|
|
|
|
|
|
|
Arb is free software: you can redistribute it and/or modify it under
|
|
|
|
the terms of the GNU Lesser General Public License (LGPL) as published
|
|
|
|
by the Free Software Foundation; either version 2.1 of the License, or
|
|
|
|
(at your option) any later version. See <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
2014-05-09 16:50:01 +02:00
|
|
|
|
|
|
|
#include "arf.h"
|
|
|
|
|
|
|
|
void
|
|
|
|
arf_get_fmpq(fmpq_t y, const arf_t x)
|
|
|
|
{
|
|
|
|
if (arf_is_zero(x))
|
|
|
|
{
|
|
|
|
fmpq_zero(y);
|
|
|
|
}
|
|
|
|
else if (arf_is_special(x) || !ARF_IS_LAGOM(x))
|
|
|
|
{
|
2015-11-06 16:17:27 +00:00
|
|
|
flint_printf("exception: arf_get_fmpq: cannot convert to rational\n");
|
2017-02-28 16:50:03 +01:00
|
|
|
flint_abort();
|
2014-05-09 16:50:01 +02:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
fmpz_t man, exp;
|
2015-11-05 18:00:39 +00:00
|
|
|
slong e;
|
2014-05-09 16:50:01 +02:00
|
|
|
|
|
|
|
fmpz_init(man);
|
|
|
|
fmpz_init(exp);
|
|
|
|
|
|
|
|
arf_get_fmpz_2exp(man, exp, x);
|
|
|
|
|
|
|
|
e = *exp;
|
|
|
|
|
2015-11-06 15:34:19 +00:00
|
|
|
fmpz_set_ui(fmpq_denref(y), UWORD(1));
|
2014-05-09 16:50:01 +02:00
|
|
|
|
|
|
|
if (e >= 0)
|
|
|
|
{
|
|
|
|
fmpz_mul_2exp(fmpq_numref(y), man, e);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
fmpz_set(fmpq_numref(y), man);
|
|
|
|
fmpz_mul_2exp(fmpq_denref(y), fmpq_denref(y), -e);
|
|
|
|
}
|
|
|
|
|
|
|
|
fmpz_clear(man);
|
|
|
|
fmpz_clear(exp);
|
|
|
|
}
|
|
|
|
}
|