| 2.6.2 Commands and Functions for RECORD |
| CoefficientsWRT | list of coeffs and PPs of a poly wrt indet or list of indets |
| fields | list the fields of a record |
| NmzComputation | flexible access to Normaliz |
| PrintBettiDiagram | the diagram of the graded Betti numbers |
| RealRootRefine | refine a real root of a univariate polynomial |
| record field selector | select a field of a record |
| shape | extended list of types involved in an expression |