Opened 6 years ago

Closed 6 years ago

#20951 closed enhancement (fixed)

Fix Relative Field Extensions

Reported by: Julien Lavauzelle Owned by:
Priority: major Milestone: sage-7.3
Component: coding theory Keywords:
Cc: David Lucas Merged in:
Authors: Julien Lavauzelle Reviewers: David Lucas
Report Upstream: N/A Work issues:
Branch: 2510d2b (Commits, GitHub, GitLab) Commit: 2510d2b1312fb795aa59c67c90d4fd887598ddcf
Dependencies: Stopgaps:

Status badges

Description (last modified by Julien Lavauzelle)

This tickets aims at fixing some minors bugs in the experimental class RelativeFiniteFieldExtension.

Change History (10)

comment:1 Changed 6 years ago by Julien Lavauzelle

Branch: u/jlavauzelle/fix_relative_field_extensions

comment:2 Changed 6 years ago by Julien Lavauzelle

Authors: Julien Lavauzelle
Branch: u/jlavauzelle/fix_relative_field_extensions
Component: PLEASE CHANGEcoding theory
Description: modified (diff)
Status: newneeds_review
Type: PLEASE CHANGEenhancement

Hi,

I fixed ambiguity in the documentation of some functions. I also fixed a minor bug in the method relative_field_representation.

I added a function which basically invert the relative field embedding (I mean, given an absolute field element x which actually lies in the relative field, the function cast x into the relative field).

Didn't check the other methods.

Open for review.

Julien

comment:3 Changed 6 years ago by Julien Lavauzelle

Branch: u/jlavauzelle/fix_relative_field_extensions

comment:4 Changed 6 years ago by Julien Lavauzelle

Cc: David Lucas added
Commit: 819cbb970fd69974ac4940a1dc243a8fb568ba62

New commits:

f77da55Fixed the doc. Fixed the case s==1 in relative_field_representation().
819cbb9Add the inverse function of the relative field embedding.

comment:5 Changed 6 years ago by git

Commit: 819cbb970fd69974ac4940a1dc243a8fb568ba6217bf28d79ec2461412f83397bf2930bd7e6bfd1c

Branch pushed to git repo; I updated commit sha1. New commits:

17bf28dReplaced "power" by "degree" when dealing with the extension degree of a field. Added an enxtension_degree() method.

comment:6 Changed 6 years ago by Julien Lavauzelle

Hi,

I reviewed the rest of the class and modified some names (basically 'degree' instead of 'power'). I also added a function to give the extension degree between the medium and the big field, as we often need it.

Open for review.

Julien

comment:7 Changed 6 years ago by David Lucas

Branch: u/jlavauzelle/fix_relative_field_extensionsu/dlucas/fix_relative_field_extensions

comment:8 Changed 6 years ago by David Lucas

Commit: 17bf28d79ec2461412f83397bf2930bd7e6bfd1c2510d2b1312fb795aa59c67c90d4fd887598ddcf
Reviewers: David Lucas

Hello,

I made two small changes:

  • There was an indentation error in the docstring of cast_into_relative_field, which I fixed.
  • In Python, it's not necessary to write if (check):, if check: is enough :). Thus I removed the unnecessary parenthesis.

Otherwise, it's good to go! If you agree with my tiny changes, you can set it to positive_review. Thanks for your fixes.

BTW, the patchbot doctests error due to guava.py have been fixed in #20952.

Best,

David


New commits:

6ace61bFixed small bug in documentation
2510d2bRemoved unnecessary parenthesis

comment:9 Changed 6 years ago by Julien Lavauzelle

Status: needs_reviewpositive_review

Hi David,

That's ok for me. I put it in positive review.

Thanks,

Julien

comment:10 Changed 6 years ago by Volker Braun

Branch: u/dlucas/fix_relative_field_extensions2510d2b1312fb795aa59c67c90d4fd887598ddcf
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.