<P>Puiseux series in a variable x are often mathematically defined to be Laurent series in another variable y say, where y=x^(1/d), for a fixed positive integer d; this d is usually fixed for all the series under consideration. Magma is more general, in that although each series is internally represented in this way (i.e., its valuation, exponents and precision are thought to be divided by a single denominator associated with it), different Puiseux series may have different exponent denominators and may be freely mixed (for example, in addition, where the exponent denominator of the result will be derived from that of the arguments). Thus there is no restriction whatsoever to a fixed exponent denominator for a given Puiseux series ring. </P> |