ordered_field_concept.h

// Description: Ordered field concept
// Documentation: algebra.txt

#ifndef PASTELSYS_ORDERED_FIELD_CONCEPT_H
#define PASTELSYS_ORDERED_FIELD_CONCEPT_H

#include "pastel/sys/algebra/ordered_ring_concept.h"
#include "pastel/sys/algebra/field_concept.h"

namespace Pastel
{

    //! An ordered field.
    /*! 
   An ordered field is a field which is also
   an ordered ring.
   */
    struct Ordered_Field_Concept
    : Refines<
        Ordered_Ring_Concept,
        Multiplicative_Group_Concept>
    {
    };

}

#endif