File: semipperm.gd

package info (click to toggle)
gap 4r8p6-2
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 33,476 kB
  • ctags: 7,663
  • sloc: ansic: 108,841; xml: 47,807; sh: 3,628; perl: 2,342; makefile: 796; asm: 62; awk: 6
file content (29 lines) | stat: -rw-r--r-- 1,302 bytes parent folder | download | duplicates (3) 
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
 
############################################################################
##
#W  semipperm.gd           GAP library                         J. D. Mitchell
##
##
#Y  Copyright (C)  2013,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
#Y  (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
#Y  Copyright (C) 2002 The GAP Group
##
##  This file contains the implementation of some basics for partial perm 
##  semigroups.

DeclareSynonym("IsPartialPermSemigroup", IsSemigroup and
IsPartialPermCollection);
DeclareSynonym("IsPartialPermMonoid", IsMonoid and
IsPartialPermCollection);

DeclareAttribute("DegreeOfPartialPermSemigroup", IsPartialPermSemigroup);
DeclareAttribute("CodegreeOfPartialPermSemigroup", IsPartialPermSemigroup);
DeclareAttribute("RankOfPartialPermSemigroup", IsPartialPermSemigroup);

DeclareProperty("IsSymmetricInverseSemigroup", IsPartialPermSemigroup);
InstallTrueMethod(IsInverseSemigroup, IsSymmetricInverseSemigroup);
DeclareSynonym("IsSymmetricInverseMonoid", IsSymmetricInverseSemigroup);
DeclareOperation("SymmetricInverseSemigroup", [IsInt]);
DeclareSynonym("SymmetricInverseMonoid", SymmetricInverseSemigroup);

DeclareAttribute("IsomorphismPartialPermSemigroup", IsSemigroup);
DeclareAttribute("IsomorphismPartialPermMonoid", IsSemigroup);