cpp/number/ratio.hpp

• View this file on GitHub
• Last update: 2024-10-19 16:46:12+09:00
• Include: #include "cpp/number/ratio.hpp"

Depends on

• 共通ヘッダー (cpp/template/small_template.hpp)

Code

#pragma once
#include "template/small_template.hpp"

template <typename T = ll> class Ratio {
  // n / d
  T n, d;

  void normalize() {
    if (n == 0) {
      d = 1;
      return;
    }
    if (d < 0) {
      n = -n;
      d = -d;
    }
    T g = gcd(n, d);
    n /= g;
    d /= g;
  }

public:
  Ratio(T nominator, T denominator) : n(nominator), d(denominator) {
    normalize();
  }
  Ratio(T nominator) : n(nominator), d(1) {}

  strong_ordering operator<=>(const Ratio &r) const {
    T g = gcd(d, r.d);
    return r.d / g * n <=> d / g * r.n;
  }
  bool operator==(const Ratio &r) const = default;

  Ratio operator++(int) {
    Ratio r = *this;
    ++*this;
    return r;
  }
  Ratio &operator++() {
    n += d;
    return *this;
  }
  Ratio operator--(int) {
    Ratio r = *this;
    --*this;
    return r;
  }
  Ratio &operator--() {
    n -= d;
    return *this;
  }
  Ratio &operator+=(const Ratio &r) {
    T l = lcm(d, r.d);
    n = l / d * n + l / r.d * r.n;
    d = l;
    normalize();
    return *this;
  }
  Ratio &operator-=(const Ratio &r) {
    T l = lcm(d, r.d);
    n = l / d * n - l / r.d * r.n;
    d = l;
    normalize();
    return *this;
  }
  Ratio &operator*=(const Ratio &r) {
    T g1 = gcd(n, r.d);
    T g2 = gcd(r.n, d);
    n = n / g1 * (r.n / g2);
    d = d / g2 * (r.d / g1);
    return *this;
  }
  Ratio &operator/=(const Ratio &r) {
    assert(r.n != 0);
    T g1 = gcd(n, r.n);
    T g2 = gcd(d, r.d);
    n = n / g1 * (r.d / g2);
    d = d / g2 * (r.n / g1);
    return *this;
  }
  Ratio operator+() const { return *this; }
  Ratio operator-() const { return Ratio(-n, d); }

  friend Ratio operator+(const Ratio &a, const Ratio &b) {
    return Ratio(a) += b;
  }
  friend Ratio operator-(const Ratio &a, const Ratio &b) {
    return Ratio(a) -= b;
  }
  friend Ratio operator*(const Ratio &a, const Ratio &b) {
    return Ratio(a) *= b;
  }
  friend Ratio operator/(const Ratio &a, const Ratio &b) {
    return Ratio(a) /= b;
  }
  friend Ratio operator+(const Ratio &a, const T &b) { return Ratio(a) += b; }
  friend Ratio operator-(const Ratio &a, const T &b) { return Ratio(a) -= b; }
  friend Ratio operator*(const Ratio &a, const T &b) { return Ratio(a) *= b; }
  friend Ratio operator/(const Ratio &a, const T &b) { return Ratio(a) /= b; }
  friend Ratio operator+(const T &a, const Ratio &b) { return a += b; }
  friend Ratio operator-(const T &a, const Ratio &b) { return a -= b; }
  friend Ratio operator*(const T &a, const Ratio &b) { return a *= b; }
  friend Ratio operator/(const T &a, const Ratio &b) { return a /= b; }

  friend istream &operator>>(istream &is, Ratio &r) {
    is >> r.n >> r.d;
    return is;
  }
  friend ostream &operator<<(ostream &os, const Ratio &r) {
    os << r.n;
    if (r.d > 1) {
      os << '/' << r.d;
    }
    return os;
  }
};

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 260, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: template/small_template.hpp: line -1: no such header

Back to top page