-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update website for PatternClass 2.4.3
- Loading branch information
1 parent
5ca0569
commit 450b334
Showing
69 changed files
with
2,032 additions
and
550 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -10,8 +10,9 @@ SetPackageInfo( rec( | |
|
||
PackageName := "PatternClass", | ||
Subtitle := "A permutation pattern class package", | ||
Version := "2.4.2", | ||
Date := "24/07/2018", # dd/mm/yyyy format | ||
Version := "2.4.3", | ||
Date := "17/10/2022", # dd/mm/yyyy format | ||
License := "GPL-2.0-or-later", | ||
|
||
Persons := [ | ||
rec( | ||
|
@@ -56,7 +57,7 @@ Persons := [ | |
IsMaintainer := false, | ||
FirstNames := "Michael", | ||
LastName := "Albert", | ||
WWWHome := "http://www.cs.otago.ac.nz/staff/michael.html", | ||
WWWHome := "https://www.otago.ac.nz/computer-science/people/Michael_Albert.html", | ||
Email := "[email protected]", | ||
PostalAddress := Concatenation( | ||
"Michael Albert\n", | ||
|
@@ -99,7 +100,7 @@ AbstractHTML := "The PatternClass package is build on the idea of token passing | |
PackageDoc := rec( | ||
BookName := "PatternClass", | ||
ArchiveURLSubset := ["doc"], | ||
HTMLStart := "doc/chap0.html", | ||
HTMLStart := "doc/chap0_mj.html", | ||
PDFFile := "doc/manual.pdf", | ||
SixFile := "doc/manual.six", | ||
LongTitle := "A permutation pattern class package", | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,160 @@ | ||
|
||
|
||
[1X PatternClass [101X | ||
|
||
|
||
[1X A permutation pattern class package [101X | ||
|
||
|
||
2.3 | ||
|
||
|
||
05/07/2017 | ||
|
||
|
||
Ruth Hoffmann | ||
|
||
Steve Linton | ||
|
||
Michael Albert | ||
|
||
|
||
|
||
Ruth Hoffmann | ||
Email: [7Xmailto:[email protected][107X | ||
Homepage: [7XTODO[107X | ||
Address: [33X[0;14YTODO[133X | ||
|
||
|
||
Steve Linton | ||
Email: [7Xmailto:[email protected][107X | ||
Homepage: [7Xhttp://sal.host.cs.st-andrews.ac.uk/[107X | ||
Address: [33X[0;14YSteve Linton[133X | ||
[33X[0;14YSchool of Computer Science,[133X | ||
[33X[0;14YUniversity of St. Andrews,[133X | ||
[33X[0;14YNorth Haugh,[133X | ||
[33X[0;14YSt. Andrews,[133X | ||
[33X[0;14YFife,[133X | ||
[33X[0;14YKY16 9SS,[133X | ||
[33X[0;14YSCOTLAND[133X | ||
|
||
|
||
Michael Albert | ||
Email: [7Xmailto:[email protected][107X | ||
Homepage: [7Xhttp://www.cs.otago.ac.nz/staff/michael.html[107X | ||
Address: [33X[0;14YMichael Albert[133X | ||
[33X[0;14YDepartment of Computer Science,[133X | ||
[33X[0;14YUniversity of Otago,[133X | ||
[33X[0;14YPO Box 56,[133X | ||
[33X[0;14YDUNEDIN 9054,[133X | ||
[33X[0;14YNew Zealand,[133X | ||
|
||
|
||
|
||
------------------------------------------------------- | ||
|
||
|
||
[1XContents (PatternClass)[101X | ||
|
||
1 [33X[0;0YIntroduction[133X | ||
2 [33X[0;0YToken Passing Networks[133X | ||
2.1 [33X[0;0YSpecific TPN[133X | ||
2.1-1 Parstacks | ||
2.1-2 Seqstacks | ||
2.1-3 BufferAndStack | ||
3 [33X[0;0YPermutation Encoding[133X | ||
3.1 [33X[0;0YEncoding and Decoding[133X | ||
3.1-1 RankEncoding | ||
3.1-2 RankDecoding | ||
3.1-3 SequencesToRatExp | ||
4 [33X[0;0YFrom Networks to Automata[133X | ||
4.1 [33X[0;0YFunctions[133X | ||
4.1-1 GraphToAut | ||
4.1-2 ConstrainedGraphToAut | ||
5 [33X[0;0YFrom Automata to Networks[133X | ||
5.1 [33X[0;0YFunctions[133X | ||
5.1-1 IsStarClosed | ||
5.1-2 Is2StarReplaceable | ||
5.1-3 IsStratified | ||
5.1-4 IsPossibleGraphAut | ||
6 [33X[0;0YPattern Classes[133X | ||
6.1 [33X[0;0YTransducers[133X | ||
6.1-1 Transducer | ||
6.1-2 DeletionTransducer | ||
6.1-3 TransposedTransducer | ||
6.1-4 InvolvementTransducer | ||
6.1-5 CombineAutTransducer | ||
6.2 [33X[0;0YFrom Class to Basis and vice versa[133X | ||
6.2-1 BasisAutomaton | ||
6.2-2 ClassAutomaton | ||
6.2-3 BoundedClassAutomaton | ||
6.2-4 ClassAutFromBaseEncoding | ||
6.2-5 ClassAutFromBase | ||
6.2-6 ExpandAlphabet | ||
6.3 [33X[0;0YDirect Sum of Regular Classes[133X | ||
6.3-1 ClassDirectSum | ||
6.4 [33X[0;0YStatistical Inspections[133X | ||
6.4-1 Spectrum | ||
6.4-2 NumberAcceptedWords | ||
6.4-3 AutStateTransitionMatrix | ||
6.4-4 AcceptedWords | ||
6.4-5 AcceptedWordsR | ||
7 [33X[0;0YSome Permutation Essentials[133X | ||
7.1 [33X[0;0YComplement[133X | ||
7.1-1 PermComplement | ||
7.2 [33X[0;0YRank Encoding[133X | ||
7.2-1 IsRankEncoding | ||
8 [33X[0;0YProperties of Permutations[133X | ||
8.1 [33X[0;0YIntervals in Permutations[133X | ||
8.1-1 IsInterval | ||
8.2 [33X[0;0YSimplicity[133X | ||
8.2-1 IsSimplePerm | ||
8.3 [33X[0;0YPoint Deletion in Simple Permutations[133X | ||
8.3-1 OnePointDelete | ||
8.3-2 TwoPointDelete | ||
8.3-3 PointDeletion | ||
8.4 [33X[0;0YBlock-Decomposition[133X | ||
8.4-1 Inflation | ||
8.4-2 BlockDecomposition | ||
8.5 [33X[0;0YPlus-Decomposability[133X | ||
8.5-1 IsPlusDecomposable | ||
8.6 [33X[0;0YMinus-Decomposability[133X | ||
8.6-1 IsMinusDecomposable | ||
8.7 [33X[0;0YSums of Permutations[133X | ||
8.7-1 PermDirectSum | ||
8.7-2 PermSkewSum | ||
9 [33X[0;0YRegular Languages of Sets of Permutations[133X | ||
9.1 [33X[0;0YInversions in Permutations[133X | ||
9.1-1 InversionAut | ||
9.1-2 InversionAutOfClass | ||
9.2 [33X[0;0YPlus- and Minus-(In)Decomposablilty[133X | ||
9.2-1 PlusDecomposableAut | ||
9.2-2 PlusIndecomposableAut | ||
9.2-3 MinusDecomposableAut | ||
9.2-4 MinusIndecomposableAut | ||
9.3 [33X[0;0YLanguage of all non-simple permutations[133X | ||
9.3-1 LengthBoundAut | ||
9.3-2 ShiftAut | ||
9.3-3 NextGap | ||
9.3-4 GapAut | ||
9.3-5 SumAut | ||
9.3-6 GapSumAut | ||
9.3-7 NonSimpleAut | ||
9.4 [33X[0;0YSimplicity[133X | ||
9.4-1 SimplePermAut | ||
9.5 [33X[0;0YExceptionality[133X | ||
9.5-1 IsExceptionalPerm | ||
9.5-2 ExceptionalBoundedAutomaton | ||
10 [33X[0;0YMiscellaneous functions[133X | ||
10.1 [33X[0;0YPermutation Inclusion Set[133X | ||
10.1-1 InbetweenPermAutomaton | ||
10.1-2 InbetweenPermSet | ||
10.1-3 IsSubPerm | ||
10.2 [33X[0;0YAutomaton Manipulation[133X | ||
10.2-1 LoopFreeAut | ||
10.2-2 LoopVertexFreeAut | ||
|
||
|
||
[32X | ||
[33X[0;0Y [133X | ||
|
Oops, something went wrong.