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
The Record Format Constructor
recformat< L > : FieldnameList -> RecFormat
Example
Rec_RecordFormat (H16E1)
Creating a Record
rec< F | L > : RecFormat, FieldAssignmentList -> Rec
Example
Rec_Record (H16E2)
Access and Modification Functions
Format(r) : Rec -> RecFormat
Names(F) : RecFrmt -> [ MonStgElt ]
Names(r) : Rec -> [ MonStgElt ]
r`fieldname : Rec, Fieldname -> Elt
r`fieldname := expression;
delete r`fieldname : Rec, Fieldname -> Nil
assigned r`fieldname : Rec, Fieldname -> BoolElt
r``s : Rec, String -> Elt
Example
Rec_RecordAccess (H16E3)
Up
Contents
Index
Search
V2.28, 28 February 2025