Home
last modified time | relevance | path

Searched refs:TRANSVERSAL (Results 1 – 25 of 62) sorted by relevance

123

/dports/math/polymake/polymake-4.5/external/permlib/test/
H A Dtest-search-setstabilizer.cpp62 template<class TRANSVERSAL>
67 BSGS<PERM, TRANSVERSAL> bsgs = ConstructDeterministic1<PERM, TRANSVERSAL>()(info); in checkStabilizer()
82 classic::SetStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> backtrackSearch(bsgs, 0); in checkStabilizer()
88 …partition::SetStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> partitionBacktrackSearch(bsgs, … in checkStabilizer()
114 template<class TRANSVERSAL>
119 BSGS<PERM, TRANSVERSAL> bsgs = ConstructDeterministic1<PERM, TRANSVERSAL>()(info); in checkSetImage()
147 classic::SetImageSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> backtrackSearch(bsgs, 0); in checkSetImage()
153 partition::SetImageSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> partitionBacktrackSearch(bsgs, 0); in checkSetImage()
233 typedef partition::VectorStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> VecStab; in BOOST_AUTO_TEST_CASE()
377 typedef partition::VectorStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> VecStab; in BOOST_AUTO_TEST_CASE()
[all …]
H A Dtest-abstract-groups.cpp53 template<class TRANSVERSAL>
58 …boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > bsgs(new BSGS<PERM, TRANSVERSAL>(ConstructDeterministi… in checkStabilizerBSGS()
107 template<class TRANSVERSAL>
110 …boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > bsgs(new BSGS<PERM, TRANSVERSAL>(ConstructDeterministi… in checkOrbits()
122 template<class TRANSVERSAL>
125 …boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > bsgs(new BSGS<PERM, TRANSVERSAL>(ConstructDeterministi… in checkOrder()
169 checkOrder<TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
171 checkOrder<TRANSVERSAL>(info_S6_3); in BOOST_AUTO_TEST_CASE()
172 checkOrder<TRANSVERSAL>(info_e6); in BOOST_AUTO_TEST_CASE()
292 typedef TRANSVERSAL::PERMtype PERM; in BOOST_AUTO_TEST_CASE()
[all …]
H A Dtest-export.cpp53 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in testGroup() typedef
55 BSGS<PERM,TRANSVERSAL> bsgs = construct<PERM,TRANSVERSAL>(info); in testGroup()
66 BSGS<PERM,TRANSVERSAL>* bsgsImp = importer.importData(data); in testGroup()
73 BOOST_FOREACH(const TRANSVERSAL& U, bsgsImp->U) { in testGroup()
H A Dtest-api.cpp50 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_trivial); in BOOST_AUTO_TEST_CASE()
59 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
96 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
137 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
151 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
H A Dtest-search-matrixauto.cpp86 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in BOOST_AUTO_TEST_CASE() typedef
113 partition::MatrixAutomorphismSearch<SymmetricGroup<PERM>, TRANSVERSAL> mas(s_n, false); in BOOST_AUTO_TEST_CASE()
116 BSGS<PERM,TRANSVERSAL> K(n); in BOOST_AUTO_TEST_CASE()
/dports/math/permlib/PermLib-0.2.9/test/
H A Dtest-search-setstabilizer.cpp62 template<class TRANSVERSAL>
67 BSGS<PERM, TRANSVERSAL> bsgs = ConstructDeterministic1<PERM, TRANSVERSAL>()(info); in checkStabilizer()
82 classic::SetStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> backtrackSearch(bsgs, 0); in checkStabilizer()
88 …partition::SetStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> partitionBacktrackSearch(bsgs, … in checkStabilizer()
114 template<class TRANSVERSAL>
119 BSGS<PERM, TRANSVERSAL> bsgs = ConstructDeterministic1<PERM, TRANSVERSAL>()(info); in checkSetImage()
147 classic::SetImageSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> backtrackSearch(bsgs, 0); in checkSetImage()
153 partition::SetImageSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> partitionBacktrackSearch(bsgs, 0); in checkSetImage()
233 typedef partition::VectorStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> VecStab; in BOOST_AUTO_TEST_CASE()
377 typedef partition::VectorStabilizerSearch<BSGS<PERM,TRANSVERSAL>,TRANSVERSAL> VecStab; in BOOST_AUTO_TEST_CASE()
[all …]
H A Dtest-abstract-groups.cpp53 template<class TRANSVERSAL>
58 …boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > bsgs(new BSGS<PERM, TRANSVERSAL>(ConstructDeterministi… in checkStabilizerBSGS()
107 template<class TRANSVERSAL>
110 …boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > bsgs(new BSGS<PERM, TRANSVERSAL>(ConstructDeterministi… in checkOrbits()
122 template<class TRANSVERSAL>
125 …boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > bsgs(new BSGS<PERM, TRANSVERSAL>(ConstructDeterministi… in checkOrder()
169 checkOrder<TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
171 checkOrder<TRANSVERSAL>(info_S6_3); in BOOST_AUTO_TEST_CASE()
172 checkOrder<TRANSVERSAL>(info_e6); in BOOST_AUTO_TEST_CASE()
292 typedef TRANSVERSAL::PERMtype PERM; in BOOST_AUTO_TEST_CASE()
[all …]
H A Dtest-export.cpp53 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in testGroup() typedef
55 BSGS<PERM,TRANSVERSAL> bsgs = construct<PERM,TRANSVERSAL>(info); in testGroup()
66 BSGS<PERM,TRANSVERSAL>* bsgsImp = importer.importData(data); in testGroup()
73 BOOST_FOREACH(const TRANSVERSAL& U, bsgsImp->U) { in testGroup()
H A Dtest-api.cpp50 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_trivial); in BOOST_AUTO_TEST_CASE()
59 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
96 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
137 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
151 const PermutationGroup group = construct<PERMUTATION,TRANSVERSAL>(info_1997); in BOOST_AUTO_TEST_CASE()
H A Dtest-search-matrixauto.cpp86 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in BOOST_AUTO_TEST_CASE() typedef
113 partition::MatrixAutomorphismSearch<SymmetricGroup<PERM>, TRANSVERSAL> mas(s_n, false); in BOOST_AUTO_TEST_CASE()
116 BSGS<PERM,TRANSVERSAL> K(n); in BOOST_AUTO_TEST_CASE()
/dports/math/polymake/polymake-4.5/external/permlib/include/permlib/
H A Dpermlib_api.h58 typedef SchreierTreeTransversal<PERMUTATION> TRANSVERSAL; typedef
59 typedef BSGS<PERMUTATION,TRANSVERSAL> PermutationGroup;
94 ConjugatingBaseChange<PERMUTATION,TRANSVERSAL, in setStabilizer()
95 RandomBaseTranspose<PERMUTATION,TRANSVERSAL> > baseChange(copy); in setStabilizer()
99 classic::SetStabilizerSearch<BSGS<PERMUTATION,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(copy, 0); in setStabilizer()
117 ConjugatingBaseChange<PERMUTATION,TRANSVERSAL, in setImage()
118 RandomBaseTranspose<PERMUTATION,TRANSVERSAL> > baseChange(copy); in setImage()
122 classic::SetImageSearch<BSGS<PERMUTATION,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(copy, 0); in setImage()
156 ConjugatingBaseChange<PERMUTATION,TRANSVERSAL,
161 …partition::VectorStabilizerSearch<BSGS<PERMUTATION,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(copy…
[all …]
/dports/math/permlib/PermLib-0.2.9/include/permlib/
H A Dpermlib_api.h58 typedef SchreierTreeTransversal<PERMUTATION> TRANSVERSAL; typedef
59 typedef BSGS<PERMUTATION,TRANSVERSAL> PermutationGroup;
94 ConjugatingBaseChange<PERMUTATION,TRANSVERSAL, in setStabilizer()
95 RandomBaseTranspose<PERMUTATION,TRANSVERSAL> > baseChange(copy); in setStabilizer()
99 classic::SetStabilizerSearch<BSGS<PERMUTATION,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(copy, 0); in setStabilizer()
117 ConjugatingBaseChange<PERMUTATION,TRANSVERSAL, in setImage()
118 RandomBaseTranspose<PERMUTATION,TRANSVERSAL> > baseChange(copy); in setImage()
122 classic::SetImageSearch<BSGS<PERMUTATION,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(copy, 0); in setImage()
156 ConjugatingBaseChange<PERMUTATION,TRANSVERSAL,
161 …partition::VectorStabilizerSearch<BSGS<PERMUTATION,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(copy…
[all …]
/dports/math/polymake/polymake-4.5/external/permlib/example/
H A Dexample.cpp49 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in main() typedef
62 SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in main()
63 BSGS<PERM, TRANSVERSAL> bsgs = schreierSims.construct(groupGenerators.begin(), in main()
73 ConjugatingBaseChange<PERM,TRANSVERSAL, in main()
74 RandomBaseTranspose<PERM,TRANSVERSAL> > baseChange(bsgs); in main()
78 classic::SetStabilizerSearch<BSGS<PERM,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(bsgs, 0); in main()
82 BSGS<PERM,TRANSVERSAL> stabilizer(n); in main()
H A Dexample-coset.cpp50 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in main() typedef
63 SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in main()
64 BSGS<PERM, TRANSVERSAL> bsgs = schreierSims.construct(groupGenerators.begin(), in main()
74 ConjugatingBaseChange<PERM,TRANSVERSAL, in main()
75 RandomBaseTranspose<PERM,TRANSVERSAL> > baseChange(bsgs); in main()
79 classic::SetImageSearch<BSGS<PERM,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(bsgs, 0); in main()
H A Dexample-smallgeneratingset.cpp49 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in main() typedef
66 SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in main()
67 …BSGS<PERM, TRANSVERSAL> bsgs = schreierSims.construct(groupGenerators.begin(), groupGenerators.end… in main()
90 …RandomSchreierSimsConstruction<PERM, TRANSVERSAL> randomConstruction(n, new BSGSRandomGenerator<PE… in main()
92 …BSGS<PERM, TRANSVERSAL> subgroupBSGS = randomConstruction.construct(subgroupGenerators.begin(), su… in main()
/dports/math/permlib/PermLib-0.2.9/example/
H A Dexample.cpp49 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in main() typedef
62 SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in main()
63 BSGS<PERM, TRANSVERSAL> bsgs = schreierSims.construct(groupGenerators.begin(), in main()
73 ConjugatingBaseChange<PERM,TRANSVERSAL, in main()
74 RandomBaseTranspose<PERM,TRANSVERSAL> > baseChange(bsgs); in main()
78 classic::SetStabilizerSearch<BSGS<PERM,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(bsgs, 0); in main()
82 BSGS<PERM,TRANSVERSAL> stabilizer(n); in main()
H A Dexample-coset.cpp50 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in main() typedef
63 SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in main()
64 BSGS<PERM, TRANSVERSAL> bsgs = schreierSims.construct(groupGenerators.begin(), in main()
74 ConjugatingBaseChange<PERM,TRANSVERSAL, in main()
75 RandomBaseTranspose<PERM,TRANSVERSAL> > baseChange(bsgs); in main()
79 classic::SetImageSearch<BSGS<PERM,TRANSVERSAL>, TRANSVERSAL> backtrackSearch(bsgs, 0); in main()
H A Dexample-smallgeneratingset.cpp49 typedef SchreierTreeTransversal<PERM> TRANSVERSAL; in main() typedef
66 SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in main()
67 …BSGS<PERM, TRANSVERSAL> bsgs = schreierSims.construct(groupGenerators.begin(), groupGenerators.end… in main()
90 …RandomSchreierSimsConstruction<PERM, TRANSVERSAL> randomConstruction(n, new BSGSRandomGenerator<PE… in main()
92 …BSGS<PERM, TRANSVERSAL> subgroupBSGS = randomConstruction.construct(subgroupGenerators.begin(), su… in main()
/dports/math/polymake/polymake-4.5/external/permlib/include/permlib/test/
H A Dtype_recognition.h58 template<class PERM, class TRANSVERSAL = SchreierTreeTransversal<PERM> >
62 typedef boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > PermutationGroupPtr;
111 template<class PERM, class TRANSVERSAL>
117 template<class PERM, class TRANSVERSAL>
123 template<class PERM, class TRANSVERSAL>
124 GroupType* TypeRecognition<PERM,TRANSVERSAL>::analyze(bool allowRecursiveCalls) { in analyze()
126 SchreierSimsConstruction<PERM,TRANSVERSAL> ssc(m_n); in analyze()
152 BSGSGenerator<TRANSVERSAL> bsgsGen(m_bsgs->U); in analyze()
262 template<class PERM, class TRANSVERSAL>
263 GroupType* TypeRecognition<PERM,TRANSVERSAL>::checkOrbitActions() { in checkOrbitActions()
[all …]
/dports/math/permlib/PermLib-0.2.9/include/permlib/test/
H A Dtype_recognition.h58 template<class PERM, class TRANSVERSAL = SchreierTreeTransversal<PERM> >
62 typedef boost::shared_ptr<BSGS<PERM, TRANSVERSAL> > PermutationGroupPtr;
111 template<class PERM, class TRANSVERSAL>
117 template<class PERM, class TRANSVERSAL>
123 template<class PERM, class TRANSVERSAL>
124 GroupType* TypeRecognition<PERM,TRANSVERSAL>::analyze(bool allowRecursiveCalls) { in analyze()
126 SchreierSimsConstruction<PERM,TRANSVERSAL> ssc(m_n); in analyze()
152 BSGSGenerator<TRANSVERSAL> bsgsGen(m_bsgs->U); in analyze()
262 template<class PERM, class TRANSVERSAL>
263 GroupType* TypeRecognition<PERM,TRANSVERSAL>::checkOrbitActions() { in checkOrbitActions()
[all …]
/dports/math/polymake/polymake-4.5/bundled/sympol/external/sympol/sympol/
H A Dsymmetrycomputation.cpp79 ConjugatingBaseChange<PERM,TRANSVERSAL, in equivalentFaces()
80 DeterministicBaseTranspose<PERM,TRANSVERSAL> > baseChange(myGroup); in equivalentFaces()
84 classic::SetImageSearch<PermutationGroup,TRANSVERSAL> backtrackSearch(myGroup, 0); in equivalentFaces()
110 ConjugatingBaseChange<PERM,TRANSVERSAL, in stabilizer()
111 DeterministicBaseTranspose<PERM,TRANSVERSAL> > baseChange(myGroup); in stabilizer()
115 classic::SetStabilizerSearch<PermutationGroup,TRANSVERSAL> backtrackSearch(myGroup, 0); in stabilizer()
/dports/math/sympol/SymPol-0.1.9/sympol/
H A Dsymmetrycomputation.cpp78 ConjugatingBaseChange<PERM,TRANSVERSAL, in equivalentFaces()
79 RandomBaseTranspose<PERM,TRANSVERSAL> > baseChange(myGroup); in equivalentFaces()
83 classic::SetImageSearch<PermutationGroup,TRANSVERSAL> backtrackSearch(myGroup, 0); in equivalentFaces()
109 ConjugatingBaseChange<PERM,TRANSVERSAL, in stabilizer()
110 RandomBaseTranspose<PERM,TRANSVERSAL> > baseChange(myGroup); in stabilizer()
114 classic::SetStabilizerSearch<PermutationGroup,TRANSVERSAL> backtrackSearch(myGroup, 0); in stabilizer()
/dports/math/polymake/polymake-4.5/apps/polytope/include/
H A Dquotient_space_tools.h33 typedef permlib::SchreierTreeTransversal<PERM> TRANSVERSAL;
34 typedef permlib::BSGS<PERM, TRANSVERSAL> BSGSType;
37 permlib::SchreierSimsConstruction<PERM, TRANSVERSAL> schreierSims(n); in coordinates_to_eliminate()
52 …permlib::classic::SetSystemStabilizerSearch<BSGSType, TRANSVERSAL, PredType> backtrackSearch(sym_b…
/dports/math/polymake/polymake-4.5/bundled/sympol/external/sympol/sympol/symmetrygroupconstruction/
H A Dgraphconstructiondefault.cpp18 partition::MatrixAutomorphismSearch<SymmetricGroup<PERM>, TRANSVERSAL> mas(s_n, false); in compute()
23 BSGS<PERM,TRANSVERSAL>* K = new BSGS<PERM,TRANSVERSAL>(matrix->dimension()); in compute()
/dports/math/sympol/SymPol-0.1.9/sympol/symmetrygroupconstruction/
H A Dgraphconstructiondefault.cpp18 partition::MatrixAutomorphismSearch<SymmetricGroup<PERM>, TRANSVERSAL> mas(s_n, false); in compute()
23 BSGS<PERM,TRANSVERSAL>* K = new BSGS<PERM,TRANSVERSAL>(matrix->dimension()); in compute()

123