Teuchos_SetScientific.hpp

// @HEADER
// ***********************************************************************
//
//          Tpetra: Templated Linear Algebra Services Package
//                 Copyright (2008) Sandia Corporation
//
// Under the terms of Contract DE-AC04-94AL85000 with Sandia Corporation,
// the U.S. Government retains certain rights in this software.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// 1. Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// 3. Neither the name of the Corporation nor the names of the
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
//
// Questions? Contact Michael A. Heroux (maherou@sandia.gov)
//
// ************************************************************************
// @HEADER

#ifndef TEUCHOS_SET_SCIENTIFIC_HPP
#define TEUCHOS_SET_SCIENTIFIC_HPP

#include <Teuchos_as.hpp>
#include <Teuchos_ScalarTraits.hpp>
#include <string>
#include <ios>

namespace Teuchos {

template<typename Scalar, const bool isFloatingPoint = ! Teuchos::ScalarTraits<Scalar>::isOrdinal>
class SetScientific;


// Partial specialization of SetScientific for floating-point types.
//
// This class currently requires that std::log10() take
// arguments of type Scalar.  This may be relaxed in the future
// if Teuchos::ScalarTraits gets its own log10() method.
template<typename Scalar>
class SetScientific<Scalar, true> {
 public:
  typedef Scalar scalar_type;

  SetScientific(std::ostream& out, int prec = -1):
    out_(out),
    originalFlags_(out.flags()),
    originalPrecision_(out.precision())
  {
    // Print floating-point values in scientific notation.
    out << std::scientific;

    if (prec == -1) prec = Teuchos::SetScientific<Scalar, true>::getDefaultPrecision();

    // Set the number of (decimal) digits after the decimal
    // point to print.
    out.precision(static_cast<std::streamsize>(prec));
  }

  static inline int getDefaultPrecision() {
    typedef Teuchos::ScalarTraits<scalar_type> STS;
    typedef typename STS::magnitudeType magnitude_type;
    typedef Teuchos::ScalarTraits<magnitude_type> STM;

    // We're writing decimal digits, so compute the number of
    // digits we need to get reasonable accuracy when reading
    // values back in.
    //
    // There is actually an algorithm, due to Guy Steele (yes,
    // Java's Guy Steele) et al., for idempotent printing of
    // finite-length floating-point values.  We should actually
    // implement that algorithm, but I don't have time for that
    // now.  Currently, I just print no more than (one decimal
    // digit more than (the number of decimal digits justified
    // by the precision of magnitude_type)).
    //
    // We need to use STM's log10() rather than (say) std::log10
    // here, because STM::base() returns a magnitude_type, not
    // one of C++'s standard integer types.
    const magnitude_type numDecDigits = STM::t() * STM::log10 (STM::base());

    // Round and add one.  The cast to int should not overflow
    // unless STM::t() is _extremely_ large, so we don't need to
    // check for that case here.
    const magnitude_type one = STM::one();
    const magnitude_type two = one + one;
    // Cast from magnitude_type to int, since std::ostream's
    // precision() method expects an int input.
    const int prec = 1 +
      Teuchos::as<int>(magnitude_type((two*numDecDigits + one) / two));
    return prec;
  }

  ~SetScientific () {
    out_.flags (originalFlags_);
  }

 private:
   std::ostream& out_;

   std::ios_base::fmtflags originalFlags_;

   std::streamsize originalPrecision_;
};

template<class Scalar>
class SetScientific<Scalar, false> {
 public:
  typedef Scalar scalar_type;
  SetScientific(std::ostream&) {}
  ~SetScientific() {}
};

} // namespace Teuchos

#endif // TEUCHOS_SET_SCIENTIFIC_HPP