// Copyright (c) 2006-2008 Max-Planck-Institute Saarbruecken (Germany).
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org)
//
// $URL: https://github.com/CGAL/cgal/blob/v5.5.1/Modular_arithmetic/include/CGAL/Residue.h $
// $Id: Residue.h 26355e2 2020-06-25T12:31:21+02:00 Mael Rouxel-Labbé
// SPDX-License-Identifier: LGPL-3.0-or-later OR LicenseRef-Commercial
//
// Author(s)     : Michael Hemmer

/*! \file CGAL/Residue.h
    \brief defines the class CGAL::Residue and CGAL::Modular_traits.

    Provides the \c CGAL::Modular_traits specialization for the build in number
    types.
*/

#ifndef CGAL_RESIDUE_H
#define CGAL_RESIDUE_H 1

#include <CGAL/Modular_arithmetic/Residue_type.h>
#include <CGAL/Coercion_traits.h>
#include <CGAL/int.h>
#include <CGAL/Algebraic_structure_traits.h>

namespace CGAL {


/*! \brief Specialization of CGAL::NT_traits for \c Residue, which is a model
 * of the \c Field concept.
 * \ingroup CGAL_NT_traits_spec
 */
template <>
class Algebraic_structure_traits<Residue>
    : public Algebraic_structure_traits_base< Residue ,Field_tag >{
public:
    typedef CGAL::Tag_true Is_exact;
};

CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short,CGAL::Residue)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int  ,CGAL::Residue)
CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long ,CGAL::Residue)

} //namespace CGAL

#endif //#ifnedef CGAL_RESIDUE_H 1

