BaumslagGersten.h

Go to the documentation of this file.
00001 /*
00002  * BaumslagGersten.h
00003  *
00004  *  Created on: 07.04.2011
00005  *      Author: Juern
00006  *
00007  * Solving the WP in the Baumslag-Gersten group
00008  * BG(1,2)=< a,t,b | a^t=a^2, a^b=t > (where
00009  * x^y = yxy^-1).
00010  *
00011  * There are two functions expecting different forms
00012  * of input. The first one expects the input to be
00013  * already in compressed form. The second one is more
00014  * classical and takes a mere string.
00015  */
00016 
00017 #ifndef BAUMSLAGGERSTEN_H_
00018 #define BAUMSLAGGERSTEN_H_
00019 
00020 namespace BG
00021 {
00022 
00023 using namespace PC;
00024 
00041 struct BGMonomial
00042 {
00043         enum {BSat, b}  type;
00044         //union
00045         //{
00046                 Marking U, X, K;        // if type == BSat
00047                 int             expb;           // if type == b (must be +1 or -1)
00048         //};
00049 };
00050 
00051 bool solveWPinBG(PowerCircuit* pc, std::list<BGMonomial>& input);
00052 
00053 
00060 bool solveWPinBG(PowerCircuit* pc, std::string input);
00061 
00062 }
00063 
00064 #endif /* BAUMSLAGGERSTEN_H_ */