Opened 10 years ago

Closed 10 years ago

#10443 closed enhancement (fixed)

Improvements to ideallog

Reported by: davidloeffler Owned by: davidloeffler
Priority: major Milestone: sage-4.6.2
Component: number fields Keywords: ideal discrete logarithm
Cc: Merged in: sage-4.6.2.alpha1
Authors: David Loeffler Reviewers: David Roe
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by davidloeffler)

It's often useful to be able to solve the discrete logarithm problem for the multiplicative group of a number field modulo an (integral) ideal. Our wrapper around Pari's function "ideallog" does this, but it uses a choice of generators which are chosen in an arbitrary and non-deterministic way.

The aim of this patch is to make it possible to compute discrete logs with respect to a user-specified set of generators. This is a prerequisite for my work with Jared Weinstein on local components of modular forms.

Attachments (1)

trac_10443-nf_discrete_log.patch​ (6.0 KB) - added by davidloeffler 10 years ago.
patch against 4.6.1.alpha3

Download all attachments as: .zip

Change History (4)

Changed 10 years ago by davidloeffler

patch against 4.6.1.alpha3

comment:1 Changed 10 years ago by davidloeffler

  • Authors set to David Loeffler
  • Description modified (diff)
  • Status changed from new to needs_review
  • Summary changed from Discrete logarithms for number field ideals to Improvements to ideallog

Here's a patch.

comment:2 Changed 10 years ago by roed

  • Reviewers set to David Roe
  • Status changed from needs_review to positive_review

My only comment is that it might be worth caching the hermite forms computed here, if you're computing with respect to the same generators often.

comment:3 Changed 10 years ago by jdemeyer

  • Merged in set to sage-4.6.2.alpha1
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.