Confluence (abstract Rewriting) - Examples of Confluent Systems

Examples of Confluent Systems

  • Reduction of polynomials modulo an ideal is a confluent rewrite system provided one works with a Gröbner basis.
  • Matsumoto's theorem follows from confluence of the braid relations.

Read more about this topic:  Confluence (abstract Rewriting)

Famous quotes containing the words examples of, examples and/or systems:

    It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.
    —G.C. (Georg Christoph)

    No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.
    André Breton (1896–1966)

    Our little systems have their day;
    They have their day and cease to be:
    They are but broken lights of thee,
    And thou, O Lord, art more than they.
    Alfred Tennyson (1809–1892)