get_trivial_monoid()

Monoid * Monoid::get_trivial_monoid ( )

static

Definition at line 54 of file monoid.cpp.

{
  if (trivial_monoid == nullptr) trivial_monoid = new Monoid;
 
  return trivial_monoid;
}

References Monoid(), and trivial_monoid.

Referenced by PolyRing::make_trivial_ZZ_poly_ring(), rawTrivialMonoid(), and set_trivial_monoid_degree_ring().