[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Accessing functions
Accessing functions
Injections(C) : Cop -> [ Map ]
Given a coproduct C, return the sequence of injection maps returned
as the second argument from the cop<> constructor.
# C : Cop -> RngIntElt
Given a coproduct C, return the length (number of constituents) of C.
Constituent(C, i) : Cop, RngIntElt -> Struct
Given a coproduct C and an integer i between 1 and the length of C,
return the i-th constituent of C.
Index(x) : CopElt -> RngIntElt
Given an element x from a coproduct C, return the constituent number
of C to which x belongs.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]