[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Given a coproduct C, return the sequence of injection maps returned
as the second argument from the cop<> constructor.
Given a coproduct C, return the length (number of constituents) of C.
Given a coproduct C and an integer i between 1 and the length of C,
return the i-th constituent of C.
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]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012