
3.3.1 Examples of ring declarationsThe exact syntax of a ring declaration is given in the next two subsections; this subsection lists some examples first. Note that the chosen ordering implies that a unitelements of the ring will be among the elements with leading monomial 1. For more information, see Monomial orderings. Every floating point number in a ring consists of two parts, which may be chosen by the user. The leading part represents the number and the rest is for numerical stability. Two numbers with a difference only in the rest will be regarded equal.
