Symbolica
Documentation
Gallery
Pricing
Blog
About
Rust API
First steps
Installation
First steps
Numerical evaluation
Core concepts
Symbols
Expressions
Pattern matching
Transformers
Algebra
Polynomials
Solving equations
Series expansions
Matrices
Graphs
Coefficients
Performance and workflows
Term streaming
Automatic differentiation
Numerical integration
Logging
Upgrading
Migrating from Symbolica 2.2 to 3.0
Migrating from Symbolica 1.5 to 2.0
Migrating from Symbolica 2.0 to 2.2
Python API
Overview
Expressions
Expression
Transformer
HeldExpression
TermStreamer
Series
Evaluator
FunctionDefinition
EvaluatorInstructions
EvaluatorFunction
CompiledRealEvaluator
CompiledComplexEvaluator
CompiledSimdRealEvaluator
CompiledSimdComplexEvaluator
CompiledCudaRealEvaluator
CompiledCudaComplexEvaluator
Replacement
Condition
PatternRestriction
MatchIterator
ReplaceIterator
Symbol
SymbolAttribute
AtomType
AtomTree
ParseMode
PrintMode
FormattedOutput
CompareOp
IntegrationStep
Polynomials
Polynomial
IsolatedRoot
RootLocation
FiniteFieldPolynomial
NumberFieldPolynomial
RationalPolynomial
FiniteFieldRationalPolynomial
Solving
SolutionSet
Solution
SolutionCondition
SolveDomain
Integers
Rationals
Reals
Complexes
SolveError
UnsupportedProblem
IncompleteCoverage
Numbers
Integer
Float
ComplexFloat
Linear algebra
Matrix
Graph theory
Graph
HalfEdge
Numerical integration
NumericalIntegrator
Sample
Probe
RandomNumberGenerator
Miscellaneous
S
N
E
T
P
use_custom_logger
get_namespace
set_namespace
get_version
is_licensed
set_license_key
request_hobbyist_license
request_trial_license
request_sublicense
get_license_key
set_library_key
Citation
get_citations
Community
Overview
Graph presentation
Overview
Anchor
Angle
Auto
Color
Compass
DanglingTangent
Dash
DashPattern
DebugLevel
DiagramRender
DrawOptions
DrawingSelectors
EdgeDrawing
EdgeLengthResolution
Fraction
GraphStyleOptions
HalfEdgeDrawing
Inherit
Insets
LabelLayout
LayoutAlgorithm
LayoutDirection
LayoutNodes
LayoutSettings
Length
Mark
MarkDirection
MarkOrientation
MarkPosition
MarkSymbol
MathSymbol
NodeDrawing
Pattern
Placement
RankAlignment
Ratio
RelativeLength
RenderSettings
RoutePoints
Routing
Stroke
StrokeCap
StrokeJoin
TextLabel
TextStyle
TypstBind
TypstCall
TypstModule
TypstRef
Tensor algebra
Overview
BroadcastFunction
CanonicalizationError
CompiledTensorEvaluator
CookingError
DiracAdjointError
DisplaySettings
ExecutionMode
ExecutionStatus
FactorProjector
NetworkToolingError
PortPattern
ReductionStatus
Representation
RepresentationName
Slot
SymbolicParallelism
Tensor
TensorEvaluator
TensorExpression
TensorFunctionLibrary
TensorLibrary
TensorName
TensorNetwork
TensorPattern
TensorRule
TensorStructure
HEPkit
Overview
Amplitude
AmplitudeError
AmplitudeLeg
Axis
Boost
CancellationToken
CffError
CffOrientation
CffReport
CffRepresentation
CffSurfaceGroup
ClusteringResult
Coupling
CrossFreeFamily
CutPartition
CutPropagator
DiagramCut
DiagramCutSide
DiagramEdge
DiagramError
DiagramGroup
DiagramHalfEdge
DiagramStyle
DiagramThresholdCandidate
DiagramVertex
EnergySurface
EvaluatedValues
EvaluationRequest
FeynkitError
FeynmanDiagram
FormFactor
FourMomentum
GenerationError
GenerationProgress
GenerationReport
GenerationResult
GroupMember
Helicity
IBPCertificate
IBPFamily
IBPRule
IBPSolution
IntegralFamily
IntegralFamilyError
IntegralMapping
Jet
JetAlgorithm
JetDefinition
Kinematics
KinematicsError
LoadedModel
LoopMomentumBasis
LorentzStructure
LtdReport
LtdRepresentation
LtdResidue
Model
ModelError
ModelExpression
ModelFunction
MomentumSignature
NumeratorGrouping
OnShellEnergy
Parameter
ParameterCard
ParameterNature
ParameterType
Particle
ParticleSelector
Process
Propagator
PropagatorMapping
Rotation
SelfEnergyFilterOptions
SnailFilterOptions
SquaredAmplitude
Subgraph
SurfaceFactor
SurfacePair
Symbols
TadpoleFilterOptions
TensorReducer
TensorReductionError
ThreeMomentum
TraversalTree
UfoLoadDiagnostics
UfoLoadError
UfoLoader
VertexRule
Wavefunction
One-loop integrals
Overview
DecimalComplex
Evaluator
MasterIntegral
Reduction
Vakint
Overview
Vakint
VakintEvaluationMethod
VakintExpression
VakintNumericalResult
Exact integration
Overview
AlgebraError
AlgebraicLetter
ContextError
DivergentIntegralError
DuplicateVariableError
InputError
IntegrationError
IntegrationOptions
IntegrationResult
PreparedIntegral
UnsupportedFeatureError
Sector decomposition
Overview
CancelledError
Chart
CoefficientExpansionSnapshot
CoefficientRequestCounts
CompactCoefficient
CompilationSettings
CoordinateMap
DiscreteSectorAllocation
DomainAssessment
EndpointPower
EvaluationDiagnostics
EvaluatorOperations
EvaluatorStatistics
EvaluatorTiming
FactorAssessment
FastSecDecError
FormulaPreparationSnapshot
GeneratedIntegral
GeneratedSector
GenerationMetadata
GenerationSession
GenerationSnapshot
GenerationTimings
HavanaDiscreteSession
HavanaDiscreteSettings
Integral
IntegrationObservation
IntegrationSnapshot
Kernels
LiveEstimate
LiveObservation
LiveSector
PreSubtractionMetadata
PreSubtractionTerm
QmcSession
QmcSettings
SectorContribution
SectorMap
SectorSnapshot
StabilitySettings
VectorEstimate
RustRed
Overview
CandidateArtifact
CandidateBundleResult
CandidateGenerationRequest
CandidateGenerationSession
RustRedCoordinatorPoisonedError
RustRedDerivationError
RustRedError
RustRedExecutionError
RustRedInputError
RustRedInternalError
RustRedLicenseError
RustRedLimitError
RustRedLoweringError
RustRedOutputLimitError
RustRedSchemaError
RustRedSerializationError
TerminalNormalization
Numerical HEP tools
Overview
Numerical loop integration
Overview
AccuracyError
AmplitudeResult
AsymptoticCoefficient
AsymptoticRelation
BoundaryCache
BoundaryCacheError
BoundaryData
CalculationCancelled
ComputationControl
ContinuationPrescription
DifferentialSystem
EndpointConstraints
EndpointResult
EndpointRoute
EvaluationError
EvaluationOptions
FormFactorResult
HiggsJetAmplitude
HiggsJetConfiguration
HiggsJetFormFactorProjector
HiggsJetIntegralSystem
IncompleteReductionError
IntegralEvaluator
InvalidInputError
KinematicTransport
LaurentExpansion
NumericalError
PrecisionError
PreparedIntegralFamily
ReductionError
ReductionTables
ResourceLimitError
TransportResult
UnsupportedInputError
Rust API
Courses
Math for Machines
Rust API
Symbolica documentation for getting started, symbolic expressions, numerical evaluation, pattern matching, and APIs in Python and Rust.
Rust documentation can be read at
docs.rs
. Also make sure to check out the
examples
.
UnsupportedInputError
Math for Machines