Task: Mathematics
Install: false
Description: Debian Science Mathematics packages
 This metapackage will install Debian Science packages related to
 Mathematics.  You might also be interested in the field::mathematics
 debtag and, depending on your focus, in the education-mathematics
 metapackage.

Recommends: axiom, ginac-tools, xmaxima, wxmaxima
Why: Symbolic computations

Recommends: pari-gp, pari-extra

Recommends: gap, magnus
Why: Group theory

Recommends: gap-small-groups-extra, gap-trans-groups, gap-prim-groups, gap-small-groups, gap-table-of-marks, gap-guava, gap-character-tables

Recommends: gap-float, gap-design, gap-factint, gap-laguna, gap-sonata, gap-toric

Suggests: gap-online-help, gap-gapdoc, gap-io, gap-scscp

Recommends: gap-openmath, gap-grape

Recommends: gerris
Why: CFD

Recommends: freefem, freefem3d

Recommends: freefem++

Suggests: netgen-doc
Why: FEA

Recommends: netgen
Why: FEA, mesh generator

Recommends: gmsh
Why: FEA, mesh generator

Recommends: getdp
Why: FEA

X-Begin-Category: proof assistants
X-Comment: According to Hendrik Tews <tews@os.inf.tu-dresden.de> these might end up
           in a separate metapackage "theorem-proving" or "formal-methods"
           see http://lists.debian.org/debian-science/2012/05/msg00077.html

Recommends: coq, proofgeneral, proofgeneral-coq

Recommends: matita, agda, prover9, hol-light, minisat

X-End-Category: proof assistants

Recommends: science-statistics

Recommends: geomview

Recommends: octave

Recommends: xmds, xmds2

Recommends: freemat

Recommends: mathomatic

Recommends: scilab, scilab-scimax, scilab-ann

Recommends: regina-normal, snappea
Why: Requested by Ben Burton

Recommends: lp-solve
Why: Requested by Aníbal Monsalve Salazar

Recommends: qsopt-ex

Recommends: libmatheval1

Recommends: mumps-test

Recommends: nauty

Recommends: geogebra

Recommends: lrslib

Suggests: r-cran-evd

Recommends: fenics, python-dolfin
Why: Automated Solution of Partial Differential Equations

Recommends: python-ffc, python-ufl
Why: compiler for finite element variational forms

Recommends: kseg

Recommends: polylib-utils

Recommends: rheolef

Recommends: scotch

Recommends: isabelle
Remark: upstream prefers Isabelle not being packaged
 There is an alternative software coq which is packaged in
 Debian (see above).

Recommends: bliss

Recommends: python-openturns
Why: Uncertainty quantification in numerical simulation

Recommends: python-deap

Recommends: mcl

Recommends: sagemath

Recommends: maxima-sage

Recommends: sagemath-database-conway-polynomials,
         sagemath-database-elliptic-curves,
         sagemath-database-graphs,
         sagemath-database-mutually-combinatorial-designs,
         sagemath-database-polytopes

Recommends: python-sagenb, python-sagenb-export | python3-sagenb-export

Suggests: sagetex

Recommends: eclib-tools,
         gfan,
         lcalc,
         fplll-tools,
         lrcalc,
         palp,
         sympow,
         tachyon
Why: Sage dependencies

Recommends: 4ti2,
         normaliz,
         surf-alggeo,
         graphviz
Why: Singular dependencies

Recommends: singular
Why: Symbolic computations, Sage dependencies

Recommends: julia

Suggests: matlab-support

Recommends: qhull-bin

Recommends: mathicgb

Recommends: frobby

Recommends: geneagrapher

Recommends: planarity, flintqs

Recommends: rubiks

X-Removed: Packages removed from Debian

Recommends: octaviz
Pkg-URL: http://snapshot.debian.org/package/octaviz/
Homepage: http://octaviz.sourceforge.net/
Pkg-Description: 3D visualization system for Octave
 Octaviz is a visualization system for Octave. It is a wrapper that
 makes all VTK classes accessible from within Octave using the same
 object-oriented syntax as in C++ or Python. Octaviz also provides
 high-level functions for 2D and 3D visualization. Using those
 functions, most common visualization tasks (3D surface plots, contour
 plots etc) can be accomplished without any knowledge about VTK.
Remark: Removed from Debian
 This package was removed from Debian but some versions are available
 from http://snapshot.debian.org/
 .
 Reasons are given here: http://bugs.debian.org/535537

Recommends: eprover
Pkg-URL: http://snapshot.debian.org/package/eprover/1.0.004-1/
Remark: Removed from Debian
 This package was removed from Debian but some versions are available
 from http://snapshot.debian.org/
 .
 Reasons are given here: http://bugs.debian.org/651971

Recommends: python-minieigen

Recommends: coinor-symphony, coinor-cbc

Recommends: tetgen

# Sage dependencies should be moved later to sage dependencies
Suggests: cliquer

Suggests: ann-tools

Recommends: feel++-apps

Recommends: auto-07p

Suggests: gmp-ecm

Suggests: primesieve

Suggests: evolver-ogl | evolver-nox

Recommends: toulbar2

Recommends: cohomcalg

Recommends: cryptominisat

Recommends: form

Recommends: xcas

Recommends: pyomo
