[MathJax on]
2 Internal algebra elements
2.1 Constructors
2.1-1 InternalElement
‣ InternalElement ( iota ) | ( operation ) |
‣ InternalElement ( A, chi, degree, i ) | ( operation ) |
‣ InternalElement ( A, chi, i ) | ( operation ) |
‣ InternalElement ( phi, M ) | ( operation ) |
‣ InternalElement ( M, chi, degree, i ) | ( operation ) |
‣ InternalElement ( M, chi, i ) | ( operation ) |
Returns: a CAP morphism
2.2 Attributes
2.2-1 UnderlyingEmbedding
‣ UnderlyingEmbedding ( p ) | ( attribute ) |
Returns: a CAP category morphism (IsMorphismInZGradedClosureCategoryWithBounds
)
2.2-2 NonZeroDegrees
‣ NonZeroDegrees ( e ) | ( attribute ) |
Returns: a list
2.2-3 NonZeroParts
‣ NonZeroParts ( e ) | ( attribute ) |
Returns: a list
2.2-4 NonZeroPartsWithDegrees
‣ NonZeroPartsWithDegrees ( e ) | ( attribute ) |
Returns: a list
2.2-5 SupportWithDegrees
‣ SupportWithDegrees ( e ) | ( attribute ) |
Returns: a list
2.2-6 AdditiveInverse
‣ AdditiveInverse ( e ) | ( attribute ) |
Returns: an element of an internal algebra or module
2.2-7 UniversalMorphismFromFreeModule
‣ UniversalMorphismFromFreeModule ( e ) | ( attribute ) |
Returns: a CAP morphism
2.3 Operations
2.3-1 InternalPreAddition
‣ InternalPreAddition ( e1, e2 ) | ( operation ) |
Returns: a morphism in a positively Z-graded category
2.3-2 +
‣ + ( e1, e2 ) | ( operation ) |
Returns: an element of an internal algebra or module
2.3-3 -
‣ - ( e1, e2 ) | ( operation ) |
Returns: an element of an internal algebra or module
2.3-4 InternalPreMultiplication
‣ InternalPreMultiplication ( a, m ) | ( operation ) |
Returns: a morphism in a positively Z-graded category
2.3-5 *
Returns: a ring element and an element of an internal algebra or module
2.3-6 BraidedMultiplication
‣ BraidedMultiplication ( a, b ) | ( operation ) |
Returns: an element of an internal algebra
2.3-7 []
Returns: an element of an internal algebra or module
2.4 GAP Categories
2.4-1 IsInternalAlgebra
‣ IsInternalAlgebra ( arg ) | ( filter ) |
Returns: true
or false
2.4-2 IsElementInInternalAlgebraOrModule
‣ IsElementInInternalAlgebraOrModule ( arg ) | ( filter ) |
Returns: true
or false
2.4-3 IsElementInInternalAlgebra
‣ IsElementInInternalAlgebra ( arg ) | ( filter ) |
Returns: true
or false