#19531: Add conversion from fields to binary-like strings
-------------------------------------------------+-------------------------
       Reporter:  tgagne                         |        Owner:
           Type:  enhancement                    |       Status:  new
       Priority:  major                          |    Milestone:  sage-6.10
      Component:  finite rings                   |   Resolution:
       Keywords:  finite field, hex strings,     |    Merged in:
  binary strings                                 |    Reviewers:
        Authors:                                 |  Work issues:
Report Upstream:  N/A                            |       Commit:
         Branch:                                 |     Stopgaps:
   Dependencies:                                 |
-------------------------------------------------+-------------------------

Old description:

> There should be the ability to convert binary and hex strings into
> elements from the fields `GF(2^n)` and `GF(2^(4n))` and vice versa.
>
> - A field `GF(2^(4n))` should accept length `n` hex strings of the form
> `0xfff...` and produce the corresponding field element.
> - A field `GF(2^n)` should accept length `n` binary strings of the form
> `0b111...` and produce the corresponding field element.
> - Matrix spaces and vector spaces over these fields should accept strings
> of similar form and should break up the strings accordingly to produce a
> matrix or vector.
> - Elements of the field `GF(2^(4n))` should be able to convert themselves
> into length `n` hex strings of the form `0xfff...`.
> - Elements of the field `GF(2^n)` should be able to convert themselves
> into length `n` binary strings of the form `0b111...`.
> - Matrices and vectors over these finite fields should be able to combine
> the individual hex/binary strings for each of its elements into a single
> long string.
>
> One of the ultimate goals for adding this is to use it for conversion in
> cryptographic modules which involve finite fields, such as `mq.SR`.

New description:

 There should be the ability to convert binary and hex strings into
 elements from the fields `GF(2^n)` and `GF(2^(4n))` and vice versa.

 - A field `GF(2^(4n))` should accept length `n` hex strings of the form
 `0xfff...` and produce the corresponding field element.
 - A field `GF(2^n)` should accept length `n` binary strings of the form
 `0b111...` and produce the corresponding field element.
 - Elements of the field `GF(2^(4n))` should be able to convert themselves
 into length `n` hex strings of the form `0xfff...`.
 - Elements of the field `GF(2^n)` should be able to convert themselves
 into length `n` binary strings of the form `0b111...`.

 One of the ultimate goals for adding this is to use it for conversion in
 cryptographic modules which involve finite fields, such as `mq.SR`.

--

Comment (by tgagne):

 Replying to [comment:3 jdemeyer]:
 > Please create a new ticket for the vector and matrix case, let's just
 deal with the fields here.

 A ticket for that's been created at #19578.

--
Ticket URL: <http://trac.sagemath.org/ticket/19531#comment:10>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to