library/algebra/group/Concepts.hpp

• View this file on GitHub
• Last update: 2025-11-24 18:49:07+09:00
• Include: #include "library/algebra/group/Concepts.hpp"

Depends on

• build/pch/stdc++.hpp
• library/algebra/monoid/Concepts.hpp

Required by

• library/datastructure/CumulativeGroup.hpp
• library/datastructure/FenwickTree.hpp
• library/datastructure/GroupWaveletMatrix.hpp
• library/math/FactorialNumberSystem.hpp

Verified with

• test/AOJ/DSL_2_B.test.cpp
• test/library-checker/DataStructure/PointAddRectangleSum.test.cpp
• test/library-checker/DataStructure/RectangleSum.test.cpp
• test/yukicoder/924.test.cpp

Code

#include "library/algebra/monoid/Concepts.hpp"

#pragma once

template <class G>
concept group = monoid<G> and requires(typename G::value_type x) {
    { G::inverse(x) } -> std::same_as<typename G::value_type>;
};

// todo : able_group

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.14.0/x64/lib/python3.14/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.14.0/x64/lib/python3.14/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
    ~~~~~~~~~~~~~~^^^^^^
  File "/opt/hostedtoolcache/Python/3.14.0/x64/lib/python3.14/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 312, in update
    raise BundleErrorAt(path, i + 1, "#pragma once found in a non-first line")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: library/algebra/group/Concepts.hpp: line 3: #pragma once found in a non-first line

Back to top page