About
Calculator
Ordering
FAQ
Download
Documentation
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
Introduction
Creation Functions
Creation of Coproducts
cop< S
1
, S
2
, ..., S
k
> : Str, Str, ... -> Cop, [ Map ]
Creation of Coproduct Elements
m(e) : Map, Elt -> CopElt
C ! e : Cop, Elt -> CopElt
Accessing Functions
Injections(C) : Cop -> [ Map ]
# C : Cop -> RngIntElt
Constituent(C, i) : Cop, RngIntElt -> Str
Index(x) : CopElt -> RngIntElt
Retrieve
Retrieve(x) : CopElt -> Elt
Example
Cop_cop (H15E1)
Flattening
Flat(C) : Cop -> Cop
Universal Map
UniversalMap(C, S, [ n
1
, ..., n
m
]) : Cop, Str, [ Map ] -> Map
Up
Contents
Index
Search
V2.28, 13 July 2023