Generating polyhedral convex cones from contact graphs for the identification of assembly process states

Author(s):  
H. Mosemann ◽  
T. Bierwirth ◽  
F. Wahl ◽  
S.A. Stoeter
2006 ◽  
Vol 81 (1) ◽  
pp. 63-96 ◽  
Author(s):  
F. Pastijn

AbstractTo any given balanced semigroup identity U ≈ W a number of polyhedral convex cones are associated. In this setting an algorithm is proposed which determines whether the given identity is satisfied in the bicylic semigroup or in the semigroup . The semigroups BC and E deserve our attention because a semigroup variety contains a simple semigroup which is not completely simple (respectively, which is idempotent free) if and only if this variety contains BC (respectively, E). Therefore, for a given identity U ≈ W it is decidable whether or not the variety determined by U ≈ W contains a simple semigroup which is not completely simple (respectively, which is idempotent free).


Sign in / Sign up

Export Citation Format

Share Document