2022-01-22 17:11:08 +0100 | received badge | ● Popular Question (source) |

2021-02-05 10:47:59 +0100 | received badge | ● Famous Question (source) |

2020-03-30 16:06:01 +0100 | received badge | ● Notable Question (source) |

2019-07-25 02:14:24 +0100 | received badge | ● Popular Question (source) |

2018-10-23 19:45:34 +0100 | received badge | ● Nice Question (source) |

2018-10-22 23:18:12 +0100 | commented answer | Reducing the Coefficients of a Polynomial Modulo an Ideal Is there any hope if the ring of coefficients has more than one variable? The application I'm interested in is when the coefficient ring has the form $\mathbf{Z}[a_1, \ldots, a_n]$ and I reduce modulo some power of a maximal ideal of the form $(p, a_1, \ldots, a_n)$ with $p$ a prime. |

2018-10-20 02:03:23 +0100 | asked a question | Valuation error when composing power series I'm trying to work with power series with coefficients in a ring consisting of elements $f/g$, where $f$ is a polynomial in several variables over the integers and g is a polynomial in one of those variables with unit constant coefficient. Ultimately, I'd like to be able to do all of the following: - Compose power series over this ring
- Invert single-variable power series over this ring whose degree-1 coefficients are units
- Reduce the coefficients of a power series modulo some ideal of the ring
I thought I would do this by starting with the Laurent series over $\mathbf{Z}$ in the variable that occurs in the denominator, constructing a polynomial ring over this by adjoining the other variables, and letting my power series take coefficients in this ring. But I'm getting an error I don't understand when I try to compose series. The following example illustrates the problem: This returns the type error The problem seems to result from a combination of factors. If I replace the second line with either or the error vanishes and the code returns the expected Any ideas about what is triggering the error, or another way to construct these power series? |

2018-10-19 14:32:20 +0100 | received badge | ● Nice Question (source) |

2018-10-19 03:16:14 +0100 | asked a question | Reducing the Coefficients of a Polynomial Modulo an Ideal I have a polynomial in two variables $t_1$ and $t_2$ (say $2t_1 + at_2$) defined over a ring which is itself a polynomial ring (say $\mathbf{Z}[a]$). I'd like to reduce the coefficients of the polynomial modulo an ideal of the latter ring (say $(2)$ or $(a)$ or $(2,a)$). When I execute I get gives me a type error (" gives the output |

2018-08-03 06:12:16 +0100 | received badge | ● Supporter (source) |

2018-08-03 06:12:14 +0100 | received badge | ● Scholar (source) |

2018-08-01 22:18:06 +0100 | received badge | ● Nice Question (source) |

2018-08-01 17:58:02 +0100 | received badge | ● Student (source) |

2018-08-01 17:14:49 +0100 | asked a question | Defining a power series with variable coefficients It is not difficult to define a multivariate power series; for example, the following works: But what I would really like is to treat the series This generates the error "name |

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.