Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563501 views
Tweet
Share
Share
1
  

2
  1 Category of Matrices

3
  

4
  

5
  1.1 Constructors

6
  

7
  1.1-1 MatrixCategory

8
  

9
  MatrixCategory( F )  attribute

10
  Returns:  a category

11
  

12
  The  argument is a homalg field F. The output is the matrix category over F.

13
  Objects  in  this  category  are  non-negative  integers.  Morphisms  from a

14
  non-negative  integer  m to a non-negative integer n are given by m \times n

15
  matrices.

16
  

17
  1.1-2 VectorSpaceMorphism

18
  

19
  VectorSpaceMorphism( S, M, R )  operation

20
  Returns:  a morphism in \mathrm{Hom}(S,R)

21
  

22
  The  arguments  are  an  object  S in the category of matrices over a homalg

23
  field  F,  a homalg matrix M over F, and another object R in the category of

24
  matrices  over F. The output is the morphism S \rightarrow R in the category

25
  of matrices over F whose underlying matrix is given by M.

26
  

27
  1.1-3 VectorSpaceObject

28
  

29
  VectorSpaceObject( d, F )  operation

30
  Returns:  an object

31
  

32
  The  arguments are a non-negative integer d and a homalg field F. The output

33
  is an object in the category of matrices over F of dimension d.

34
  

35
  

36
  1.2 GAP Categories

37
  

38
  1.2-1 IsVectorSpaceMorphism

39
  

40
  IsVectorSpaceMorphism( object )  filter

41
  Returns:  true or false

42
  

43
  The GAP category of morphisms in the category of matrices of a field F.

44
  

45
  1.2-2 IsVectorSpaceObject

46
  

47
  IsVectorSpaceObject( object )  filter

48
  Returns:  true or false

49
  

50
  The GAP category of objects in the category of matrices of a field F.

51
  

52
  

53
  1.3 Attributes

54
  

55
  1.3-1 UnderlyingFieldForHomalg

56
  

57
  UnderlyingFieldForHomalg( alpha )  attribute

58
  Returns:  a homalg field

59
  

60
  The argument is a morphism \alpha in the matrix category over a homalg field

61
  F. The output is the field F.

62
  

63
  1.3-2 UnderlyingMatrix

64
  

65
  UnderlyingMatrix( alpha )  attribute

66
  Returns:  a homalg matrix

67
  

68
  The  argument  is  a morphism \alpha in a matrix category. The output is its

69
  underlying matrix M.

70
  

71
  1.3-3 UnderlyingFieldForHomalg

72
  

73
  UnderlyingFieldForHomalg( A )  attribute

74
  Returns:  a homalg field

75
  

76
  The  argument  is  an object A in the matrix category over a homalg field F.

77
  The output is the field F.

78
  

79
  1.3-4 Dimension

80
  

81
  Dimension( A )  attribute

82
  Returns:  a non-negative integer

83
  

84
  The  argument  is  an  object  A  in  a  matrix  category. The output is the

85
  dimension of A.

86
  

87


88