/*
Copyright (C) 2011 Fredrik Johansson
This file is part of FLINT.
FLINT 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 .
*/
#include
#include "flint.h"
#include "fmpz.h"
#include "fmpz_vec.h"
void
_fmpz_vec_height(fmpz_t height, const fmpz * vec, slong len)
{
if (len)
{
slong pos = _fmpz_vec_height_index(vec, len);
fmpz_abs(height, vec + pos);
}
else
fmpz_zero(height);
}