Opened 4 years ago

Closed 3 years ago

#23464 closed defect (fixed)

add_bigoh over totally ramified p-adic extensions sometimes segfaults

Reported by: caruso Owned by:
Priority: major Milestone: sage-8.1
Component: padics Keywords: sd87, padicIMA
Cc: roed Merged in:
Authors: Xavier Caruso Reviewers: David Roe
Report Upstream: N/A Work issues:
Branch: bdc18ce (Commits, GitHub, GitLab) Commit: bdc18ce6c8c7f3da5c832b8059b2c7ea53fe1b6a
Dependencies: Stopgaps:

Status badges

Description

Here is an example:

    sage: R.<pi> = Qp(7).extension(x^3 - 7)
    sage: (pi^93).add_bigoh(-10)
    <BOUM>

Change History (9)

comment:1 Changed 4 years ago by roed

The segfaulting starts at the 76th power; I'm not sure why 76. The following is perhaps closer to the problem:

sage: (pi^93)._ntl_rep_abs()
<BOOM>

comment:2 Changed 3 years ago by caruso

It now works (with Sage 8.3.beta1)! Though I don't know why...

Should we close this ticket?

comment:3 Changed 3 years ago by roed

Weird. I don't know of anything that would have fixed this. If it works now we should add a test.

comment:4 Changed 3 years ago by caruso

  • Branch set to u/caruso/add_bigoh_over_totally_ramified_p_adic_extensions_sometimes_segfaults

comment:5 Changed 3 years ago by git

  • Commit set to bdc18ce6c8c7f3da5c832b8059b2c7ea53fe1b6a

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

bdc18ceDoctest

comment:6 Changed 3 years ago by caruso

  • Status changed from new to needs_review

comment:7 Changed 3 years ago by roed

  • Authors set to Xavier Caruso
  • Reviewers set to David Roe

Positive review if tests pass.

comment:8 Changed 3 years ago by caruso

  • Keywords padicIMA added
  • Status changed from needs_review to positive_review

Tests pass

comment:9 Changed 3 years ago by vbraun

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