BG::BGMonomial Struct Reference

#include <BaumslagGersten.h>

Public Types
enum	{ BSat, b }
Public Attributes
enum BG::BGMonomial:: { ... }	type
Marking	U
Marking	X
Marking	K
int	expb

Detailed Description

This data type is used to represent the input of the procedure solving the word problem in BG(1,2). A word is given as a sequence of BGMonimials, i.e., letters b, b^-1 and elements of the Baumslag-Solitar group BS(1,2)=< a,t | a^t=a^2 >, where the latter are represented by triple markings (U,X,K) in a common power circuit, where: i) all U, X, and K must have disjoint supports, ii) all U must be sources, iii) all incoming arcs to X and K must originate in the correspoding U, and iv) arcs from U to X must have the opposite sign of the correspoding node-signs in X.

Definition at line 41 of file BaumslagGersten.h.