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:

Status badges

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 zimmerma

  • Cc robertwb added

Robert, since you are the only author of polynomial_modn_dense_ntl.pyx, I add you in cc. Please can you confirm that delta is the degree of the input polynomial?

Paul

comment:2 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.