#11938: FiniteField_givaro defined by Conway polynomials: conversion of elements
from F_{p^n} to F_{p^m}
---------------------------+------------------------------------------------
Reporter: dkrenn | Owner: cpernet
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: givaro | Keywords: finite field, givaro, Conway
polynomial, conversion, coercion
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
---------------------------+------------------------------------------------
Changes (by dkrenn):
* status: new => needs_review
Comment:
Here comes the patch ;) Conversion is possible in both directions (up and
down), see example below.
{{{
sage: from sage.rings.finite_rings.finite_field_givaro import
FiniteField_givaro
sage: F4 = FiniteField_givaro(4,'b')
sage: F16 = FiniteField_givaro(16,'c')
sage: z = F4.gen() + F16.gen(); z
c^2
sage: z.parent()
Finite Field in c of size 2^4
sage: F4(z)
Traceback (most recent call last):
...
ValueError: c^2 is not a sub-field element
sage: F4(z+F16.gen())
b
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11938#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
