Opened 4 years ago

#21786 new defect

coercion failures with finite fields with ntl implementation

Reported by: vdelecroix Owned by:
Priority: critical Milestone: sage-7.5
Component: coercion Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

  • 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.
    

Change History (0)

Note: See TracTickets for help on using tickets.