Overview

Expressions

Symbolica expression classes

Expression A Symbolica expression
Transformer Operations that transform an expression.
HeldExpression
TermStreamer A term streamer that can handle large expressions, by streaming terms to and from disk.
Series A series expansion class
Evaluator An optimized evaluator of an expression.
CompiledRealEvaluator A compiled evaluator of an expression.
CompiledComplexEvaluator A compiled evaluator of an expression.
CompiledSimdRealEvaluator A compiled evaluator of an expression that packs 4 double using SIMD.
CompiledSimdComplexEvaluator A compiled evaluator of an expression that packs 4 double using SIMD.
CompiledCudaRealEvaluator A compiled evaluator of an expression that uses CUDA for GPU acceleration.
CompiledCudaComplexEvaluator A compiled evaluator of an expression that uses CUDA for GPU acceleration.
Replacement A replacement of a pattern by a right-hand side.
Condition Relations that evaluate to booleans.
PatternRestriction A restriction on wildcards.
MatchIterator An iterator over matches.
ReplaceIterator An iterator over single replacements.
SymbolAttribute Specifies the attributes of a symbol.
AtomType Specifies the type of the atom.
AtomTree A Python representation of a Symbolica expression.
ParseMode Specifies the parse mode.
PrintMode Specifies the print mode.
CompareOp One of the following comparison operators: <,>,<=,>=,==,!=.

Polynomials

Symbolica polynomial classes

Polynomial A Symbolica polynomial with rational coefficients.
FiniteFieldPolynomial A Symbolica polynomial with finite field coefficients.
NumberFieldPolynomial A Symbolica polynomial with rational coefficients.
RationalPolynomial A Symbolica rational polynomial.
FiniteFieldRationalPolynomial A Symbolica rational polynomial.

Linear algebra

Linear algebra classes

Matrix A matrix with rational polynomial coefficients.

Graph theory

Graph theory classes

Graph A graph that supported directional edges, parallel edges, self-edges and expression data on the nodes and edges
HalfEdge A half-edge in a graph that connects to one vertex, consisting of a direction (or None if undirected) and edge data.

Number theory

Number theory classes

Integer

Numerical integration

Numerical integration classes

NumericalIntegrator A numerical integrator for high-dimensional integrals.
Sample A sample from the Symbolica integrator
RandomNumberGenerator A reproducible, fast, non-cryptographic random number generator suitable for parallel Monte Carlo simulations

Miscellaneous

Miscellaneous functions

S Create new symbols from names
N Create a new Symbolica number from an int, a float, or a string
E Parse a Symbolica expression from a string.
T Create a new transformer that maps an expression.
P Parse a string a polynomial, optionally, with the variable ordering specified in vars
use_custom_logger Enable logging using Python’s logging module instead of using the default logging
get_namespace Get the Symbolica namespace for the calling module
set_namespace Set the Symbolica namespace for the calling module
get_version Get the current Symbolica version.
is_licensed Check if the current Symbolica instance has a valid license key set.
set_license_key Set the Symbolica license key for this computer
request_hobbyist_license Request a key for non-professional use for the user name, that will be sent to the e-mail address email.
request_trial_license Request a key for a trial license for the user name working at company, that will be sent to the e-mail address email.
request_sublicense Request a sublicense key for the user name working at company that has the site-wide license super_license
get_license_key Get the license key for the account registered with the provided email address.

Community

Community-maintained Symbolica extensions.

Idenso Common tensor algebra simpifications using spenso tensor notation.
Spenso A comprehensive Python tensor library for symbolic and numerical tensor computations, with a focus on physics applications.
Vakint Vakint module by Valentin Hirschi