/* 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); }