Singular Manual: User defined types

> | ## 4.23 User defined types User defined types are (non-empty) lists with a fixed size whose element can be accessed by names (and not indices). These elements have a predefined type (which can also be a user defined type). If these elements depend on a ring they can only be accessed if their base ring is the current base ring. In contrast to usual lists the elements of a user defined type may belong to different rings.
> 4.23.1 Definition of a user defined type |  |
> 4.23.2 Declaration of objects of a user defined type |  |
> 4.23.3 Access to elements of a user defined type |  |
> 4.23.4 Commands for user defined types |  |
> 4.23.5 Assignments for user defined types |  |

User manual for Singular version 4.3.2p4, 2023, generated by texi2html.