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:

Status badges

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

Change History (0)

Note: See TracTickets for help on using tickets.