Hi, This patch (#21817 <https://trac.sagemath.org/ticket/21817>) implements a dedicated change_ring() for BooleanPolynomialRing. Previous change_ring() uses the one implemented in MPolynomialRing_generic as the parent of BooleanPolynomialRing. This makes change_ring() always return a multivariate polynomial ring. But I argue that a proper behaviour of change_ring() in BooleanPolynomialRing is to return a BooleanPolynomialRing whenever a base_ring is not given in the argument and return multivariate polynomial ring otherwise.
Regards, -- Rusydi H. Makarim PhD Student Mathematisch Instituut <http://www.math.leidenuniv.nl/>, Universiteit Leiden <http://www.leiden.edu/> and Cryptology Group <https://projects.cwi.nl/crypto/index.php>, Centrum Wiskunde & Informatica (CWI) <https://www.cwi.nl/> Amsterdam, the Netherlands Email : maka...@cwi.nl, r.h.maka...@math.leidenuniv.nl Web : http://pub.math.leidenuniv.nl/~makarimrh/ <http://pub.math.leidenuniv.nl/~makarimrh/index.html> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
