/usr/include/linbox/util/prime-stream.h is in liblinbox-dev 1.1.6~rc0-4.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 | /* -*- mode: C++; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*- */
/* linbox/randiter/primes.h
* Copyright (C) 2002 Bradford Hovinen
*
* Written by Bradford Hovinen <hovinen@cis.udel.edu>
*
* ------------------------------------
*
* See COPYING for license information.
*
* Stream of prime numbers
*/
#ifndef __PRIME_STREAM_H
#define __PRIME_STREAM_H
#include "linbox/integer.h"
#include <sys/time.h>
#include <stdlib.h>
namespace LinBox
{
/** Prime number stream
*
* Provides a source of prime numbers of given characteristics to use in parts
* of the library that need to reduce modulo one or more primes.
**/
template <class Element>
class PrimeStream
{
public:
/** Constructor
*
* Construct a PrimeStream object.
* @param start Starting point; need not be prime itself
* @param move_up true if we should move up from the starting point, false otherwise
*/
PrimeStream (Integer &start, bool move_up = true)
: _curr (start), _move_up (move_up) {}
~PrimeStream ()
{}
/** Get the next prime element
*
* @param a Place to store the next prime element
* @return Reference to next prime element
*/
Element &next (Element &a)
{
/** LinBox::Integer doesnot support prevprime */
/*
if (_move_up == true) {
nextprime (_curr, _curr);
a = _curr;
_curr += 2L;
} else {
prevprime (_curr, _curr);
a = _curr;
_curr -= 2L;
}
*/
nextprime (_curr, _curr);
a = _curr;
_curr += 2L;
return a;
}
/** Operator form for getting the next prime element
*/
PrimeStream<Element> &operator >> (Element &a)
{ next (a); return *this; }
private:
Integer _curr;
bool _move_up;
}; // class PrimeStream
} // namespace LinBox
#endif // __PRIME_STREAM_H
|