Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.
The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
workaround, since this is commercial, binary distributed software. This
file is installed world-writable and is modified at program startup.
Thanks to Morten Liebach <morten@hotpost.dk> for reporting it. ok lebel
GNU Octave is a high-level language, primarily intended for numerical
computations. It provides a convenient command line interface for
solving linear and nonlinear problems numerically, and for performing
other numerical experiments using a language that is mostly compatible
with Matlab. It may also be used as a batch-oriented language.
Grace is a tool to make two-dimensional plots of numerical data. It
runs under various (if not all) flavours of UNIX with X11 and M*tif.
Its capabilities are roughly similar to GUI-based programs like
Sigmaplot or Microcal Origin plus script-based tools like gnuplot or
Genplot. Its strength lies in the fact that it combines the
convenience of a graphical user interface with the power of a
scripting language which enables it to do sophisticated calculations
or perform automated tasks.
Flavors:
no_x11 - build command line tool only, no gui
fftw - use math/fftw for optimized FFT
netcdf - use math/netcdf for network common data form support
xmhtml - use www/xmhtml to use grace's internal HTML browser
for helpfiles etc.
WWW: http://plasma-gate.weizmann.ac.il/Grace/
MAINTAINER= Nikolay Sturm <Nikolay.Sturm@desy.de>
--
FFTW is a free collection of fast C routines for computing the
Discrete Fourier Transform in one or more dimensions. It includes
complex, real, and parallel transforms, and can handle arbitrary
array sizes efficiently. FFTW is typically faster than other
publically-available FFT implementations, and is even competitive
with vendor-tuned libraries. (See our web page for extensive
benchmarks.) To achieve this performance, FFTW uses novel code-generation
and runtime self-optimization techniques (along with many other
tricks).
WWW: http://www.fftw.org/
Submitted by Nikolay Sturm <Nikolay.Sturm@desy.de>
* Now respects CFLAGS/CPPFLAGS, no need for patches.
* autoconf removed, CONFIGURE_STYLE set to simple.
* Use do-install target now that the install method is so messy.
* New homepage.
COMMENTS don't end with .
HOMEPAGE is there for a reason.
Only bsd.port.mk uses tabspaces set to 4.
pre-package does not run as root, post-install does.
copying files is not good enough to make them executable.
and numerical analysis, very similar to Matlab.
Yorick's array syntax, interpreted programs are compact,
nearly free of explicit loops, and can run at speeds up to
20% of optimized compiled speed.
It can do interactive graphics via the X Window System,
including x-y plots, quadrilateral meshes and cell arrays.
Includes tools to assist making animated and simple 3d
graphs.
Supports output directly to your screen, in PostScript and
binary CGM format.
Maintainer: Peter Valchev <pvalchev@toxiclinux.org>
like a financial spreadsheet. When invoked it presents you
with a table organized as rows and columns of cells. If
invoked without a file argument, by default the initial
table is empty.
Each cell can be associated with a numeric value, a label
string and/or an expression which evaluates to a numeric
value or label string, often based on other cell values
(formula).
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
--
Math::GMP is designed to be a drop-in replacement both for Math::BigInt
and for regular integer arithmetic. Unlike BigInt, though, Math::GMP
uses the GNU gmp library for all of its calculations, as opposed
to straight Perl functions. This results in a speed increase of
anywhere from 5 to 30 times.
A Math::GMP object can be used just as a normal numeric scalar would
be -- the module overloads the normal arithmetic operators to provide
as seamless an interface as possible.
efficiently solves systems of linear equalities and inequalities.
Constraints may be either requirements or preferences. Client code
specifies the constraints to be maintained, and the solver updates the
constrained variables to have values that satisfy the constraints.
A technical report is included in the distribution that describes the
algorithm, interface, and implementation of the Cassowary solver.
Additionally, the distribution contains toy sample applications
written in Smalltalk, C++, Java, and Python, and a more complex
example Java applet, the "Constraint Drawing Application".
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
also performs standart or Monte Carlo simulations. It allows you
to specify a set of linear or nonlinear equations and solve them
using parameter values you choose or parameter values sampled
from specified statistical distributions. Outputs can be compared.
It consists of two pieces - a model generator and a simulation
engine. The model generator was created to facilitate the model
maintenance and simulation definition, while keeping execution
time fast. Other programs have been created to the same end, the
Matlab family of graphical interactive programs being some of the
more general and easy to use.
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
Submitted by Peter Stromberg <home@wilfried.net>.
wmcalc is a program designed to act as a simple four-function
calculator. It is different from other calculator programs,
however in that it is designed to take up very little desktop
space.
functions like f(x) = x^4 - 2. It allows you to view/compare
multiple function's graphs simultaneously, using different colours.
Geg can zoom in/out selections, and is very easy to use by math
students and teachers, providing nice gtk interface.
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
by Victor Shoup. It provides objects and methods for
- arbitrary length integers
- finite fields
- polynomials over fields
- extensions of fields.
NTL's lattice reduction code is also one of the best available anywhere, in
terms of both speed and robustness, and one of the few implementations of block
Korkin-Zolotarev reduction with the Schnorr-Horner pruning heuristic. It has
been used to "crack" several cryptosystems.
MAINTAINER= Tom Knienieder <tom@knienieder.com>
data access and a library that provides an implementation of the
interface. The netCDF library also defines a machine-independent
format for representing scientific data. Together, the interface,
library, and format support the creation, access, and sharing of
scientific data. The netCDF software was developed at the Unidata
Program Center in Boulder, Colorado.
From: Tom Knienieder <tom@knienieder.com>
- bump NEED_VERSION.
- removed deprecated HAS_CONFIGURE and use CONFIGURE_STYLE.
- added revision tag to pkg/PLIST.
- added HOMEPAGE to Makefile and pkg/DESCR.
- added no_x11 flavor.
- changed MAINTAINER; ok angelos@
Thoroughly unsubtle, most mkdir -p should probably be INSTALL* at
*install stage, and echo/ECHO_MSG is somewhat unsorted.
It's quite possible I missed a few automated changes...
At one point bsd.port.mk put out erroneous PLIST-auto, with @cwd, @pkgname,
and @pkgdep lines.
These are actually added by make package, and shouldn't usually be put
inside the PLIST, as this is extra information to update.
I left a few @cwd in, mainly for the perl modules, which want to live under
/usr to work.
Porters: please make sure you use bsd.port.mk 1.75 or later when
updating ports. That version of the makefile adds all sums. Previous
versions of the makefile will still work for people installing ports.
