diff options
author | Eitan Adler <eadler@FreeBSD.org> | 2012-01-08 07:01:25 +0000 |
---|---|---|
committer | Eitan Adler <eadler@FreeBSD.org> | 2012-01-08 07:01:25 +0000 |
commit | c5d811a37d56d8b50097c8e3ae91f58980ee7ed9 (patch) | |
tree | 5810e1ce97ce2cdafc8ab85ef5ee1efef73f5b58 /math | |
parent | a03386997b05123634c4a845036ff9a7340f2c38 (diff) | |
download | ports-c5d811a37d56d8b50097c8e3ae91f58980ee7ed9.tar.gz ports-c5d811a37d56d8b50097c8e3ae91f58980ee7ed9.zip |
Notes
Diffstat (limited to 'math')
-rw-r--r-- | math/ltl2ba/pkg-descr | 2 | ||||
-rw-r--r-- | math/ndiff/pkg-descr | 2 | ||||
-rw-r--r-- | math/p5-Statistics-R/pkg-descr | 2 | ||||
-rw-r--r-- | math/prng/pkg-descr | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/math/ltl2ba/pkg-descr b/math/ltl2ba/pkg-descr index 68a2cfafde00..55982fb67807 100644 --- a/math/ltl2ba/pkg-descr +++ b/math/ltl2ba/pkg-descr @@ -5,7 +5,7 @@ transforms it into a Buechi automaton, using a generalized Buechi automaton as an intermediate step. Each automaton is simplified on-the-fly in order to save memory and time. As usual the LTL formula is simplified before any treatment. ltl2ba is more efficient than -Spin 3.4.1, with regard to the the size of the resulting automaton, +Spin 3.4.1, with regard to the size of the resulting automaton, the time of the computation, and the memory used. WWW: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ diff --git a/math/ndiff/pkg-descr b/math/ndiff/pkg-descr index 7b8ecb1a4af6..d7ed8a4f8791 100644 --- a/math/ndiff/pkg-descr +++ b/math/ndiff/pkg-descr @@ -10,7 +10,7 @@ difficult task for a human, as small differences in numerical output values are expected. File differencing utilites, such as diff(1), will generally produce voluminous output, often longer than the original files. -ndiff solves this problem. Taking two two text files expected to be +ndiff solves this problem. Taking two text files expected to be identical, or at least numerically similar, it allows to specify absolute and/or relative error tolerances for differences between numerical values in the two files, and then reports only the lines with values exceeding diff --git a/math/p5-Statistics-R/pkg-descr b/math/p5-Statistics-R/pkg-descr index 84da1fe5076f..77db5f818f0c 100644 --- a/math/p5-Statistics-R/pkg-descr +++ b/math/p5-Statistics-R/pkg-descr @@ -1,4 +1,4 @@ -Statistics::R will permit the control of the the R (R-project) interpreter +Statistics::R will permit the control of the R (R-project) interpreter through Perl in different architectures and OS. WWW: http://search.cpan.org/dist/Statistics-R/ diff --git a/math/prng/pkg-descr b/math/prng/pkg-descr index 9c5ca3315057..b97ecce27473 100644 --- a/math/prng/pkg-descr +++ b/math/prng/pkg-descr @@ -1,6 +1,6 @@ PRNG is a collection of portable, high-performance ANSI-C implementations of pseudorandom number generators such as linear congruential, inversive congruential, and explicit inversive congruential random number generators (LCG, -ICG and EICG, respectively) created by Otmar Lendl and and Josef Leydold. +ICG and EICG, respectively) created by Otmar Lendl and Josef Leydold. WWW: http://statistik.wu-wien.ac.at/software/prng/index.html |