#15223: Let the `TestSuite` test that the construction of a parent returns the
parent
--------------------------------------------+-------------------------
Reporter: SimonKing | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-5.12
Component: coercion | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: u/SimonKing/ticket/15223 | Commit:
Dependencies: | Stopgaps:
--------------------------------------------+-------------------------
Comment (by SimonKing):
Is it really needed that `BooleanPolynomialRing` has a `.construction()`?
Granted, one could describe it as the quotient of a polynomial ring over
GF(2). However, you could actually not take an arbitrary ring R and create
a boolean polynomial ring over R---the base ring will always be GF(2).
Anyway, using the construction functor for multivariate polynomial rings
is plain wrong. We have two options:
1. Let the construction be None
2. Create a new construction functor for boolean polynomial rings, either
similar to the multivariate polynomial ring functor, or similar to the
quotient functor.
If we go for None, then we would have problems to do fancy constructions
starting with a boolean polynomial ring: There would be no pushout
constructions. I wonder if we ''need'' pushout constructions.
If we go for a new construction functor, I'd suggest to modify quotient
functors. After all, it is a quotient in a particular implementation.
And looking at the second problem, it seems to be a general problem with
quotient functors: Sometimes we want to add more information on a
quotient, such as "the quotient shall belong to the category of fields"
or, "the quotient shall be implemented as a boolean polynomial ring". So,
we should invent a general scheme to load the quotient functor with this
additional information.
--
Ticket URL: <http://trac.sagemath.org/ticket/15223#comment:4>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
