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 -> Str
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.
V2.28, 13 July 2023