//////////////////////////////////////////////////////////////////////////////
///
///  @file utils.cpp
///  
///  @author kapela  @date   Sep 2, 2011
//////////////////////////////////////////////////////////////////////////////

// Copyright (C) 2011 by the CAPD Group.
//
// This file constitutes a part of the CAPD library,
// distributed under the terms of the GNU General Public License.
// Consult  http://capd.ii.uj.edu.pl/ for details.

#include "utils.h"
capd::Interval oneThird(){
  return capd::Interval(1.0)/capd::Interval(3.0);
}
