Opened 3 years ago

Closed 2 years ago

#23228 closed defect (fixed)

Fix modulo operator for unramified floating point elements

Reported by: saraedum Owned by:
Priority: major Milestone: sage-8.0
Component: padics Keywords:
Cc: vbraun Merged in:
Authors: Julian Rüth Reviewers: David Roe, Xavier Caruso
Report Upstream: N/A Work issues:
Branch: c0df0d2 (Commits) Commit: c0df0d2ca44883472d9b2c7ac080691047d0208d
Dependencies: Stopgaps:


Currently, the following produces the wrong result

sage: R.<a> = ZqFP(27,10000)
sage: a%3

Change History (11)

comment:1 Changed 3 years ago by saraedum

  • Branch set to u/saraedum/fix_modulo_operator_for_unramified_floating_point_elements

comment:2 Changed 3 years ago by saraedum

  • Commit set to 7f64bdf6f272f064c54795044e7ffd3c45da2db1
  • Status changed from new to needs_review

New commits:

7f64bdfFix % operator for floating point rings

comment:3 Changed 3 years ago by caruso

  • Status changed from needs_review to positive_review

Looks good.

comment:4 Changed 3 years ago by caruso

  • Reviewers changed from David Roe to David Roe, Xavier Caruso

comment:5 Changed 3 years ago by vbraun

  • Status changed from positive_review to needs_work

Tests fail

comment:6 Changed 3 years ago by caruso

  • Branch changed from u/saraedum/fix_modulo_operator_for_unramified_floating_point_elements to u/caruso/fix_modulo_operator_for_unramified_floating_point_elements

comment:7 Changed 3 years ago by caruso

  • Commit changed from 7f64bdf6f272f064c54795044e7ffd3c45da2db1 to c0df0d2ca44883472d9b2c7ac080691047d0208d

Weird, almost all these doctest failures seem unrelated to that ticket. And they all pass on my computed. I fixed a small issue and tried to merge that ticket with the latest version of develop. Let's see what the patchbot says.

New commits:

db7e7dbMerge branch 'u/saraedum/fix_modulo_operator_for_unramified_floating_point_elements' of git:// into padic_modulo
c0df0d2Fixed a doctest
Version 0, edited 3 years ago by caruso (next)

comment:8 Changed 3 years ago by caruso

Tests are still failing.

I don't understand why. If you guys have any ideas...

comment:9 Changed 3 years ago by caruso

  • Cc vbraun added

Volker, any idea?

comment:10 Changed 3 years ago by roed

  • Status changed from needs_work to positive_review

I'm getting that all tests pass on my machine as well.

comment:11 Changed 2 years ago by vbraun

  • Branch changed from u/caruso/fix_modulo_operator_for_unramified_floating_point_elements to c0df0d2ca44883472d9b2c7ac080691047d0208d
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.