/usr/include/linbox/randiter/modular-balanced.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 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 | /* -*- mode: C++; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*- */
/* linbox/randiter/modular-balanced.h
* Copyright (C) 1999-2005 William J Turner,
* 2002 Bradford Hovinen
*
* Written by William J Turner <wjturner@acm.org>,
* Bradford Hovinen <hovinen@cis.udel.edu>
*
* ------------------------------------
* 2002-04-10 Bradford Hovinen <hovinen@cis.udel.edu>
*
* Changed LargeModularRandIter to ModularRandIter, parameterized on the
* element type. This change is for compatibility with the changes in
* field/modular.h
*
* Renamed from large-modular.h to modular.h
* ------------------------------------
* 2002-05-14 William J. Turner <wjturner@acm.org>
*
* Seeded random number generator in constructor. _seed was never used
* before.
* ------------------------------------
* 2005-06-24 William J. Turner <wjturner@acm.org>
*
* Removed using declarations.
* ------------------------------------
*
* See COPYING for license information.
*/
#ifndef __RANDITER_MODULAR_BALANCED_H
#define __RANDITER_MODULAR_BALANCED_H
#include <iostream>
#include <vector>
#include "time.h"
#include "linbox/integer.h"
#include "linbox/element/abstract.h"
#include "linbox/element/envelope.h"
#include "linbox/util/commentator.h"
#include "linbox/randiter/mersenne-twister.h"
#include "linbox/linbox-config.h"
namespace LinBox
{
template <class Element>
class ModularBalanced;
/** Random field base element generator.
* This encapsulated class is a generator of random field base elements for
* the encapsulating field.
* It is required to contain constructors from a field object and
* two integers. The first integer being a cardinality of a set to
* draw the random elements from, and the second being a seed for the
* random number generator.
* It is also required to contain a copy constructor, a destructor, and
* an operator () which acts on a reference to a field base element. In this
* operator (), the random element is placed into the input field base element
* and also returned as a reference.
*/
template <class Element>
class ModularBalancedRandIter
{
public:
/** Constructor from field, sampling size, and seed.
* The random field element iterator works in the field F, is seeded
* by seed, and it returns any one element with probability no more
* than 1/min (size, F.cardinality (c)).
* A sampling size of zero means to sample from the entire field.
* A seed of zero means to use some arbitrary seed for the generator.
* Purely virtual.
* @param F LinBox field archetype object in which to do arithmetic
* @param size constant integer reference of sample size from which to
* sample (default = modulus of field)
* @param seed constant integer reference from which to seed random number
* generator (default = 0)
*/
ModularBalancedRandIter (const ModularBalanced<Element> &F,
const integer &size = 0,
const integer &seed = 0)
: _F (F), _size (size), _seed (seed)
{
if (_seed == 0) _seed = time (NULL);
integer cardinality;
F.cardinality (cardinality);
if ((_size == 0) || (_size > cardinality))
_size = cardinality;
commentator.report (10, INTERNAL_DESCRIPTION)
<< "Created random generator with size " << _size
<< " and seed " << _seed << std::endl;
// Seed random number generator
srand (_seed);
}
/** Copy constructor.
* Constructs ModularBalancedRandIter object by copying the random field
* element generator.
* This is required to allow generator objects to be passed by value
* into functions.
* @param R ModularBalancedRandIter object.
*/
ModularBalancedRandIter (const ModularBalancedRandIter<Element> &R)
: _F (R._F), _size (R._size), _seed (R._seed) {}
/** Destructor.
* This destructs the random field element generator object.
*/
~ModularBalancedRandIter () {}
/** Assignment operator.
* Assigns ModularBalancedRandIter object R to generator.
* @param R ModularBalancedRandIter object.
*/
ModularBalancedRandIter<Element> &operator=(const ModularBalancedRandIter<Element> &R)
{
if (this != &R) { // guard against self-assignment
_size = R._size;
_seed = R._seed;
}
return *this;
}
/** Random field element creator.
* This returns a random field element from the information supplied
* at the creation of the generator.
* Required by abstract base class.
* @return reference to random field element
*/
Element &random (Element &a) const
{ return _F.init(a,rand()); }
/** Random field element creator.
* This returns a random field element from the information supplied
* at the creation of the generator.
* Required by abstract base class.
* @return reference to random field element
*/
ElementAbstract &random (ElementAbstract &a) const
{
Element tmp;
random (tmp);
return (a = ElementEnvelope <ModularBalanced<Element> > (tmp));
}
private:
/// Field in which arithmetic is done
ModularBalanced<Element> _F;
/// Sampling size
integer _size;
/// Seed
long _seed;
}; // class ModularBalancedRandIter
} // namespace LinBox
#endif
|