aboutsummaryrefslogtreecommitdiff
path: root/math
Commit message (Collapse)AuthorAgeFilesLines
* Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner2005-08-3111-0/+716
| | | | | | | | PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=141552
* Teach bmake about FreeBSD-7.Thierry Thomas2005-08-302-3/+4
| | | | | | | | | Note: an upgrade to petsc-2.3.0 is in progress. Reported by: krion via pointyhat Notes: svn path=/head/; revision=141493
* upgrade to 1.1.0Ying-Chieh Liao2005-08-303-10/+16
| | | | | | | | PR: 85386 Submitted by: Ports Fury Notes: svn path=/head/; revision=141395
* - Update to 1.0.58Michael Johnson2005-08-308-49/+63
| | | | | | | | PR: ports/85387 Submitted by: Ports Fury Notes: svn path=/head/; revision=141381
* A portable fixed precision math library designed for very fastPav Lucistnik2005-08-296-0/+52
| | | | | | | | | | exponentiations. PR: ports/85044 Submitted by: Wesley Shields <wxs@csh.rit.edu> Notes: svn path=/head/; revision=141334
* LibTomMath provides highly optimized and portable routines for a vastPav Lucistnik2005-08-296-0/+50
| | | | | | | | | | | majority of integer based number theoretic applications (including public key cryptography). PR: ports/85043 Submitted by: Wesley Shields <wxs@csh.rit.edu> Notes: svn path=/head/; revision=141328
* Add mpfr 2.1.2, a library for multiple-precision floating-pointAlex Dupre2005-08-295-0/+42
| | | | | | | | | | computations. PR: ports/84724 Submitted by: Steven G. Kargl <kargl@troutmask.apl.washington.edu> Notes: svn path=/head/; revision=141316
* Remove mpfr library from libgmp: it'll be included in the mpfr port.Alex Dupre2005-08-294-12/+6
| | | | | | | | PR: ports/84724 Submitted by: Steven G. Kargl <kargl@troutmask.apl.washington.edu> Notes: svn path=/head/; revision=141314
* Depends on compat4x to get libm.so.2 when needed.Thierry Thomas2005-08-281-0/+5
| | | | | | | No entry required in /etc/libmap. Notes: svn path=/head/; revision=141055
* Add p5-Math-Vec 0.02, object-Oriented Vector Math Methods in Perl.Jun Kuriyama2005-08-285-0/+41
| | | | Notes: svn path=/head/; revision=141022
* Unbreak on 6.0, thanks to compat5x.Thierry Thomas2005-08-271-2/+1
| | | | | | | | | | Note: the following entry is still required in /etc/libmap.conf: libm.so.2 libm.so.3 Approved by: portmgr (linimon) Notes: svn path=/head/; revision=140988
* Make it fetchable againRenato Botelho2005-08-222-3/+1
| | | | | | | | | PR: ports/85131 Submitted by: Kay Lehmann <kay_lehmann@web.de> (maintainer) Approved by: portmgr (krion) Notes: svn path=/head/; revision=140951
* Unbreak with gcc 3.4.Thierry Thomas2005-08-1718-7/+453
| | | | | | | Approved by: portmgr (marcus) Notes: svn path=/head/; revision=140903
* Update to 20050603 and fix build on 6.x/7.xKirill Ponomarev2005-08-053-7/+37
| | | | | | | Approved by: portmgr (implicit) Notes: svn path=/head/; revision=140791
* Fix build on > 4.x (don't unconditionally try to execute gtar)Kris Kennaway2005-08-031-1/+2
| | | | | | | Approved by: portmgr (self) Notes: svn path=/head/; revision=140741
* - Update to 2005_07_20-19_29_UTCRenato Botelho2005-08-014-3/+51
| | | | | | | | PR: ports/83864 From: Johan van Selst <johans@stack.nl> (maintainer) Notes: svn path=/head/; revision=140654
* Upgrade to 1.1.Thierry Thomas2005-08-014-23/+4
| | | | | | | | PR: 84405 Submitted by: KATO Tsuguru Notes: svn path=/head/; revision=140618
* Update to KDE 3.4.2 / KOffice 1.4.1Michael Nottebrock2005-07-311-2/+2
| | | | Notes: svn path=/head/; revision=140588
* Linux binaries for version 8.2 are unfetchable, then switch to nativeThierry Thomas2005-07-3118-774/+73
| | | | | | | | | | | | | FreeBSD binaries for version 8.3 (i386 only). Note: does not run on FreeBSD >= 6.0, because linked with libc.so.5. PR: 84366 Submitted by: thierry Repocopied by: marcus Notes: svn path=/head/; revision=140580
* - Fix fetching. Unbreak.Sergey Matveychuk2005-07-311-5/+1
| | | | | | | | | PR: ports/84392 Submitted by: Benjamin Lutz <benlutz@datacomm.ch> Approved by: no maintainer reaction on broken port Notes: svn path=/head/; revision=140563
* Update to 0.6.4. This also fix the problem with fetching the distfile ofThierry Thomas2005-07-292-11/+21
| | | | | | | | | | 0.6.2-2 version. PR: 84310 Submitted by: Jie Gao (maintainer) Notes: svn path=/head/; revision=140416
* Asymptote is a powerful script-based vector graphics language thatPav Lucistnik2005-07-297-0/+247
| | | | | | | | | | | | | | | | | provides a natural coordinate-based framework for technical drawing. Labels and equations are typeset with LaTeX, for high-quality PostScript output. A major advantage of Asymptote over other graphics packages is that it is a programming language, as opposed to just a graphics program: it can therefore exploit the best features of script (command-driven) and graphical user interface (GUI) methods. PR: ports/83990 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=140404
* Update to 0.3.1Volker Stolz2005-07-273-6/+5
| | | | | | | | PR: ports/83858 Submitted by: Ports Fury Notes: svn path=/head/; revision=140236
* - uncomment REINPLACE_CMD which add "use vars ..."Yen-Ming Lee2005-07-261-3/+3
| | | | Notes: svn path=/head/; revision=140172
* - Update to 0.5.1Sergey Matveychuk2005-07-262-10/+6
| | | | | | | | PR: ports/84071 Submitted by: Ports Fury Notes: svn path=/head/; revision=140152
* - fix the missing $VERSION problem introduced in previous commitYen-Ming Lee2005-07-261-1/+4
| | | | | | | - bump PORTREVISION Notes: svn path=/head/; revision=140142
* - update to 1.08Yen-Ming Lee2005-07-252-3/+6
| | | | | | | | | PR: 84061 Submitted by: leeym Approved by: maintainer Notes: svn path=/head/; revision=140107
* Add laspack 1.12.2,Simon Barner2005-07-256-0/+92
| | | | | | | | | | | package for solving large sparse systems of linear equations. PR: 83968 Submitted by: Pedro F. Giffuni" <giffunip at asme dot org> Notes: svn path=/head/; revision=140069
* -Update to 1.0.20050524, they never bump version so add date in it on our own.Jeremy Messenger2005-07-257-61/+4
| | | | | | | | | | -Remove the BROKEN, DEPRECATED and EXPIRATION_DATE. PR: ports/83938 Submitted by: TAOKA Fumiyoshi <fmysh@iijmio-mail.jp> Notes: svn path=/head/; revision=140064
* - Fix buildPav Lucistnik2005-07-241-1/+3
| | | | | | | | | | | | PR: ports/83915, ports/83985, ports/83989 Submitted by: Brett Goulder <predatorfreak@dcaf-security.org>, Conrad J. Sabatier <conrads@cox.net>, regis rampnoux <regisr@pobox.com> Was broken for: 51 hours Pointy hat to: tg Notes: svn path=/head/; revision=140019
* This port is scheduled for deletion on 2005-09-22 if it is still brokenKris Kennaway2005-07-234-0/+8
| | | | | | | at that time and no PRs have been submitted to fix it. Notes: svn path=/head/; revision=139936
* Upgrade to 23.8.Thomas Gellekum2005-07-224-51/+36
| | | | Notes: svn path=/head/; revision=139897
* Update my email address.Vsevolod Stakhov2005-07-221-1/+1
| | | | | | | Approved by: perky (mentor) Notes: svn path=/head/; revision=139880
* - Update to 0.6.0Pav Lucistnik2005-07-212-3/+3
| | | | | | | | | PR: ports/78836 Submitted by: Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp> Approved by: maintainer timeout (4 months) Notes: svn path=/head/; revision=139819
* - Update or add WWW lineMichael Johnson2005-07-211-1/+1
| | | | Notes: svn path=/head/; revision=139800
* - Use PLIST_FILESPav Lucistnik2005-07-182-2/+2
| | | | | | | | PR: ports/83680 Submitted by: Andrej Zverev <az@inec.ru> Notes: svn path=/head/; revision=139530
* - Update to 1.3.2Pav Lucistnik2005-07-183-4/+5
| | | | | | | | PR: ports/83615 Submitted by: KATO Tsuguru <tkato432@yahoo.com> Notes: svn path=/head/; revision=139509
* Update to 1.3.3Hye-Shik Chang2005-07-183-10/+12
| | | | | | | | PR: 83600 Submitted by: Vsevolod Stakhov <vsevolod@highsecure.ru> Notes: svn path=/head/; revision=139450
* - Update to 1.0.7.Florent Thoumie2005-07-143-17/+3
| | | | | | | | | PR: ports/83404 Submitted by: Marcus Grando <marcus@corp.grupos.com.br> Approved by: maintainer Notes: svn path=/head/; revision=139199
* wxMaxima is a wxWidgets GUI for the computer algebra system maxima.Pav Lucistnik2005-07-145-0/+50
| | | | | | | | | | | | | Most of maxima functions are accessible through menus, some have dialogs. The input line has command history (up-key, down-key) and completion based on previous input (tab-key). wxMaxima provides 2d formated display of maxima output. PR: ports/83374 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=139194
* Emacs Calc can do arbitrary precision arithmetic, operations on matrices,Pav Lucistnik2005-07-139-0/+431
| | | | | | | | | | | | complex numbers, calendar dates and various other types, plus symbolic algebra and calculus, graphics, and lots more. Calc also comes with an extensive manual which you can print or read on-line. PR: ports/83238 Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> Notes: svn path=/head/; revision=139096
* This port installs libccm.so in /usr/local/lib. ldconfigErwin Lansing2005-07-132-1/+4
| | | | | | | | | | | will not pick this library up because it is missing a final digit. This among other things, breaks LIB_DEPENDS. PR: 83360 Submitted by: Diane Bruce <db@db.net> Notes: svn path=/head/; revision=139038
* Chryzodus is a cross-platform graphical program drawingPav Lucistnik2005-07-117-0/+78
| | | | | | | | | | | | | | | beautiful and colorful chryzodes. If you do not know what chryzodes are, take a look at http://www.chryzode.org/. Then you will be able to explore the world of chryzodes by yourself using Chryzodus. But one does not even need to know much about chryzodes to use Chryzodus and see beautiful images appear on the screen! PR: ports/83234 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=138937
* Update to version 1b5, make it fetchable again.Mark Murray2005-07-114-15/+13
| | | | Notes: svn path=/head/; revision=138888
* Add JavaView, a 3D viewer and a mathematical visualization softwareHerve Quiroz2005-07-117-0/+712
| | | | | | | | | | | | | | | | This tiny version of JavaView is optimized for fast download and contains the viewer module only, without any dialogs, inspectors and geometry algorithms. The lite version is mainly used to display precomputed geometry models inside web pages. WWW: http://www.javaview.de/ PR: 83104 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=138870
* - Fix dependency on makeinfoPav Lucistnik2005-07-101-1/+1
| | | | | | | Submitted by: Roman Neuhauser <neuhauser@sigpipe.cz> Notes: svn path=/head/; revision=138865
* BROKEN: Size mismatchKris Kennaway2005-07-101-0/+2
| | | | Notes: svn path=/head/; revision=138840
* - Update to 1.4.1Pav Lucistnik2005-07-084-16/+14
| | | | | | | | PR: ports/83160 Submitted by: KATO Tsuguru <tkato432@yahoo.com> Notes: svn path=/head/; revision=138728
* Update to 1.0.2.Roman Bogorodskiy2005-07-082-9/+9
| | | | | | | | PR: 83159 Submitted by: Ports Fury Notes: svn path=/head/; revision=138721
* - Always use external gettextPav Lucistnik2005-07-072-1/+12
| | | | | | | | | - Bring in fresh makeinfo so HTML manual can be build [1] Reported by: krismail [1] Notes: svn path=/head/; revision=138660
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-10 13:53:14 +0000