1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/*1:*/
#line 38 "./permutation.hweb"
#ifndef PERMUTATION_H
#define PERMUTATION_H
#include "int_sequence.h"
#include "equivalence.h"
#include <vector>
/*2:*/
#line 65 "./permutation.hweb"
class Permutation{
protected:
IntSequence permap;
public:
Permutation(int len)
:permap(len){for(int i= 0;i<len;i++)permap[i]= i;}
Permutation(const Equivalence&e)
:permap(e.getN()){e.trace(permap);}
Permutation(const Equivalence&e,const Permutation&per)
:permap(e.getN()){e.trace(permap,per);}
Permutation(const IntSequence&s)
:permap(s.size()){computeSortingMap(s);};
Permutation(const Permutation&p)
:permap(p.permap){}
Permutation(const Permutation&p1,const Permutation&p2)
:permap(p2.permap){p1.apply(permap);}
Permutation(const Permutation&p,int i)
:permap(p.size(),p.permap,i){}
const Permutation&operator= (const Permutation&p)
{permap= p.permap;return*this;}
bool operator==(const Permutation&p)
{return permap==p.permap;}
int size()const
{return permap.size();}
void print()const
{permap.print();}
void apply(const IntSequence&src,IntSequence&tar)const;
void apply(IntSequence&tar)const;
void inverse();
int tailIdentity()const;
const IntSequence&getMap()const
{return permap;}
IntSequence&getMap()
{return permap;}
protected:
void computeSortingMap(const IntSequence&s);
};
/*:2*/
#line 47 "./permutation.hweb"
;
/*3:*/
#line 117 "./permutation.hweb"
class PermutationSet{
int order;
int size;
const Permutation**const pers;
public:
PermutationSet();
PermutationSet(const PermutationSet&ps,int n);
~PermutationSet();
int getNum()const
{return size;}
const Permutation&get(int i)const
{return*(pers[i]);}
vector<const Permutation*> getPreserving(const IntSequence&s)const;
};
/*:3*/
#line 48 "./permutation.hweb"
;
/*4:*/
#line 137 "./permutation.hweb"
class PermutationBundle{
vector<PermutationSet*> bundle;
public:
PermutationBundle(int nmax);
~PermutationBundle();
const PermutationSet&get(int n)const;
void generateUpTo(int nmax);
};
/*:4*/
#line 49 "./permutation.hweb"
;
#endif
/*:1*/
|
