About
Calculator
Ordering
FAQ
Download
Documentation
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
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, 13 July 2023