hasCoxeterPresentation

P97236
predicate

Indicates that a group or structure is defined or characterized by a Coxeter presentation, i.e., by generators subject to relations determined by a Coxeter matrix or Coxeter diagram.

All labels observed (1)

Label Occurrences
hasCoxeterPresentation canonical 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: hasCoxeterPresentation
Generated description
Indicates that a group or structure is defined or characterized by a Coxeter presentation, i.e., by generators subject to relations determined by a Coxeter matrix or Coxeter diagram.

Sample triples (2)

Subject Object
(2,3,7) triangle group ⟨ r1,r2,r3 | r1² = r2² = r3² = (r1r2)² = (r2r3)³ = (r1r3)⁷ = 1 ⟩
symmetric group S5 generated by s1,s2,s3,s4 with (si)^2=1,(si sj)^3=1 for |i−j|=1,(si sj)^2=1 for |i−j|>1