Mercurial > octave
annotate libinterp/corefcn/__isprimelarge__.cc @ 31605:e88a07dec498 stable
maint: Use macros to begin/end C++ namespaces.
* oct-conf-post-public.in.h: Define two macros (OCTAVE_BEGIN_NAMESPACE,
OCTAVE_END_NAMESPACE) that can be used to start/end a namespace.
* mk-opts.pl, build-env.h, build-env.in.cc, __betainc__.cc, __contourc__.cc,
__dsearchn__.cc, __eigs__.cc, __expint__.cc, __ftp__.cc, __gammainc__.cc,
__ichol__.cc, __ilu__.cc, __isprimelarge__.cc, __lin_interpn__.cc,
__magick_read__.cc, __pchip_deriv__.cc, __qp__.cc, amd.cc, auto-shlib.cc,
auto-shlib.h, balance.cc, base-text-renderer.cc, base-text-renderer.h,
besselj.cc, bitfcns.cc, bsxfun.cc, c-file-ptr-stream.cc, c-file-ptr-stream.h,
call-stack.cc, call-stack.h, ccolamd.cc, cellfun.cc, chol.cc, colamd.cc,
colloc.cc, conv2.cc, daspk.cc, dasrt.cc, dassl.cc, data.cc, data.h, debug.cc,
defaults.cc, defaults.h, defun-int.h, defun.cc, det.cc, dirfns.cc, display.cc,
display.h, dlmread.cc, dmperm.cc, dot.cc, dynamic-ld.cc, dynamic-ld.h, eig.cc,
ellipj.cc, environment.cc, environment.h, error.cc, error.h, errwarn.h,
event-manager.cc, event-manager.h, event-queue.cc, event-queue.h, fcn-info.cc,
fcn-info.h, fft.cc, fft2.cc, fftn.cc, file-io.cc, filter.cc, find.cc,
ft-text-renderer.cc, ft-text-renderer.h, gcd.cc, getgrent.cc, getpwent.cc,
getrusage.cc, givens.cc, gl-render.cc, gl-render.h, gl2ps-print.cc,
gl2ps-print.h, graphics-toolkit.cc, graphics-toolkit.h, graphics.cc,
graphics.in.h, gsvd.cc, gtk-manager.cc, gtk-manager.h, hash.cc, help.cc,
help.h, hess.cc, hex2num.cc, hook-fcn.cc, hook-fcn.h, input.cc, input.h,
interpreter-private.cc, interpreter-private.h, interpreter.cc, interpreter.h,
inv.cc, jsondecode.cc, jsonencode.cc, kron.cc, latex-text-renderer.cc,
latex-text-renderer.h, load-path.cc, load-path.h, load-save.cc, load-save.h,
lookup.cc, ls-ascii-helper.cc, ls-ascii-helper.h, ls-oct-text.cc, ls-utils.cc,
ls-utils.h, lsode.cc, lu.cc, mappers.cc, matrix_type.cc, max.cc, mex-private.h,
mex.cc, mgorth.cc, nproc.cc, oct-fstrm.cc, oct-fstrm.h, oct-hdf5-types.cc,
oct-hdf5-types.h, oct-hist.cc, oct-hist.h, oct-iostrm.cc, oct-iostrm.h,
oct-opengl.h, oct-prcstrm.cc, oct-prcstrm.h, oct-procbuf.cc, oct-procbuf.h,
oct-process.cc, oct-process.h, oct-stdstrm.h, oct-stream.cc, oct-stream.h,
oct-strstrm.cc, oct-strstrm.h, oct-tex-lexer.in.ll, oct-tex-parser.yy,
ordqz.cc, ordschur.cc, pager.cc, pager.h, pinv.cc, pow2.cc, pr-flt-fmt.cc,
pr-output.cc, procstream.cc, procstream.h, psi.cc, qr.cc, quad.cc, quadcc.cc,
qz.cc, rand.cc, rcond.cc, regexp.cc, schur.cc, settings.cc, settings.h,
sighandlers.cc, sighandlers.h, sparse-xdiv.cc, sparse-xdiv.h, sparse-xpow.cc,
sparse-xpow.h, sparse.cc, spparms.cc, sqrtm.cc, stack-frame.cc, stack-frame.h,
stream-euler.cc, strfind.cc, strfns.cc, sub2ind.cc, svd.cc, sylvester.cc,
symbfact.cc, syminfo.cc, syminfo.h, symrcm.cc, symrec.cc, symrec.h,
symscope.cc, symscope.h, symtab.cc, symtab.h, syscalls.cc, sysdep.cc, sysdep.h,
text-engine.cc, text-engine.h, text-renderer.cc, text-renderer.h, time.cc,
toplev.cc, tril.cc, tsearch.cc, typecast.cc, url-handle-manager.cc,
url-handle-manager.h, urlwrite.cc, utils.cc, utils.h, variables.cc,
variables.h, xdiv.cc, xdiv.h, xnorm.cc, xnorm.h, xpow.cc, xpow.h,
__delaunayn__.cc, __fltk_uigetfile__.cc, __glpk__.cc, __init_fltk__.cc,
__init_gnuplot__.cc, __ode15__.cc, __voronoi__.cc, audiodevinfo.cc,
audioread.cc, convhulln.cc, fftw.cc, gzip.cc, mk-build-env-features.sh,
mk-builtins.pl, cdef-class.cc, cdef-class.h, cdef-fwd.h, cdef-manager.cc,
cdef-manager.h, cdef-method.cc, cdef-method.h, cdef-object.cc, cdef-object.h,
cdef-package.cc, cdef-package.h, cdef-property.cc, cdef-property.h,
cdef-utils.cc, cdef-utils.h, ov-base.cc, ov-base.h, ov-bool-mat.cc,
ov-builtin.h, ov-cell.cc, ov-class.cc, ov-class.h, ov-classdef.cc,
ov-classdef.h, ov-complex.cc, ov-fcn-handle.cc, ov-fcn-handle.h, ov-fcn.h,
ov-java.cc, ov-java.h, ov-mex-fcn.h, ov-null-mat.cc, ov-oncleanup.cc,
ov-struct.cc, ov-typeinfo.cc, ov-typeinfo.h, ov-usr-fcn.cc, ov-usr-fcn.h,
ov.cc, ov.h, octave.cc, octave.h, mk-ops.sh, op-b-b.cc, op-b-bm.cc,
op-b-sbm.cc, op-bm-b.cc, op-bm-bm.cc, op-bm-sbm.cc, op-cdm-cdm.cc, op-cell.cc,
op-chm.cc, op-class.cc, op-cm-cm.cc, op-cm-cs.cc, op-cm-m.cc, op-cm-s.cc,
op-cm-scm.cc, op-cm-sm.cc, op-cs-cm.cc, op-cs-cs.cc, op-cs-m.cc, op-cs-s.cc,
op-cs-scm.cc, op-cs-sm.cc, op-dm-dm.cc, op-dm-scm.cc, op-dm-sm.cc,
op-dm-template.cc, op-dms-template.cc, op-fcdm-fcdm.cc, op-fcm-fcm.cc,
op-fcm-fcs.cc, op-fcm-fm.cc, op-fcm-fs.cc, op-fcn.cc, op-fcs-fcm.cc,
op-fcs-fcs.cc, op-fcs-fm.cc, op-fcs-fs.cc, op-fdm-fdm.cc, op-fm-fcm.cc,
op-fm-fcs.cc, op-fm-fm.cc, op-fm-fs.cc, op-fs-fcm.cc, op-fs-fcs.cc,
op-fs-fm.cc, op-fs-fs.cc, op-i16-i16.cc, op-i32-i32.cc, op-i64-i64.cc,
op-i8-i8.cc, op-int-concat.cc, op-m-cm.cc, op-m-cs.cc, op-m-m.cc, op-m-s.cc,
op-m-scm.cc, op-m-sm.cc, op-mi.cc, op-pm-pm.cc, op-pm-scm.cc, op-pm-sm.cc,
op-pm-template.cc, op-range.cc, op-s-cm.cc, op-s-cs.cc, op-s-m.cc, op-s-s.cc,
op-s-scm.cc, op-s-sm.cc, op-sbm-b.cc, op-sbm-bm.cc, op-sbm-sbm.cc,
op-scm-cm.cc, op-scm-cs.cc, op-scm-m.cc, op-scm-s.cc, op-scm-scm.cc,
op-scm-sm.cc, op-sm-cm.cc, op-sm-cs.cc, op-sm-m.cc, op-sm-s.cc, op-sm-scm.cc,
op-sm-sm.cc, op-str-m.cc, op-str-s.cc, op-str-str.cc, op-struct.cc,
op-ui16-ui16.cc, op-ui32-ui32.cc, op-ui64-ui64.cc, op-ui8-ui8.cc, ops.h,
anon-fcn-validator.cc, anon-fcn-validator.h, bp-table.cc, bp-table.h,
comment-list.cc, comment-list.h, filepos.h, lex.h, lex.ll, oct-lvalue.cc,
oct-lvalue.h, oct-parse.yy, parse.h, profiler.cc, profiler.h,
pt-anon-scopes.cc, pt-anon-scopes.h, pt-arg-list.cc, pt-arg-list.h,
pt-args-block.cc, pt-args-block.h, pt-array-list.cc, pt-array-list.h,
pt-assign.cc, pt-assign.h, pt-binop.cc, pt-binop.h, pt-bp.cc, pt-bp.h,
pt-cbinop.cc, pt-cbinop.h, pt-cell.cc, pt-cell.h, pt-check.cc, pt-check.h,
pt-classdef.cc, pt-classdef.h, pt-cmd.h, pt-colon.cc, pt-colon.h, pt-const.cc,
pt-const.h, pt-decl.cc, pt-decl.h, pt-eval.cc, pt-eval.h, pt-except.cc,
pt-except.h, pt-exp.cc, pt-exp.h, pt-fcn-handle.cc, pt-fcn-handle.h, pt-id.cc,
pt-id.h, pt-idx.cc, pt-idx.h, pt-jump.h, pt-loop.cc, pt-loop.h, pt-mat.cc,
pt-mat.h, pt-misc.cc, pt-misc.h, pt-pr-code.cc, pt-pr-code.h, pt-select.cc,
pt-select.h, pt-spmd.cc, pt-spmd.h, pt-stmt.cc, pt-stmt.h, pt-tm-const.cc,
pt-tm-const.h, pt-unop.cc, pt-unop.h, pt-vm-eval.cc, pt-walk.cc, pt-walk.h,
pt.cc, pt.h, token.cc, token.h, Range.cc, Range.h, idx-vector.cc, idx-vector.h,
range-fwd.h, CollocWt.cc, CollocWt.h, aepbalance.cc, aepbalance.h, chol.cc,
chol.h, gepbalance.cc, gepbalance.h, gsvd.cc, gsvd.h, hess.cc, hess.h,
lo-mappers.cc, lo-mappers.h, lo-specfun.cc, lo-specfun.h, lu.cc, lu.h,
oct-convn.cc, oct-convn.h, oct-fftw.cc, oct-fftw.h, oct-norm.cc, oct-norm.h,
oct-rand.cc, oct-rand.h, oct-spparms.cc, oct-spparms.h, qr.cc, qr.h, qrp.cc,
qrp.h, randgamma.cc, randgamma.h, randmtzig.cc, randmtzig.h, randpoisson.cc,
randpoisson.h, schur.cc, schur.h, sparse-chol.cc, sparse-chol.h, sparse-lu.cc,
sparse-lu.h, sparse-qr.cc, sparse-qr.h, svd.cc, svd.h, child-list.cc,
child-list.h, dir-ops.cc, dir-ops.h, file-ops.cc, file-ops.h, file-stat.cc,
file-stat.h, lo-sysdep.cc, lo-sysdep.h, lo-sysinfo.cc, lo-sysinfo.h,
mach-info.cc, mach-info.h, oct-env.cc, oct-env.h, oct-group.cc, oct-group.h,
oct-password.cc, oct-password.h, oct-syscalls.cc, oct-syscalls.h, oct-time.cc,
oct-time.h, oct-uname.cc, oct-uname.h, action-container.cc, action-container.h,
base-list.h, cmd-edit.cc, cmd-edit.h, cmd-hist.cc, cmd-hist.h, f77-fcn.h,
file-info.cc, file-info.h, lo-array-errwarn.cc, lo-array-errwarn.h, lo-hash.cc,
lo-hash.h, lo-ieee.h, lo-regexp.cc, lo-regexp.h, lo-utils.cc, lo-utils.h,
oct-base64.cc, oct-base64.h, oct-glob.cc, oct-glob.h, oct-inttypes.h,
oct-mutex.cc, oct-mutex.h, oct-refcount.h, oct-shlib.cc, oct-shlib.h,
oct-sparse.cc, oct-sparse.h, oct-string.h, octave-preserve-stream-state.h,
pathsearch.cc, pathsearch.h, quit.cc, quit.h, unwind-prot.cc, unwind-prot.h,
url-transfer.cc, url-transfer.h : Use new macros to begin/end C++ namespaces.
author | Rik <rik@octave.org> |
---|---|
date | Thu, 01 Dec 2022 14:23:45 -0800 |
parents | 23520a50d74d |
children | aac27ad79be6 |
rev | line source |
---|---|
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
1 //////////////////////////////////////////////////////////////////////// |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
2 // |
30612
cfade47fc4fc
__isprimelarge__.cc: Adjust range of copyright years (bug #61772).
Markus Mützel <markus.muetzel@gmx.de>
parents:
30564
diff
changeset
|
3 // Copyright (C) 2021-2022 The Octave Project Developers |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
4 // |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
5 // See the file COPYRIGHT.md in the top-level directory of this |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
6 // distribution or <https://octave.org/copyright/>. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
7 // |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
8 // This file is part of Octave. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
9 // |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
10 // Octave is free software: you can redistribute it and/or modify it |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
11 // under the terms of the GNU General Public License as published by |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
12 // the Free Software Foundation, either version 3 of the License, or |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
13 // (at your option) any later version. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
14 // |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
15 // Octave is distributed in the hope that it will be useful, but |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
16 // WITHOUT ANY WARRANTY; without even the implied warranty of |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
18 // GNU General Public License for more details. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
19 // |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
20 // You should have received a copy of the GNU General Public License |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
21 // along with Octave; see the file COPYING. If not, see |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
22 // <https://www.gnu.org/licenses/>. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
23 // |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
24 //////////////////////////////////////////////////////////////////////// |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
25 |
30487
1f51aa6719e5
* __isprimelarge__.cc: Include config.h before other header files.
John W. Eaton <jwe@octave.org>
parents:
30359
diff
changeset
|
26 #if defined (HAVE_CONFIG_H) |
1f51aa6719e5
* __isprimelarge__.cc: Include config.h before other header files.
John W. Eaton <jwe@octave.org>
parents:
30359
diff
changeset
|
27 # include "config.h" |
1f51aa6719e5
* __isprimelarge__.cc: Include config.h before other header files.
John W. Eaton <jwe@octave.org>
parents:
30359
diff
changeset
|
28 #endif |
1f51aa6719e5
* __isprimelarge__.cc: Include config.h before other header files.
John W. Eaton <jwe@octave.org>
parents:
30359
diff
changeset
|
29 |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
30 #include "defun.h" |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
31 #include "error.h" |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
32 #include "ovl.h" |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
33 |
31605
e88a07dec498
maint: Use macros to begin/end C++ namespaces.
Rik <rik@octave.org>
parents:
31603
diff
changeset
|
34 OCTAVE_BEGIN_NAMESPACE(octave) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
35 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
36 // This function implements the Schrage technique for modular multiplication. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
37 // The returned value is equivalent to "mod (a*b, modulus)" |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
38 // but calculated without overflow. |
30351
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
39 uint64_t |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
40 safemultiply (uint64_t a, uint64_t b, uint64_t modulus) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
41 { |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
42 if (! a || ! b) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
43 return 0; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
44 else if (b == 1) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
45 return a; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
46 else if (a == 1) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
47 return b; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
48 else if (a > b) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
49 { |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
50 uint64_t tmp = a; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
51 a = b; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
52 b = tmp; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
53 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
54 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
55 uint64_t q = modulus / a; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
56 uint64_t r = modulus - q * a; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
57 uint64_t term1 = a * (b % q); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
58 uint64_t term2 = (r < q) ? r * (b / q) : safemultiply (r, b / q, modulus); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
59 return (term1 > term2) ? (term1 - term2) : (term1 + modulus - term2); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
60 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
61 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
62 // This function returns "mod (a^b, modulus)" |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
63 // but calculated without overflow. |
30351
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
64 uint64_t |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
65 safepower (uint64_t a, uint64_t b, uint64_t modulus) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
66 { |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
67 uint64_t retval = 1; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
68 while (b > 0) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
69 { |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
70 if (b & 1) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
71 retval = safemultiply (retval, a, modulus); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
72 b >>= 1; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
73 a = safemultiply (a, a, modulus); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
74 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
75 return retval; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
76 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
77 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
78 // This function implements a single round of Miller-Rabin primality testing. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
79 // Returns false if composite, true if pseudoprime for this divisor. |
30351
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
80 bool |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
81 millerrabin (uint64_t div, uint64_t d, uint64_t r, uint64_t n) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
82 { |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
83 uint64_t x = safepower (div, d, n); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
84 if (x == 1 || x == n-1) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
85 return true; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
86 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
87 for (uint64_t j = 1; j < r; j++) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
88 { |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
89 x = safemultiply (x, x, n); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
90 if (x == n-1) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
91 return true; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
92 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
93 return false; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
94 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
95 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
96 // This function uses the Miller-Rabin test to find out whether the input is |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
97 // prime or composite. The input is required to be a scalar 64-bit integer. |
30351
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
98 bool |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
99 isprimescalar (uint64_t n) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
100 { |
30346
91c6288781ba
maint: Shorten some long lines in libinterp to <= 80 characters (bug #57599)
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
101 // Fast return for even numbers. |
91c6288781ba
maint: Shorten some long lines in libinterp to <= 80 characters (bug #57599)
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
102 // n==2 is excluded by the time this function is called. |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
103 if (! (n & 1)) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
104 return false; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
105 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
106 // n is now odd. Rewrite n as d * 2^r + 1, where d is odd. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
107 uint64_t d = n-1; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
108 uint64_t r = 0; |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
109 while (! (d & 1)) |
30351
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
110 { |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
111 d >>= 1; |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
112 r++; |
4f4fa00edada
maint: __isprimelarge__.cc: apply Octave coding style
Arun Giridhar <arungiridhar@gmail.com>
parents:
30261
diff
changeset
|
113 } |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
114 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
115 // Miller-Rabin test with the first 12 primes. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
116 // If the number passes all 12 tests, then it is prime. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
117 // If it fails any, then it is composite. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
118 // The first 12 primes suffice to test all 64-bit integers. |
31050
3a93a77dd4cf
Minor performance tweaks to isprime.m and __isprimelarge__.cc
Arun Giridhar <arungiridhar@gmail.com>
parents:
30612
diff
changeset
|
119 return millerrabin ( 2, d, r, n) && millerrabin ( 3, d, r, n) |
3a93a77dd4cf
Minor performance tweaks to isprime.m and __isprimelarge__.cc
Arun Giridhar <arungiridhar@gmail.com>
parents:
30612
diff
changeset
|
120 && millerrabin ( 5, d, r, n) && millerrabin ( 7, d, r, n) |
3a93a77dd4cf
Minor performance tweaks to isprime.m and __isprimelarge__.cc
Arun Giridhar <arungiridhar@gmail.com>
parents:
30612
diff
changeset
|
121 && millerrabin (11, d, r, n) && millerrabin (13, d, r, n) |
3a93a77dd4cf
Minor performance tweaks to isprime.m and __isprimelarge__.cc
Arun Giridhar <arungiridhar@gmail.com>
parents:
30612
diff
changeset
|
122 && millerrabin (17, d, r, n) && millerrabin (19, d, r, n) |
3a93a77dd4cf
Minor performance tweaks to isprime.m and __isprimelarge__.cc
Arun Giridhar <arungiridhar@gmail.com>
parents:
30612
diff
changeset
|
123 && millerrabin (23, d, r, n) && millerrabin (29, d, r, n) |
3a93a77dd4cf
Minor performance tweaks to isprime.m and __isprimelarge__.cc
Arun Giridhar <arungiridhar@gmail.com>
parents:
30612
diff
changeset
|
124 && millerrabin (31, d, r, n) && millerrabin (37, d, r, n); |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
125 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
126 /* |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
127 Mathematical references for the curious as to why we need only |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
128 the 12 smallest primes for testing all 64-bit numbers: |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
129 (1) https://oeis.org/A014233 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
130 Comment: a(12) > 2^64. Hence the primality of numbers < 2^64 can be |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
131 determined by asserting strong pseudoprimality to all prime bases <= 37 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
132 (=prime(12)). Testing to prime bases <=31 does not suffice, |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
133 as a(11) < 2^64 and a(11) is a strong pseudoprime |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
134 to all prime bases <= 31 (=prime(11)). - Joerg Arndt, Jul 04 2012 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
135 (2) https://arxiv.org/abs/1509.00864 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
136 Strong Pseudoprimes to Twelve Prime Bases |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
137 Jonathan P. Sorenson, Jonathan Webster |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
138 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
139 In addition, a source listed here: https://miller-rabin.appspot.com/ |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
140 reports that all 64-bit numbers can be covered with only 7 divisors, |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
141 namely 2, 325, 9375, 28178, 450775, 9780504, and 1795265022. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
142 There was no peer-reviewed article to back it up though, |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
143 so this code uses the 12 primes <= 37. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
144 */ |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
145 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
146 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
147 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
148 DEFUN (__isprimelarge__, args, , |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
149 doc: /* -*- texinfo -*- |
30354
c980f938fdd8
doc: grammarcheck C++ files in libinterp/ directory ahead of 7.1 release.
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
150 @deftypefn {} {@var{x} =} __isprimelarge__ (@var{n}) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
151 Use the Miller-Rabin test to find out whether the elements of N are prime or |
30354
c980f938fdd8
doc: grammarcheck C++ files in libinterp/ directory ahead of 7.1 release.
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
152 composite. The input N is required to be a vector or array of 64-bit integers. |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
153 You should call isprime(N) instead of directly calling this function. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
154 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
155 @seealso{isprime, factor} |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
156 @end deftypefn */) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
157 { |
31603
23520a50d74d
maint: Review C++ files for style and coding conventions.
Rik <rik@octave.org>
parents:
31523
diff
changeset
|
158 if (args.length () != 1) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
159 print_usage (); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
160 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
161 // This function is intended for internal use by isprime.m, |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
162 // so the following error handling should not be necessary. But it is |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
163 // probably good practice for any curious users calling it directly. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
164 uint64NDArray vec = args(0).xuint64_array_value |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
165 ("__isprimelarge__: unable to convert input. Call isprime() instead."); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
166 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
167 boolNDArray retval (vec.dims(), false); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
168 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
169 for (octave_idx_type i = vec.numel() - 1; i >= 0; i--) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
170 retval(i) = isprimescalar (vec(i)); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
171 // Note: If vec(i) <= 37, this function could go into an infinite loop. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
172 // That situation does not arise when calling this from isprime.m |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
173 // but it could arise if the user calls this function directly with low input |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
174 // or negative input. |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
175 // But it turns out that adding this validation: |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
176 // "if (vec(i) <= 37) then raise an error else call isprimescalar (vec(i))" |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
177 // slows this function down by over 20% for some inputs, |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
178 // so it is better to leave all the input validation in isprime.m |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
179 // and not add it here. The function DOCSTRING now explicitly says: |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
180 // "You should call isprime(N) instead of directly calling this function." |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
181 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
182 return ovl (retval); |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
183 } |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
184 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
185 /* |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
186 %!assert (__isprimelarge__ (41:50), logical ([1 0 1 0 0 0 1 0 0 0])) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
187 %!assert (__isprimelarge__ (uint64 (12345)), false) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
188 %!assert (__isprimelarge__ (uint64 (2147483647)), true) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
189 %!assert (__isprimelarge__ (uint64 (2305843009213693951)), true) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
190 %!assert (__isprimelarge__ (uint64 (18446744073709551557)), true) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
191 |
30346
91c6288781ba
maint: Shorten some long lines in libinterp to <= 80 characters (bug #57599)
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
192 %!assert (__isprimelarge__ ([uint64(12345), uint64(2147483647), ... |
91c6288781ba
maint: Shorten some long lines in libinterp to <= 80 characters (bug #57599)
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
193 %! uint64(2305843009213693951), ... |
91c6288781ba
maint: Shorten some long lines in libinterp to <= 80 characters (bug #57599)
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
194 %! uint64(18446744073709551557)]), |
91c6288781ba
maint: Shorten some long lines in libinterp to <= 80 characters (bug #57599)
Rik <rik@octave.org>
parents:
30261
diff
changeset
|
195 %! logical ([0 1 1 1])) |
30261
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
196 |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
197 %!error <unable to convert input> (__isprimelarge__ ({'foo'; 'bar'})) |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
198 */ |
a49c635b179d
isprime.m: Speed up for large integers using Miller-Rabin test (bug #61312).
Arun Giridhar <arungiridhar@gmail.com>
parents:
diff
changeset
|
199 |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
200 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
201 // This function implements a fast, private GCD function |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
202 // optimized for uint64_t. No input validation by design. |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
203 inline |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
204 uint64_t |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
205 localgcd (uint64_t a, uint64_t b) |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
206 { |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
207 return (a <= b) ? ( (b % a == 0) ? a : localgcd (a, b % a) ) |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
208 : ( (a % b == 0) ? b : localgcd (a % b, b) ); |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
209 } |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
210 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
211 // This function implements a textbook version of the Pollard Rho |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
212 // factorization algorithm with Brent update. |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
213 // The code is short and simple, but the math behind it is complicated. |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
214 uint64_t |
31523
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
215 pollardrho (uint64_t n, uint64_t c = 1) |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
216 { |
31523
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
217 uint64_t i = 1, j = 2; // cycle index values |
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
218 uint64_t x = (c+1) % n; // can also be rand () % n |
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
219 uint64_t y = x; // other value in the chain |
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
220 uint64_t g = 0; // GCD |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
221 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
222 while (true) |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
223 { |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
224 i++; |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
225 |
31397
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
226 // Calculate x = mod (x^2 + c, n) without overflow. |
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
227 x = safemultiply (x, x, n) + c; |
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
228 if (x >= n) |
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
229 x -= n; |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
230 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
231 // Calculate GCD (abs (x-y), n). |
31397
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
232 g = (x > y) ? localgcd (x - y, n) : (x < y) ? localgcd (y - x, n) : 0; |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
233 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
234 if (i == j) // cycle detected ==> double j |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
235 { |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
236 y = x; |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
237 j <<= 1; |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
238 } |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
239 |
31523
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
240 if (g == n || i > 1000000) // cut losses, restart with a different c |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
241 return pollardrho (n, c + 2); |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
242 |
31523
88d2395500e7
__isprimelarge__.cc: Shorten long lines
Arun Giridhar <arungiridhar@gmail.com>
parents:
31399
diff
changeset
|
243 if (g > 1) // found GCD ==> exit loop properly |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
244 { |
31397
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
245 error_unless (n % g == 0); // theoretical possibility of GCD error |
0bd5ea4bd31c
__isprimelarge.cc__: Minor performance tweaks.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31395
diff
changeset
|
246 return g; |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
247 } |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
248 } |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
249 } |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
250 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
251 DEFUN (__pollardrho__, args, , |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
252 doc: /* -*- texinfo -*- |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
253 @deftypefn {} {@var{x} =} __pollardrho__ (@var{n}) |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
254 Private function. Use the Pollard Rho test to find a factor of @var{n}. |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
255 The input @var{n} is required to be a composite 64-bit integer. |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
256 Do not pass it a prime input! You should call factor(@var{n}) instead |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
257 of directly calling this function. |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
258 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
259 @seealso{isprime, factor} |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
260 @end deftypefn */) |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
261 { |
31603
23520a50d74d
maint: Review C++ files for style and coding conventions.
Rik <rik@octave.org>
parents:
31523
diff
changeset
|
262 if (args.length () != 1) |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
263 print_usage (); |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
264 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
265 octave_uint64 inp = args(0).xuint64_scalar_value |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
266 ("__pollardrho__: unable to convert input. Call factor() instead."); |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
267 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
268 uint64_t n = inp; |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
269 octave_uint64 retval = pollardrho (n); |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
270 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
271 return ovl (retval); |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
272 } |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
273 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
274 /* |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
275 %!assert (__pollardrho__ (uint64 (78567695338254293)), uint64 (443363)) |
31398
4f86d56c090d
__isprimelarge__.cc: Guard against a rare loop runaway condition.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31397
diff
changeset
|
276 %!assert (__pollardrho__ (1084978968791), uint64 (832957)) |
31395
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
277 |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
278 %!error <unable to convert input> (__pollardrho__ ({'foo'; 'bar'})) |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
279 */ |
068342cc93b8
factor.m: Speed up for large inputs.
Arun Giridhar <arungiridhar@gmail.com>
parents:
31051
diff
changeset
|
280 |
31605
e88a07dec498
maint: Use macros to begin/end C++ namespaces.
Rik <rik@octave.org>
parents:
31603
diff
changeset
|
281 OCTAVE_END_NAMESPACE(octave) |