permlib 0.2.9
Library for permutation computations
deterministic_base_transpose.h
1// ---------------------------------------------------------------------------
2//
3// This file is part of PermLib.
4//
5// Copyright (c) 2009-2011 Thomas Rehn <thomas@carmen76.de>
6// All rights reserved.
7//
8// Redistribution and use in source and binary forms, with or without
9// modification, are permitted provided that the following conditions
10// are met:
11// 1. Redistributions of source code must retain the above copyright
12// notice, this list of conditions and the following disclaimer.
13// 2. Redistributions in binary form must reproduce the above copyright
14// notice, this list of conditions and the following disclaimer in the
15// documentation and/or other materials provided with the distribution.
16// 3. The name of the author may not be used to endorse or promote products
17// derived from this software without specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20// IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21// OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22// IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24// NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28// THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29//
30// ---------------------------------------------------------------------------
31
32
33#ifndef DETERMINISTICBASETRANSPOSE_H_
34#define DETERMINISTICBASETRANSPOSE_H_
35
36#include <permlib/change/base_transpose.h>
37#include <permlib/generator/schreier_generator.h>
38
39namespace permlib {
40
42
45template<class PERM, class TRANS>
46class DeterministicBaseTranspose : public BaseTranspose<PERM,TRANS> {
47protected:
48 typedef typename BaseTranspose<PERM,TRANS>::PERMlist PERMlist;
49
50 virtual Generator<PERM>* setupGenerator(BSGS<PERM,TRANS> &bsgs, unsigned int i, const PERMlist &S_i, const TRANS &U_i) const;
51};
52
53//
54// ---- IMPLEMENTATION
55//
56
57template<class PERM, class TRANS>
58Generator<PERM>* DeterministicBaseTranspose<PERM,TRANS>::setupGenerator(BSGS<PERM,TRANS> &bsgs, unsigned int i, const PERMlist &S_i, const TRANS &U_i) const {
59 return new SchreierGenerator<PERM,TRANS>(&U_i, S_i.begin(), S_i.end());
60}
61
62}
63
64#endif // -- DETERMINISTICBASETRANSPOSE_H_
abstract base class for base transposition
Definition: base_transpose.h:50
implementation of a deterministic base transposition algorithm
Definition: deterministic_base_transpose.h:46
virtual Generator< PERM > * setupGenerator(BSGS< PERM, TRANS > &bsgs, unsigned int i, const PERMlist &S_i, const TRANS &U_i) const
initializes the specific Schreier Generator that is used for the BaseTranpose implementation
Definition: deterministic_base_transpose.h:58
interface for group element generators
Definition: generator.h:40
stateful generator of Schreier generators
Definition: schreier_generator.h:55
Represents a base and strong generating set (BSGS)
Definition: bsgs.h:89