Opened 4 years ago
#25753 new defect
PolynomialBaseringInjection is surjective on the zero ring
Reported by: | vdelecroix | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.3 |
Component: | basic arithmetic | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
sage: S = Zmod(1) sage: R = S['x'] sage: f = R.coerce_map_from(S) sage: f.is_injective() True sage: f.is_surjective() # this should be true! False
Note: See
TracTickets for help on using
tickets.