Packages and Features¶

Standard Packages¶

The Sage distribution includes most programs and libraries on which Sage depends. It installs them automatically if it does not find equivalent system packages.

Optional Packages¶

For additional functionality, you can install some of the following optional packages.

Features¶

pip-installable passagemath Packages¶

The passagemath project publishes the Sage library in modularized form as pip-installable source and binary wheel packages. They can be built, installed, and tested separately.

• sage_bootstrap: System package database with support for PURLs (package URLs)

• sage_conf: Configuration module for the Sage library

• sage_docbuild: Build system of the Sage documentation

• sage_numerical_backends_coin: COIN-OR backend for Sage MixedIntegerLinearProgram

• sage_numerical_backends_cplex: Cplex backend for Sage MixedIntegerLinearProgram

• sage_numerical_backends_gurobi: Gurobi backend for Sage MixedIntegerLinearProgram

• sage-setup: Build system of the Sage library

• sage_sws2rst: Translate legacy Sage worksheet files (.sws) to reStructuredText (.rst) files

• sagelib: Standard Python Library

• sagemath_benzene: Generate fusene and benzenoid graphs with benzene

• sagemath_bliss: Graph (iso/auto)morphisms with bliss

• sagemath_brial: Boolean Ring Algebra with BRiAl

• sagemath_buckygen: Generation of nonisomorphic fullerenes with buckygen

• sagemath_categories: Sage categories, basic rings, polynomials, functions

• sagemath_cddlib: Polyhedral computation with cddlib

• sagemath_cliquer: Finding cliques in graphs with cliquer

• sagemath_cmr: Combinatorial matrix recognition

• sagemath_combinat: Algebraic combinatorics, combinatorial representation theory

• sagemath_coxeter3: Coxeter groups, Bruhat ordering, Kazhdan-Lusztig polynomials with coxeter3

• sagemath_database_cremona_ellcurve: Database of elliptic curves

• sagemath_database_cunningham: List of the prime numbers occuring in the Cunningham table

• sagemath_database_jones_numfield: Table of number fields

• sagemath_database_kohel: Database of modular and Hilbert polynomials

• sagemath_database_mutation_class: Database of exceptional mutation classes of quivers

• sagemath_database_odlyzko_zeta: Table of zeros of the Riemann zeta function

• sagemath_database_polytopes_4d: Database of 4-dimensional reflexive polytopes

• sagemath_database_stein_watkins: The Stein-Watkins database of elliptic curves (full version)

• sagemath_database_stein_watkins_mini: The Stein-Watkins database of elliptic curves (small version)

• sagemath_database_symbolic_data: Database from the SymbolicData project

• sagemath_doc_html: SageMath documentation in HTML format

• sagemath_doc_pdf: SageMath documentation in PDF format

• sagemath_ecl: Embeddable Common Lisp

• sagemath_eclib: Elliptic curves over the rationals with eclib/mwrank

• sagemath_environment: System and software environment

• sagemath_flint: Fast computations with MPFI and FLINT

• sagemath_fricas: Symbolic computation with the general purpose computer algebra system FriCAS

• sagemath_frobby: Computations on monomial ideals with Frobby

• sagemath_gap: Computational Group Theory with GAP

• sagemath_gap_pkg_agt_data: Computational Group Theory with GAP: agt data

• sagemath_gap_pkg_caratinterface: Computational Group Theory with GAP: caratinterface package

• sagemath_gap_pkg_cddinterface: Computational Group Theory with GAP: cddinterface package

• sagemath_gap_pkg_ctbllib_data: Computational Group Theory with GAP: ctbllib data

• sagemath_gap_pkg_curlinterface: Computational Group Theory with GAP: curlinterface package

• sagemath_gap_pkg_difsets_data: Computational Group Theory with GAP: difsets data

• sagemath_gap_pkg_factint_data: Computational Group Theory with GAP: factint data

• sagemath_gap_pkg_float: Computational Group Theory with GAP: float package

• sagemath_gap_pkg_irredsol_data: Computational Group Theory with GAP: irredsol data

• sagemath_gap_pkg_jupyterkernel: Native Jupyter kernel for GAP (kernelspec)

• sagemath_gap_pkg_normalizinterface: Computational Group Theory with GAP: normalizinterface package

• sagemath_gap_pkg_numericalsgps_data: Computational Group Theory with GAP: numericalsgps data

• sagemath_gap_pkg_primgrp_data: Computational Group Theory with GAP: primgrp data

• sagemath_gap_pkg_rcwa_data: Computational Group Theory with GAP: rcwa data

• sagemath_gap_pkg_semigroups: Computational Group Theory with GAP: semigroups package

• sagemath_gap_pkg_sglppow_data: Computational Group Theory with GAP: sglppow data

• sagemath_gap_pkg_simpcomp_data: Computational Group Theory with GAP: simpcomp data

• sagemath_gap_pkg_smallgrp_data: Computational Group Theory with GAP: smallgrp data

• sagemath_gap_pkg_smallsemi_data: Computational Group Theory with GAP: smallsemi data

• sagemath_gap_pkg_sonata_data: Computational Group Theory with GAP: sonata data

• sagemath_gap_pkg_tomlib_data: Computational Group Theory with GAP: tomlib data

• sagemath_gap_pkg_transgrp_data: Computational Group Theory with GAP: transgrp data

• sagemath_gap_pkg_unitlib_data: Computational Group Theory with GAP: unitlib data

• sagemath_gap_pkg_yangbaxter_data: Computational Group Theory with GAP: yangbaxter data

• sagemath_gfan: Groebner fans and tropical varieties with gfan

• sagemath_giac: Symbolic computation with Giac

• sagemath_glpk: Linear and mixed integer linear optimization backend using GLPK

• sagemath_glucose: Interface to the SAT solver glucose

• sagemath_graphs: Graphs, posets, hypergraphs, designs, abstract complexes, combinatorial polyhedra, abelian sandpiles, quivers

• sagemath_groups: Groups and Invariant Theory

• sagemath_homfly: Homfly polynomials of knots/links with libhomfly

• sagemath_kenzo: Topological spaces and homology groups with kenzo

• sagemath_kissat: Interface to the SAT solver kissat

• sagemath_latte_4ti2: Lattice points in polyhedra with LattE integrale and 4ti2

• sagemath_lcalc: L-function calculations with lcalc

• sagemath_libbraiding: Braid computations with libbraiding

• sagemath_libecm: Elliptic curve method for integer factorization using GMP-ECM

• sagemath_linbox: Linear Algebra with Givaro, fflas-ffpack, LinBox, IML, m4ri(e)

• sagemath_lrslib: Reverse search for vertex enumeration and convex hulls with lrslib

• sagemath_macaulay2: Computing in commutative algebra, algebraic geometry and related fields with Macaulay2

• sagemath_macaulay2_jupyterkernel: Jupyter kernel for Macaulay2

• sagemath_maxima: Symbolic calculus with maxima

• sagemath_mcqd: Finding maximum cliques with mcqd

• sagemath_meataxe: Matrices over small finite fields with meataxe

• sagemath_modules: Vectors, matrices, tensors, vector spaces, affine spaces, modules and algebras, additive groups, quadratic forms, root systems, homology, coding theory, matroids

• sagemath_msolve: Polynomial system solving through algebraic methods with msolve

• sagemath_nauty: Find automorphism groups of graphs, generate non-isomorphic graphs with nauty

• sagemath_ntl: Computational Number Theory with NTL

• sagemath_objects: Sage objects, elements, parents, categories, coercion, metaclasses

• sagemath_palp: Lattice polytopes and applications to toric geometry with PALP

• sagemath_pari: Computational Number Theory with PARI/GP

• sagemath_pari_elldata: Computational Number Theory with PARI/GP: Cremona elliptic curve data

• sagemath_pari_galdata: Computational Number Theory with PARI/GP: Galois group data

• sagemath_pari_galpol: Computational Number Theory with PARI/GP: Database of polynomials defining Galois extensions

• sagemath_pari_nflistdata: Computational Number Theory with PARI/GP: nflist data

• sagemath_pari_nftables: Computational Number Theory with PARI/GP: Number field tables

• sagemath_pari_seadata: Computational Number Theory with PARI/GP: seadata

• sagemath_pari_seadata_big: Computational Number Theory with PARI/GP: seadata_big

• sagemath_pari_seadata_small: Computational Number Theory with PARI/GP: seadata_small

• sagemath_planarity: Graph planarity with the edge addition planarity suite

• sagemath_plantri: Generating planar graphs with plantri and fullgen

• sagemath_plot: Plotting and graphics with Matplotlib, Three.JS, etc.

• sagemath_polyhedra: Convex polyhedra in arbitrary dimension, mixed integer linear optimization

• sagemath_qepcad: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD

• sagemath_rankwidth: Rankwidth and rank decompositions of graphs with rw

• sagemath_repl: IPython kernel, Sage preparser, doctester

• sagemath_rubiks: Algorithms for Rubik’s cube

• sagemath_schemes: Schemes, varieties, elliptic curves, algebraic Riemann surfaces, modular forms, arithmetic dynamics

• sagemath_singular: Computer algebra, algebraic geometry, singularity theory with Singular

• sagemath_sirocco: Certified root continuation with sirocco

• sagemath_standard_no_symbolics: Sage library without the symbolics subsystem

• sagemath_symbolics: Symbolic calculus

• sagemath_sympow: Special values of symmetric power elliptic curve L-functions with sympow

• sagemath_tachyon: Interface to the ray tracing system tachyon

• sagemath_tdlib: Tree decompositions with tdlib

• sagemath_topcom: Triangulations of point configurations and oriented matroids with TOPCOM

Experimental Packages¶

Some packages that provide additional functionality are marked as “experimental”. Developers are needed in order to improve the integration of these packages into the Sage distribution.

All External Packages¶