FRDFIT.h

Go to the documentation of this file.
00001 // Copyright (C) 2002 Dmitry Bormotov
00002 
00003 // Contents: Definition of class FRDFIT
00004 //
00005 // Principal Authors: Dmitry Bormotov
00006 //
00007 // Status: in progress
00008 //
00009 // Description: Fully reduced Dehornoy form which uses index tables
00010 //
00011 // Revision History:
00012 //
00013 
00014 #ifndef FRDFIT_h_
00015 #define FRDFIT_h_
00016 
00017 #include "Word.h"
00018 #include "DDL.h"
00019 
00020 //typedef Word CAForm1;
00021 //typedef Word CFGWord1;
00022 
00023 // ------------------------ FRDFIT -------------------------- //
00024 
00025 
00026 class FRDFIT {
00027   
00028 public:
00029 
00031   //                                                   //
00032   //  Constructors                                     //
00033   //                                                   //
00035 
00036   FRDFIT( int n ) : theGroupGens(n) { }
00037 
00038 
00040   //                                                   //
00041   //  Public functions                                 //
00042   //                                                   //
00044 
00045     Word compute( const Word&, int& numOfHandles );
00046   // given a word, compute the Dehornoy form for it. The fucntion
00047   // returns CFGWord through class Form interface
00048 
00049  
00050 private:
00051 
00053   //                                                   //
00054   //  Private functions                                //
00055   //                                                   //
00057 
00058   void pp( const DDL& L, DDLNode* p1, DDLNode* p2 );
00059   // pretty print the steps of Dehornoy algorithm - shows handles
00060 
00061 
00063   //                                                   //
00064   //  Data Members                                     //
00065   //                                                   //
00067 
00068     int  theGroupGens;
00069 };
00070 
00071 #endif