About
Calculator
Ordering
FAQ
Download
Download Magma
Databases
User Contributions
Documentation
Handbook
Overview
Release Notes
Discovering Maths with Magma
First Steps in Magma (pdf)
Solving Problems with Magma (pdf)
Acknowledgements
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
Expand all
Collapse all
Introduction
Construction of an SLP-Group and its Elements
Structure Constructors
NaturalBlackBoxGroup(H) : Grp -> GrpBB
Construction of an Element
Identity(G) : GrpBB -> GrpBBElt
Arithmetic with Elements
u * v : GrpBBElt, GrpBBElt -> GrpBBElt
u ^ m : GrpBBElt, RngIntElt -> GrpBBElt
u ^ v : GrpBBElt, GrpBBElt -> GrpBBElt
(u, v) : GrpBBElt, GrpBBElt -> GrpBBElt
Accessing the Defining Generators
G . i : GrpBB, RngIntElt -> GrpBBElt
Generators(G) : GrpBB -> { GrpBBElt }
NumberOfGenerators(G) : GrpBB -> RngIntElt
Operations on Elements
Equality and Comparison
u eq v : GrpBBElt, GrpBBElt -> BoolElt
u ne v : GrpBBElt, GrpBBElt -> BoolElt
Attributes of Elements
Parent(u) : GrpBBElt -> GrpBB
UnderlyingElement(u) : GrpBBElt -> GrpElt
Order(u) : GrpBBElt -> RngIntElt
Example
GrpBB_standard-gens (H70E1)
Set-Theoretic Operations
Membership and Equality
g in G : GrpBBElt, GrpBB -> BoolElt
Set Operations
PseudoRandom(G) : GrpBB -> GrpBBElt
Rep(G) : GrpBB -> GrpBBElt
Coercions Between Related Groups
G ! g : GrpBB, GrpBBElt -> GrpBBElt
Up
Contents
Index
Search
V2.28, 28 February 2025