[59893] trunk/dports/PortIndex
portindex at macports.org
portindex at macports.org
Sun Oct 25 14:53:46 PDT 2009
Revision: 59893
http://trac.macports.org/changeset/59893
Author: portindex at macports.org
Date: 2009-10-25 14:53:44 -0700 (Sun, 25 Oct 2009)
Log Message:
-----------
Total number of ports parsed: 6299
Ports successfully parsed: 6299
Ports failed: 0
Modified Paths:
--------------
trunk/dports/PortIndex
Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex 2009-10-25 21:21:56 UTC (rev 59892)
+++ trunk/dports/PortIndex 2009-10-25 21:53:44 UTC (rev 59893)
@@ -4749,7 +4749,7 @@
GiNaC 1055
variants {darwin_7 test universal} portdir math/GiNaC description {GiNaC is Not a Computer algebra system} homepage http://www.ginac.de/ epoch 0 platforms darwin name GiNaC depends_lib {port:readline port:cln} long_description {Currently, GiNaC's capabilities include: 1. Very fast manipulation of large integers and rationals owing to the CLN library (for instance, it uses Karatsuba multiplication and Schoenhage-Strassen multiplication for very large integers). 2. Efficient handling of multivariate polynomials and rational functions. 3. Support for linear algebra includes symbolic matrices, vectors and solving equations. 4. Very fast heuristic polynomial GCD. 5. Many built in functions (sin, cos, atan, sinh, factorial, etc.) 6. Symbolic differentiation and series expansion of all built-in functions. 7. Several forms of output (also as optimized C++, for numerical postprocessing). 8. Memory-efficiency and -safety through the internal use of reference counting for all expressions.} maintainers gwright categories math version 1.4.4 revision 0
LiE 410
-portdir math/LiE description {A computer algebra program for Lie group calculations} homepage http://young.sp2mi.univ-poitiers.fr/~marc/LiE/ epoch 0 platforms darwin name LiE depends_lib port:readline maintainers gwright long_description {LiE is a computer algebra system that is specialised in computations involving (reductive) Lie groups and their representations.} categories math version 2.2.2 revision 2
+portdir math/LiE description {A computer algebra program for Lie group calculations} homepage http://young.sp2mi.univ-poitiers.fr/~marc/LiE/ epoch 0 platforms darwin name LiE depends_lib port:readline maintainers gwright long_description {LiE is a computer algebra system that is specialised in computations involving (reductive) Lie groups and their representations.} categories math version 2.2.2 revision 3
ProofGeneral 566
portdir math/ProofGeneral description {An emacs mode for interactive prooving} homepage http://proofgeneral.inf.ed.ac.uk/ epoch 0 platforms darwin name ProofGeneral maintainers mww long_description {The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.} version 3.7.1 categories math revision 0
R 808
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20091025/7d1b48ef/attachment.html>
More information about the macports-changes
mailing list