Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

coercion failures with finite fields with ntl implementation #21786

Open
videlec opened this issue Oct 30, 2016 · 0 comments
Open

coercion failures with finite fields with ntl implementation #21786

videlec opened this issue Oct 30, 2016 · 0 comments

Comments

@videlec
Copy link
Contributor

videlec commented Oct 30, 2016

  • GF(2) acting on GF(4)[x]
sage: cm = get_coercion_model()
sage: cm.explain(GF(2), GF(4)['x'])
Action discovered.
...
Univariate Polynomial Ring in x over Finite Field in z2 of size 2^2
sage: cm.explain(GF(2, impl='ntl'), GF(4)['x'])
Traceback (most recent call last):
...
TypeError: unable to coerce <type 'sage.rings.finite_rings.element_ntl_gf2e.FiniteField_ntl_gf2eElement'>
  • GF(4) acting on GF(2)[x] (pushout)
sage: cm.explain(GF(4, impl='ntl'), GF(2)['x'])
Coercion on left operand via
...
Result lives in Univariate Polynomial Ring in x over Finite Field in z2 of size 2^2
Univariate Polynomial Ring in x over Finite Field in z2 of size 2^2
sage: cm.explain(GF(4, impl='ntl'), GF(2,impl='ntl')['x'])
Will try _r_action and _l_action
Unknown result parent.

Component: coercion

Issue created by migration from https://trac.sagemath.org/ticket/21786

@videlec videlec added this to the sage-7.5 milestone Oct 30, 2016
@mkoeppe mkoeppe removed this from the sage-7.5 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants