#1956: implement multivariate power series arithmetic
---------------------------------------------------------------------------------------------------+
Reporter: was
| Owner: pernici
Type: enhancement
| Status: needs_review
Priority: major
| Milestone: sage-4.6.1
Component: commutative algebra
| Keywords: multivariate power series
Author: Niles Johnson
| Upstream: N/A
Reviewer: Martin Albrecht, Simon King
| Merged:
Work_issues: multivariate series on 1 generator should remain different from a
univariate series |
---------------------------------------------------------------------------------------------------+
Comment(by niles):
Replying to [comment:73 pernici]:
> This is a follow-up of my previous mail on random_element
> in multivariate series.
Hi pernici,
Thanks for clarifying this, but I'm not sure how to proceed. I think I
understand what you mean about lower degree terms being "more important"
(in the same way that earlier decimal digits are "more important" in a
real number). But I also think it makes a lot of sense for
`random_element` to be very similar between multivariate polynomials and
multivariate power series -- this is the principle behind a number of
implementation choices for multivariate power series. Nowhere is it
promised that `random_element`s are chosen with uniform distribution and,
as you point out, the docstring for multivariate polynomials says
explicitly that it is using a non-uniform distribution.
So now I wonder what the motivation is for changing the power series
`random_element` method: am I right to guess that you want to use the
random elements to test your multiplication code? If so, let me suggest
that it would be better to do this with a
[http://www.sagemath.org/doc/reference/sage/misc/sage_unittest.html test
suite], where you can write different custom algorithms for different
random distributions and not have to worry about which of these should
used for the `random_element` method of polynomials or power series.
(Having said that, I admit that I've found it difficult to get started
with sage's test suite classes. I think there are some implementations
for general rings and for integrals, so these might be good examples to
follow if you want. )
Or maybe you have a different reason to think about `random_element`?
best,
Niles
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1956#comment:74>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
