Opened 8 years ago
Last modified 7 years ago
#14815 new defect
issue in documentation of small_roots
Reported by: | zimmerma | Owned by: | mvngu |
---|---|---|---|
Priority: | minor | Milestone: | sage-6.4 |
Component: | documentation | Keywords: | |
Cc: | robertwb | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
the documentation of small_roots says:
Let N be the characteristic of the base ring this polynomial is defined over: "N = self.base_ring().characteristic()". This method returns small roots of this polynomial modulo some factor b of N with the constraint that b >= N^beta. Small in this context means that if x is a root of f modulo b then |x| < X. This X is either provided by the user or the maximum X is chosen such that this algorithm terminates in polynomial time. If X is chosen automatically it is X = ceil(1/2 N^{beta^2/delta - epsilon}).
However the parameter delta
is not defined.
Looking at the source code it seems it is the degree of the input polynomial,
but this should be confirmed and documented.
Change History (4)
comment:1 Changed 8 years ago by
- Cc robertwb added
comment:2 Changed 8 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:3 Changed 7 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:4 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
Note: See
TracTickets for help on using
tickets.
Robert, since you are the only author of
polynomial_modn_dense_ntl.pyx
, I add you in cc. Please can you confirm thatdelta
is the degree of the input polynomial?Paul