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 )
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)
Change History (4)
Changed 10 years ago by
comment:1 Changed 10 years ago by
- 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
- 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
- Merged in set to sage-4.6.2.alpha1
- Resolution set to fixed
- Status changed from positive_review to closed
patch against 4.6.1.alpha3