To all those who have a little spare time (ok, talking to the empty
set),
I created a couple of tickets recently, and I think three of them are
not difficult to review:
#8993: It implements the representation of univariate polynomial
quotient rings and their elements in the Singular interface (before,
this only worked in the multivariate case). It is a new feature (so,
shouldn't break existing code), and the patch is small.
#8992: Coercion of univariate polynomial quotient rings: Things like
sage: P.<x> = QQ[]
sage: Q = P.quo([(x^2+1)])
sage: Q1 = P.quo([(x^2+1)^2*(x^2-3)])
sage: Q.has_coerce_map_from(Q1)
True
sage: x*Q1.gen()+Q(1)
0
sage: (x*Q1.gen()+Q(1)).parent() is Q
True
This patch is relatively small, I guess it's not difficult.
Still more things are possible if it is combined with #8800, but this
one is huge.
#9019: Full doctest coverage for sage.categories.map. In order to
produce fancy doc tests, I added small new features, such as
sage: V1 = QQ^2
sage: V2 = QQ^3
sage: phi = V1.hom(Matrix([[1,2],[3,4],[5,6]]),V2)
sage: phi.is_injective() # used to be not implemented
True
sage: phi.is_surjective()
False
and
sage: R.<x,y> = QQ[]
sage: S.<a,b> = QQ[]
sage: f = R.hom([a+b,a-b])
sage: h = S.hom([x+y,x-y])
sage: h*f # used to return a formal composition
Ring endomorphism of Multivariate Polynomial Ring in x, y over
Rational Field
Defn: x |--> 2*x
y |--> 2*y
But these new features are relatively small, and I guess reviewing doc
tests is not hard.
Best regards, and looking forward to hear from you,
Simon
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
